Publications

UML consistency rules: a case study with open-source UML models
Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar, Claudio Menghi
PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers
Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi
Model Checking MITL formulae on Timed Automata: a Logic-Based Approach
Claudio Menghi, Marcello Bersani, Matteo Rossi, Pierluigi San Pietro
Mind the gap: Robotic Mission Planning Meets Software Engineering
Askarpour Mehrnoosh, Claudio Menghi, Gabriele Belli, Marcello Bersani, Patrizio Pelliccione
Integrating Model Checking and Topological Proofs to Instrument Iterative Design
Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi
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
Mining Assumptions for Software Components using Machine Learning
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel Briand, David Wolfe
Strategy Patterns for Multi-Agent CPS
Claudio Menghi
Specification patterns for robotic missions
Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger
Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018)-Workshop Report
Tomas Bures, Danny Weyns, Bradley Schmerl, John Fitzgerald, Adina Aniculaesei, Christian Berger, João Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, others
PsALM: specification of dependable robotic missions
Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione
On Explainability and its Characterization
Dimitri Bohlender, Francisco J Chiyah Garcia, Maximilian Köhl, Claudio Menghi, Andreas Wortmann
MAPmAKER: performing multi-robot LTL planning under uncertainty
Sergio Garcı́a, Claudio Menghi, Patrizio Pelliccione
High-level mission specification for multiple robots
Sergio Garcı́a, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomas Bures
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors
Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand
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
A verification-driven framework for iterative design of controllers
Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE)
Sergio GarcÃŽa, Claudio Menghi, Patrizio Pelliccione
Supporting Verification-Driven Incremental Distributed Design of Components.
Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
Property specification patterns for robotic missions
Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi
Multi-Robot LTL Planning Under Uncertainty
Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Jana Tumova
Keeping intelligence under control
Piergiuseppe Mallozzi, Patrizio Pelliccione, Claudio Menghi
Integrating Topological Proofs with Model Checking to Instrument Iterative Design
Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi
An Architecture for Decentralized, Collaborative, and Autonomous Robots
Sergio Garcia, Claudio Menghi, Patrizio Pelliccione, Thorsten Berger, Rebekka Wohlrab
A Flexible Approach for Checking Timed Automata on Continuous Time Semantics
Claudio Menghi, Marcello Bersani, Matteo Rossi, Pierluigi San Pietro
Integrating goal model analysis with iterative design
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
From model checking to a temporal proof for partial models
Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D Zuck, Carlo Ghezzi
COVER: Change-based Goal Verifier and Reasoner.
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
Systems and methods for runtime adaptive security to protect variable assets
Mazeiar Salehie, Liliana Pasquale, Claudio Menghi, Inah Omoronyia, Bashar Nuseibeh
Modeling, refining and analyzing Incomplete Büchi Automata
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
Dealing with Incompleteness in Automata-Based Model Checking
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
Verifying incomplete and evolving specifications
Claudio Menghi
Topology aware adaptive security
Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, Bashar Nuseibeh
On requirement verification for evolving statecharts specifications
Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini
Engineering topology aware adaptive security: Preventing requirements violations at runtime
Christos Tsigkanos, Liliana Pasquale, Claudio Menghi, Carlo Ghezzi, Bashar Nuseibeh
Towards Agile Verification
Carlo Ghezzi, Amir Molzam Sharifloo, Claudio Menghi
On requirements verification for model refinements
Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini
Adaptation in the Context of the Cloud: Models at Run-time and Model-Driven Adaptation
Giovanni Paolo Gibilisco, Claudio Menghi, Marco Miglierina
A control-theoretic approach to self-adaptive systems and an application to cloud-based software
Carlo Ghezzi, Giovanni Paolo Gibilisco, Claudio Menghi, Marco Miglierina
SecuriTAS: a tool for engineering adaptive security
Liliana Pasquale, Claudio Menghi, Mazeiar Salehie, Luca Cavallaro, Inah Omoronyia, Bashar Nuseibeh
Contextual, requirements driven, adaptive access control
CLAUDIO MENGHI