Claudio Menghi

Claudio Menghi

Université du Luxembourg - Esch-sur-Alzette / Luxembourg
Engineering & Technology / Computer Science
AD Scientific Index ID: 1811133
University of Luxembourg Universität Luxemburg
person_outline Claudio Menghi's MOST POPULAR ARTICLES
1-) Specification patterns for robotic missionsC Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T BergerIEEE Transactions on Software Engineering (TSE), 2019792019
2-) Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System IdentificationC Menghi, S Nejati, LC Briand, YI ParacheProceedings of the ACM/IEEE 42nd International Conference on Software …, 2020772020
3-) Generating automated and online test oracles for Simulink models with continuous and uncertain behaviorsC Menghi, S Nejati, K Gaaloul, LC BriandFoundations of Software Engineering, 27--38, 2019482019
4-) An Architecture for Decentralized, Collaborative, and Autonomous RobotsS Garcia, C Menghi, P Pelliccione, T Berger, R WohlrabInternational Conference on Software Architecture (ICSA), 2018542018
5-) Arch-comp 2020 category report: FalsificationG Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ...EPiC Series in Computing, 2020492020