Dmitry Burlyaev

According to our database, Dmitry Burlyaev authored at least 7 papers between 2014 and 2018.

Collaborative distances:

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

2018

A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits.

Dmitry Burlyaev, Pascal Fradet, Alain Girault

Leibniz Trans. Embed. Syst., 2018

2015

Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques. (Conception, optimisation, et vérification formelle de techniques de tolérance aux fautes pour circuits).

Dmitry Burlyaev

PhD thesis, 2015

Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits.

Dmitry Burlyaev, Pascal Fradet, Alain Girault

Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2015

Formal Verification of Automatic Circuit Transformations for Fault-Tolerance.

Dmitry Burlyaev, Pascal Fradet

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Time-redundancy transformations for adaptive fault-tolerant circuits.

Dmitry Burlyaev, Pascal Fradet, Alain Girault

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

2014

System fault-tolerance analysis of COTS-based satellite on-board computers.

Dmitry Burlyaev, René van Leuken

Microelectron. J., 2014

Verification-guided voter minimization in triple-modular redundant circuits.

Dmitry Burlyaev, Pascal Fradet, Alain Girault

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014