Leue, Stefan
0000-0002-4259-624X Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Leue
Vorname
Stefan
Name
43 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 10 von 43
- VeröffentlichungBeitrag zu einem KonferenzbandClock Bound Repair for Timed Systems(2019) Kölbl, Martin; Leue, Stefan; Wies, ThomasErschienen in: DILLIG, Isil, ed., Serdar TASIRAN, ed.. Computer Aided Verification : 31st International Conference, CAV 2019, Proceedings, Part I. Cham: Springer International Publishing, 2019, pp. 79-96. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-25539-8. Available under: doi: 10.1007/978-3-030-25540-4_5
- VeröffentlichungBeitrag zu einem KonferenzbandCausality for General LTL-definable Properties(2019) Caltais, Georgiana; Guetlein, Sophie Linnea; Leue, StefanErschienen in: FINKBEINER, Bernd, ed., Samantha KLEINBERG, ed.. Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology : CREST 2018. 2019, pp. 1-15. eISSN 2075-2180. Available under: doi: 10.4204/EPTCS.286.1
- VeröffentlichungBeitrag zu einem KonferenzbandAn Efficient Algorithm for Computing Causal Trace Sets in Causality Checking(2019) Kölbl, Martin; Leue, StefanErschienen in: CHEN, Yu-Fang, ed., Chih-Hong CHENG, ed., Javier ESPARZA, ed.. Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Proceedings. Cham: Springer Nature, 2019, pp. 171-186. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-31783-6. Available under: doi: 10.1007/978-3-030-31784-3_10
- VeröffentlichungZeitschriftenartikelVerlässliche Software im 21. Jahrhundert(2018) Wagner, Stefan; Tichy, Matthias; Felderer, Michael; Leue, StefanErschienen in: Informatik-Spektrum. 2018, 41(5), pp. 311-316. ISSN 0170-6012. eISSN 1432-122X. Available under: doi: 10.1007/s00287-018-1118-x
- VeröffentlichungBeitrag zu einem KonferenzbandAutomated Functional Safety Analysis of Automated Driving Systems(2018) Kölbl, Martin; Leue, StefanErschienen in: HOWAR, Falk, ed., Jiřà BARNAT, ed.. Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. Cham: Springer, 2018, pp. 35-51. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-00243-5. Available under: doi: 10.1007/978-3-030-00244-2_3
- VeröffentlichungBeitrag zu einem KonferenzbandFrom SysML to Model Checkers via Model Transformation(2018) Kölbl, Martin; Leue, Stefan; Singh, HargurbirErschienen in: DEL MAR GALLARDO, MarÃa, ed., Pedro MERINO, ed.. Model Checking Software : 25th International Symposium : SPIN 2018 : proceedings. Cham: Springer, 2018, pp. 255-274. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-94110-3. Available under: doi: 10.1007/978-3-319-94111-0_15
- 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öffentlichungKonferenzbandProceedings 2nd International Workshop on Causal Reasoning for embedded and safety-critical Systems Technologies(Waterloo, NSW, Australia : Open Publishing Association, 2017) Groce, Alex; Leue, Stefan (Hrsg.)Schriftenreihe: Electronic proceedings in theoretical computer science : EPTCS; 259
- 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
