Dmitry Burlyaev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2014–2015
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | FMCAD | Formal Verification of Automatic Circuit Transformations for Fault-Tolerance. | Dmitry Burlyaev, Pascal Fradet |
| 2015 | FPGA | Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits. | Dmitry Burlyaev, Pascal Fradet, Alain Girault |
| 2014 | DATE | Verification-guided voter minimization in triple-modular redundant circuits. | Dmitry Burlyaev, Pascal Fradet, Alain Girault |