Concepedia

Simona Bernardi

SB

25

Publications

1.1K

Citations

17

H-Index

2000

Active since

Affiliations

Universidad de Zaragoza(Current)

University of Turin

Centro Universitario de la Defensa en San Javier

Simona Bernardi is an author at Universidad de Zaragoza specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceSoftware EngineeringFormal MethodsSoftware DesignComputer EngineeringSoftware AnalysisFormal VerificationModeling And Simulation

Publications per year

2000–2020

25

Publications

25

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

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

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

Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques

Simona Bernardi, J. Campos, José Merseguer · IEEE Transactions on Industrial Informatics · 2010 · 58 citations

Software Maintenance, Petri Net, Software Reliability Testing +31

Performance evaluation of UML design with Stochastic Well-formed Nets

Simona Bernardi, José Merseguer · Journal of Systems and Software · 2007 · 54 citations

Engineering, Performance Modeling, Computer Engineering +6

Rows per page

1–5 of 25