Claudio Menghi

According to our database, Claudio Menghi authored at least 65 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., February, 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., February, 2024

Search-based Trace Diagnostic.

Gabriel Araujo, Ricardo Caldas, Federico Formica, Genaína Nunes Rodrigues, Patrizio Pelliccione, Claudio Menghi

CoRR, 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

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2023

Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.

Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi

Inf. Softw. Technol., November, 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., October, 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

IEEE Trans. Software Eng., April, 2023

Trace Diagnostics for Signal-Based Temporal Properties.

Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand

IEEE Trans. Software Eng., 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

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 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

Proceedings of the Computer Safety, Reliability, and Security, 2023

Assurance Case Development as Data: A Manifesto.

Claudio Menghi, Torin Viger, Alessio Di Sandro, Chris Rees, Jeff Joyce, Marsha Chechik

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

ARCH-COMP23 Category Report: Falsification.

Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

The ForeMoSt Approach to Building Valid Model-Based Safety Arguments.

Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik

Dataset, March, 2022

Combining Genetic Programming and Model Checking to Generate Environment Assumptions.

Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache

IEEE Trans. Software Eng., 2022

Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions.

Federico Formica, Mehrnoosh Askarpour, Claudio Menghi

CoRR, 2022

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.

Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

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

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Specification Patterns for Robotic Missions.

Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger

IEEE Trans. Software Eng., 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

Special Issue: Agents and Robots for Reliable Engineered Autonomy.

Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht

J. Sens. Actuator Networks, 2021

Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020.

Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht

J. Sens. Actuator Networks, 2021

TOrPEDO: witnessing model correctness with topological proofs.

Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi, Paola Spoletini

Formal Aspects Comput., 2021

RoboMAX: Robotic Mission Adaptation eXemplars.

Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

ThEodorE: a Trace Checker for CPS Properties.

Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap.

Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

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, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Model Checking MITL Formulae on Timed Automata: A Logic-based Approach.

Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

ACM Trans. Comput. Log., 2020

PuRSUE -from specification of robotic environments to synthesis of controllers.

Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi

Formal Aspects Comput., 2020

Mining assumptions for software components using machine learning.

Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, David Wolfe

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach.

Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand, Yago Isasi Parache

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

UML Consistency Rules: a Case Study with Open-Source UML Models.

Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar, Claudio Menghi

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

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

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Mind the gap: Robotic Mission Planning Meets Software Engineering.

Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

PROMISE: high-level mission specification for multiple robots.

Sergio García, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomás Bures

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Integrating Topological Proofs with Model Checking to Instrument Iterative Design.

Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi

Proceedings of the Fundamental Approaches to Software Engineering, 2020

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, Zhenya Zhang

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

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, João Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan D. Pettit, Robert G. Pettit IV, Luca Sabatucci, Christos Tranoris, Hans Vangheluwe, Sebastian Voss, Edith Zavala

ACM SIGSOFT Softw. Eng. Notes, 2019

A verification-driven framework for iterative design of controllers.

Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi

Formal Aspects Comput., 2019

High-level mission specification for multiple robots.

Sergio García, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomás Bures

Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

Evaluating model testing and model checking for finding requirements violations in Simulink models.

Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors.

Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

PsALM: specification of dependable robotic missions.

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

MAPmAKER: performing multi-robot LTL planning under uncertainty.

Sergio García, Claudio Menghi, Patrizio Pelliccione

Proceedings of the 2nd International Workshop on Robotics Software Engineering, 2019

2018

A Flexible Approach for Checking Timed Automata on Continuous Time Semantics.

Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

CoRR, 2018

Property specification patterns for robotic missions.

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Towards multi-robot applications planning under uncertainty.

Claudio Menghi, Sergio García, Patrizio Pelliccione, Jana Tumova

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Keeping intelligence under control.

Piergiuseppe Mallozzi, Patrizio Pelliccione, Claudio Menghi

Proceedings of the 1st International Workshop on Software Engineering for Cognitive Services, 2018

An Architecture for Decentralized, Collaborative, and Autonomous Robots.

Sergio García, Claudio Menghi, Patrizio Pelliccione, Thorsten Berger, Rebekka Wohlrab

Proceedings of the IEEE International Conference on Software Architecture, 2018

Multi-robot LTL Planning Under Uncertainty.

Claudio Menghi, Sergio García, Patrizio Pelliccione, Jana Tumova

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Supporting Verification-Driven Incremental Distributed Design of Components.

Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017

From model checking to a temporal proof for partial models: preliminary example.

Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi

CoRR, 2017

From Model Checking to a Temporal Proof for Partial Models.

Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

COVER: Change-based Goal Verifier and Reasoner.

Claudio Menghi, Paola Spoletini, Carlo Ghezzi

Proceedings of the Joint Proceedings of REFSQ-2017 Workshops, 2017

Integrating Goal Model Analysis with Iterative Design.

Claudio Menghi, Paola Spoletini, Carlo Ghezzi

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

2016

Modeling, refining and analyzing Incomplete Büchi Automata.

Claudio Menghi, Paola Spoletini, Carlo Ghezzi

CoRR, 2016

Dealing with Incompleteness in Automata-Based Model Checking.

Claudio Menghi, Paola Spoletini, Carlo Ghezzi

Proceedings of the FM 2016: Formal Methods, 2016

2015

Dealing with incompleteness in automata based model checking.

Claudio Menghi

PhD thesis, 2015

2014

On requirement verification for evolving Statecharts specifications.

Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini

Requir. Eng., 2014

Engineering topology aware adaptive security: Preventing requirements violations at runtime.

Christos Tsigkanos, Liliana Pasquale, Claudio Menghi, Carlo Ghezzi, Bashar Nuseibeh

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 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

Proceedings of the Software Engineering - International Summer Schools, 2014

Topology aware adaptive security.

Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, Bashar Nuseibeh

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Verifying incomplete and evolving specifications.

Claudio Menghi

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

On requirements verification for model refinements.

Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini

Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Towards Agile Verification.

Carlo Ghezzi, Amir Molzam Sharifloo, Claudio Menghi

Proceedings of the Perspectives on the Future of Software Engineering, 2013

2012

SecuriTAS: a tool for engineering adaptive security.

Liliana Pasquale, Claudio Menghi, Mazeiar Salehie, Luca Cavallaro, Inah Omoronyia, Bashar Nuseibeh

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012