Basile, Davide ; Ter Beek, Maurice H ; Göttmann, Hendrik ; Lochau, Malte (2023)
Mutant Equivalence as Monotonicity in Parametric Timed Games.
11th International Conference on Formal Methods in Software Engineering. Melbourne, Australia (14.-15.05.2023)
doi: 10.1109/FormaliSE58978.2023.00014
Konferenzveröffentlichung, Bibliographie

Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander
Hrsg.: Engels, Gregor ; Hebig, Regina ; Tichy, Matthias (2023)
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
Software Engineering 2023 - Fachtagung des GI-Fachbereichs Softwaretechnik. Paderborn, Germany (20.-24.02.2023)
Konferenzveröffentlichung, Bibliographie

Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander
Hrsg.: Syriani, Eugene ; Sahraoui, Houari A. ; Bencomo, Nelly ; Wimmer, Manuel (2022)
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
25th International Conference on Model Driven Engineering Languages and Systems. Montreal, Canada (23.-28.10.2022)
doi: 10.1145/3550355.3552397
Konferenzveröffentlichung, Bibliographie

Göttmann, Hendrik ; Bacher, Isabelle ; Gottwald, Nicolas ; Lochau, Malte
Hrsg.: Grünbacher, Paul ; Seidl, Christoph ; Dhungana, Deepak ; Lovasz-Bukvova, Helena (2021)
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems. Virtual Event / Krems, Austria (09.-11.02.2021)
doi: 10.1145/3442391.3442409
Konferenzveröffentlichung, Bibliographie

Göttmann, Hendrik ; Schürr, Andy (2020)
Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines.
SPLC '20: 24th ACM International Systems and Software Product Line Conference. virtual Conference (October 2020)
doi: 10.1145/3382025.3414945
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Parametric Timed Bisimulation.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Rhodes, Greece (20.-30.10.2020)
doi: 10.1007/978-3-030-61470-6_5
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars ; Göttmann, Hendrik ; Lochau, Malte (2019)
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.
doi: 10.48550/arXiv.1910.08992
Report, Bibliographie

Luthmann, Lars ; Göttmann, Hendrik ; Lochau, Malte (2019)
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.
doi: 10.48550/arXiv.1909.03703
Report, Bibliographie

Luthmann, Lars ; Göttmann, Hendrik ; Lochau, Malte (2019)
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.
doi: 10.1007/978-3-030-40914-2_8
Konferenzveröffentlichung, Bibliographie