Assessing the functional feasibility of variability-intensive data flow-oriented systems. - Sami Lazreg; Philippe Collet; Sébastien Mosser 001 (SAC, 2018)

Towards sampling and simulation-based analysis of featured weighted automata. - Maxime Cordy; Axel Legay; Sami Lazreg; Philippe Collet (FormaliSE@ICSE, 2019)

Multifaceted automated analyses for variability-intensive embedded systems. - Sami Lazreg; Maxime Cordy; Philippe Collet; Patrick Heymans; Sébastien Mosser 001 (ICSE, 2019)

Automated evaluation of embedded-system design alternatives. - Maxime Cordy; Sami Lazreg (SPLC (A), 2019)

Variability-intensive applications over highly-configurable platforms : Early feasibility and optimality analysis. (Applications variables sur plateformes configurables : Analyse anticipée de faisabilité et d'optimalité). - Sami Lazreg (2020)

Statistical model checking for variability-intensive systems: applications to bug detection and minimization. - Maxime Cordy; Sami Lazreg; Mike Papadakis; Axel Legay (Formal Aspects Comput., 2021)

Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. - Sami Lazreg; Maxime Cordy; Axel Legay (ISoLA (3), 2022)

Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions. - Sami Lazreg; Vladyslav Bohlachov; Loveneesh Rana; Andreas Hein 003; Maxime Cordy (VaMoS, 2022)

Static detection of equivalent mutants in real-time model-based mutation testing. - Davide Basile 001; Maurice H. ter Beek; Sami Lazreg; Maxime Cordy; Axel Legay (Empir. Softw. Eng., 2022)

Towards Strengthening Formal Specifications with Mutation Model Checking. - Maxime Cordy; Sami Lazreg; Axel Legay; Pierre-Yves Schobbens (ESEC/SIGSOFT FSE, 2023)

Family-based model checking of fMultiLTL properties. - Aleksandar S. Dimovski; Sami Lazreg; Maxime Cordy; Axel Legay (SPLC (A), 2023)

Daedalux: An Extensible Platform for Variability-Aware Model Checking. - Sami Lazreg; Maxime Cordy; Simon Thrane Hansen; Axel Legay (ICSE Companion, 2024)