Hendrik Göttmann

14 papers A 1C 2Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games.
Softw. Syst. Model.
Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
2025 J jnl
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games.
Softw. Syst. Model.
Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
2025 C conf
Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games.
Software Engineering
Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
2025 J jnl
Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games.
Softw. Syst. Model.
Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
2024 J jnl
Checking Timed Bisimilarity with Virtual Clocks.
CoRR
Alexander Lieb, Hendrik Göttmann, Lars Luthmann, Malte Lochau, Andy Schürr
2023 — conf
Mutant Equivalence as Monotonicity in Parametric Timed Games.
FormaliSE
Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau
2023 C conf
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
Software Engineering
Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
2022 A conf
Precomputing reconfiguration strategies based on stochastic timed game automata.
MoDELS
Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
2021 — conf
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
VaMoS
Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau
2020 — conf
Parametric Timed Bisimulation.
ISoLA (2)
Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher
2020 — conf
Real-time-aware reconfiguration decisions for dynamic software product lines.
SPLC (A)
Hendrik Göttmann, Lars Luthmann, Malte Lochau, Andy Schürr
2019 J jnl
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.
CoRR
Lars Luthmann, Hendrik Göttmann, Malte Lochau
2019 J jnl
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.
CoRR
Lars Luthmann, Hendrik Göttmann, Malte Lochau
2019 — conf
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.
FACS
Lars Luthmann, Hendrik Göttmann, Malte Lochau