Florian Leitner-Fischer

According to our database, Florian Leitner-Fischer authored at least 16 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

SysML to NuSMV Model Transformation via Object-Orientation.

Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

2015

Causality Checking of Safety-Critical Software and Systems.

Florian Leitner-Fischer

PhD thesis, 2015

Symbolic Causality Checking Using Bounded Model Checking.

Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

2014

SpinCause: a tool for causality checking.

Florian Leitner-Fischer, Stefan Leue

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

2013

Probabilistic fault tree synthesis using causality computation.

Florian Leitner-Fischer, Stefan Leue

Int. J. Crit. Comput. Based Syst., 2013

Causality Checking for Complex System Models.

Florian Leitner-Fischer, Stefan Leue

Proceedings of the Verification, 2013

On the Synergy of Probabilistic Causality Computation and Causality Checking.

Florian Leitner-Fischer, Stefan Leue

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models.

Adrian Beer, Todor G. Georgiev, Florian Leitner-Fischer, Stefan Leue

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013

2012

Towards Causality Checking for Complex System Models.

Florian Leitner-Fischer, Stefan Leue

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2011

QuantUM: Quantitative Safety Analysis of UML Models

Florian Leitner-Fischer, Stefan Leue

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

DiPro - A Tool for Probabilistic Counterexample Generation.

Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov

Proceedings of the Model Checking Software, 2011

From Probabilistic Counterexamples via Causality to Fault Trees.

Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue

Proceedings of the Computer Safety, Reliability, and Security, 2011

Quantitative Analysis of UML Models.

Florian Leitner-Fischer, Stefan Leue

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

2010

DYNEVI - DYnamic News Entity Visualization.

Franz Wanner, Matthias Jörg Schäfer, Florian Leitner-Fischer, Fabian Zintgraf, Martin Atkinson, Daniel A. Keim

Proceedings of the 1st International Symposium on Visual Analytics Science and Technology, 2010

Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation.

Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue

Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, 2010

2009

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

Proceedings of the QEST 2009, 2009