  | Gaaloul, K., Menghi, C., Nejati, S., Briand, L., & Isasi Parache, Y. (2022). Combining Genetic Programming and Model Checking to Generate Environment Assumptions. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2021.3101818  Peer Reviewed verified by ORBi |
 | 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 Peer Reviewed verified by ORBi |
 | 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. IEEE. doi:10.1109/ICSE-Companion52605.2021.00079 Peer reviewed |
 | 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 Peer reviewed |
 | 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. Peer reviewed |
 | 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 Peer reviewed |
 | 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 Peer reviewed |
 | 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 Peer reviewed |
 | 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 Peer Reviewed verified by ORBi |
 | 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). Peer reviewed |
 | 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 Peer reviewed |
 | 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 Peer reviewed |
 | 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 Peer reviewed |
 | 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. Peer reviewed |
 | Menghi, C., Spoletini, P., Chechik, M., & Ghezzi, C. (01 November 2019). A verification-driven framework for iterative design of controllers. Formal Aspects of Computing, 31, 459-502. doi:10.1007/s00165-019-00484-1 Peer Reviewed verified by ORBi |
 | Menghi, C., Tsigkanos, C., Pelliccione, P., Ghezzi, C., & Berger, T. (2019). Specification Patterns for Robotic Missions. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2019.2945329 Peer reviewed |
 | Menghi, C., Nejati, S., Gaaloul, K., & Briand, L. (2019). Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors. In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’19) (pp. 27-38). ACM. doi:10.1145/3338906.3338920 Peer reviewed |
 | Nejati, S., Gaaloul, K., Menghi, C., Briand, L., Foster, S., & Wolfe, D. (2019). Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models. In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). doi:10.1145/3338906.3340444 Peer reviewed |
 | Menghi, C., Tsigkanos, C., Berger, T., & Pelliccione, P. (2019). PsALM: specification of dependable robotic missions. In Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings (pp. 99-102). doi:10.1109/ICSE-Companion.2019.00048 Peer reviewed |