Automated Functional Safety Analysis of Automated Driving Systems. - Martin Kölbl; Stefan Leue (FMICS, 2018)

From SysML to Model Checkers via Model Transformation. - Martin Kölbl; Stefan Leue; Hargurbir Singh (SPIN, 2018)

An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. - Martin Kölbl; Stefan Leue (ATVA, 2019)

Clock Bound Repair for Timed Systems. - Martin Kölbl; Stefan Leue; Thomas Wies (CAV (1), 2019)

TarTar: A Timed Automata Repair Tool. - Martin Kölbl; Stefan Leue; Thomas Wies (CAV (1), 2020)

Dynamic Causes for the Violation of Timed Reachability Properties. - Martin Kölbl; Stefan Leue; Robert Schmid (FORMATS, 2020)

An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces. - Martin Kölbl; Stefan Leue (ISoLA (4), 2020)

Automated repair for timed systems. - Martin Kölbl; Stefan Leue; Thomas Wies (Formal Methods Syst. Des., 2021)

Automated Consistency Analysis for Legal Contracts. - Alan Khoja; Martin Kölbl; Stefan Leue; Rüdiger Wilhelmi (SPIN, 2022)

Formal Modeling and Analysis of Legal Contracts using ContractCheck. - Alan Khoja; Martin Kölbl; Stefan Leue; Rüdiger Wilhelmi (CoRR, 2022)

Causal Analysis and Repair of Systems. - Martin Kölbl (2022)