Sami Lazreg

13 papers A* 1Misc 1Journal 2Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Performance Prediction of Cyber-Physical Systems Product Lines in Dynamic Environments. SPLC (A) Marco Wijaya, Sami Lazreg, Tagir Fabarisov, Andreas Hein, Maxime Cordy
2024	—	`conf`	Daedalux: An Extensible Platform for Variability-Aware Model Checking. ICSE Companion Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay
2023	—	`conf`	Family-based model checking of fMultiLTL properties. SPLC (A) Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay
2023	—	`conf`	Towards Strengthening Formal Specifications with Mutation Model Checking. ESEC/SIGSOFT FSE Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens
2022	J	`jnl`	Static detection of equivalent mutants in real-time model-based mutation testing. Empir. Softw. Eng. Davide Basile, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay
2022	—	`conf`	Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions. VaMoS Sami Lazreg, Vladyslav Bohlachov, Loveneesh Rana, Andreas Hein, Maxime Cordy
2022	—	`conf`	Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. ISoLA (3) Sami Lazreg, Maxime Cordy, Axel Legay
2021	J	`jnl`	Statistical model checking for variability-intensive systems: applications to bug detection and minimization. Formal Aspects Comput. Maxime Cordy, Sami Lazreg, Mike Papadakis, Axel Legay
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
2019	—	`conf`	Automated evaluation of embedded-system design alternatives. SPLC (A) Maxime Cordy, Sami Lazreg
2019	A*	`conf`	Multifaceted automated analyses for variability-intensive embedded systems. ICSE Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sébastien Mosser
2019	—	`conf`	Towards sampling and simulation-based analysis of featured weighted automata. FormaliSE@ICSE Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet
2018	Misc	`conf`	Assessing the functional feasibility of variability-intensive data flow-oriented systems. SAC Sami Lazreg, Philippe Collet, Sébastien Mosser