Skip to Main content
Number of documents



Sami Lazreg is a research engineer and a PhD candidate at Visteon Electronics (US Company) and Université Côte d’Azur (France) where he received his MSc in Computer Science with honors. He started as an apprentice for Visteon Company and became a technical expert of software and system engineering focusing 3D rendering capabilities for low-end and mid-end instrument clusters.

Journal articles1 document

  • Sami Lazreg, Philippe Collet, Sébastien Mosser. Functional feasibility analysis of variability-intensive data flow-oriented applications over highly-configurable platforms. ACM SIGAPP Applied Computing Review (ACM Digital Library), Association for Computing Machinery (ACM), 2018, 18 (3), pp.32-48. ⟨10.1145/3284971.3284975⟩. ⟨hal-02061255⟩

Conference papers3 documents

  • Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet. Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata. 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), May 2019, Montreal, Canada. pp.61-64, ⟨10.1109/FormaliSE.2019.00015⟩. ⟨hal-02342744⟩
  • Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sébastien Mosser. Multifaceted Automated Analyses for Variability-Intensive Embedded Systems. 41st ACM/IEEE International Conference on Software Engineering, May 2019, Montréal, Canada. ⟨hal-02061251⟩
  • Sami Lazreg, Philippe Collet, Sébastien Mosser. Assessing the Functional Feasibility of Variability-Intensive Data Flow-Oriented Systems. Symposium on Applied Computing, Apr 2018, Pau, France. ⟨10.1145/3167132.3167354⟩. ⟨hal-01660057⟩