| 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 | 421 | 2002 |
| From UML activity diagrams to Stochastic Petri nets: application to software performance engineering JP López-Grao, J Merseguer, J Campos Proceedings of the 4th international workshop on Software and performance, 25-36, 2004 | 280 | 2004 |
| Performance by unified model analysis (PUMA) M Woodside, DC Petriu, DB Petriu, H Shen, T Israr, J Merseguer Proceedings of the 5th international workshop on Software and performance, 1-12, 2005 | 273 | 2005 |
| A dependability profile within MARTE S Bernardi, J Merseguer, DC Petriu Software & Systems Modeling 10 (3), 313-336, 2011 | 206 | 2011 |
| OO-Method: an OO software production environment combining conventional and formal methods O Pastor, E Insfrán, V Pelechano, J Romero, J Merseguer International Conference on Advanced Information Systems Engineering, 145-158, 1997 | 181 | 1997 |
| 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 | 119 | 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 | 118 | 2002 |
| DICE: quality-driven development of data-intensive cloud applications G Casale, D Ardagna, M Artac, F Barbier, E Di Nitto, A Henry, G Iuhasz, ... 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering …, 2015 | 75 | 2015 |
| Performance evaluation of UML design with Stochastic Well-formed Nets S Bernardi, J Merseguer Journal of Systems and Software 80 (11), 1843-1865, 2007 | 73 | 2007 |
| On the integration of UML and Petri nets in software development J Campos, J Merseguer International Conference on Application and Theory of Petri Nets, 19-36, 2006 | 69 | 2006 |
| 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 | 64 | 2010 |
| Model-driven dependability assessment of software systems S Bernardi, J Merseguer, DC Petriu Springer, 2013 | 63 | 2013 |
| Adding dependability analysis capabilities to the MARTE profile S Bernardi, J Merseguer, DC Petriu International Conference on Model Driven Engineering Languages and Systems …, 2008 | 59 | 2008 |
| Transformation challenges: from software models to performance models M Woodside, DC Petriu, J Merseguer, DB Petriu, M Alhaj Software & Systems Modeling 13 (4), 1529-1552, 2014 | 58 | 2014 |
| ArgoSPE: Model-based software performance engineering E Gómez-Martínez, J Merseguer International Conference on Application and Theory of Petri Nets, 401-410, 2006 | 55 | 2006 |
| Performance evaluation for the design of agent-based systems: A Petri net approach J Merseguer, J Campos, E Mena Proceedings of the workshop on software engineering and petri nets, within …, 2000 | 50 | 2000 |
| 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 | 48 | 2013 |
| Software performance modeling using uml and petri nets J Merseguer, J Campos International Workshop on Modeling, Analysis, and Simulation of Computer and …, 2003 | 47 | 2003 |
| Model-driven availability evaluation of railway control systems S Bernardi, F Flammini, S Marrone, J Merseguer, C Papa, V Vittorini International Conference on Computer Safety, Reliability, and Security, 15-28, 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 | 39 | 2007 |
Simona BernardiDepartment of Computer Science and System Engineering, University of Zaragoza (Spain)E-mail confirmado em unizar.es
