Sami Lazreg
Orcid: 0009-0002-5201-3463
According to our database1,
Sami Lazreg
authored at least 12 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
1
1
1
2
2
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024
2023
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
2022
Empir. Softw. Eng., 2022
Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions.
Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022
Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
2021
Statistical model checking for variability-intensive systems: applications to bug detection and minimization.
Formal Aspects Comput., 2021
2020
Variability-intensive applications over highly-configurable platforms : Early feasibility and optimality analysis. (Applications variables sur plateformes configurables : Analyse anticipée de faisabilité et d'optimalité).
PhD thesis, 2020
2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Proceedings of the 41st International Conference on Software Engineering, 2019
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019
2018
Assessing the functional feasibility of variability-intensive data flow-oriented systems.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018