Claudio Menghi
|
|
||||
| Faculty or Centre | Interdisciplinary Centre for Security, Reliability and Trust | ||||
| Department | SVV | ||||
| Postal Address |
Université du Luxembourg 29, avenue JF Kennedy L-1855 Luxembourg |
||||
| Campus Office | JFK Building, E01-107 | ||||
|
|||||
| 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
In press
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap; ; ;
in Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021) (in press)
2020
Mind the gap: Robotic Mission Planning Meets Software Engineering; ; ; ;
in Proceedings of the 8th International Conference on Formal Methods in Software Engineering (2020)
PuRSUE -from specification of robotic environments to synthesis of controllers; ; ; ;
in Formal Aspects of Computing (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) (2020, September)
ARCH-COMP 2020 Category Report: Falsification; ; ; ; ; ; ; ; ; ; ; ;
in EPiC Series in Computing (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) (2020)
PROMISE: high-level mission specification for multiple robots; ; ; ;
in Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (ICSE): Companion Proceedings (2020, June)
Model Checking MITL formulae on Timed Automata: a Logic-Based Approach; ; ;
in ACM Transactions on Computational Logic (2020), 21(3),
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 (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 (2020, April)
UML Consistency Rules:a Case Study with Open-Source UML Models; ; ; ;
in Proceedings of the 8th International Conference on Formal Methods in Software Engineering (2020, July)
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), (2019, August)
A verification-driven framework for iterative design of controllers; ; ;
in Formal Aspects of Computing (2019), 31
PsALM: specification of dependable robotic missions; ; ;
in Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings (2019)
Specification Patterns for Robotic Missions; ; ; ;
in IEEE Transactions on Software Engineering (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) (2019)
