8 citations · 29 across the 12 of their papers we have counts for
3 papers · 1 filter
Checking Timed Bisimulation with Bounded Zone-History Graphs -- Technical Report
Lars Luthmann, Hendrik Göttmann, Isabelle Bacher +1
Timed automata (TA) are a well-established formalism for specifying discrete-state/continuous-time behavior of time-critical reactive systems. Concerning the fundamental analysis p…
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…
Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl
Joel Greenyer, Malte Lochau, Thomas Vogel
This report documents the program and results of the GI-Dagstuhl Seminar 19023 on Explainable Software for Cyber-Physical Systems (ES4CPS). The seminar was concerned with the chall…