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
Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models.

, , , and . MBEES, page 60-69. fortiss GmbH, München, (2013)

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)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)SpinCause: a tool for causality checking., and . SPIN, page 117-120. ACM, (2014)SysML to NuSMV Model Transformation via Object-Orientation., , , and . CyPhy, volume 10107 of Lecture Notes in Computer Science, page 31-45. Springer, (2016)Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models., , , and . MBEES, page 60-69. fortiss GmbH, München, (2013)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)Symbolic Causality Checking Using Bounded Model Checking., , , , and . SPIN, volume 9232 of Lecture Notes in Computer Science, page 203-221. Springer, (2015)