Cavada, Roberto
Cavada, Roberto
FM
A Formal IDE for Railways: Research Challenges
2023-01-01 Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Susi, Angelo
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
2020-01-01 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks
2018-01-01 Cavada, Roberto; Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko; Cadavero, Giuseppe; Scaglione, Giuseppe
COMPASS Tool
2010-01-01 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer; Cavada, Roberto
COMPASTA = COMPASS + TASTE
2024-01-01 Bombardelli, Alberto; Bonizzi, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nicolodi, Edoardo; Tonetta, Stefano; Zampedri, Gianni
COMPASTA: Extending TASTE with Formal Design and Verification Functionality
2022-01-01 Bombardelli, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nazaria, Massimo; Nicolodi, Edoardo; Tonetta, Stefano
COMPASTA: Integrating COMPASS Functionality into TASTE
2023-01-01 Bombardelli, Alberto; Bonizzi, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nazaria, Massimo; Nicolodi, Edoardo; Tonetta, Stefano; Zampedri, Gianni
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers
2007-01-01 Cavada, Roberto; Cimatti, Alessandro; Anders, Franzen; Kalyanasundaram, Krishnamani; Roveri, Marco; R. K., Shyamasundar
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C)
2021-01-01 Bartali, Ruben; Christodoulaki, Rosie; Drosou, Vassiliki; Baker Derek, Keith; Svaizer, Piergiorgio; Alarcón-Padilla, Diego-César; Osório, Tiago; Kramer, Wolfgang; Bolognese, Michele; Pratticò, Luca; Viesi, Diego; Roca Sobrino, Lidia; Guillen Burrieza, Elena; Fluch, Juergen; Bayer, Özgür; Pınarlı, Deniz; Erdoğan, Selin; Brunner, Christoph; Cavada, Roberto; Bonizzi, Alberto; Cimatti, Alessandro; Zanetti, Alberto; Crema, Luigi
Formal analysis of hardware requirements
2006-01-01 I., Pill; S., Semprini; Cavada, Roberto; Roveri, Marco; R., Bloem; Cimatti, Alessandro
Formal Verification and Validation of AADL Model
2010-01-01 Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Xavier, Olive
Formal Verification of Diagnosability via Symbolic Model Checking
2003-01-01 Cimatti, Alessandro; Charles, Pecheur; Cavada, Roberto
Formal Verification of Diagnosability via Symbolic Model Checking
2003-01-01 Cimatti, Alessandro; C., Pecheur; Cavada, Roberto
Model-Based Design of an Energy-System Embedded Controller Using Taste
2016-01-01 Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
2022-01-01 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco
NuGAT
2009-01-01 Roveri, Marco; Cimatti, Alessandro; Schuppan, Viktor; Tchaltsev, Andrei; Cavada, Roberto
NuSMV
2002-01-01 Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala
OthelloPlay: a plug-in based tool for requirement formalization and validation
2011-01-01 Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
RAT
2005-01-01 Roveri, Marco; Cimatti, Alessandro; Tchaltsev, Andrei; Cavada, Roberto; Simone, Semprini; Roderick, Bloem; Ingo, Pill
Rat: A tool for the formal analysis of requirements
2007-01-01 Roderick, Bloem; Cavada, Roberto; Ingo, Pill; Roveri, Marco; Tchaltsev, Andrei
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Formal IDE for Railways: Research Challenges | 1-gen-2023 | Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Susi, Angelo | |
| A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System | 1-gen-2020 | Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo | |
| Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks | 1-gen-2018 | Cavada, Roberto; Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko; Cadavero, Giuseppe; Scaglione, Giuseppe | |
| COMPASS Tool | 1-gen-2010 | Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer; Cavada, Roberto | |
| COMPASTA = COMPASS + TASTE | 1-gen-2024 | Bombardelli, Alberto; Bonizzi, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nicolodi, Edoardo; Tonetta, Stefano; Zampedri, Gianni | |
| COMPASTA: Extending TASTE with Formal Design and Verification Functionality | 1-gen-2022 | Bombardelli, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nazaria, Massimo; Nicolodi, Edoardo; Tonetta, Stefano | |
| COMPASTA: Integrating COMPASS Functionality into TASTE | 1-gen-2023 | Bombardelli, Alberto; Bonizzi, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nazaria, Massimo; Nicolodi, Edoardo; Tonetta, Stefano; Zampedri, Gianni | |
| Computing Predicate Abstractions by Integrating BDDs and SMT Solvers | 1-gen-2007 | Cavada, Roberto; Cimatti, Alessandro; Anders, Franzen; Kalyanasundaram, Krishnamani; Roveri, Marco; R. K., Shyamasundar | |
| Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) | 1-gen-2021 | Bartali, Ruben; Christodoulaki, Rosie; Drosou, Vassiliki; Baker Derek, Keith; Svaizer, Piergiorgio; Alarcón-Padilla, Diego-César; Osório, Tiago; Kramer, Wolfgang; Bolognese, Michele; Pratticò, Luca; Viesi, Diego; Roca Sobrino, Lidia; Guillen Burrieza, Elena; Fluch, Juergen; Bayer, Özgür; Pınarlı, Deniz; Erdoğan, Selin; Brunner, Christoph; Cavada, Roberto; Bonizzi, Alberto; Cimatti, Alessandro; Zanetti, Alberto; Crema, Luigi | |
| Formal analysis of hardware requirements | 1-gen-2006 | I., Pill; S., Semprini; Cavada, Roberto; Roveri, Marco; R., Bloem; Cimatti, Alessandro | |
| Formal Verification and Validation of AADL Model | 1-gen-2010 | Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Xavier, Olive | |
| Formal Verification of Diagnosability via Symbolic Model Checking | 1-gen-2003 | Cimatti, Alessandro; Charles, Pecheur; Cavada, Roberto | |
| Formal Verification of Diagnosability via Symbolic Model Checking | 1-gen-2003 | Cimatti, Alessandro; C., Pecheur; Cavada, Roberto | |
| Model-Based Design of an Energy-System Embedded Controller Using Taste | 1-gen-2016 | Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano | |
| NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems | 1-gen-2022 | Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco | |
| NuGAT | 1-gen-2009 | Roveri, Marco; Cimatti, Alessandro; Schuppan, Viktor; Tchaltsev, Andrei; Cavada, Roberto | |
| NuSMV | 1-gen-2002 | Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala | |
| OthelloPlay: a plug-in based tool for requirement formalization and validation | 1-gen-2011 | Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano | |
| RAT | 1-gen-2005 | Roveri, Marco; Cimatti, Alessandro; Tchaltsev, Andrei; Cavada, Roberto; Simone, Semprini; Roderick, Bloem; Ingo, Pill | |
| Rat: A tool for the formal analysis of requirements | 1-gen-2007 | Roderick, Bloem; Cavada, Roberto; Ingo, Pill; Roveri, Marco; Tchaltsev, Andrei |