25 citations · 33 across the 2 of their papers we have counts for
3 papers
cs.SE2020
TarTar: A Timed Automata Repair Tool
Martin Koelbl, Stefan Leue, Thomas Wies
We present TarTar, an automatic repair analysis tool that, given a timed diagnostic trace (TDT) obtained during the model checking of a timed automaton model, suggests possible syn…
cs.FL2019★ 8 cited
Causality for General LTL-definable Properties
Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue
In this paper we provide a notion of causality for the violation of general Linear Temporal Logic (LTL) properties. The current work is a natural extension of the previously propos…
cs.SE2011★ 25 cited
QuantUM: Quantitative Safety Analysis of UML Models
Florian Leitner-Fischer, Stefan Leue
When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural de…