| 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 | 25 | 2015 |
| Analysis of an Airport Surveillance Radar using the QuantUM approach A Beer, U Kühne, F Leitner-Fischer, S Leue, R Prem | 8 | 2012 |
| 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 | 7 | 2016 |
| 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 | 4 | 2013 |
| On the Relationship of Event Order Logic and Linear Temporal Logic A Beer, F Leitner-Fischer, S Leue | 3 | 2014 |
| Quantitative safety analysis of non-deterministic system architectures A Beer, U Kühne, F Leitner-Fischer, S Leue, R Prem | 2 | 2013 |
| Symbolic Causality Checking using SAT-Solving A Beer, U Kühne, F Leitner-Fischer, S Leue, R Prem | 1 | 2014 |
| Towards Symbolic Causality Checking using SAT-Solving A Beer, U Kühne, F Leitner-Fischer, S Leue Tagungsband des Dagstuhl-Workshops, 11, 2014 | 1* | 2014 |
| Quantitative Analysis of Concurrent System Archtectures A Beer Verlag nicht ermittelbar, 2012 | 1 | 2012 |
| Model-Based Quantitative Safety Analysis of Matlab Simulink A Beer, T Georgiev, F Leitner-Fischer, S Leue Bibliothek der Universität Konstanz, 2013 | | 2013 |
| Universität Konstanz Department of Computer and Information Science A Beer | | 2012 |
Stefan LeueProfessor of Computer ScienceVerified email at uni-konstanz.de
