Home // SnT // People // Claudio Menghi

Claudio Menghi

Claudio Menghi

Research associate

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Research Unit SnT
Postal Address Université du Luxembourg
29, avenue JF Kennedy
L-1855 Luxembourg
Campus Office JFK Building, E01-112
Email
Telephone (+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: Thursday, 04 October 2018

powered by
orbilu.uni.lu

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)

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 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