Sami Lazreg
|
|
||||
| Department | SerVal | ||||
| Postadresse |
Campus Kirchberg, Université du Luxembourg 6, rue Richard Coudenhove-Kalergi L-1359 Luxembourg |
||||
| Büroadresse | E 001 | ||||
|
|||||
| Telefon | (+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: Montag, den 21. September 2020
powered by
2022
Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions; ; ; ;
in Proceedings of VAMOS 22 (2022, February)
VARIABILITY-DRIVEN DESIGN CONFIGURATOR OF SPACE SYSTEMS TO SUPPORT DECISION-MAKERS; ; ; ;
Scientific Conference (2022, October)
2021
Statistical model checking for variability-intensive systems: applications to bug detection and minimization; ; ;
in Formal Aspects of Computing (2021), 33(6), 1147--1172
