Roberto Cavada

According to our database, Roberto Cavada authored at least 17 papers between 2003 and 2024.

Collaborative distances:

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

2024

Towards the Formal Analysis of Algorithmic Requirements.

Lorenzo Cappelletti, Roberto Cavada, Alessandro Cimatti, Marco Keppel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

A Switching Event-Triggered Model Predictive Control for HVAC Systems.

Mojtaba Sharifzadeh, Hani Beirami, Federico Bonafini, Matteo Campidelli, Roberto Cavada, Alessandro Cimatti, Stefano Tonetta

Proceedings of the 21st International Conference on Informatics in Control, 2024

Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report.

Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2022

NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems.

Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

A Formal IDE for Railways: Research Challenges.

Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

COMPASTA: Extending TASTE with Formal Design and Verification Functionality.

Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

2020

A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.

Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2018

Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks.

Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, Giuseppe Scaglione

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2016

The xSAP Safety Analysis Platform.

Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Model-Based Design of an Energy-System Embedded Controller Using Taste.

Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna, Stefano Tonetta

Proceedings of the FM 2016: Formal Methods, 2016

2014

The nuXmv Symbolic Model Checker.

Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2011

OthelloPlay: a plug-in based tool for requirement formalization and validation.

Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta

Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

2009

Supporting Requirements Validation: The EuRailCheck Tool.

Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta

Proceedings of the ASE 2009, 2009

2007

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.

Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

RAT: A Tool for the Formal Analysis of Requirements.

Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Formal analysis of hardware requirements.

Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti

Proceedings of the 43rd Design Automation Conference, 2006

2003

Formal Verification of Diagnosability via Symbolic Model Checking.

Alessandro Cimatti, Charles Pecheur, Roberto Cavada

Proceedings of the IJCAI-03, 2003