Florian Leitner-Fischer

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 2

Top Venues

SPIN

MBEES

VMCAI

Int. J. Crit. Comput. Based Syst.

University of Konstanz, Germany (PHD)

Education History

University of Konstanz, Germany

PHD

Publications

Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser
SysML to NuSMV Model Transformation via Object-Orientation. CyPhy (2016)
Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue
Symbolic Causality Checking Using Bounded Model Checking. SPIN (2015)
Florian Leitner-Fischer, Stefan Leue
SpinCause: a tool for causality checking. SPIN (2014)
Florian Leitner-Fischer, Stefan Leue
Probabilistic fault tree synthesis using causality computation. Int. J. Crit. Comput. Based Syst. 4 (2) (2013)
Adrian Beer, Todor G. Georgiev, Florian Leitner-Fischer, Stefan Leue
Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models. MBEES (2013)
Florian Leitner-Fischer, Stefan Leue
On the Synergy of Probabilistic Causality Computation and Causality Checking. SPIN (2013)
Florian Leitner-Fischer, Stefan Leue
Causality Checking for Complex System Models. VMCAI (2013)
Florian Leitner-Fischer, Stefan Leue
Towards Causality Checking for Complex System Models. MBEES (2012)
Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov
DiPro - A Tool for Probabilistic Counterexample Generation. SPIN (2011)
Florian Leitner-Fischer, Stefan Leue
Quantitative Analysis of UML Models. MBEES (2011)
Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
From Probabilistic Counterexamples via Causality to Fault Trees. SAFECOMP (2011)
Florian Leitner-Fischer, Stefan Leue
QuantUM: Quantitative Safety Analysis of UML Models QAPL (2011)
Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. QUOVADIS@ICSE (2010)
Franz Wanner, Matthias Jörg Schäfer, Florian Leitner-Fischer, Fabian Zintgraf, Martin Atkinson, Daniel A. Keim
DYNEVI - DYnamic News Entity Visualization. EuroVAST@EuroVis (2010)
Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. QEST (2009)

Florian Leitner-Fischer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Florian Leitner-Fischer