Jose Merseguer
TítuloCitado porAño
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
3812002
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
2512005
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
2442004
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
1761997
A dependability profile within MARTE
S Bernardi, J Merseguer, DC Petriu
Software & Systems Modeling 10 (3), 313-336, 2011
1652011
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
1052002
Dependability modeling and analysis of software systems specified with UML
S Bernardi, J Merseguer, DC Petriu
ACM Computing Surveys (CSUR) 45 (1), 2, 2012
872012
Performance evaluation of UML design with Stochastic Well-formed Nets
S Bernardi, J Merseguer
Journal of Systems and Software 80 (11), 1843-1865, 2007
672007
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
612006
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
592015
Adding dependability analysis capabilities to the MARTE profile
S Bernardi, J Merseguer, DC Petriu
International Conference on Model Driven Engineering Languages and Systems …, 2008
532008
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
522010
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
472000
Software performance modeling using uml and petri nets
J Merseguer, J Campos
International Workshop on Modeling, Analysis, and Simulation of Computer and …, 2003
462003
Model-driven dependability assessment of software systems
S Bernardi, J Merseguer, DC Petriu
Springer, 2013
442013
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
442006
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
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
422014
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
392013
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
352007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20