Roberto Cavada

21 papers A* 5A 1B 3C 3Journal 1Unranked 8
YearRankTypeTitle / Venue / Authors
2025 C conf
A Specification-Driven Approach to Embedded FDIR Code Generation.
FMICS
Federico Bonafini, Roberto Cavada, Alessandro Cimatti, Guillermo Gomez, Stefano Tonetta
2025 — conf
Automated Parameterized Verification of a Railway Protection System with Dafny.
CAV (4)
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti
2025 — conf
Formal Analysis of a Railway Signaling Block Designed in AIDA.
RSSRail
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Matteo Tessi, Dylan Trenti
2024 C conf
A Switching Event-Triggered Model Predictive Control for HVAC Systems.
ICINCO (1)
Mojtaba Sharifzadeh, Hani Beirami, Federico Bonafini, Matteo Campidelli, Roberto Cavada, Alessandro Cimatti, Stefano Tonetta
2024 C conf
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report.
FMICS
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa
2024 — conf
Towards the Formal Analysis of Algorithmic Requirements.
ISoLA (3)
Lorenzo Cappelletti, Roberto Cavada, Alessandro Cimatti, Marco Keppel
2022 — conf
A Formal IDE for Railways: Research Challenges.
SEFM Workshops
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi
2022 — conf
COMPASTA: Extending TASTE with Formal Design and Verification Functionality.
IMBSA
Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta
2022 — conf
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems.
TACAS (1)
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni
2020 — conf
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.
ISoLA (3)
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi
2018 B conf
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks.
FMCAD
Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, Giuseppe Scaglione
2016 B conf
Model-Based Design of an Energy-System Embedded Controller Using Taste.
FM
Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna, Stefano Tonetta
2016 A conf
The xSAP Safety Analysis Platform.
TACAS
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
2015 J jnl
The xSAP Safety Analysis Platform.
CoRR
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
2014 A* conf
The nuXmv Symbolic Model Checker.
CAV
Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
2011 — conf
OthelloPlay: a plug-in based tool for requirement formalization and validation.
TOPI@ICSE
Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta
2009 A* conf
Supporting Requirements Validation: The EuRailCheck Tool.
ASE
Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta
2007 B conf
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.
FMCAD
Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar
2007 A* conf
RAT: A Tool for the Formal Analysis of Requirements.
CAV
Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev
2006 A* conf
Formal analysis of hardware requirements.
DAC
Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti
2003 A* conf
Formal Verification of Diagnosability via Symbolic Model Checking.
IJCAI
Alessandro Cimatti, Charles Pecheur, Roberto Cavada