Author: "Roberto Cavada" / Publication Year Range: Last 3 years - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Roberto Cavada"' showing total 6 results

Start Over Author "Roberto Cavada" Publication Year Range Last 3 years

6 results on '"Roberto Cavada"'

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

Author: Mojtaba Sharifzadeh, Hani Beirami, Federico Bonafini, Matteo Campidelli, Roberto Cavada, Alessandro Cimatti, and Stefano Tonetta
Published: 2024
Full Text: View/download PDF

2. Towards the Formal Analysis of Algorithmic Requirements.

Author: Lorenzo Cappelletti, Roberto Cavada, Alessandro Cimatti, and Marco Keppel
Published: 2024
Full Text: View/download PDF

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

Author: Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, and Andrea Zasa
Published: 2024
Full Text: View/download PDF

4. A Formal IDE for Railways: Research Challenges.

Author: Roberto Cavada, Alessandro Cimatti, Alberto Griggio, and Angelo Susi
Published: 2022
Full Text: View/download PDF

5. COMPASTA: Extending TASTE with Formal Design and Verification Functionality.

Author: Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, and Stefano Tonetta
Published: 2022
Full Text: View/download PDF

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

Author: Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, and Marco Zamboni
Published: 2022
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results