| |
| 2008 | ||
|---|---|---|
| 3 | EE | George Bosilca, Remi Delmas, Jack Dongarra, Julien Langou: Algorithmic Based Fault Tolerance Applied to High Performance Computing CoRR abs/0806.3121: (2008) |
| 2006 | ||
| 2 | EE | Yamine Aït Ameur, Remi Delmas, Virginie Wiels: Un cadre formel pour la spécification multivue de systèmes avioniques. Technique et Science Informatiques 25(1): 43-72 (2006) |
| 2004 | ||
| 1 | EE | Yamine Aït Ameur, Remi Delmas, Virginie Wiels: A framework for heterogeneous formal modeling and compositional verification of avionics systems. MEMOCODE 2004: 223-232 |
| 1 | Yamine Aït Ameur | [1] [2] |
| 2 | George Bosilca | [3] |
| 3 | Jack Dongarra | [3] |
| 4 | Julien Langou | [3] |
| 5 | Virginie Wiels | [1] [2] |