Person:
Leue, Stefan

Profile Picture
Email Address
ORCID
0000-0002-4259-624X
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Leue
First Name
Stefan
Name

Search Results

Now showing 1 - 10 of 119
  • Thumbnail Image
    Publication
    Contribution to a conference collection
    symQV : Automated Symbolic Verification of Quantum Programs
    (2023) Bauer-Marquart, Fabian; Leue, Stefan; Schilling, Christian
    Published in: Formal Methods : 25th International Symposium, FM 2023, Proceedings / Chechik, Marsha; Katoen, Joost-Pieter; Leucker, Martin (ed.). - Cham : Springer, 2023. - (Lecture Notes in Computer Science ; 14000). - pp. 181-198. - ISBN 978-3-031-27480-0
    Bauer-Marquart_2-43spemd6cbbe5.pdf
    (266.15 KB)
  • Thumbnail Image
    Publication
    Contribution to a conference collection
    SpecRepair : Counter-Example Guided Safety Repair of Deep Neural Networks
    (2022) Bauer-Marquart, Fabian; Boetius, David; Leue, Stefan; Schilling, Christian
    Published in: Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022 : Proceedings / Legunsen, Owolabi; Rosu, Grigore (ed.). - Cham : Springer, 2022. - (Lecture Notes in Computer Science ; 13255). - pp. 79-96. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-031-15076-0
    Bauer-Marquart_2-19tqdmlko0rgt3.PDF
    (441.19 KB)
  • Thumbnail Image
    Publication
    Contribution to a conference collection
    Automated Consistency Analysis for Legal Contracts
    (2022) Khoja, Alan; Kölbl, Martin; Leue, Stefan; Wilhelmi, Rüdiger
    Published in: Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022 : Proceedings / Legunsen, Owolabi; Rosu, Grigore (ed.). - Cham : Springer, 2022. - (Lecture Notes in Computer Science ; 13255). - pp. 1-23. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-031-15076-0
    Kohja_2-1eiz2f5pgza5w5.PDF
    (429.45 KB)
  • Thumbnail Image
    Publication
    Contribution to a conference collection
    An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces
    (2021) Kölbl, Martin; Leue, Stefan
    Published in: ISoLA 2020 : Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends : Proceedings, Part IV / Margaria, Tiziana; Steffen, Bernhard (ed.). - Cham : Springer Nature, 2021. - (Lecture Notes in Computer Science ; 12479). - pp. 10-26. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-83723-5
    Koelbl_2-nmxtx7icteyz7.pdf
    (553.16 KB)
  • Thumbnail Image
    Publication
    Journal article
    Automated repair for timed systems
    (2021) Kölbl, Martin; Leue, Stefan; Wies, Thomas
    Published in: Formal Methods in System Design ; 59 (2021). - pp. 136-169. - Springer. - ISSN 0925-9856. - eISSN 1572-8102
    Koelbl_2-1gelmzvrdev3s7.pdf
    (2.46 MB)
  • Thumbnail Image
    Publication
    Contribution to a conference collection
    Dynamic Causes for the Violation of Timed Reachability Properties
    (2020) Kölbl, Martin; Leue, Stefan; Schmid, Robert
    Published in: Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020 : Proceedings / Bertrand, Nathalie; Jansen, Nils (ed.). - Cham : Springer, 2020. - (Lecture Notes in Computer Science ; 12288). - pp. 127-143. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-57627-1
    Koelbl_2-3aoeg9qmj7d57.pdf
    (487.44 KB)
  • Thumbnail Image
    Publication
    Contribution to a conference collection
    TarTar : A Timed Automata Repair Tool
    (2020) Kölbl, Martin; Leue, Stefan; Wies, Thomas
    Published in: Computer Aided Verification : 32nd International Conference, CAV 2020, Proceedings, Part I / Lahiri, Shuvendu K.; Wang, Chao (ed.). - Cham : Springer International Publishing, 2020. - (Lecture Notes in Computer Science ; 12224). - pp. 529-540. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-53287-1
    Koelbl_2-1wnkg9vtbpcez0.pdf
    (801.87 KB)
  • Thumbnail Image
    Publication
    Contribution to a conference collection
    Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela
    (2020) Caltais, Georgiana; Leue, Stefan; Singh, Hargurbir
    Published in: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development : Volume 1: MODELSWARD / Hammoudi, Slimane; Ferreira Pires, Luis; Selic, Bran (ed.). - Setúbal, Portugal : SCITEPRESS, 2020. - pp. 360-372. - ISBN 9789897584008
    Caltais_2-36psqv39yo5y6.pdf
    (777.81 KB)
  • Thumbnail Image
    Publication
    Contribution to a conference collection
    Clock Bound Repair for Timed Systems
    (2019) Kölbl, Martin; Leue, Stefan; Wies, Thomas
    Published in: Computer Aided Verification : 31st International Conference, CAV 2019, Proceedings, Part I / Dillig, Isil; Tasiran, Serdar (ed.). - Cham : Springer International Publishing, 2019. - (Lecture Notes in Computer Science ; 11561). - pp. 79-96. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-25539-8
    Koelbl_2-lr7idu9ozjpr2.pdf
    (1018.77 KB)
  • Thumbnail Image
    Publication
    Contribution to a conference collection
    Causality for General LTL-definable Properties
    (2019) Caltais, Georgiana; Guetlein, Sophie Linnea; Leue, Stefan
    Published in: Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology : CREST 2018 / Finkbeiner, Bernd; Kleinberg, Samantha (ed.). - (Electronic Proceedings in Theoretical Computer Science ; 286). - pp. 1-15. - eISSN 2075-2180
    Caltais_2-1ufwi8yvlv1a61.pdf
    (316.53 KB)