![]() ![]() | 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 ![]() |
![]() ![]() | 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). ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |