Jose Merseguer
Cited by
Cited by
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
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
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
A dependability profile within MARTE
S Bernardi, J Merseguer, DC Petriu
Software & Systems Modeling 10, 313-336, 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
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
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
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
Performance evaluation of UML design with Stochastic Well-formed Nets
S Bernardi, J Merseguer
Journal of Systems and Software 80 (11), 1843-1865, 2007
Model-driven dependability assessment of software systems
S Bernardi, J Merseguer, DC Petriu
Springer Berlin Heidelberg, 2013
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
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
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
Adding dependability analysis capabilities to the MARTE profile
S Bernardi, J Merseguer, DC Petriu
International Conference on Model Driven Engineering Languages and Systems …, 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
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
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
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
Software performance modeling using uml and petri nets
J Merseguer, J Campos
International Workshop on Modeling, Analysis, and Simulation of Computer and …, 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
The system can't perform the operation now. Try again later.
Articles 1–20