Martin Kölbl

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 11

Top Topics

Homology Generators

Safety Analysis

Top Venues

Publications

Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi
Automated Consistency Analysis for Legal Contracts. SPIN (2022)
Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi
Formal Modeling and Analysis of Legal Contracts using ContractCheck. CoRR (2022)
Martin Kölbl, Stefan Leue, Thomas Wies
Automated repair for timed systems. Formal Methods Syst. Des. 59 (1) (2021)
Martin Kölbl, Stefan Leue
An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces. ISoLA (4) (2020)
Martin Kölbl, Stefan Leue, Thomas Wies
TarTar: A Timed Automata Repair Tool. CoRR (2020)
Martin Kölbl, Stefan Leue, Robert Schmid
Dynamic Causes for the Violation of Timed Reachability Properties. FORMATS (2020)
Martin Kölbl, Stefan Leue, Thomas Wies
TarTar: A Timed Automata Repair Tool. CAV (1) (2020)
Martin Kölbl, Stefan Leue, Thomas Wies
Clock Bound Repair for Timed Systems. CAV (1) (2019)
Martin Kölbl, Stefan Leue
An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. ATVA (2019)
Martin Kölbl, Stefan Leue, Hargurbir Singh
From SysML to Model Checkers via Model Transformation. SPIN (2018)
Martin Kölbl, Stefan Leue
Automated Functional Safety Analysis of Automated Driving Systems. FMICS (2018)