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.-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: 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.-24.02.2023, In: 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.-28.10.2022, In: 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: 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.-11.02.2021, In: Proceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems, ISBN 978-1-4503-8824-5, ACM,
DOI: 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, October 2020, In: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, S. 11, ISBN 9781450375696, ACM,
DOI: 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.-30.10.2020, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 12477, S. 55-71, ISBN 978-3-030-61469-0, Springer Nature,
DOI: 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: 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: 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: 10.1007/978-3-030-40914-2_8,
[Online: https://link.springer.com/chapter/10.1007/978-3-030-40914-2_8],
[Konferenzveröffentlichung]