Roberto Cavada

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Federico Bonafini

> Home > Persons > Roberto Cavada

Publications

2025
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BonafiniCCGT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BonafiniCCGT25
Federico Bonafini, Roberto Cavada, Alessandro Cimatti, Guillermo Gomez, Stefano Tonetta:
A Specification-Driven Approach to Embedded FDIR Code Generation. FMICS 2025: 261-279
2024
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/CavadaCGTBCZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/CavadaCGTBCZ24
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: 170-181
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icinco/SharifzadehBBCC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icinco/SharifzadehBBCC24
Mojtaba Sharifzadeh, Hani Beirami, Federico Bonafini, Matteo Campidelli, Roberto Cavada, Alessandro Cimatti, Stefano Tonetta:
A Switching Event-Triggered Model Predictive Control for HVAC Systems. ICINCO (1) 2024: 37-45

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.