Leue, Stefan
0000-0002-4259-624X Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Leue
Vorname
Stefan
Name
27 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 10 von 27
- VeröffentlichungBeitrag zu einem KonferenzbandSysML to NuSMV Model Transformation via Object-Orientation(2017) Caltais, Georgiana; Leitner-Fischer, Florian; Leue, Stefan; Weiser, JannisErschienen in: BERGER, Christian, ed., Mohammad Reza MOUSAVI, ed., Rafael WISNIEWSKI, ed.. Cyber Physical Systems : Design, Modeling, and Evaluation : Revised Selected Papers. Cham: Springer, 2017, pp. 31-45. ISBN 978-3-319-51737-7. Available under: doi: 10.1007/978-3-319-51738-4_3
- VeröffentlichungBeitrag zu einem KonferenzbandAutomated Freedom from Interference Analysis for Automotive Software(2016) Leitner-Fischer, Florian; Leue, Stefan; Liu, SiruiErschienen in: ROY, Matthieu, ed.. CARS 2016 : Critical Automotive applications : Robustness & Safety. Villeurbanne: CCSD, 2016
- VeröffentlichungPreprintSymbolic Causality Checking Using Bounded Model Checking(2015) Beer, Adrian; Heidinger, Stephan; Kühne, Uwe; Leitner-Fischer, Florian; Leue, Stefan
- VeröffentlichungBeitrag zu einem KonferenzbandSymbolic Causality Checking Using Bounded Model Checking(2015) Beer, Adrian; Heidinger, Stephan; Kühne, Uwe; Leitner-Fischer, Florian; Leue, StefanErschienen in: FISCHER, Bernd, ed. and others. Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. Cham: Springer International Publishing, 2015, pp. 203-221. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-23403-8. Available under: doi: 10.1007/978-3-319-23404-5_14
- VeröffentlichungBeitrag zu einem KonferenzbandSpinCause : A Tool for Causality Checking(2014) Leitner-Fischer, Florian; Leue, StefanErschienen in: NEHA RUNGTA ..., , ed.. 2014 International SPIN Symposium on Model Checking of Software (SPIN) : Proceedings, July 21-23, 2014, San Jose, CA, USA. New York, NY: ACM, 2014, pp. 117-120. ISBN 978-1-4503-2452-6. Available under: doi: 10.1145/2632362.2632371
- VeröffentlichungBeitrag zu einem KonferenzbandTowards Symbolic Causality Checking using SAT-Solving(2014) Beer, Adrian; Kühne, Uwe; Leitner-Fischer, Florian; Leue, StefanErschienen in: MBEES 2014 : Tagungsband des Dagstuhl-Workshops ; Modellbasierte Entwicklung eingebetteter Systeme X ; 05.03.2014 – 07.03.2014 = Model-based development of embedded systems. München: fortiss, 2014, pp. 11-20
- VeröffentlichungWorking Paper/Technical ReportOn the Relationship of Event Order Logic and Linear Temporal Logic(2014) Beer, Adrian; Leitner-Fischer, Florian; Leue, StefanSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz; soft-14-01
- VeröffentlichungWorking Paper/Technical ReportSymbolic Causality Checking Using SAT-Solving(2014) Beer, Adrian; Kühne, Uwe; Leitner-Fischer, Florian; Leue, Stefan; Prem, RüdigerSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz; soft-14-02
- VeröffentlichungWorking Paper/Technical ReportOn the Synergy of Probabilistic Causality Computation and Causality Checking(2013) Leitner-Fischer, Florian; Leue, StefanSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz ; soft-13-01
- VeröffentlichungBeitrag zu einem KonferenzbandModel-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models(2013) Beer, Adrian; Georgiev, Todor; Leitner-Fischer, Florian; Leue, StefanErschienen in: GIESE, Holger, ed. and others. MBEES 2013 : Tagungsband des Dagstuhl-Workshops ; Modellbasierte Entwicklung eingebetteter Systeme IX ; Model-Based Development of Embedded Systems ; 24.04.2013 - 26.04.2013. München: fortiss, 2013, pp. 60-69