Matteo Campidelli

According to our database, Matteo Campidelli authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 21st International Conference on Informatics in Control, 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

Proceedings of the Formal Methods for Industrial Critical Systems, 2024