SecuriTAS: a tool for engineering adaptive security. - Liliana Pasquale; Claudio Menghi; Mazeiar Salehie; Luca Cavallaro; Inah Omoronyia; Bashar Nuseibeh (SIGSOFT FSE, 2012)

Towards Agile Verification. - Carlo Ghezzi; Amir Molzam Sharifloo; Claudio Menghi (Perspectives on the Future of Software Engineering, 2013)

On requirements verification for model refinements. - Carlo Ghezzi; Claudio Menghi; Amir Molzam Sharifloo; Paola Spoletini (RE, 2013)

Verifying incomplete and evolving specifications. - Claudio Menghi (ICSE Companion, 2014)

Topology aware adaptive security. - Liliana Pasquale; Carlo Ghezzi; Claudio Menghi; Christos Tsigkanos; Bashar Nuseibeh (SEAMS, 2014)

A Control-Theoretic Approach to Self-adaptive Systems and an Application to Cloud-Based Software. - Carlo Ghezzi; Giovanni Paolo Gibilisco; Claudio Menghi; Marco Miglierina (LASER Summer School, 2014)

Engineering topology aware adaptive security: Preventing requirements violations at runtime. - Christos Tsigkanos; Liliana Pasquale; Claudio Menghi; Carlo Ghezzi; Bashar Nuseibeh (RE, 2014)

On requirement verification for evolving Statecharts specifications. - Carlo Ghezzi; Claudio Menghi; Amir Molzam Sharifloo; Paola Spoletini (Requir. Eng., 2014)

Dealing with incompleteness in automata based model checking. - Claudio Menghi (2015)

Dealing with Incompleteness in Automata-Based Model Checking. - Claudio Menghi; Paola Spoletini; Carlo Ghezzi (FM, 2016)

Modeling, refining and analyzing Incomplete Büchi Automata. - Claudio Menghi; Paola Spoletini; Carlo Ghezzi (CoRR, 2016)

Integrating Goal Model Analysis with Iterative Design. - Claudio Menghi; Paola Spoletini; Carlo Ghezzi (REFSQ, 2017)

COVER: Change-based Goal Verifier and Reasoner. - Claudio Menghi; Paola Spoletini; Carlo Ghezzi (REFSQ Workshops, 2017)

From Model Checking to a Temporal Proof for Partial Models. - Anna Bernasconi 002; Claudio Menghi; Paola Spoletini; Lenore D. Zuck; Carlo Ghezzi (SEFM, 2017)

From model checking to a temporal proof for partial models: preliminary example. - Anna Bernasconi 002; Claudio Menghi; Paola Spoletini; Lenore D. Zuck; Carlo Ghezzi (CoRR, 2017)

Supporting Verification-Driven Incremental Distributed Design of Components. - Claudio Menghi; Paola Spoletini; Marsha Chechik; Carlo Ghezzi (FASE, 2018)

Multi-robot LTL Planning Under Uncertainty. - Claudio Menghi; Sergio García 002; Patrizio Pelliccione; Jana Tumova (FM, 2018)

An Architecture for Decentralized, Collaborative, and Autonomous Robots. - Sergio García 002; Claudio Menghi; Patrizio Pelliccione; Thorsten Berger; Rebekka Wohlrab (ICSA, 2018)

Keeping intelligence under control. - Piergiuseppe Mallozzi; Patrizio Pelliccione; Claudio Menghi (SE4COG@ICSE, 2018)

Towards multi-robot applications planning under uncertainty. - Claudio Menghi; Sergio García 002; Patrizio Pelliccione; Jana Tumova (ICSE (Companion Volume), 2018)

Property specification patterns for robotic missions. - Claudio Menghi; Christos Tsigkanos; Thorsten Berger; Patrizio Pelliccione; Carlo Ghezzi (ICSE (Companion Volume), 2018)

A Flexible Approach for Checking Timed Automata on Continuous Time Semantics. - Claudio Menghi; Marcello M. Bersani; Matteo Rossi 001; Pierluigi San Pietro (CoRR, 2018)

MAPmAKER: performing multi-robot LTL planning under uncertainty. - Sergio García 002; Claudio Menghi; Patrizio Pelliccione (RoSE@ICSE, 2019)

PsALM: specification of dependable robotic missions. - Claudio Menghi; Christos Tsigkanos; Thorsten Berger; Patrizio Pelliccione (ICSE (Companion Volume), 2019)

Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors. - Claudio Menghi; Shiva Nejati 001; Khouloud Gaaloul; Lionel C. Briand (ESEC/SIGSOFT FSE, 2019)

Evaluating model testing and model checking for finding requirements violations in Simulink models. - Shiva Nejati 001; Khouloud Gaaloul; Claudio Menghi; Lionel C. Briand; Stephen Foster; David Wolfe (ESEC/SIGSOFT FSE, 2019)

High-level mission specification for multiple robots. - Sergio García 002; Patrizio Pelliccione; Claudio Menghi; Thorsten Berger; Tomás Bures (SLE, 2019)

