Federico Bonafini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2019–2025
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMICS | A Specification-Driven Approach to Embedded FDIR Code Generation. | Federico Bonafini, Roberto Cavada, Alessandro Cimatti, Guillermo Gomez, Stefano Tonetta |
| 2024 | FMICS | Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report. | Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa |
| 2024 | ICINCO | A Switching Event-Triggered Model Predictive Control for HVAC Systems. | Mojtaba Sharifzadeh, Hani Beirami, Federico Bonafini, Matteo Campidelli, Roberto Cavada, Alessandro Cimatti, Stefano Tonetta |
| 2019 | WFCS | Exploiting localization systems for LoRaWAN transmission scheduling in industrial applications. | Federico Bonafini, Alessandro Depari, Paolo Ferrari, Alessandra Flammini, Marco Pasetti, Stefano Rinaldi, Emiliano Sisinni, Mikael Gidlund |