Startseite // SnT // People // Claudio Menghi

Claudio Menghi

Claudio Menghi

Postdoctoral researcher

Fakultät oder Zentrum Interdisciplinary Centre for Security, Reliability and Trust
Department SVV
Postadresse Université du Luxembourg
29, avenue JF Kennedy
L-1855 Luxembourg
Büroadresse JFK Building, E01-107
E-Mail
Telefon (+352) 46 66 44 6482

Claudio Menghi received his PhD degree from Politecnico di Milano (Italy), in 2015. He has gained working experience in software development for partial and incomplete models, as well as in robotic applications. His research interests are in software engineering, robotics, and formal methods. Claudio joined the Software Verification and Validation group - V&V Lab, headed by Prof. Lionel Briand.

Last updated on: Donnerstag, den 04. Oktober 2018

powered by
orbilu.uni.lu

In press

Full Text
See detailRoboMAX: Robotic Mission Adaptation eXemplars
Askarpour, Mehrnoosh; Tsigkanos, Christos; Menghi, Claudio; Calinescu, Radu; Pelliccione, Patrizio; García, Sergio; Caldas, Ricardo; von Oertzen, Tim J von; Wimmer, Manuel; Berardinelli, Luca; Rossi, Matteo; Bersani, Marcello M.; Rodrigues, Gabriel S.

in Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Artifact Track (in press)

Full Text
See detailCombining Genetic Programming and Model Checking to Generate Environment Assumptions
Gaaloul, Khouloud; Menghi, Claudio; Nejati, Shiva; Briand, Lionel; Isasi Parache, Yago

in IEEE Transactions on Software Engineering (in press)

Full Text
See detailTOrPEDO: Witnessing Model Correctness with Topological Proofs
Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna; Spoletini, Paola

in Formal Aspects of Computing (in press)

Top of Page

2021

Full Text
See detailThEodorE: a Trace Checker for CPS Properties
Menghi, Claudio; Vigano, Enrico; Bianculli, Domenico; Briand, Lionel

in Companion Proceedings of the 43rd International Conference on Software Engineering (2021, May)

Full Text
See detailTrace-Checking CPS Properties: Bridging the Cyber-Physical Gap
Menghi, Claudio; Vigano, Enrico; Bianculli, Domenico; Briand, Lionel

in Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021) (2021, May)

Top of Page

2020

Full Text
See detailMind the gap: Robotic Mission Planning Meets Software Engineering
Askarpour, Mehrnoosh; Menghi, Claudio; Belli, Gabriele; Bersani, Marcello; Pelliccione, Patrizio

in Proceedings of the 8th International Conference on Formal Methods in Software Engineering (2020)

Full Text
See detailPuRSUE -from specification of robotic environments to synthesis of controllers
Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo

in Formal Aspects of Computing (2020)

Full Text
See detailTrace-Checking Signal-based Temporal Properties: A Model-Driven Approach
Boufaied, Chaima; Menghi, Claudio; Bianculli, Domenico; Briand, Lionel; Isasi Parache, Yago

in Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20) (2020, September)

Full Text
See detailARCH-COMP 2020 Category Report: Falsification
Ernst, Gidon; Arcaini, Paolo; Bennani, Ismail; Donzé, Alexandre; Fainekos, Georgios; Frehse, Goran; Mathesen, Logan; Menghi, Claudio; Pedrinelli, Giulia; Pouzet, Marc; Yaghoubi, Shakiba; Yamagata, Yoriyuki; Zhang, Zhenya

in EPiC Series in Computing (2020)

Full Text
See detailMining Assumptions for Software Components using Machine Learning
Gaaloul, Khouloud; Menghi, Claudio; Nejati, Shiva; Briand, Lionel; Wolfe, David

in Proceedings of the The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (2020)

Full Text
See detailPROMISE: high-level mission specification for multiple robots
García, Sergio; Pelliccione, Patrizio; Menghi, Claudio; Berger, Thorsten; Bures, Tomas

in Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (ICSE): Companion Proceedings (2020, June)

Full Text
See detailModel Checking MITL formulae on Timed Automata: a Logic-Based Approach
Menghi, Claudio; Bersani, Marcello; Rossi, Matteo; San Pietro, Pierluigi

in ACM Transactions on Computational Logic (2020), 21(3),

Full Text
See detailApproximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
Menghi, Claudio; Nejati, Shiva; Briand, Lionel; Yago, Isasi Parache

in Proceedings of the 42nd International Conference on Software Engineering (2020)

Full Text
See detailIntegrating Topological Proofs with Model Checking to Instrument Iterative Design
Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna

in Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020 (2020, April)

Full Text
See detailUML Consistency Rules:a Case Study with Open-Source UML Models
Torre, Damiano; Labiche, Yvan; Genero, Marcela; Elaasar, Maged; Menghi, Claudio

in Proceedings of the 8th International Conference on Formal Methods in Software Engineering (2020, July)

Top of Page

2019

Full Text
See detailGenerating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors
Menghi, Claudio; Nejati, Shiva; Gaaloul, Khouloud; Briand, Lionel

in Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’19), (2019, August)

Full Text
See detailA verification-driven framework for iterative design of controllers
Menghi, Claudio; Spoletini, Paola; Chechik, Marsha; Ghezzi, Carlo

in Formal Aspects of Computing (2019), 31

Full Text
See detailPsALM: specification of dependable robotic missions
Menghi, Claudio; Tsigkanos, Christos; Berger, Thorsten; Pelliccione, Patrizio

in Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings (2019)

Full Text
See detailSpecification Patterns for Robotic Missions
Menghi, Claudio; Tsigkanos, Christos; Pelliccione, Pelliccione; Ghezzi, Carlo; Berger, Thorsten

in IEEE Transactions on Software Engineering (2019)

Full Text
See detailEvaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models
Nejati, Shiva; Gaaloul, Khouloud; Menghi, Claudio; Briand, Lionel; Foster, Stephen; Wolfe, David

in Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (2019)

Top of Page