Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Model Checking the Multi-Formalism Language FIGARO., , , , und . DSN, Seite 463-470. IEEE, (2021)Cross-fertilization between safety and security engineering., und . Reliab. Eng. Syst. Saf., (2013)Various Ways to Quantify BDMPs., , , und . MARS@ETAPS, Volume 316 von EPTCS, Seite 1-14. (2020)Scalable Reliability Analysis by Lazy Verification., , , und . NFM, Volume 12673 von Lecture Notes in Computer Science, Seite 180-197. Springer, (2021)ARCH-COMP21 Category Report: Stochastic Models., , , , , , , , , und 10 andere Autor(en). ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 55-89. EasyChair, (2021)Explaining Boolean-Logic Driven Markov Processes using GSPNs., , und . EDCC, Seite 119-126. IEEE, (2020)A Compositional Semantics for Repairable BDMPs., , und . SAFECOMP, Volume 12234 von Lecture Notes in Computer Science, Seite 82-98. Springer, (2020)The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems.. FTCS, Seite 680-685. IEEE Computer Society, (1993)Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs., , , und . PRDC, Seite 266-275. IEEE, (2019)