A verification-driven framework for iterative design of controllers. - Claudio Menghi; Paola Spoletini; Marsha Chechik; Carlo Ghezzi (Formal Aspects Comput., 2019)

Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report. - Tomás Bures; Danny Weyns; Bradley R. Schmerl; John S. Fitzgerald; Adina Aniculaesei; Christian Berger 001; João Cambeiro; Jan Carlson; Shafiul Azam Chowdhury; Marian Daun; Nianyu Li; Matthias Markthaler; et al. (ACM SIGSOFT Softw. Eng. Notes, 2019)

ARCH-COMP 2020 Category Report: Falsification. - Gidon Ernst; Paolo Arcaini; Ismail Bennani; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Logan Mathesen; Claudio Menghi; Giulia Pedrielli; Marc Pouzet; Shakiba Yaghoubi; Yoriyuki Yamagata; et al. (ARCH, 2020)

Integrating Topological Proofs with Model Checking to Instrument Iterative Design. - Claudio Menghi; Alessandro Maria Rizzi; Anna Bernasconi 002 (FASE, 2020)

PROMISE: high-level mission specification for multiple robots. - Sergio García 002; Patrizio Pelliccione; Claudio Menghi; Thorsten Berger; Tomás Bures (ICSE (Companion Volume), 2020)

Mind the gap: Robotic Mission Planning Meets Software Engineering. - Mehrnoosh Askarpour; Claudio Menghi; Gabriele Belli; Marcello M. Bersani; Patrizio Pelliccione (FormaliSE@ICSE, 2020)

Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification. - Claudio Menghi; Shiva Nejati 001; Lionel C. Briand; Yago Isasi Parache (ICSE, 2020)

UML Consistency Rules: a Case Study with Open-Source UML Models. - Damiano Torre; Yvan Labiche; Marcela Genero; Maged Elaasar; Claudio Menghi (FormaliSE@ICSE, 2020)

Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach. - Chaima Boufaied; Claudio Menghi; Domenico Bianculli; Lionel C. Briand; Yago Isasi Parache (ASE, 2020)

Mining assumptions for software components using machine learning. - Khouloud Gaaloul; Claudio Menghi; Shiva Nejati 001; Lionel C. Briand; David Wolfe (ESEC/SIGSOFT FSE, 2020)

PuRSUE -from specification of robotic environments to synthesis of controllers. - Marcello M. Bersani; Matteo Soldo; Claudio Menghi; Patrizio Pelliccione; Matteo Rossi 001 (Formal Aspects Comput., 2020)

Model Checking MITL Formulae on Timed Automata: A Logic-based Approach. - Claudio Menghi; Marcello M. Bersani; Matteo Rossi 001; Pierluigi San Pietro (ACM Trans. Comput. Log., 2020)

ARCH-COMP 2021 Category Report: Falsification with Validation of Results. - Gidon Ernst; Paolo Arcaini; Ismail Bennani; Aniruddh Chandratre; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Khouloud Gaaloul; Jun Inoue 001; Tanmay Khandait; Logan Mathesen; Claudio Menghi; et al. (ARCH@ADHS, 2021)

Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. - Claudio Menghi; Enrico Viganò; Domenico Bianculli; Lionel C. Briand (ICSE, 2021)

ThEodorE: a Trace Checker for CPS Properties. - Claudio Menghi; Enrico Viganò; Domenico Bianculli; Lionel C. Briand (ICSE (Companion Volume), 2021)

RoboMAX: Robotic Mission Adaptation eXemplars. - Mehrnoosh Askarpour; Christos Tsigkanos; Claudio Menghi; Radu Calinescu; Patrizio Pelliccione; Sergio García 002; Ricardo Caldas; Tim J. von Oertzen; Manuel Wimmer; Luca Berardinelli; Matteo Rossi 001; Marcello M. Bersani; et al. (SEAMS@ICSE, 2021)

TOrPEDO: witnessing model correctness with topological proofs. - Claudio Menghi; Alessandro Maria Rizzi; Anna Bernasconi 002; Paola Spoletini (Formal Aspects Comput., 2021)

Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020. - Rafael C. Cardoso 001; Angelo Ferrando 001; Daniela Briola; Claudio Menghi; Tobias Ahlbrecht (J. Sens. Actuator Networks, 2021)

Special Issue: Agents and Robots for Reliable Engineered Autonomy. - Rafael C. Cardoso 001; Angelo Ferrando 001; Daniela Briola; Claudio Menghi; Tobias Ahlbrecht (J. Sens. Actuator Networks, 2021)

A survey on the design space of end-user-oriented languages for specifying robotic missions. - Swaib Dragule; Thorsten Berger; Claudio Menghi; Patrizio Pelliccione (Softw. Syst. Model., 2021)

