( en | de | ru )

 

Disambiguierung von "Bernardi, Simona"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile.

, , und . EDCC, Seite 95-104. IEEE Computer Society, (2010)

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

Using Process Mining and Model-Driven Engineering to Enhance Security of Web Information Systems., , und . EuroS&P Workshops, Seite 160-166. IEEE, (2017)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)A UML profile for dependability analysis of real-time embedded systems., und . WOSP, Seite 115-124. ACM, (2007)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)Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality., und . QEST, Seite 285-286. IEEE Computer Society, (2009)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)From UML sequence diagrams and statecharts to analysable petrinet models., , und . Workshop on Software and Performance, Seite 35-45. ACM, (2002)Building Petri net scenarios for dependable automation systems., und . PNPM, Seite 72-81. IEEE Computer Society, (2003)