Dmitry Burlyaev

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 4

Top Topics

Highly Redundant

Top Venues

Microelectron. J.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Dmitry Burlyaev, Pascal Fradet, Alain Girault
A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits. Leibniz Trans. Embed. Syst. 5 (1) (2018)
Dmitry Burlyaev, Pascal Fradet, Alain Girault
Time-redundancy transformations for adaptive fault-tolerant circuits. AHS (2015)
Dmitry Burlyaev, Pascal Fradet, Alain Girault
Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits. FPGA (2015)
Dmitry Burlyaev, Pascal Fradet
Formal Verification of Automatic Circuit Transformations for Fault-Tolerance. FMCAD (2015)
Dmitry Burlyaev, Pascal Fradet, Alain Girault
Verification-guided voter minimization in triple-modular redundant circuits. DATE (2014)
Dmitry Burlyaev, René van Leuken
System fault-tolerance analysis of COTS-based satellite on-board computers. Microelectron. J. 45 (10) (2014)