Hendrik Göttmann

According to our database, Hendrik Göttmann authored at least 16 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., August, 2025

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

Proceedings of the Software Engineering 2025, 2025

2024

Checking Timed Bisimilarity with Virtual Clocks.

Alexander Lieb, Hendrik Göttmann, Lars Luthmann, Malte Lochau, Andy Schürr

CoRR, 2024

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

Dataset, May, 2023

Mutant Equivalence as Monotonicity in Parametric Timed Games.

Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

2022

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.

Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay

Dataset, October, 2022

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.

Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay

Dataset, October, 2022

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.

Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay

Dataset, October, 2022

Precomputing reconfiguration strategies based on stochastic timed game automata.

Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2021

Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.

Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

2020

Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines.

Hendrik Göttmann, Lars Luthmann, Malte Lochau, Andreas Schürr

Dataset, September, 2020

Real-time-aware reconfiguration decisions for dynamic software product lines.

Hendrik Göttmann, Lars Luthmann, Malte Lochau, Andy Schürr

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Parametric Timed Bisimulation.

Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

2019

Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.

Lars Luthmann, Hendrik Göttmann, Malte Lochau

CoRR, 2019

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.

Lars Luthmann, Hendrik Göttmann, Malte Lochau

CoRR, 2019

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.

Lars Luthmann, Hendrik Göttmann, Malte Lochau

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019