| 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 |
| 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 | 15 | 2017 |
| 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 | 7 | 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 |
| 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 |
| Die n {\" a} chste Generation Embedded-Software-Ingenieure--Welche Kompetenzen sind in Zukunft wichtig und wie vermitteln wir diese? F Leitner-Fischer, S Leue, S Liu, G Caltais, F Leitner-Fischer, S Leue, ... Tagungsband Embedded Software Engineering Kongress, 203-221, 2022 | | 2022 |
| Symbolic Causality Checking using SAT-Solving A Beer, U Kühne, F Leitner-Fischer, S Leue, R Prem | | 2014 |
| 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 Science, University of Konstanz, GermanyVerified email at uni-konstanz.de
