Seguir
Jose Merseguer
Título
Citado por
Citado por
Añ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
4342002
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
2872004
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
2802005
A dependability profile within MARTE
S Bernardi, J Merseguer, DC Petriu
Software & Systems Modeling 10, 313-336, 2011
2222011
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
1831997
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
1362012
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
1212002
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
762015
Performance evaluation of UML design with Stochastic Well-formed Nets
S Bernardi, J Merseguer
Journal of Systems and Software 80 (11), 1843-1865, 2007
732007
Model-driven dependability assessment of software systems
S Bernardi, J Merseguer, DC Petriu
Springer Berlin Heidelberg, 2013
722013
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
712006
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
662010
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
642014
Adding dependability analysis capabilities to the MARTE profile
S Bernardi, J Merseguer, DC Petriu
International Conference on Model Driven Engineering Languages and Systems …, 2008
632008
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
552006
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
542013
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
482000
Software performance modeling using uml and petri nets
J Merseguer, J Campos
International Workshop on Modeling, Analysis, and Simulation of Computer and …, 2003
462003
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
452014
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
432011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20