Publications

Hendrik Göttmann ; Isabelle Bacher ; Nicolas Gottwald ; Malte Lochau Paul Grünbacher ; Christoph Seidl ; Deepak Dhungana ; Helena Lovasz-Bukvova (Hrsg.) (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: 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, 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: https://doi.org/10.1145/3382025.3414945,
[Konferenzveröffentlichung]

Malte Lochau ; Lars Luthmann ; Hendrik Göttmann ; Isabelle Bacher Tiziana Margaria ; Bernhard Steffen (Hrsg.) (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: 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.
[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.
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]