Menghi, C., Rizzi, A. M., Bernasconi, A., & Spoletini, P. (2021). TOrPEDO: Witnessing Model Correctness with Topological Proofs. Formal Aspects of Computing, 33(6), 1039-1066.

Gaaloul, K. (2021). Verification of design models of cyber-physical systems specified in Simulink. Unpublished doctoral thesis, University of Luxembourg, ​Luxembourg, ​​Luxembourg.

Ul Haq, F., Shin, D., Nejati, S., & Briand, L. (2021). Can Offline Testing of Deep Neural Networks Replace Their Online Testing? Empirical Software Engineering, 26(5).

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). 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. 2021 IEEE 14th International Conference on Software Testing, Validation and Verification (ICST) (pp. 383-393).

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

Menghi, C., Vigano, E., Bianculli, D., & Briand, L. (2021). ThEodorE: a Trace Checker for CPS Properties. 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. Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021) (pp. 847-859).

Boufaied, C. (2021). Specification and Model-driven Trace Checking of Complex Temporal Properties. Unpublished doctoral thesis, University of Luxembourg, ​Kirchberg, ​​Luxembourg.

Boufaied, C., Jukss, M., Bianculli, D., Briand, L., & Yago, I. P. (2021). Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization. Journal of Systems and Software, 174, 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. 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.

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, September 25). ARCH-COMP 2020 Category Report: Falsification. EPiC Series in Computing.

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

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

Ben Abdessalem, R., Panichella, A., Nejati, S., Briand, L., & Stifter, T. (2020). Automated Repair of Feature Interaction Failures in Automated Driving Systems. 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. Proceedings of the 8th International Conference on Formal Methods in Software Engineering (pp. 130-140).

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

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. Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'20). NY.

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

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

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

Bersani, M. M., Soldo, M., Menghi, C., Pelliccione, P., & Rossi, M. (2020, March 23). PuRSUE -from specification of robotic environments to synthesis of controllers. Formal Aspects of Computing.

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

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

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

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.

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

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. Proceedings of the 42nd International Conference on Software Engineering.