P. Cheynet

Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors

P. Cheynet, Basarab Nicolescu, Raoul Velazco et al. · IEEE Transactions on Nuclear Science · 2000 · 106 citations

Software Maintenance, Software Reliability Testing, Engineering +27

SEU induced errors observed in microprocessor systems

V. Asenek, Craig Underwood, Raoul Velazco et al. · IEEE Transactions on Nuclear Science · 1998 · 34 citations

Commercial Microprocessor Simulator, Engineering, Computer Architecture +21

THESIC: A testbed suitable for the qualification of integrated circuits devoted to operate in harsh environment

Raoul Velazco, P. Cheynet, A. Bofill et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 1998 · 33 citations

Artificial neural network robustness for on-board satellite image processing: results of upset simulations and ground tests

Raoul Velazco, P. Cheynet, J.D. Muller et al. · IEEE Transactions on Nuclear Science · 1997 · 19 citations

Convolutional Neural Network, Engineering, Machine Learning +20

Evidences of SEU tolerance for digital implementations of artificial neural networks: one year MPTB flight results

Raoul Velazco, P. Cheynet, Audrey Tissot et al. · 2003 · 15 citations

Artificial Intelligence, Engineering, Machine Learning +19