Hardware runtime verification of embedded software in SoPC. - Dimitry Solet; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou; Sébastien Pillement (SIES, 2016)

HW-based Architecture for Runtime Verification of Embedded Software on SoPC systems. - Dimitry Solet; Jean-Luc Béchennec; Mikaël Briday (AHS, 2018)

Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. - Dimitry Solet; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou; Sébastien Pillement (EDCC, 2018)

A Study in Specification and Hardware Runtime Verification of Critical Embedded Software. - Dimitry Solet; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou; Sébastien Pillement (IEEE Trans. Dependable Secur. Comput., 2025)