Simona Bernardi - Concepedia

Author

Simona Bernardi

Universidad de Zaragoza ORCID

Also Known As

Bernardi, Simona, S. Bernardi, Simona Bernardi

Publications

1.5K

Citations

H-Index

Concepts

All Affiliations

Universidad de Zaragoza University of Turin Centro Universitario de la Defensa en San Javier

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	17	22	1.1K
2	Medicine	2	2	24
3	Business	1	1	31
4	Language Studies	1	1	81
5	Biomedical Engineering	1	1	13

Simona Bernardi

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
From UML sequence diagrams and statecharts to analysable petri net models Simona Bernardi, Susanna Donatelli, José Merseguer Petri NetEngineeringVerificationSoftware EngineeringSoftware Analysis	2002	281
A dependability profile within MARTE Simona Bernardi, José Merseguer, Dorina C. Petriu Software & Systems Modeling Software MaintenanceDependability ProfileDependency AnalysisReliability EngineeringEngineering	2009	172
A compositional semantics for UML state machines aimed at performance evaluation José Merseguer, J. Campos, Simona Bernardi, Petri NetEngineeringUml DiagramsSingle SmsSoftware Engineering	2003	81
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques Simona Bernardi, J. Campos, José Merseguer IEEE Transactions on Industrial Informatics Software MaintenancePetri NetSoftware Reliability TestingEngineeringIndustrial Engineering	2010	58
Performance evaluation of UML design with Stochastic Well-formed Nets Simona Bernardi, José Merseguer Journal of Systems and Software EngineeringPerformance ModelingComputer EngineeringStochastic Petri NetSystems Engineering	2007	54
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach Simona Bernardi, Francesco Flammini, S. Marrone, Reliability Engineering & System Safety Railway TrafficEngineeringRail TransportDam-rail ApproachVerification	2013	46
Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets Simona Bernardi, J. Campos IEEE Transactions on Industrial Informatics Petri NetEngineeringReachability ProblemReal-time System DesignVerification	2009	38
Implementing compositionality for stochastic Petri nets Simona Bernardi, Susanna Donatelli, András Horváth International Journal on Software Tools for Technology Transfer Petri NetEngineeringAutomated ReasoningStochastic Petri NetFormal Methods	2001	37
QoS assessment via stochastic analysis Simona Bernardi, José Merseguer IEEE Internet Computing AvailabilityEngineeringService AssuranceQuality-of-serviceSoftware Engineering	2006	31
A UML profile for dependability analysis of real-time embedded systems Simona Bernardi, José Merseguer EngineeringSoftware EngineeringEmbedded SystemsDependable System ArchitectureEmbedded Architecture	2007	29

Page 1