Specification Patterns for Robotic Missions. - Claudio Menghi; Christos Tsigkanos; Patrizio Pelliccione; Carlo Ghezzi; Thorsten Berger (IEEE Trans. Software Eng., 2021)

Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device. - Mostafa Ayesh; Namya Mehan; Ethan Dhanraj; Abdul El-Rahwan; Simon Emil Opalka; Tony Fan; Akil Hamilton; Akshay Mathews Jacob; Rahul Anthony Sundarrajan; Bryan Widjaja; Claudio Menghi (ARCH@SAFECOMP, 2022)

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. - Gidon Ernst; Paolo Arcaini; Georgios Fainekos; Federico Formica; Jun Inoue 001; Tanmay Khandait; Mohammad Mahdi Mahboob; Claudio Menghi; Giulia Pedrielli; Masaki Waga; Yoriyuki Yamagata; Zhenya Zhang (ARCH@SAFECOMP, 2022)

Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions. - Federico Formica; Mehrnoosh Askarpour; Claudio Menghi (CoRR, 2022)

Combining Genetic Programming and Model Checking to Generate Environment Assumptions. - Khouloud Gaaloul; Claudio Menghi; Shiva Nejati 001; Lionel C. Briand; Yago Isasi Parache (IEEE Trans. Software Eng., 2022)

The ForeMoSt Approach to Building Valid Model-Based Safety Arguments. - Torin Viger; Logan Murphy; Alessio Di Sandro; Claudio Menghi; Ramy Shahin; Marsha Chechik (Zenodo, 2022)

ARCH-COMP23 Category Report: Falsification. - Claudio Menghi; Paolo Arcaini; Walstan Baptista; Gidon Ernst; Georgios Fainekos; Federico Formica; Sauvik Gon; Tanmay Khandait; Atanu Kundu 002; Giulia Pedrielli; Jarkko Peltomäki; Ivan Porres; et al. (ARCH, 2023)

Assurance Case Development as Data: A Manifesto. - Claudio Menghi; Torin Viger; Alessio Di Sandro; Chris Rees; Jeff Joyce; Marsha Chechik (ICSE (NIER), 2023)

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 (SAFECOMP, 2023)

Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. - Federico Formica; Nicholas Petrunti; Lucas Bruck; Vera Pantelic; Mark Lawford; Claudio Menghi (ESEC/SIGSOFT FSE, 2023)

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. - Alessandro Abate; Matthias Althoff; Lei Bu; Gidon Ernst; Goran Frehse; Luca Geretti; Taylor T. Johnson; Claudio Menghi; Stefan Mitsch; Stefan Schupp; Sadegh Soudjani (TOOLympics@ETAPS, 2023)

Trace Diagnostics for Signal-Based Temporal Properties. - Chaima Boufaied; Claudio Menghi; Domenico Bianculli; Lionel C. Briand (IEEE Trans. Software Eng., 2023)

Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. - Claudio Menghi; Christos Tsigkanos; Mehrnoosh Askarpour; Patrizio Pelliccione; Gricel Vázquez; Radu Calinescu; Sergio García 002 (IEEE Trans. Software Eng., 2023)

The ForeMoSt approach to building valid model-based safety arguments. - Torin Viger; Logan Murphy; Alessio Di Sandro; Claudio Menghi; Ramy Shahin; Marsha Chechik (Softw. Syst. Model., 2023)

Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. - Shiva Nejati 001; Lev Sorokin; Damir Safin; Federico Formica; Mohammad Mahdi Mahboob; Claudio Menghi (Inf. Softw. Technol., 2023)

Supporting Change Impact Assessment with LLMs. - Torin Viger; Logan Murphy; Simon Diemert; Claudio Menghi; Marsha Chechik (ISSRE (Workshops), 2024)

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 (ISSRE, 2024)

ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise. - Federico Formica; Mohammad Mahdi Mahboob; Mehrnoosh Askarpour; Claudio Menghi (SIGSOFT FSE Companion, 2024)

Search-based Trace Diagnostic. - Gabriel F. P. Araujo; Ricardo Caldas; Federico Formica; Genaína Nunes Rodrigues; Patrizio Pelliccione; Claudio Menghi (CoRR, 2024)

Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions. - Federico Formica; Tony Fan; Claudio Menghi (ACM Trans. Softw. Eng. Methodol., 2024)

Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks. - Federico Formica; Tony Fan; Akshay Rajhans; Vera Pantelic; Mark Lawford; Claudio Menghi (IEEE Trans. Software Eng., 2024)

Can Generative AI Produce Test Cases? An Experience from the Automotive Domain. - Stephen Wynn-Williams; Ryan Tyrrell; Vera Pantelic; Mark Lawford; Claudio Menghi; Phaneendra Nalla; Hassan Artail (SIGSOFT FSE Companion, 2025)

Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements. - Aurora Francesca Zanenga; Nunzio Marco Bisceglia; Benedetta Ippoliti; Andrea Bombarda; Angelo Gargantini; Akshay Rajhans; Claudio Menghi (SIGSOFT FSE Companion, 2025)

Search-based Testing of Simulink Models with Requirements Tables. - Federico Formica; Chris George; Shayda Rahmatyan; Vera Pantelic; Mark Lawford; Angelo Gargantini; Claudio Menghi (CoRR, 2025)

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 (CoRR, 2025)

Completeness and Consistency of Tabular Requirements: An SMT-Based Verification Approach. - Claudio Menghi; Eugene Balai; Darren Valovcin; Christoph Sticksel; Akshay Rajhans (IEEE Trans. Software Eng., 2025)