VLDB 2026 Research / reviewers in the wild / expert
Federico Bonafini
dblp:220/1170
· DBLP profile ↗
3ranked-venue papers
1as first author
3since 2021 · last 2025
0000-0003-2328-3309ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | A Specification-Driven Approach to Embedded FDIR Code Generation
Federico Bonafini, Roberto Cavada, Alessandro Cimatti, Guillermo Gomez, Stefano Tonetta |
FMICS | 1 |
| 2024 | 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 |
FMICS | 5 |
| 2024 | A Switching Event-Triggered Model Predictive Control for HVAC Systems
Mojtaba Sharifzadeh, Hani Beirami, Federico Bonafini, Matteo Campidelli, Roberto Cavada, Alessandro Cimatti, Stefano Tonetta |
ICINCO (1) | 3 |