Sami Lazreg

According to our database, Sami Lazreg authored at least 12 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Daedalux: An Extensible Platform for Variability-Aware Model Checking.

Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023

Family-based model checking of fMultiLTL properties.

Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Towards Strengthening Formal Specifications with Mutation Model Checking.

Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

Static detection of equivalent mutants in real-time model-based mutation testing.

Davide Basile, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay

Empir. Softw. Eng., 2022

Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions.

Sami Lazreg, Vladyslav Bohlachov, Loveneesh Rana, Andreas Hein, Maxime Cordy

Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022

Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking.

Sami Lazreg, Maxime Cordy, Axel Legay

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

2021

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

2020

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

PhD thesis, 2020

2019

Automated evaluation of embedded-system design alternatives.

Maxime Cordy, Sami Lazreg

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Multifaceted automated analyses for variability-intensive embedded systems.

Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sébastien Mosser

Proceedings of the 41st International Conference on Software Engineering, 2019

Towards sampling and simulation-based analysis of featured weighted automata.

Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

2018

Assessing the functional feasibility of variability-intensive data flow-oriented systems.

Sami Lazreg, Philippe Collet, Sébastien Mosser

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018