Pascal Fradet

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits

Dmitry Burlyaev and others (2015) · ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA)

Formal verification of automatic circuit transformations for fault-tolerance

Dmitry Burlyaev and others (2015) · IEEE

Time-redundancy transformations for adaptive fault-tolerant circuits

Dmitry Burlyaev and others (2015) · IEEE

Verification-guided voter minimization in triple-modular redundant circuits

Dmitry Burlyaev and others (2014) · IEEE Conference Publications

Static detection of pointer errors: an axiomatisation and a checking algorithm

Pascal Fradet and others (1996) · European Symposium on Programming · Springer