Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. - Lars Luthmann; Hendrik Göttmann; Malte Lochau (FACS, 2019)

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report. - Lars Luthmann; Hendrik Göttmann; Malte Lochau (CoRR, 2019)

Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report. - Lars Luthmann; Hendrik Göttmann; Malte Lochau (CoRR, 2019)

Parametric Timed Bisimulation. - Malte Lochau; Lars Luthmann; Hendrik Göttmann; Isabelle Bacher (ISoLA (2), 2020)

Real-time-aware reconfiguration decisions for dynamic software product lines. - Hendrik Göttmann; Lars Luthmann; Malte Lochau; Andy Schürr (SPLC (A), 2020)

Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines. - Hendrik Göttmann; Lars Luthmann; Malte Lochau; Andreas Schürr (Zenodo, 2020)

Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications. - Hendrik Göttmann; Isabelle Bacher; Nicolas Gottwald; Malte Lochau (VaMoS, 2021)

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata. - Hendrik Göttmann; Birte Caesar; Lasse Beers; Malte Lochau; Andy Schürr; Alexander Fay (Zenodo, 2022)

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata. - Hendrik Göttmann; Birte Caesar; Lasse Beers; Malte Lochau; Andy Schürr; Alexander Fay (Zenodo, 2022)

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata. - Hendrik Göttmann; Birte Caesar; Lasse Beers; Malte Lochau; Andy Schürr; Alexander Fay (Zenodo, 2022)

Mutant Equivalence as Monotonicity in Parametric Timed Games. - Davide Basile 001; Maurice H. ter Beek; Hendrik Göttmann; Malte Lochau (FormaliSE, 2023)

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata. - Hendrik Göttmann; Birte Caesar; Lasse Beers; Malte Lochau; Andy Schürr; Alexander Fay (Software Engineering, 2023)

Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games. - Hendrik Göttmann; Birte Caesar; Lasse Beers; Malte Lochau; Andy Schürr; Alexander Fay (Zenodo, 2023)

Checking Timed Bisimilarity with Virtual Clocks. - Alexander Lieb; Hendrik Göttmann; Lars Luthmann; Malte Lochau; Andy Schürr (CoRR, 2024)

Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games. - Hendrik Göttmann; Birte Caesar; Lasse Beers; Malte Lochau; Andy Schürr; Alexander Fay (Softw. Syst. Model., 2025)

Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games. - Hendrik Göttmann; Birte Caesar; Lasse Beers; Malte Lochau; Andy Schürr; Alexander Fay (Softw. Syst. Model., 2025)