| 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 | 445 | 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 | 293 | 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 | 285 | 2005 |
| A dependability profile within MARTE S Bernardi, J Merseguer, DC Petriu Software & Systems Modeling 10 (3), 313-336, 2011 | 232 | 2011 |
| OO-Method: an OO software production environment combining conventional and formal methods O Pastor, E Insfrán, V Pelechano, J Romero, J Merseguer Advanced Information Systems Engineering: 9th International Conference …, 1997 | 189 | 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 | 142 | 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 | 126 | 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 | 82 | 2015 |
| Model-driven dependability assessment of software systems S Bernardi, J Merseguer, DC Petriu Springer Berlin Heidelberg, 2013 | 78 | 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 | 75 | 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 | 72 | 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 | 71 | 2010 |
| Transformation challenges: from software models to performance models M Woodside, DC Petriu, J Merseguer, DB Petriu, M Alhaj Software & Systems Modeling 13, 1529-1552, 2014 | 64 | 2014 |
| 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 |
| ArgoSPE: Model-based software performance engineering E Gómez-Martínez, J Merseguer Petri Nets and Other Models of Concurrency-ICATPN 2006: 27th International …, 2006 | 60 | 2006 |
| 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 | 54 | 2013 |
| On the relationships between QoS and software adaptability at the architectural level D Perez-Palacin, R Mirandola, J Merseguer Journal of Systems and Software 87, 1-17, 2014 | 53 | 2014 |
| 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 |
| Software performance modeling using uml and petri nets J Merseguer, J Campos International Workshop on Modeling, Analysis, and Simulation of Computer and …, 2003 | 48 | 2003 |
| 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 | 44 | 2011 |
Simona BernardiDepartment of Computer Science and System Engineering, University of Zaragoza (Spain)Correu electrònic verificat a unizar.es