Autor der Publikation

DiPro - A Tool for Probabilistic Counterexample Generation.

, , , und . SPIN, Volume 6823 von Lecture Notes in Computer Science, Seite 183-187. Springer, (2011)

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

Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation., , , und . QUOVADIS@ICSE, Seite 25-32. ACM, (2010)Causality Checking for Complex System Models., und . VMCAI, Volume 7737 von Lecture Notes in Computer Science, Seite 248-267. Springer, (2013)Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples., , , , , und . QEST, Seite 299-308. IEEE Computer Society, (2009)DiPro - A Tool for Probabilistic Counterexample Generation., , , und . SPIN, Volume 6823 von Lecture Notes in Computer Science, Seite 183-187. Springer, (2011)SysML to NuSMV Model Transformation via Object-Orientation., , , und . CyPhy, Volume 10107 von Lecture Notes in Computer Science, Seite 31-45. Springer, (2016)SpinCause: a tool for causality checking., und . SPIN, Seite 117-120. ACM, (2014)Quantitative Analysis of UML Models., und . MBEES, Seite 91-100. fortiss GmbH, München, (2011)Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models., , , und . MBEES, Seite 60-69. fortiss GmbH, München, (2013)From Probabilistic Counterexamples via Causality to Fault Trees., , und . SAFECOMP, Volume 6894 von Lecture Notes in Computer Science, Seite 71-84. Springer, (2011)On the Synergy of Probabilistic Causality Computation and Causality Checking., und . SPIN, Volume 7976 von Lecture Notes in Computer Science, Seite 246-263. Springer, (2013)