Skip to Main content Skip to Navigation


hal-02303635v1  Journal articles
Dmitry BurlyaevPascal FradetAlain Girault. A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits
Leibniz Transactions on Embedded Systems, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 2018
hal-01253111v1  Conference papers
Dmitry BurlyaevPascal FradetAlain Girault. Time-redundancy transformations for adaptive fault-tolerant circuits
2015 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Jun 2015, Montreal, Canada. ⟨10.1109/AHS.2015.7231164⟩
hal-01095747v1  Conference papers
Dmitry BurlyaevPascal FradetAlain Girault. Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits
23rd ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, FPGA'15, Feb 2015, Monterey, United States. ⟨10.1145/2684746.2689058⟩
...
hal-01417164v1  Reports
Dmitry BurlyaevPascal FradetAlain Girault. A static analysis for the minimization of voters in fault-tolerant circuits
[Research Report] RR-9004, Inria - Research Centre Grenoble – Rhône-Alpes. 2016, pp.1-27
hal-02065630v1  Journal articles
Dmitry BurlyaevPascal FradetAlain Girault. A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits
Leibniz Transactions on Embedded Systems, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 2018, 5 (1), pp.1-26. ⟨10.4230/LITES-v005-i001-a004⟩
hal-01253127v1  Conference papers
Dmitry BurlyaevPascal Fradet. Formal Verification of Automatic Circuit Transformations for Fault-Tolerance
Formal Methods in Computer-Aided Design (FMCAD 2015), Sep 2015, Austin, Texas, United States
hal-00911768v1  Conference papers
Dmitry BurlyaevPascal FradetAlain Girault. Verification-guided Voter Minimization in Triple-Modular Redundant Circuits
Design, Automation and Test in Europe Conference, DATE'14, Mar 2014, Dresden, Germany