( en | de | ru )

 

Disambiguierung von "Bernardi, Simona"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets.

, , und . TACAS, Volume 5505 von Lecture Notes in Computer Science, Seite 50-53. Springer, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Markus Bernardi

Andreas Bernardi

Mirko Bernardi

Mariangela Bernardi

Jacqueline Bernardi

 

Weitere Publikationen von Autoren mit dem selben Namen

Performance evaluation of UML design with Stochastic Well-formed Nets., und . J. Syst. Softw., 80 (11): 1843-1865 (2007)Using Process Mining and Model-Driven Engineering to Enhance Security of Web Information Systems., , und . EuroS&P Workshops, Seite 160-166. IEEE, (2017)Toward a decision support system for the clinical pathways assessment., , und . Discret. Event Dyn. Syst., 29 (1): 91-125 (2019)Dependable and secure infrastructures and systems in intelligent environments., , , und . J. Reliab. Intell. Environ., 9 (3): 261-262 (September 2023)Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets., , , , , und . ICA3PP, Volume 10048 von Lecture Notes in Computer Science, Seite 599-613. Springer, (2016)Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization., , und . DSN, Seite 773-784. IEEE Computer Society, (2002)Performance Validation of Fault-Tolerance Software: A Compositional Approach., und . DSN, Seite 379-388. IEEE Computer Society, (2001)A UML profile for dependability analysis of real-time embedded systems., und . WOSP, Seite 115-124. ACM, (2007)Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality., und . QEST, Seite 285-286. IEEE Computer Society, (2009)tegdet: An extensible Python Library for Anomaly Detection using Time-Evolving Graphs., , und . CoRR, (2022)