8 citations · 18 across the 7 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Witnesses and Counterexamples for Timed Bisimulation
Alexander Lieb, Malte Lochau
Timed automata provide a modeling formalism for time-critical properties of reactive systems with discrete-state/continuous-time behaviors. To handle the infinite state space of ti…
cs.LO2019
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata -- Technical Report
Lars Luthmann, Hendrik Göttmann, Malte Lochau
I/O conformance testing theories (e.g., ioco) are concerned with formally defining when observable output behaviors of an implementation conform to those permitted by a specificati…