From UML sequence diagrams and statecharts to analysable petri net models S Bernardi, S Donatelli, J Merseguer Proceedings of the 3rd international workshop on Software and performance, 35-45, 2002 | 443 | 2002 |
A dependability profile within MARTE S Bernardi, J Merseguer, DC Petriu Software & Systems Modeling 10 (3), 313-336, 2011 | 223 | 2011 |
Dependability modeling and analysis of software systems specified with UML S Bernardi, J Merseguer, DC Petriu ACM Computing Surveys (CSUR) 45 (1), 1-48, 2012 | 139 | 2012 |
A compositional semantics for UML state machines aimed at performance evaluation J Merseguer, J Campos, S Bernardi, S Donatelli Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002 | 127 | 2002 |
Model-driven dependability assessment of software systems S Bernardi, J Merseguer, DC Petriu Springer, 2013 | 76 | 2013 |
Model-Driven Dependability Assessment of Software Systems S Bernardi, J Merseguer, DC Petriu Springer Verlag, 2013 | 76 | 2013 |
Performance evaluation of UML design with Stochastic Well-formed Nets S Bernardi, J Merseguer Journal of Systems and Software 80 (11), 1843-1865, 2007 | 76 | 2007 |
Timing-failure risk assessment of UML design using Time Petri Net bound techniques S Bernardi, J Campos, J Merseguer IEEE Transactions on Industrial Informatics 7 (1), 90-104, 2010 | 67 | 2010 |
Adding dependability analysis capabilities to the MARTE profile S Bernardi, J Merseguer, DC Petriu International Conference on Model Driven Engineering Languages and Systems …, 2008 | 62 | 2008 |
Enabling the usage of UML in the verification of railway systems: the DAM-rail approach S Bernardi, F Flammini, S Marrone, N Mazzocca, J Merseguer, R Nardone, ... Reliability Engineering & System Safety 120, 112-126, 2013 | 55 | 2013 |
Implementing compositionality for stochastic Petri nets S Bernardi, S Donatelli, A Horváth International Journal on Software Tools for Technology Transfer 3, 417-430, 2001 | 54 | 2001 |
Computation of performance bounds for real-time systems using time Petri nets S Bernardi, J Campos IEEE Transactions on Industrial Informatics 5 (2), 168-180, 2009 | 45 | 2009 |
Model-driven availability evaluation of railway control systems S Bernardi, F Flammini, S Marrone, J Merseguer, C Papa, V Vittorini Computer Safety, Reliability, and Security: 30th International Conference …, 2011 | 43 | 2011 |
A UML profile for dependability analysis of real-time embedded systems S Bernardi, J Merseguer Proceedings of the 6th international workshop on Software and performance …, 2007 | 42 | 2007 |
Modeling performance of hadoop applications: A journey from queueing networks to stochastic well formed nets D Ardagna, S Bernardi, E Gianniti, S Karimian Aliabadi, D Perez-Palacin, ... Algorithms and Architectures for Parallel Processing: 16th International …, 2016 | 40 | 2016 |
QoS assessment via stochastic analysis S Bernardi, J Merseguer IEEE Internet Computing 10 (3), 32-42, 2006 | 35 | 2006 |
Modelling security of critical infrastructures: a survivability assessment RJ Rodríguez, J Merseguer, S Bernardi The Computer Journal 58 (10), 2313-2327, 2015 | 34 | 2015 |
Security modelling and formal verification of survivability properties: Application to cyber–physical systems S Bernardi, U Gentile, S Marrone, J Merseguer, R Nardone Journal of Systems and Software 171, 110746, 2021 | 30 | 2021 |
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications S Bernardi, S Donatelli, A Horvath Practical Use of High-level Petri Nets: Workshop Proceedings, DAIMI PB-547 …, 2000 | 28 | 2000 |
Dependability analysis of DES based on MARTE and UML state machines models J Merseguer, S Bernardi Discrete Event Dynamic Systems 22 (2), 163-178, 2012 | 27 | 2012 |