| 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 | 381 | 2002 |
| 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 | 251 | 2005 |
| From UML activity diagrams to Stochastic Petri nets: application to software performance engineering JP López-Grao, J Merseguer, J Campos ACM SIGSOFT software engineering notes 29 (1), 25-36, 2004 | 244 | 2004 |
| 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 | 176 | 1997 |
| A dependability profile within MARTE S Bernardi, J Merseguer, DC Petriu Software & Systems Modeling 10 (3), 313-336, 2011 | 165 | 2011 |
| 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 | 106 | 2002 |
| Dependability modeling and analysis of software systems specified with UML S Bernardi, J Merseguer, DC Petriu ACM Computing Surveys (CSUR) 45 (1), 2, 2012 | 87 | 2012 |
| Performance evaluation of UML design with Stochastic Well-formed Nets S Bernardi, J Merseguer Journal of Systems and Software 80 (11), 1843-1865, 2007 | 67 | 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 | 61 | 2006 |
| DICE: quality-driven development of data-intensive cloud applications G Casale, D Ardagna, M Artac, F Barbier, ED Nitto, A Henry, G Iuhasz, ... Proceedings of the Seventh International Workshop on Modeling in Software …, 2015 | 59 | 2015 |
| Adding dependability analysis capabilities to the MARTE profile S Bernardi, J Merseguer, DC Petriu International Conference on Model Driven Engineering Languages and Systems …, 2008 | 53 | 2008 |
| 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 | 52 | 2010 |
| 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 | 47 | 2000 |
| Software performance modeling using uml and petri nets J Merseguer, J Campos International Workshop on Modeling, Analysis, and Simulation of Computer and …, 2003 | 46 | 2003 |
| Model-driven dependability assessment of software systems S Bernardi, J Merseguer, DC Petriu Springer, 2013 | 44 | 2013 |
| 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 | 44 | 2006 |
| 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 |
| 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 | 42 | 2014 |
| 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 | 39 | 2013 |
| 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 | 35 | 2007 |
Simona BernardiDepartment of Computer Science and System Engineering, University of Zaragoza (Spain)Email verificata su unizar.es
