Concepedia

José Merseguer

JM

38

Publications

1.7K

Citations

19

H-Index

2000

Active since

Affiliations

Universidad de Zaragoza(Current)

University of Turin

Politecnico di Milano

Centro Universitario de la Defensa en San Javier

Carleton University

José Merseguer is an author at Universidad de Zaragoza specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringSoftware EngineeringComputer ScienceSoftware DesignSoftware AnalysisSystem SoftwareComputer EngineeringFormal MethodsSoftware Maintenance

Publications per year

2000–2021

38

Publications

38

From UML sequence diagrams and statecharts to analysable petri net models

Simona Bernardi, Susanna Donatelli, José Merseguer · 2002 · 281 citations

Petri Net, Engineering, Verification +23

Performance by unified model analysis (PUMA)

Murray Woodside, Dorina C. Petriu, Dorin B. Petriu et al. · 2005 · 206 citations

Engineering, Unified Model Analysis, Modeling Method +22

A dependability profile within MARTE

Simona Bernardi, José Merseguer, Dorina C. Petriu · Software & Systems Modeling · 2009 · 172 citations

Software Maintenance, Dependability Profile, Dependency Analysis +13

From UML activity diagrams to Stochastic Petri nets

Juan Pablo López-Grao, José Merseguer, J. Campos · ACM SIGSOFT Software Engineering Notes · 2004 · 160 citations

Software Maintenance, Uml Activity Diagrams, Petri Net +20

A compositional semantics for UML state machines aimed at performance evaluation

José Merseguer, J. Campos, Simona Bernardi et al. · 2003 · 81 citations

Petri Net, Engineering, Uml Diagrams +31

Rows per page

1–5 of 38