OFLOPS-SUME and the Art of Switch Characterization. - Rémi Oudin; Gianni Antichi; Charalampos Rotsos; Andrew W. Moore 002; Steve Uhlig (IEEE J. Sel. Areas Commun., 2018)

Intermittent Computing with Peripherals, Formally Verified. - Gautier Berthou 001; Pierre-Évariste Dagand; Delphine Demange; Rémi Oudin; Tanguy Risset (LCTES, 2020)