Menghi, C., Rizzi, A. M., Bernasconi, A., & Spoletini, P. (December 2021). TOrPEDO: Witnessing Model Correctness with Topological Proofs. Formal Aspects of Computing, 33 (6), 1039-1066. doi:10.1007/s00165-021-00564-1

Gaaloul, K. (2021). Verification of design models of cyber-physical systems specified in Simulink. Unpublished doctoral thesis, Unilu - University of Luxembourg, Luxembourg, Luxembourg.
Jury: Nejati, S. (Promotor), Briand, L. (Promotor), Pastore, F., Menghi, C., Gay, G., ... Gurfinkel, A.

Ul Haq, F., Shin, D., Nejati, S., & Briand, L. (05 July 2021). Can Offline Testing of Deep Neural Networks Replace Their Online Testing? Empirical Software Engineering, 26 (5). doi:10.1007/s10664-021-09982-4

Ul Haq, F., Shin, D., Briand, L., Stifter, T., & Wang, J. (2021). Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper). In 2021 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) (pp. 91-102).

Borg, M., Ben Abdessalem (helali), R., Nejati, S., François-Xavier, J., & Shin, D. (2021). Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators. In 2021 IEEE 14th International Conference on Software Testing, Validation and Verification (ICST) (pp. 383-393). doi:10.1109/ICST49551.2021.00050

Fahmy, H., Pastore, F., Bagherzadeh, M., & Briand, L. (May 2021). Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning. IEEE Transactions on Reliability, 70 (4), 1641-1657. doi:10.1109/TR.2021.3074750

Menghi, C., Vigano, E., Bianculli, D., & Briand, L. (2021). ThEodorE: a Trace Checker for CPS Properties. In Companion Proceedings of the 43rd International Conference on Software Engineering.

Menghi, C., Vigano, E., Bianculli, D., & Briand, L. (2021). Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. In Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021) (pp. 847-859). doi:10.1109/ICSE43902.2021.00082

Boufaied, C. (2021). Specification and Model-driven Trace Checking of Complex Temporal Properties. Unpublished doctoral thesis, Unilu - University of Luxembourg, Kirchberg, Luxembourg.
Jury: Bianculli, D. (Promotor), Pastore, F., SAN PIETRO, P., Inverardi, P., ... Briand, L.

Boufaied, C., Jukss, M., Bianculli, D., Briand, L., & Yago, I. P. (April 2021). Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization. Journal of Systems and Software, 174, 110881. doi:10.1016/j.jss.2020.110881

Askarpour, M., Tsigkanos, C., Menghi, C., Calinescu, R., Pelliccione, P., García, S., Caldas, R., von Oertzen, T. J. V., Wimmer, M., Berardinelli, L., Rossi, M., Bersani, M. M., & Rodrigues, G. S. (2021). RoboMAX: Robotic Mission Adaptation eXemplars. In Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Artifact Track.

Shin, S. Y., Chaouch, K., Nejati, S., Sabetzadeh, M., Briand, L., & Zimmer, F. (2021). Uncertainty-aware Specification and Analysis for Hardware-in-the-Loop Testing of Cyber Physical Systems. Journal of Systems and Software. doi:10.1016/j.jss.2020.110813

Ernst, G., Arcaini, P., Bennani, I., Donzé, A., Fainekos, G., Frehse, G., Mathesen, L., Menghi, C., Pedrinelli, G., Pouzet, M., Yaghoubi, S., Yamagata, Y., & Zhang, Z. (2020). ARCH-COMP 2020 Category Report: Falsification. EPiC Series in Computing. doi:10.29007/trr1

Boufaied, C., Menghi, C., Bianculli, D., Briand, L., & Isasi Parache, Y. (2020). Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach. In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20). doi:10.5381/JOT.2019.18.2.A15

Ul Haq, F., Shin, D., Nejati, S., & Briand, L. (2020). Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). IEEE. doi:10.1109/ICST46399.2020.00019

Ben Abdessalem, R., Panichella, A., Nejati, S., Briand, L., & Stifter, T. (2020). Automated Repair of Feature Interaction Failures in Automated Driving Systems. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020).

Torre, D., Labiche, Y., Genero, M., Elaasar, M., & Menghi, C. (2020). UML Consistency Rules:a Case Study with Open-Source UML Models. In Proceedings of the 8th International Conference on Formal Methods in Software Engineering (pp. 130-140). doi:10.1145/3372020.3391554

García, S., Pelliccione, P., Menghi, C., Berger, T., & Bures, T. (2020). PROMISE: high-level mission specification for multiple robots. In Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (ICSE): Companion Proceedings. doi:10.1145/3377812.3382143

Shin, S. Y., Nejati, S., Sabetzadeh, M., Briand, L., Arora, C., & Zimmer, F. (2020). Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based Approach. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'20). doi:10.1145/3387939.3391603

Menghi, C., Bersani, M., Rossi, M., & San Pietro, P. (April 2020). Model Checking MITL formulae on Timed Automata: a Logic-Based Approach. ACM Transactions on Computational Logic, 21 (3). doi:10.1145/3383687

Menghi, C., Rizzi, A. M., & Bernasconi, A. (2020). Integrating Topological Proofs with Model Checking to Instrument Iterative Design. In Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020 (pp. 53-74).

Soltana, G., Sabetzadeh, M., & Briand, L. (April 2020). Practical Constraint Solving for Generating System Test Data. ACM Transactions on Software Engineering and Methodology, 29 (2), 11:1-11:48. doi:10.1145/3381032

Bersani, M. M., Soldo, M., Menghi, C., Pelliccione, P., & Rossi, M. (2020). PuRSUE -from specification of robotic environments to synthesis of controllers. Formal Aspects of Computing. doi:10.1007/s00165-020-00509-0

Mai, X. P., Pastore, F., Goknil, A., & Briand, L. (2020). Metamorphic Security Testing for Web Systems. In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. IEEE. doi:10.1109/ICST46399.2020.00028

Askarpour, M., Menghi, C., Belli, G., Bersani, M., & Pelliccione, P. (2020). Mind the gap: Robotic Mission Planning Meets Software Engineering. In Proceedings of the 8th International Conference on Formal Methods in Software Engineering. doi:10.1145/3372020.3391561

Gaaloul, K., Menghi, C., Nejati, S., Briand, L., & Wolfe, D. (2020). Mining Assumptions for Software Components using Machine Learning. In Proceedings of the The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). doi:10.1145/3368089.3409737

Hajri, I., Göknil, A., Pastore, F., & Briand, L. (2020). Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines. Empirical Software Engineering, 25 (5), 3711–3769. doi:10.1007/s10664-020-09853-4

Mai, X. P., Göknil, A., Pastore, F., & Briand, L. (2020). SMRL: A Metamorphic Security Testing Tool for Web Systems. In 2020 IEEE/ACM 42nd International Conference on Software Engineering. doi:10.1145/3377812.3382152

Menghi, C., Nejati, S., Briand, L., & Yago, I. P. (2020). Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification. In Proceedings of the 42nd International Conference on Software Engineering.