Martin Klbl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2018–2020
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CAV | TarTar: A Timed Automata Repair Tool. | Martin Klbl, Stefan Leue, Thomas Wies |
| 2020 | ISoLA | An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces. | Martin Klbl, Stefan Leue |
| 2019 | ATVA | An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. | Martin Klbl, Stefan Leue |
| 2019 | CAV | Clock Bound Repair for Timed Systems. | Martin Klbl, Stefan Leue, Thomas Wies |
| 2018 | FMICS | Automated Functional Safety Analysis of Automated Driving Systems. | Martin Klbl, Stefan Leue |