Sami Lazreg

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 11

Top Topics

Temporal Properties

Stochastic Systems

Formal Specification

Top Venues

Formal Aspects Comput.

Publications

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