| 2025 | SPLC | Performance Prediction of Cyber-Physical Systems Product Lines in Dynamic Environments. | Marco Wijaya, Sami Lazreg, Tagir Fabarisov, Andreas Hein, Maxime Cordy |
| 2024 | ICSE | Daedalux: An Extensible Platform for Variability-Aware Model Checking. | Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay |
| 2023 | SPLC | Family-based model checking of fMultiLTL properties. | Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay |
| 2022 | ISoLA | Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. | Sami Lazreg, Maxime Cordy, Axel Legay |
| 2019 | ICSE | Towards sampling and simulation-based analysis of featured weighted automata. | Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet |
| 2019 | ICSE | Multifaceted automated analyses for variability-intensive embedded systems. | Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sbastien Mosser |
| 2019 | SPLC | Automated evaluation of embedded-system design alternatives. | Maxime Cordy, Sami Lazreg |
| 2018 | SAC | Assessing the functional feasibility of variability-intensive data flow-oriented systems. | Sami Lazreg, Philippe Collet, Sbastien Mosser |