Florian Leitner-Fischer
Florian Leitner-Fischer
Research Assistant, University of Konstanz
Verified email at florian-leitner.de - Homepage
Title
Cited by
Cited by
Year
Safety analysis of an airbag system using probabilistic FMEA and probabilistic counterexamples
H Aljazzar, M Fischer, L Grunske, M Kuntz, F Leitner-Fischer, S Leue
2009 Sixth International Conference on the Quantitative Evaluation of …, 2009
752009
Causality checking for complex system models
F Leitner-Fischer, S Leue
International Workshop on Verification, Model Checking, and Abstract …, 2013
522013
From probabilistic counterexamples via causality to fault trees
M Kuntz, F Leitner-Fischer, S Leue
International Conference on Computer Safety, Reliability, and Security, 71-84, 2011
432011
Dipro-a tool for probabilistic counterexample generation
H Aljazzar, F Leitner-Fischer, S Leue, D Simeonov
International SPIN Workshop on Model Checking of Software, 183-187, 2011
362011
Probabilistic fault tree synthesis using causality computation
F Leitner-Fischer, S Leue
International Journal of Critical Computer-Based Systems 30 4 (2), 119-143, 2013
302013
QuantUM: Quantitative safety analysis of UML models
F Leitner-Fischer, S Leue
arXiv preprint arXiv:1107.1198, 2011
272011
Symbolic causality checking using bounded model checking
A Beer, S Heidinger, U Kühne, F Leitner-Fischer, S Leue
International SPIN Workshop on Model Checking of Software, 203-221, 2015
252015
Simulink Design Verifier vs. SPIN: a comparative case study
F Leitner-Fischer, S Leue
192008
Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation
H Aljazzar, M Kuntz, F Leitner-Fischer, S Leue
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in …, 2010
132010
On the synergy of probabilistic causality computation and causality checking
F Leitner-Fischer, S Leue
International SPIN Workshop on Model Checking of Software, 246-263, 2013
122013
Spincause: A tool for causality checking
F Leitner-Fischer, S Leue
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
92014
Causality checking of safety-critical software and systems
F Leitner-Fischer
82015
Analysis of an Airport Surveillance Radar using the QuantUM approach
A Beer, U Kühne, F Leitner-Fischer, S Leue, R Prem
82012
SysML to NuSMV model transformation via object-orientation
G Caltais, F Leitner-Fischer, S Leue, J Weiser
International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2016
62016
Quantitative analysis of UML models
F Leitner-Fischer, S Leue
Proceedings of Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2011 …, 2011
62011
The quantum approach in the context of the iso standard 26262 for automotive systems
F Leitner-Fischer, S Leue
52011
Quantitative safety analysis of uml models
F Leitner-Fischer
52010
Model-based quantitative safety analysis of Matlab Simulink/Stateflow models
A Beer, T Georgiev, F Leitner-Fischer, S Leue
Model-Based Development of Embedded Systems, 60-69, 2013
42013
Automated Freedom from Interference Analysis for Automotive Software
F Leitner-Fischer, S Leue, S Liu
32016
On the relationship of event order logic and linear temporal logic
A Beer, F Leitner-Fischer, S Leue
32014
The system can't perform the operation now. Try again later.
Articles 1–20