Author of the publication

Algorithm-based fault tolerance applied to high performance computing.

, , , and . J. Parallel Distributed Comput., 69 (4): 410-416 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Algorithm-based fault tolerance applied to high performance computing., , , and . J. Parallel Distributed Comput., 69 (4): 410-416 (2009)Formal Methods for Exchange Policy Specification., and . CAiSE, volume 7908 of Lecture Notes in Computer Science, page 288-303. Springer, (2013)IDM : Vers une aide ? la conception., , , and . INFORSID, page 147-162. (2011)DALculus - Theory and Tool for Development Assurance Level Allocation., , and . SAFECOMP, volume 6894 of Lecture Notes in Computer Science, page 43-56. Springer, (2011)Critical Information Diffusion Systems., and . ADBIS (Short Papers and Workshops), volume 539 of Communications in Computer and Information Science, page 557-566. Springer, (2015)Un cadre formel pour la spécification multivue de systèmes avioniques., , and . Technique et Science Informatiques, 25 (1): 43-72 (2006)Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts., , , , , , , and . CoRR, (2021)Algorithmic Based Fault Tolerance Applied to High Performance Computing, , , and . CoRR, (2008)Automatic Generation of DO-178 Test Procedures., , , , and . NFM, volume 10811 of Lecture Notes in Computer Science, page 399-415. Springer, (2018)Urban air mobility: from complex tactical conflict resolution to network design and fairness insights., , , and . Optim. Methods Softw., 38 (6): 1311-1343 (November 2023)