Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. - Husain Aljazzar; Manuel Fischer; Lars Grunske; Matthias Kuntz; Florian Leitner-Fischer; Stefan Leue (QEST, 2009)

Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. - Husain Aljazzar; Matthias Kuntz; Florian Leitner-Fischer; Stefan Leue (QUOVADIS@ICSE, 2010)

DYNEVI - DYnamic News Entity Visualization. - Franz Wanner; Matthias Jörg Schäfer; Florian Leitner-Fischer; Fabian Zintgraf; Martin Atkinson; Daniel A. Keim (EuroVAST@EuroVis, 2010)

Quantitative Analysis of UML Models. - Florian Leitner-Fischer; Stefan Leue (MBEES, 2011)

From Probabilistic Counterexamples via Causality to Fault Trees. - Matthias Kuntz; Florian Leitner-Fischer; Stefan Leue (SAFECOMP, 2011)

DiPro - A Tool for Probabilistic Counterexample Generation. - Husain Aljazzar; Florian Leitner-Fischer; Stefan Leue; Dimitar Simeonov (SPIN, 2011)

QuantUM: Quantitative Safety Analysis of UML Models - Florian Leitner-Fischer; Stefan Leue (QAPL, 2011)

Towards Causality Checking for Complex System Models. - Florian Leitner-Fischer; Stefan Leue (MBEES, 2012)

Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models. - Adrian Beer; Todor G. Georgiev; Florian Leitner-Fischer; Stefan Leue (MBEES, 2013)

On the Synergy of Probabilistic Causality Computation and Causality Checking. - Florian Leitner-Fischer; Stefan Leue (SPIN, 2013)

Causality Checking for Complex System Models. - Florian Leitner-Fischer; Stefan Leue (VMCAI, 2013)

Probabilistic fault tree synthesis using causality computation. - Florian Leitner-Fischer; Stefan Leue (Int. J. Crit. Comput. Based Syst., 2013)

SpinCause: a tool for causality checking. - Florian Leitner-Fischer; Stefan Leue (SPIN, 2014)

Symbolic Causality Checking Using Bounded Model Checking. - Adrian Beer; Stephan Heidinger; Uwe Kühne; Florian Leitner-Fischer; Stefan Leue (SPIN, 2015)

Causality Checking of Safety-Critical Software and Systems. - Florian Leitner-Fischer (2015)

SysML to NuSMV Model Transformation via Object-Orientation. - Georgiana Caltais; Florian Leitner-Fischer; Stefan Leue; Jannis Weiser (CyPhy, 2016)