Dimitry Solet

According to our database, Dimitry Solet authored at least 4 papers between 2016 and 2025.

Collaborative distances:

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

2025

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

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

Proceedings of the 14th European Dependable Computing Conference, 2018

HW-based Architecture for Runtime Verification of Embedded Software on SoPC systems.

Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday

Proceedings of the 2018 NASA/ESA Conference on Adaptive Hardware and Systems, 2018

2016

Hardware runtime verification of embedded software in SoPC.

Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Sébastien Pillement

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016