Leue, Stefan

Lade...
Profilbild
E-Mail-Adresse
Geburtsdatum
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Leue
Vorname
Stefan
Name

Suchergebnisse Publikationen

Gerade angezeigt 1 - 10 von 112
  • Veröffentlichung
    Beitrag zu einem Konferenzband
    symQV : Automated Symbolic Verification of Quantum Programs
    (2023) Bauer-Marquart, Fabian; Leue, Stefan; Schilling, Christian
    Erschienen in: CHECHIK, Marsha, ed., Joost-Pieter KATOEN, ed., Martin LEUCKER, ed.. Formal Methods : 25th International Symposium, FM 2023, Proceedings. Cham: Springer, 2023, pp. 181-198. ISBN 978-3-031-27480-0. Available under: doi: 10.1007/978-3-031-27481-7_12
    Bauer-Marquart_2-43spemd6cbbe5.pdf
  • Veröffentlichung
    Beitrag zu einem Konferenzband
    SpecRepair : Counter-Example Guided Safety Repair of Deep Neural Networks
    (2022) Bauer-Marquart, Fabian; Boetius, David; Leue, Stefan; Schilling, Christian
    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. 79-96. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-031-15076-0. Available under: doi: 10.1007/978-3-031-15077-7_5
    Bauer-Marquart_2-19tqdmlko0rgt3.PDF
  • 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
  • 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
  • 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
  • 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
  • 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
  • Veröffentlichung
    Beitrag zu einem Konferenzband
    Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela
    (2020) Caltais, Georgiana; Leue, Stefan; Singh, Hargurbir
    Erschienen in: HAMMOUDI, Slimane, ed., Luis FERREIRA PIRES, ed., Bran SELIC, ed.. Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development : Volume 1: MODELSWARD. Setúbal, Portugal: SCITEPRESS, 2020, pp. 360-372. ISBN 9789897584008. Available under: doi: 10.5220/0008968303600372
    Caltais_2-36psqv39yo5y6.pdf
  • 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
  • Veröffentlichung
    Beitrag zu einem Konferenzband
    Causality for General LTL-definable Properties
    (2019) Caltais, Georgiana; Guetlein, Sophie Linnea; Leue, Stefan
    Erschienen 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
    Caltais_2-1ufwi8yvlv1a61.pdf