Author of the publication

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

, , , and . QUOVADIS@ICSE, page 25-32. ACM, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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