Claudio Menghi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
12
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FASE | Failure Modes and Effects Analysis: An Experience from the E-Bike Domain. | Andrea Bombarda, Federico Conti, Marcello Minervini, Aurora Francesca Zanenga, Claudio Menghi |
| 2026 | FASE | Search-based Software Testing for Drone Applications: An Experience with the Simulink Environment. | Annalisa Sergi, Yousef Ahmed Abdel Rahman Shoeib, Andrea Bombarda, Nunzio Marco Bisceglia, Claudio Menghi |
| 2025 | SSBSE | Test Case Generation for Simulink Models: An Experience from the E-Bike Domain. | Michael Marzella, Andrea Bombarda, Marcello Minervini, Nunzio Marco Bisceglia, Angelo Gargantini, Claudio Menghi |
| 2024 | ISSRE | Supporting Change Impact Assessment with LLMs. | Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Marsha Chechik |
| 2024 | ISSRE | AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases. | Torin Viger, Logan Murphy, Simon Diemert, Claudio Menghi, Jeff Joyce, Alessio Di Sandro, Marsha Chechik |
| 2023 | ICSE | Assurance Case Development as Data: A Manifesto. | Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik |
| 2023 | SAFECOMP | Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. | Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce |
| 2021 | ICSE | Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. | Claudio Menghi, Enrico Vigan, Domenico Bianculli, Lionel C. Briand |
| 2021 | ICSE | ThEodorE: a Trace Checker for CPS Properties. | Claudio Menghi, Enrico Vigan, Domenico Bianculli, Lionel C. Briand |
| 2021 | SEAMS | RoboMAX: Robotic Mission Adaptation eXemplars. | Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio Garca, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues |
| 2020 | FASE | Integrating Topological Proofs with Model Checking to Instrument Iterative Design. | Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi |
| 2020 | ICSE | PROMISE: high-level mission specification for multiple robots. | Sergio Garca, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Toms Bures |
| 2020 | ICSE | Mind the gap: Robotic Mission Planning Meets Software Engineering. | Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione |
| 2020 | ICSE | Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification. | Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache |
| 2020 | ICSE | UML Consistency Rules: a Case Study with Open-Source UML Models. | Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar, Claudio Menghi |
| 2019 | ICSE | MAPmAKER: performing multi-robot LTL planning under uncertainty. | Sergio Garca, Claudio Menghi, Patrizio Pelliccione |
| 2019 | ICSE | PsALM: specification of dependable robotic missions. | Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione |
| 2019 | SLE | High-level mission specification for multiple robots. | Sergio Garca, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Toms Bures |
| 2018 | FASE | Supporting Verification-Driven Incremental Distributed Design of Components. | Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi |
| 2018 | FM | Multi-robot LTL Planning Under Uncertainty. | Claudio Menghi, Sergio Garca, Patrizio Pelliccione, Jana Tumova |
| 2018 | ICSA | An Architecture for Decentralized, Collaborative, and Autonomous Robots. | Sergio Garca, Claudio Menghi, Patrizio Pelliccione, Thorsten Berger, Rebekka Wohlrab |
| 2018 | ICSE | Keeping intelligence under control. | Piergiuseppe Mallozzi, Patrizio Pelliccione, Claudio Menghi |
| 2018 | ICSE | Towards multi-robot applications planning under uncertainty. | Claudio Menghi, Sergio Garca, Patrizio Pelliccione, Jana Tumova |
| 2018 | ICSE | Property specification patterns for robotic missions. | Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi |
| 2017 | REFSQ | Integrating Goal Model Analysis with Iterative Design. | Claudio Menghi, Paola Spoletini, Carlo Ghezzi |
| 2017 | REFSQ | COVER: Change-based Goal Verifier and Reasoner. | Claudio Menghi, Paola Spoletini, Carlo Ghezzi |
| 2017 | SEFM | From Model Checking to a Temporal Proof for Partial Models. | Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi |
| 2016 | FM | Dealing with Incompleteness in Automata-Based Model Checking. | Claudio Menghi, Paola Spoletini, Carlo Ghezzi |
| 2014 | ICSE | Verifying incomplete and evolving specifications. | Claudio Menghi |
| 2014 | ICSE | Topology aware adaptive security. | Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, Bashar Nuseibeh |
| 2014 | RE | Engineering topology aware adaptive security: Preventing requirements violations at runtime. | Christos Tsigkanos, Liliana Pasquale, Claudio Menghi, Carlo Ghezzi, Bashar Nuseibeh |
| 2013 | RE | On requirements verification for model refinements. | Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini |