Get started
Author

José Merseguer

Observed names: J. Merseguer, JOSÉ MERSEGUER, Jose Merseguer, Jose Merseguer Hernaiz, Jose ́ Merseguer, José Javier Merseguer, José Javier Merseguer Hernáiz, José MERSEGUER, José Merseguer Hernáiz, Merseguer Hernaiz, José Javier, Merseguer Hernáiz, José Javier, Merseguer, Jose, Merseguer, José
ORCID: 0000-0001-5538-3553
Observed ORCID: 0000-0001-5538-3553
OpenAlex ID: A5068314432
From UML sequence diagrams and statecharts to analysable petri net models
2002 · Simona Bernardi, Susanna Donatelli, et al. · International Workshop on Software and Performance (WOSP) · 288
Performance by unified model analysis (PUMA)
2005 · Murray Woodside, Dorina C. Petriu, et al. · International Workshop on Software and Performance (WOSP) · 209
A dependability profile within MARTE
2009 · Simona Bernardi, José Merseguer, et al. · Software & Systems Modeling · 177
From UML activity diagrams to Stochastic Petri nets
2004 · Juan Pablo López-Grao, José Merseguer, et al. · ACM SIGSOFT Software Engineering Notes · 162
Dependability modeling and analysis of software systems specified with UML
2012 · Simona Bernardi, José Merseguer, et al. · ACM Computing Surveys · 95
A compositional semantics for UML state machines aimed at performance evaluation
2003 · J. Merseguer, J. Campos, et al. · International Workshop on Discrete Event Systems · 80
From UML activity diagrams to Stochastic Petri nets
2004 · Juan Pablo López-Grao, José Merseguer, et al. · International Workshop on Software and Performance (WOSP) · 66
00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods
2013 · Oscar Pastor, Emilio Insfrán, et al. · Springer eBooks · 65
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
2010 · Simona Bernardi, Javier Campos, et al. · IEEE Transactions on Industrial Informatics · 63
DICE: Quality-Driven Development of Data-Intensive Cloud Applications
2015 · Giuliano Casale, Danilo Ardagna, et al. · International Workshop on Modeling in Software Engineering (MiSE) · 56
PDF
Performance evaluation of UML design with Stochastic Well-formed Nets
2007 · Simona Bernardi, José Merseguer · Journal of Systems and Software · 56
Model-Driven Dependability Assessment of Software Systems
2013 · Simona Bernardi, José Merseguer, et al. · Springer eBooks · 54
Transformation challenges: from software models to performance models
2013 · Murray Woodside, Dorina C. Petriu, et al. · Software & Systems Modeling · 50
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach
2013 · S. Bernardi, F. Flammini, et al. · Reliability Engineering & System Safety · 46
OO-Method: An OO software production environment combining conventional and formal methods
1997 · Oscar Pastor, Emilio Insfrán, et al. · Notes on numerical fluid mechanics and multidisciplinary design · 44
PDF
Model-Driven Availability Evaluation of Railway Control Systems
2011 · Simona Bernardi, Francesco Flammini, et al. · Lecture notes in computer science · 38
ArgoSPE: Model-Based Software Performance Engineering
2006 · Elena Gómez-Martínez, José Merseguer · Lecture notes in computer science · 38
Adding Dependability Analysis Capabilities to the MARTE Profile
2008 · Simona Bernardi, José Merseguer, et al. · Lecture notes in computer science · 37
Software Performance Modeling Using UML and Petri Nets
2004 · José Merseguer, Javier Campos · Lecture notes in computer science · 36
On the relationships between QoS and software adaptability at the architectural level
2013 · Diego Perez-Palacin, Raffaela Mirandola, et al. · Journal of Systems and Software · 35
On the Integration of UML and Petri Nets in Software Development
2006 · Javier Campos, José Merseguer · Lecture notes in computer science · 34
Security modelling and formal verification of survivability properties: Application to cyber–physical systems
2020 · S. Bernardi, U. Gentile, et al. · Journal of Systems and Software · 33
PDF
QoS assessment via stochastic analysis
2006 · S. Bernardi, J. Merseguer · IEEE Internet Computing · 31
A UML profile for dependability analysis of real-time embedded systems
2007 · Simona Bernardi, José Merseguer · International Workshop on Software and Performance (WOSP) · 29
From UML sequence diagrams and statecharts to analysable petri net models
2002 · Simona Bernardi, Susanna Donatelli, et al. · International Workshop on Software and Performance (WOSP) · 26
Works count: 139
Citation count: 2,435
H-index: 25
I10-index: 53
Year
Topic
Type