Martin Kölbl

According to our database, Martin Kölbl authored at least 11 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Causal Analysis and Repair of Systems.

Martin Kölbl

PhD thesis, 2022

Formal Modeling and Analysis of Legal Contracts using ContractCheck.

Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi

CoRR, 2022

Automated Consistency Analysis for Legal Contracts.

Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi

Proceedings of the Model Checking Software - 28th International Symposium, 2022

2021

Automated repair for timed systems.

Martin Kölbl, Stefan Leue, Thomas Wies

Formal Methods Syst. Des., 2021

2020

An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces.

Martin Kölbl, Stefan Leue

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Dynamic Causes for the Violation of Timed Reachability Properties.

Martin Kölbl, Stefan Leue, Robert Schmid

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

TarTar: A Timed Automata Repair Tool.

Martin Kölbl, Stefan Leue, Thomas Wies

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Clock Bound Repair for Timed Systems.

Martin Kölbl, Stefan Leue, Thomas Wies

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking.

Martin Kölbl, Stefan Leue

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

From SysML to Model Checkers via Model Transformation.

Martin Kölbl, Stefan Leue, Hargurbir Singh

Proceedings of the Model Checking Software - 25th International Symposium, 2018

Automated Functional Safety Analysis of Automated Driving Systems.

Martin Kölbl, Stefan Leue

Proceedings of the Formal Methods for Industrial Critical Systems, 2018