Leue, Stefan

Profilbild
E-Mail-Adresse
ORCID
ORCID logo 0000-0002-4259-624X
Geburtsdatum
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Leue
Vorname
Stefan
Name

Filter

2018 - 201942020 - 20225
Filter zurücksetzen

Einstellungen

Autor:in: pop238360 ×

Suchergebnisse Publikationen

Gerade angezeigt 1 - 9 von 9
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    Automated Consistency Analysis for Legal Contracts
    (2022) Khoja, Alan; Kölbl, Martin; Leue, Stefan; Wilhelmi, Rüdiger
    Erschienen in: LEGUNSEN, Owolabi, ed., Grigore ROSU, ed.. Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022 : Proceedings. Cham: Springer, 2022, pp. 1-23. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-031-15076-0. Available under: doi: 10.1007/978-3-031-15077-7_1
    Kohja_2-1eiz2f5pgza5w5.PDF
  • Vorschaubild
    Veröffentlichung
    Zeitschriftenartikel
    Automated repair for timed systems
    (2021) Kölbl, Martin; Leue, Stefan; Wies, Thomas
    Erschienen in: Formal Methods in System Design. Springer. 2021, 59, pp. 136-169. ISSN 0925-9856. eISSN 1572-8102. Available under: doi: 10.1007/s10703-022-00397-5
    Koelbl_2-1gelmzvrdev3s7.pdf
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces
    (2021) Kölbl, Martin; Leue, Stefan
    Erschienen in: MARGARIA, Tiziana, ed., Bernhard STEFFEN, ed.. ISoLA 2020 : Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends : Proceedings, Part IV. Cham: Springer Nature, 2021, pp. 10-26. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-83723-5. Available under: doi: 10.1007/978-3-030-83723-5_2
    Koelbl_2-nmxtx7icteyz7.pdf
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    Dynamic Causes for the Violation of Timed Reachability Properties
    (2020) Kölbl, Martin; Leue, Stefan; Schmid, Robert
    Erschienen in: BERTRAND, Nathalie, ed., Nils JANSEN, ed.. Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020 : Proceedings. Cham: Springer, 2020, pp. 127-143. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-57627-1. Available under: doi: 10.1007/978-3-030-57628-8_8
    Koelbl_2-3aoeg9qmj7d57.pdf
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    TarTar : A Timed Automata Repair Tool
    (2020) Kölbl, Martin; Leue, Stefan; Wies, Thomas
    Erschienen in: LAHIRI, Shuvendu K., ed., Chao WANG, ed.. Computer Aided Verification : 32nd International Conference, CAV 2020, Proceedings, Part I. Cham: Springer International Publishing, 2020, pp. 529-540. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-53287-1. Available under: doi: 10.1007/978-3-030-53288-8_25
    Koelbl_2-1wnkg9vtbpcez0.pdf
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    Clock Bound Repair for Timed Systems
    (2019) Kölbl, Martin; Leue, Stefan; Wies, Thomas
    Erschienen 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
    Koelbl_2-lr7idu9ozjpr2.pdf
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking
    (2019) Kölbl, Martin; Leue, Stefan
    Erschienen 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
    Koelbl_2-1u56ubk3dc5085.pdf
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    Automated Functional Safety Analysis of Automated Driving Systems
    (2018) Kölbl, Martin; Leue, Stefan
    Erschienen 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
    Koelbl_2-1a3dufmu3aia68.pdf
  • Vorschaubild
    Veröffentlichung
    Beitrag zu einem Konferenzband
    From SysML to Model Checkers via Model Transformation
    (2018) Kölbl, Martin; Leue, Stefan; Singh, Hargurbir
    Erschienen 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
    Koelbl_2-fcxzqisum9ld1.pdf