Roberto Cavada
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
11
Active years
2003–2025
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Automated Parameterized Verification of a Railway Protection System with Dafny. | Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidstrm, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti |
| 2025 | FMICS | A Specification-Driven Approach to Embedded FDIR Code Generation. | Federico Bonafini, Roberto Cavada, Alessandro Cimatti, Guillermo Gomez, Stefano Tonetta |
| 2024 | FMICS | 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 |
| 2024 | ICINCO | A Switching Event-Triggered Model Predictive Control for HVAC Systems. | Mojtaba Sharifzadeh, Hani Beirami, Federico Bonafini, Matteo Campidelli, Roberto Cavada, Alessandro Cimatti, Stefano Tonetta |
| 2024 | ISoLA | Towards the Formal Analysis of Algorithmic Requirements. | Lorenzo Cappelletti, Roberto Cavada, Alessandro Cimatti, Marco Keppel |
| 2022 | SEFM | A Formal IDE for Railways: Research Challenges. | Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi |
| 2022 | TACAS | 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 |
| 2020 | ISoLA | 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 |
| 2018 | FMCAD | 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 |
| 2016 | FM | Model-Based Design of an Energy-System Embedded Controller Using Taste. | Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna, Stefano Tonetta |
| 2016 | TACAS | The xSAP Safety Analysis Platform. | Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri |
| 2014 | CAV | The nuXmv Symbolic Model Checker. | Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta |
| 2011 | ICSE | OthelloPlay: a plug-in based tool for requirement formalization and validation. | Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta |
| 2007 | CAV | RAT: A Tool for the Formal Analysis of Requirements. | Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev |
| 2007 | FMCAD | Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. | Roberto Cavada, Alessandro Cimatti, Anders Franzn, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar |
| 2006 | DAC | Formal analysis of hardware requirements. | Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti |
| 2003 | IJCAI | Formal Verification of Diagnosability via Symbolic Model Checking. | Alessandro Cimatti, Charles Pecheur, Roberto Cavada |