HANSEN Simon Thrane

Main Referenced Co-authors

CORDY, Maxime (1)

LAZREG, Sami (1)

Legay, Axel (1)

Main Referenced Keywords

Added values (1); Intermediate model (1); Intermediate results (1); LTL property (1); Model checking platform (1);

Main Referenced Disciplines

Computer science (1)

Publications (total 1)

Search in publications

The most downloaded

30 downloads

LAZREG, S., CORDY, M., HANSEN, S. T., & Legay, A. (2024). Daedalux: An Extensible Platform for Variability-Aware Model Checking. In Proceedings - 2024 ACM/IEEE 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 (pp. 21-25). IEEE Computer Society. doi:10.1145/3639478.3640043 https://hdl.handle.net/10993/63518

https://hdl.handle.net/10993/63518

Peer reviewed