PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Leitner-Fischer, Florian"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Dr. Markus Leitner University of Stuttgart

S. Fischer

Dr. -Ing. Klaus Fischer University of Stuttgart

Uwe Fischer University of Stuttgart

Felix Fischer University of Stuttgart

 

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)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)Quantitative Analysis of UML Models., and . MBEES, page 91-100. fortiss GmbH, München, (2011)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)On the Synergy of Probabilistic Causality Computation and Causality Checking., and . SPIN, volume 7976 of Lecture Notes in Computer Science, page 246-263. Springer, (2013)