Roberto Cavada

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 8

Top Topics

Formal Verification

Nuclear Power Plant

Temporal Properties

Top Venues

Publications

Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report. FMICS (2024)
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi
A Formal IDE for Railways: Research Challenges. SEFM Workshops (2022)
Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta
COMPASTA: Extending TASTE with Formal Design and Verification Functionality. IMBSA (2022)
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. TACAS (1) (2022)
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. ISoLA (3) (2020)
Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, Giuseppe Scaglione
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. FMCAD (2018)
Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna, Stefano Tonetta
Model-Based Design of an Energy-System Embedded Controller Using Taste. FM (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. TACAS (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. CoRR (2015)
Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
The nuXmv Symbolic Model Checker. CAV (2014)
Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta
OthelloPlay: a plug-in based tool for requirement formalization and validation. TOPI@ICSE (2011)
Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta
Supporting Requirements Validation: The EuRailCheck Tool. ASE (2009)
Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev
RAT: A Tool for the Formal Analysis of Requirements. CAV (2007)
Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. FMCAD (2007)
Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti
Formal analysis of hardware requirements. DAC (2006)
Alessandro Cimatti, Charles Pecheur, Roberto Cavada
Formal Verification of Diagnosability via Symbolic Model Checking. IJCAI (2003)