 | 2009 |
|---|
| 5 |       | George Bosilca,
Remi Delmas,
Jack Dongarra,
Julien Langou:
Algorithm-based fault tolerance applied to high performance computing.
J. Parallel Distrib. Comput. 69(4): 410-416 (2009) |
| 2008 |
|---|
| 4 | | George Bosilca,
Remi Delmas,
Jack Dongarra,
Julien Langou:
Algorithmic Based Fault Tolerance Applied to High Performance Computing
CoRR abs/0806.3121: (2008) |
| 2006 |
|---|
| 3 | | Yamine Aït Ameur,
Remi Delmas,
Alexandre Cortier,
Virginie Wiels:
Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language.
ISoLA 2006: 36-44 |
| 2 | | 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 | | Yamine Aït Ameur,
Remi Delmas,
Virginie Wiels:
A framework for heterogeneous formal modeling and compositional verification of avionics systems.
MEMOCODE 2004: 223-232 |
