Jose Merseguer
Title
Cited by
Cited by
Year
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
3952002
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
2562005
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
2552004
A dependability profile within MARTE
S Bernardi, J Merseguer, DC Petriu
Software & Systems Modeling 10 (3), 313-336, 2011
1812011
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
1801997
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
1092002
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
982012
Performance evaluation of UML design with Stochastic Well-formed Nets
S Bernardi, J Merseguer
Journal of Systems and Software 80 (11), 1843-1865, 2007
692007
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
642006
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
632015
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
582010
Adding dependability analysis capabilities to the MARTE profile
S Bernardi, J Merseguer, DC Petriu
International Conference on Model Driven Engineering Languages and Systems …, 2008
552008
Model-driven dependability assessment of software systems
S Bernardi, J Merseguer, DC Petriu
Springer, 2013
502013
Software performance modeling using uml and petri nets
J Merseguer, J Campos
International Workshop on Modeling, Analysis, and Simulation of Computer and …, 2003
492003
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
472006
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
462000
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
452014
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
432011
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
422013
Software and Systems Modeling (SoSyM), v. 10 n. 3
S Bernardi, J Merseguer, DC Petriu, A dependability profile within MARTE
July, 2011
362011
The system can't perform the operation now. Try again later.
Articles 1–20