Profil

LAZREG Sami

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal

Main Referenced Co-authors
CORDY, Maxime  (9)
Legay, Axel (6)
HEIN, Andreas  (3)
RANA, Loveneesh  (3)
Bohlachov, Vladyslav (2)
Main Referenced Keywords
Software (4); Models checking (3); Software Product Line (3); LTL (2); Mutation testing (2);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SpaSys - The Space Systems Engineering research group (1)
Main Referenced Disciplines
Computer science (7)
Aerospace & aeronautics engineering (2)

Publications (total 9)

The most downloaded
57 downloads
RANA, L., LAZREG, S., Bohlachov, V., HEIN, A., & CORDY, M. (October 2022). VARIABILITY-DRIVEN DESIGN CONFIGURATOR OF SPACE SYSTEMS TO SUPPORT DECISION-MAKERS [Paper presentation]. 10th INTERNATIONAL SYSTEMS & CONCURRENT ENGINEERING FOR SPACE APPLICATIONS CONFERENCE (SECESA 2022). https://hdl.handle.net/10993/54245

The most cited

9 citations (OpenAlex)

Basile, D., ter Beek, M. H., LAZREG, S., CORDY, M., & Legay, A. (December 2022). Static detection of equivalent mutants in real-time model-based mutation testing: An Empirical Evaluation. Empirical Software Engineering, 27 (7). doi:10.1007/s10664-022-10149-y https://hdl.handle.net/10993/58903

LAZREG, S., CORDY, M., HANSEN, S. T., & Legay, A. (2024). Daedalux: An Extensible Platform for Variability-Aware Model Checking. In Proceedings - 2024 ACM/IEEE 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 (pp. 21-25). IEEE Computer Society. doi:10.1145/3639478.3640043
Peer reviewed

BÜHLER, A. F., HEIN, A., RANA, L., LAZREG, S., & CORDY, M. (2024). Leveraging MBSE to support decision-making in space program design [Poster presentation]. Workshop on Model-Based Space Systems and Software Engineering (MBSE2024).
Editorial reviewed

CORDY, M., LAZREG, S., Legay, A., & Schobbens, P. Y. (2023). Towards Strengthening Formal Specifications with Mutation Model Checking. In S. Chandra (Ed.), ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association for Computing Machinery, Inc. doi:10.1145/3611643.3613080
Peer reviewed

Dimovski, A. S., LAZREG, S., CORDY, M., & Legay, A. (2023). Family-based model checking of fMultiLTL properties. In P. Arcaini (Ed.), 27th ACM International Systems and Software Product Line Conference, SPLC 2023 - Proceedings. Association for Computing Machinery. doi:10.1145/3579027.3608976
Peer reviewed

Basile, D., ter Beek, M. H., LAZREG, S., CORDY, M., & Legay, A. (December 2022). Static detection of equivalent mutants in real-time model-based mutation testing: An Empirical Evaluation. Empirical Software Engineering, 27 (7). doi:10.1007/s10664-022-10149-y
Peer Reviewed verified by ORBi

RANA, L., LAZREG, S., Bohlachov, V., HEIN, A., & CORDY, M. (October 2022). VARIABILITY-DRIVEN DESIGN CONFIGURATOR OF SPACE SYSTEMS TO SUPPORT DECISION-MAKERS [Paper presentation]. 10th INTERNATIONAL SYSTEMS & CONCURRENT ENGINEERING FOR SPACE APPLICATIONS CONFERENCE (SECESA 2022).

LAZREG, S., Bohlachov, V., RANA, L., HEIN, A., & CORDY, M. (2022). Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions. Proceedings of VAMOS 22. doi:10.1145/3510466.3510472

LAZREG, S., CORDY, M., & Legay, A. (2022). Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. In T. Margaria (Ed.), Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Proceedings. Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-19759-8_27
Peer reviewed

CORDY, M., LAZREG, S., PAPADAKIS, M., & Legay, A. (2021). Statistical model checking for variability-intensive systems: applications to bug detection and minimization. Formal Aspects of Computing, 33 (6), 1147--1172. doi:10.1007/s00165-021-00563-2
Peer Reviewed verified by ORBi

Contact ORBilu