Peripheral state persistence for transiently-powered systems. - Gautier Berthou 001; Tristan Delizy; Kevin Marquet; Tanguy Risset; Guillaume Salagnac (GIoTS, 2017)

Sytare: A Lightweight Kernel for NVRAM-Based Transiently-Powered Systems. - Gautier Berthou 001; Tristan Delizy; Kevin Marquet; Tanguy Risset; Guillaume Salagnac (IEEE Trans. Computers, 2019)

MPU-based incremental checkpointing for transiently-powered systems. - Gautier Berthou 001; Kevin Marquet; Tanguy Risset; Guillaume Salagnac (DSD, 2020)

Accurate Power Consumption Evaluation for Peripherals in Ultra Low-Power embedded systems. - Gautier Berthou 001; Kevin Marquet; Tanguy Risset; Guillaume Salagnac (GIoTS, 2020)

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

Operating system dedicated to NVRAM-based low power embedded systems. (Système d'exploitation dédié aux systèmes embarqués basse consommation équipés de NVRAM). - Gautier Berthou 001 (2021)