Florian Leitner-Fischer

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