Home // SnT // People // Sami Lazreg

Sami Lazreg

Sami Lazreg

Postdoctoral researcher

Department SerVal
Postal Address Campus Kirchberg, Université du Luxembourg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Campus Office E 001
Telephone (+352) 46 66 44 6813

Sami Lazreg is completing his PhD at the Université Côte d’Azur (France) in collaboration with Visteon Electronics, a world-class leader in automotive systems. His research interests are in embedded software and system engineering, focusing on model-based design and formal verification of embedded systems. Sami joined the Security, Design and Validation research group, SerVal, headed by Prof. Yves Le Traon and he will be reporting to Dr. Maxime Cordy.

Last updated on: Monday, 21 September 2020

powered by


Full Text
See detailStatistical model checking for variability-intensive systems: applications to bug detection and minimization
Cordy, Maxime; Lazreg, Sami; Papadakis, Mike; Legay, Axel

in Formal Aspects of Computing (2021), 33(6), 1147--1172

Top of Page