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: 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]

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: 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]