Autor der Publikation

Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation.

, , , und . QUOVADIS@ICSE, Seite 25-32. ACM, (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.

 

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)Quantitative Analysis of UML Models., und . MBEES, Seite 91-100. fortiss GmbH, München, (2011)DiPro - A Tool for Probabilistic Counterexample Generation., , , und . SPIN, Volume 6823 von Lecture Notes in Computer Science, Seite 183-187. Springer, (2011)SpinCause: a tool for causality checking., und . SPIN, Seite 117-120. ACM, (2014)SysML to NuSMV Model Transformation via Object-Orientation., , , und . CyPhy, Volume 10107 von Lecture Notes in Computer Science, Seite 31-45. Springer, (2016)Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models., , , und . MBEES, Seite 60-69. fortiss GmbH, München, (2013)DYNEVI - DYnamic News Entity Visualization., , , , , und . EuroVAST@EuroVis, Eurographics Association, (2010)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)