Michele Castrovilli

According to our database, Michele Castrovilli authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Non-Functional Properties in HPC Systems: Design Exploration of Energy, Power, and Reliability.

Giovanni Agosta, Enrico Bini, Davide Baroffio, Carlo Brandolese, Michele Castrovilli, Daniele Cattaneo, Daniele Cesarini, William Fornaciari, Andrea Galimberti, Alberto Garfagnini, Arsenii Gavrikov, Francesco Iannone, Marco Lapegna, Tomas Antonio López, Gabriele Magnani, Gabriele Mencagli, Cecilia Metra, Martin Eugenio Omana, Filippo Palombi, Federico Reghenzani, Josie E. Rodriguez Condia, A. Serafini, Matteo Sonza Reorda, Davide Zoni, Giuseppe Zummo

Proceedings of the 28th Euromicro Conference on Digital System Design, 2025

2024

SlackCheck: A Linux Kernel Module to Verify Temporal Properties of a Task Schedule.

Michele Castrovilli, Enrico Bini

Proceedings of the 36th Euromicro Conference on Real-Time Systems, 2024