| 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 |
