Hendrik Jörg Göttmann (2025):
Computing Reconfiguration Strategies for Self-Adaptive Real-Time Systems with Stochastic Priced Timed Games.
Darmstadt, Technische Universität Darmstadt,
DOI: https://doi.org/10.26083/tuprints-00029445,
[Online: https://tuprints.ulb.tu-darmstadt.de/29445],
[Dissertation]

Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay (2024):
Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games.
In: Software and Systems Modeling, Springer,
DOI: https://doi.org/10.1007/s10270-024-01195-9,
[Artikel]

Davide Basile, Maurice H Ter Beek, Hendrik Göttmann, Malte Lochau (2023):
Mutant Equivalence as Monotonicity in Parametric Timed Games.
In: 11th International Conference on Formal Methods in Software Engineering, Melbourne, Australia, 14.05.2023-15.05.2023,
In: Proceedings: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), S. 55-65, ISBN 979-8-3503-1263-8, IEEE,
DOI: https://doi.org/10.1109/FormaliSE58978.2023.00014,
[Konferenzveröffentlichung]

Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay (2023):
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
In: Software Engineering 2023 - Fachtagung des GI-Fachbereichs Softwaretechnik, Paderborn, Germany, 20.02.2023-24.02.2023,
In: Gregor Engels, Regina Hebig, Matthias Tichy (Hrsg.) Software Engineering 2023: Fachtagung des GI-Fachbereichs Softwaretechnik, P-332, S. 55-56, ISSN 1617-5468, ISBN 978-3-88579-726-5, Gesellschaft für Informatik e.V.,
[Online: https://dl.gi.de/items/ecbb1317-8507-4bd2-beb0-b91f7062f609/full],
[Konferenzveröffentlichung]

Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay (2022):
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
In: 25th International Conference on Model Driven Engineering Languages and Systems, Montreal, Canada, 23.10.2022-28.10.2022,
In: Eugene Syriani, Houari A. Sahraoui, Nelly Bencomo, Manuel Wimmer (Hrsg.) Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022), S. 31-42, ISBN 978-1-4503-9466-6, ACM,
DOI: https://doi.org/10.1145/3550355.3552397,
[Konferenzveröffentlichung]

Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau (2021):
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
In: VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Virtual Event / Krems, Austria, 09.02.2021-11.02.2021,
In: Paul Grünbacher, Christoph Seidl, Deepak Dhungana, Helena Lovasz-Bukvova (Hrsg.) Proceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems, ISBN 978-1-4503-8824-5, ACM,
DOI: https://doi.org/10.1145/3442391.3442409,
[Konferenzveröffentlichung]

Hendrik Göttmann, Andy Schürr (2020):
Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines.
In: SPLC '20: 24th ACM International Systems and Software Product Line Conference, virtual Conference, 19.10.2020-23.10.2020,
In: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, S. 11, ISBN 978-1-4503-7569-6, New York, NY, United States, ACM,
DOI: https://doi.org/10.1145/3382025.3414945,
[Konferenzveröffentlichung]

Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher (2020):
Parametric Timed Bisimulation.
In: 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), Rhodes, Greece, 20.10.2020-30.10.2020,
In: Tiziana Margaria, Bernhard Steffen (Hrsg.) Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 12477, S. 55-71, ISBN 978-3-030-61469-0, Springer Nature,
DOI: https://doi.org/10.1007/978-3-030-61470-6_5,
[Konferenzveröffentlichung]

Lars Luthmann, Hendrik Göttmann, Malte Lochau (2019):
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.
In: Formal Languages and Automata Theory, arXiv, DOI: https://doi.org/10.48550/arXiv.1910.08992,
[Online: https://arxiv.org/abs/1910.08992],
[Report]

Lars Luthmann, Hendrik Göttmann, Malte Lochau (2019):
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.
In: Logic in Computer Science, arXiv, DOI: https://doi.org/10.48550/arXiv.1909.03703,
[Online: https://arxiv.org/abs/1909.03703],
[Report]

Lars Luthmann, Hendrik Göttmann, Malte Lochau (2019):
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.
In: 16th International Conference on Formal Aspects of Component Software (FACS 2019), S. 147-169, ISBN 978-3-030-40914-2, Amsterdam, Springer International Publishing,
DOI: https://doi.org/10.1007/978-3-030-40914-2_8,
[Online: https://link.springer.com/chapter/10.1007/978-3-030-40914-2_8],
[Konferenzveröffentlichung]