BAROFFIO, DAVIDE
BAROFFIO, DAVIDE
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Advanced Software Techniques for Resilience Against Error Upsets in Space
2025-01-01 Reghenzani, F.; Baroffio, D.; Lopez, T. A.; Corigliano, E.; Fornaciari, W.; Gajani, G. S.; Maffezzoni, P.; Catanese, A.; Balossino, A.; Giuliani, M.
Compiler-Injected SIHFT for Embedded Operating Systems
2023-01-01 Baroffio, Davide; Reghenzani, Federico
Enhanced Compiler Technology for Software-based Hardware Fault Detection
2024-01-01 Baroffio, Davide; Reghenzani, Federico; Fornaciari, William
Evaluating Compiler-Based Reliability with Radiation Fault Injection
2025-01-01 Baroffio, Davide; Lopez, Tomas Antonio; Reghenzani, Federico; Fornaciari, William
Hardening On-Board Software: a Low-Overhead Compiler-based Approach
2025-01-01 Corigliano, Emilio; Baroffio, Davide; Lopez, Tomas; Reghenzani, Federico
Laser and Radiation Testing of Compiler-based Protection for Multi-Bit Upsets
2025-01-01 Baroffio, Davide; Lopez, Tomas Antonio; Reghenzani, Federico; Fornaciari, William
Laser Fault Injection Methodology for Software Reliability Testing
2025-01-01 Reghenzani, Federico; Baroffio, Davide; Lopez, TOMAS ANTONIO; Fornaciari, William; Borel, Thomas; Krimmel, Florian
Modern LLVM-based Compiler Autotuning for WCET Optimization
2025-01-01 Magnani, Gabriele; Baroffio, Davide; Reghenzani, Federico; Agosta, Giovanni; Fornaciari, William
Non-Functional Properties in HPC Systems: Design Exploration of Energy, Power, and Reliability
2025-01-01 Agosta, G.; Bini, E.; Baroffio, D.; Brandolese, C.; Castrovilli, M.; Cattaneo‡, D.; Cesarini, D.; Fornaciari, W.; Galimberti, A.; Garfagnini, A.; Gavrikov, Arsenii; Iannone, F.; Lapegna, M.; Lopez, T. A.; Magnani, G.; Mencagli, G.; Metra, C.; Omana, M. E.; Palombi, F.; Reghenzani, F.; Rodriguez Condia, Josie E.; Serafini, A.; Sonza Reorda, M.; Zoni, D; Zummo, G.
Protecting Safety-Critical Systems: a Software Approach
2024-01-01 Baroffio, D.; Lopez, T. A.; Reghenzani, F.; Fornaciari, W.
Quantifying Compiler-induced Reliability Loss in Software-Implemented Hardware Fault Tolerance
2026-01-01 Baroffio, Davide; Geier, Johannes; Reghenzani, Federico; Schlichtmann, Ulf; Fornaciari, William
RISC-V-Based Platforms for HPC: Analyzing Non-functional Properties for Future HPC and Big-Data Clusters
2023-01-01 Fornaciari, William; Reghenzani, Federico; Terraneo, Federico; Baroffio, Davide; Metra, Cecilia; Omana, Martin; Condia, Josie E. Rodriguez; Reorda, Matteo Sonza; Birke, Robert; Colonnelli, Iacopo; Mittone, Gianluca; Aldinucci, Marco; Mencagli, Gabriele; Iannone, Francesco; Palombi, Filippo; Zummo, Giuseppe; Cesarini, Daniele; Tesser, Federico
Software Techniques for Soft Error Resilience: the ASTRAEUS project
2025-01-01 Reghenzani, Federico; Baroffio, Davide; Corigliano, Emilio; Fornaciari, William; Gajani, Giancarlo S.; Maffezzoni, Paolo; Catanese, Antonino; Balossino, Alessandro; Giuliani, Marco