| 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 | 96 | 2009 |
| Causality checking for complex system models F Leitner-Fischer, S Leue International Workshop on Verification, Model Checking, and Abstract …, 2013 | 87 | 2013 |
| From probabilistic counterexamples via causality to fault trees M Kuntz, F Leitner-Fischer, S Leue Computer Safety, Reliability, and Security: 30th International Conference …, 2011 | 55 | 2011 |
| Dipro-a tool for probabilistic counterexample generation H Aljazzar, F Leitner-Fischer, S Leue, D Simeonov Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA …, 2011 | 48 | 2011 |
| 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 | 43 | 2013 |
| QuantUM: Quantitative safety analysis of UML models F Leitner-Fischer, S Leue arXiv preprint arXiv:1107.1198, 2011 | 33 | 2011 |
| 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 | 32 | 2015 |
| Simulink Design Verifier vs. SPIN: a comparative case study F Leitner-Fischer, S Leue | 22 | 2008 |
| Sysml to nusmv model transformation via object-orientation G Caltais, F Leitner-Fischer, S Leue, J Weiser Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International …, 2017 | 18 | 2017 |
| 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 | 18 | 2013 |
| Spincause: a tool for causality checking F Leitner-Fischer, S Leue Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014 | 16 | 2014 |
| 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 | 13 | 2010 |
| Causality checking of safety-critical software and systems F Leitner-Fischer | 12 | 2015 |
| Analysis of an Airport Surveillance Radar using the QuantUM approach A Beer, U Kühne, F Leitner-Fischer, S Leue, R Prem | 11 | 2012 |
| Model-based quantitative safety analysis of Matlab Simulink/Stateflow models A Beer, T Georgiev, F Leitner-Fischer, S Leue | 8 | 2013 |
| Quantitative analysis of UML models F Leitner-Fischer, S Leue Proceedings of Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2011 …, 2011 | 8 | 2011 |
| The quantum approach in the context of the iso standard 26262 for automotive systems F Leitner-Fischer, S Leue | 6 | 2011 |
| Quantitative safety analysis of uml models F Leitner-Fischer | 5 | 2010 |
| Automated Freedom from Interference Analysis for Automotive Software F Leitner-Fischer, S Leue, S Liu CARS 2016-4th International Workshop on Critical Automotive applications …, 2016 | 4 | 2016 |
| On the relationship of event order logic and linear temporal logic A Beer, F Leitner-Fischer, S Leue | 3 | 2014 |
Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyVerified email at uni-konstanz.de
