( en | de | ru )

 

Disambiguation of "Bernardi, Simona"

Author of the publication

copydeleteadd this publication to your clipboard
A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study.

, , , and . QUDOS@ISSTA, page 24-29. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Markus Bernardi

Andreas Bernardi

Mirko Bernardi

Jacqueline Bernardi

Mariangela Bernardi

 

Other publications of authors with the same name

Dependable and secure infrastructures and systems in intelligent environments., , , and . J. Reliab. Intell. Environ., 9 (3): 261-262 (September 2023)Using Process Mining and Model-Driven Engineering to Enhance Security of Web Information Systems., , and . EuroS&P Workshops, page 160-166. IEEE, (2017)Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization., , and . DSN, page 773-784. IEEE Computer Society, (2002)Performance Validation of Fault-Tolerance Software: A Compositional Approach., and . DSN, page 379-388. IEEE Computer Society, (2001)Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets., , , , , and . ICA3PP, volume 10048 of Lecture Notes in Computer Science, page 599-613. Springer, (2016)A UML profile for dependability analysis of real-time embedded systems., and . WOSP, page 115-124. ACM, (2007)Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality., and . QEST, page 285-286. IEEE Computer Society, (2009)ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets., , and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 50-53. Springer, (2009)From UML sequence diagrams and statecharts to analysable petrinet models., , and . Workshop on Software and Performance, page 35-45. ACM, (2002)Building stochastic Petri net models for the verification of complex software systems.. University of Turin, Italy, (2003)