Claudio Menghi
|
|
||||
| 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 | ||||
|
|||||
| 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
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)
PsALM: specification of dependable robotic missions; ; ;
in Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings (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)
