| Specification patterns for robotic missions C Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T Berger IEEE Transactions on Software Engineering (TSE), 2019 | 46 | 2019 |
| 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 | 45 | 2014 |
| 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 | 40 | 2014 |
| 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 | 39 | 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 | 36 | 2020 |
| 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 | 33 | 2018 |
| Multi-Robot LTL Planning Under Uncertainty C Menghi, S Garcia, P Pelliccione, J Tumova 22nd International Symposium on Formal Methods (FM), 2018 | 29* | 2018 |
| 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 | 27 | 2020 |
| 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 | 27 | 2019 |
| 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 | 24 | 2019 |
| PsALM: Specification of dependable robotic missions C Menghi, C Tsigkanos, T Berger, P Pelliccione 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 22 | 2019 |
| 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 | 21 | 2012 |
| On requirements verification for model refinements C Ghezzi, C Menghi, AM Sharifloo, P Spoletini 2013 21st IEEE International Requirements Engineering Conference (RE), 62-71, 2013 | 20 | 2013 |
| 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 | 19 | 2017 |
| Property specification patterns for robotic missions C Menghi, C Tsigkanos, T Berger, P Pelliccione, C Ghezzi Proceedings of the 40th International Conference on Software Engineering …, 2018 | 18 | 2018 |
| Dealing with Incompleteness in Automata-Based Model Checking C Menghi, P Spoletini, C Ghezzi FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus …, 2016 | 18 | 2016 |
| Integrating goal model analysis with iterative design C Menghi, P Spoletini, C Ghezzi International working conference on requirements engineering: foundation for …, 2017 | 16 | 2017 |
| Supporting Verification-Driven Incremental Distributed Design of Components. C Menghi, P Spoletini, M Chechik, C Ghezzi Fundamental Approaches to Software Engineering: 21st International …, 2018 | 15 | 2018 |
| 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 | 15 | 2016 |
| On requirement verification for evolving statecharts specifications C Ghezzi, C Menghi, A Molzam Sharifloo, P Spoletini Requirements Engineering 19 (3), 231-255, 2014 | 13 | 2014 |
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
