Person: Leue, Stefan
Loading...
Email Address
ORCID
0000-0002-4259-624X
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Leue
First Name
Stefan
Name
119 results
Search Results
Now showing 1 - 10 of 119
- PublicationContribution to a conference collectionsymQV : Automated Symbolic Verification of Quantum Programs(2023) Bauer-Marquart, Fabian; Leue, Stefan; Schilling, ChristianPublished 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
- PublicationContribution to a conference collectionSpecRepair : Counter-Example Guided Safety Repair of Deep Neural Networks(2022) Bauer-Marquart, Fabian; Boetius, David; Leue, Stefan; Schilling, ChristianPublished 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
- PublicationContribution to a conference collectionAutomated Consistency Analysis for Legal Contracts(2022) Khoja, Alan; Kölbl, Martin; Leue, Stefan; Wilhelmi, RüdigerPublished 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
- PublicationContribution to a conference collectionAn Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces(2021) Kölbl, Martin; Leue, StefanPublished 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
- PublicationJournal articleAutomated repair for timed systems(2021) Kölbl, Martin; Leue, Stefan; Wies, ThomasPublished in: Formal Methods in System Design ; 59 (2021). - pp. 136-169. - Springer. - ISSN 0925-9856. - eISSN 1572-8102
- PublicationContribution to a conference collectionDynamic Causes for the Violation of Timed Reachability Properties(2020) Kölbl, Martin; Leue, Stefan; Schmid, RobertPublished 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
- PublicationContribution to a conference collectionTarTar : A Timed Automata Repair Tool(2020) Kölbl, Martin; Leue, Stefan; Wies, ThomasPublished 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
- PublicationContribution to a conference collectionCorrectness of an ATL Model Transformation from SysML State Machine Diagrams to Promela(2020) Caltais, Georgiana; Leue, Stefan; Singh, HargurbirPublished 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
- PublicationContribution to a conference collectionClock Bound Repair for Timed Systems(2019) Kölbl, Martin; Leue, Stefan; Wies, ThomasPublished 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
- PublicationContribution to a conference collectionCausality for General LTL-definable Properties(2019) Caltais, Georgiana; Guetlein, Sophie Linnea; Leue, StefanPublished 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