Remi Delmas

	2011
7		Pierre Bieber, Remi Delmas, Christel Seguin: DALculus - Theory and Tool for Development Assurance Level Allocation. SAFECOMP 2011: 43-56
	2010
6		Pierre Roux, Remi Delmas, Pierre-Loïc Garoche: SMT-AI: an Abstract Interpreter as Oracle for k-induction. Electr. Notes Theor. Comput. Sci. 267(2): 55-68 (2010)
	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

Coauthor Index

1	Yamine Aït Ameur	[1] [2] [3]
2	Pierre Bieber	[7]
3	George Bosilca	[4] [5]
4	Alexandre Cortier	[3]
5	Jack Dongarra (Jack J. Dongarra)	[4] [5]
6	Pierre-Loïc Garoche	[6]
7	Julien Langou	[4] [5]
8	Pierre Roux	[6]
9	Christel Seguin	[7]
10	Virginie Wiels	[1] [2] [3]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page