| Specification patterns for robotic missions C Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T Berger IEEE Transactions on Software Engineering (TSE), 2019 | 155 | 2019 |
| Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification C Menghi, S Nejati, LC Briand, YI Parache Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 125 | 2020 |
| Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors C Menghi, S Nejati, K Gaaloul, LC Briand Foundations of Software Engineering, 27--38, 2019 | 76 | 2019 |
| Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models S Nejati, K Gaaloul, C Menghi, LC Briand, S Foster, D Wolfe Foundations of Software Engineering, 2019 | 67 | 2019 |
| An Architecture for Decentralized, Collaborative, and Autonomous Robots S Garcia, C Menghi, P Pelliccione, T Berger, R Wohlrab International Conference on Software Architecture (ICSA), 2018 | 62 | 2018 |
| High-level mission specification for multiple robots S García, P Pelliccione, C Menghi, T Berger, T Bures Proceedings of the 12th ACM SIGPLAN international conference on software …, 2019 | 59 | 2019 |
| Arch-comp 2020 category report: Falsification G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ... EPiC Series in Computing, 2020 | 56 | 2020 |
| Multi-Robot LTL Planning Under Uncertainty C Menghi, S Garcia, P Pelliccione, J Tumova 22nd International Symposium on Formal Methods (FM), 2018 | 52* | 2018 |
| SecuriTAS: a tool for engineering adaptive security L Pasquale, C Menghi, M Salehie, L Cavallaro, I Omoronyia, B Nuseibeh Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012 | 51 | 2012 |
| Topology aware adaptive security L Pasquale, C Ghezzi, C Menghi, C Tsigkanos, B Nuseibeh Proceedings of the 9th international symposium on software engineering for …, 2014 | 50 | 2014 |
| ARCH-COMP 2021 Category Report: Falsification with Validation of Results. G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ... ARCH@ ADHS, 133-152, 2021 | 43 | 2021 |
| Engineering topology aware adaptive security: Preventing requirements violations at runtime C Tsigkanos, L Pasquale, C Menghi, C Ghezzi, B Nuseibeh 2014 IEEE 22nd International Requirements Engineering Conference (RE), 203-212, 2014 | 38 | 2014 |
| Arch-comp 2022 category report: Falsification with ubounded resources G Ernst, P Arcaini, G Fainekos, F Formica, J Inoue, T Khandait, ... Proceedings of 9th International Workshop on Applied Verification of …, 2022 | 36 | 2022 |
| RoboMAX: Robotic Mission Adaptation eXemplars M Askarpour, C Tsigkanos, C Menghi, R Calinescu, P Pelliccione, ... Symposium on Software Engineering for Adaptive and Self-Managing Systems …, 2021 | 36 | 2021 |
| PsALM: Specification of dependable robotic missions C Menghi, C Tsigkanos, T Berger, P Pelliccione 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 31 | 2019 |
| PROMISE: High-level mission specification for multiple robots S García, P Pelliccione, C Menghi, T Berger, T Bures Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 30 | 2020 |
| From model checking to a temporal proof for partial models A Bernasconi, C Menghi, P Spoletini, LD Zuck, C Ghezzi International conference on software engineering and formal methods, 54-69, 2017 | 30 | 2017 |
| Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions F Formica, T Fan, C Menghi ACM Transactions on Software Engineering and Methodology (TOSEM), 2023 | 29 | 2023 |
| Reflections on surrogate-assisted search-based testing: A taxonomy and two replication studies based on industrial adas and simulink models S Nejati, L Sorokin, D Safin, F Formica, MM Mahboob, C Menghi Information and Software Technology 163, 107286, 2023 | 28 | 2023 |
| Systems and methods for runtime adaptive security to protect variable assets M Salehie, L Pasquale, C Menghi, I Omoronyia, B Nuseibeh US Patent 9,330,262, 2016 | 28 | 2016 |
Patrizio PelliccioneDirector of the CS area and Prof. in Software Engineering at Gran Sasso Science Institute (GSSI)Verified email at gssi.it
