Hendrik Göttmann

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

Collaborative distances:

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

2023

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 Software Engineering 2023, 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

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, 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