Dimitry Solet

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 3

Top Topics

Sequence Diagrams

Software Implementation

Top Venues

Publications

Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Sébastien Pillement
Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. EDCC (2018)
Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday
HW-based Architecture for Runtime Verification of Embedded Software on SoPC systems. AHS (2018)
Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Sébastien Pillement
Hardware runtime verification of embedded software in SoPC. SIES (2016)