Sami Lazreg

Sami Lazreg

Postdoctoral researcher

Department SerVal
Adresse postale Campus Kirchberg, Université du Luxembourg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Bureau sur le campus E 001
Téléphone (+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: lundi 21 septembre 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