Martin Kölbl

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