Kölbl, Martin
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Kölbl
Vorname
Martin
Name
10 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 10 von 10
- VeröffentlichungBeitrag zu einem KonferenzbandAutomated Consistency Analysis for Legal Contracts(2022) Khoja, Alan; Kölbl, Martin; Leue, Stefan; Wilhelmi, RüdigerErschienen 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
- VeröffentlichungZeitschriftenartikelAutomated repair for timed systems(2021) Kölbl, Martin; Leue, Stefan; Wies, ThomasErschienen 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
- VeröffentlichungBeitrag zu einem KonferenzbandAn Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces(2021) Kölbl, Martin; Leue, StefanErschienen 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
- VeröffentlichungBeitrag zu einem KonferenzbandDynamic Causes for the Violation of Timed Reachability Properties(2020) Kölbl, Martin; Leue, Stefan; Schmid, RobertErschienen 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
- VeröffentlichungBeitrag zu einem KonferenzbandTarTar : A Timed Automata Repair Tool(2020) Kölbl, Martin; Leue, Stefan; Wies, ThomasErschienen 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
- 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 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ö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