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, 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), 2024)