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

; ; ;
in Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021) (in press)
2020

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

; ; ; ;
in Formal Aspects of Computing (2020)

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

; ; ; ; ; ; ; ; ; ; ; ;
in EPiC Series in Computing (2020)

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

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

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

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

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

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

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

; ; ;
in Formal Aspects of Computing (2019), 31

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

; ; ; ;
in IEEE Transactions on Software Engineering (2019)

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