Eric Gascard

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

4 Katell Morin-Allory, Eric Gascard, Dominique Borrione: Synthesis of Property Monitors for Online Fault Detection. Journal of Circuits, Systems, and Computers 16(6): 943-960 (2007)

2003

3 Eric Gascard, Laurence Pierre: Formal Proof of Applications Distributed in Symmetric Interconnection Networks. Parallel Processing Letters 13(1): 3-18 (2003)

2002

2 Eric Gascard, Laurence Pierre: Mechanical Verification of Hypercube Algorithms. IPDPS 2002

2001

1 Eric Gascard, Laurence Pierre: Induction-Oriented Formal Verification in Symmetric Interconnection Networks. CHARME 2001: 418-432

	2007
4		Katell Morin-Allory, Eric Gascard, Dominique Borrione: Synthesis of Property Monitors for Online Fault Detection. Journal of Circuits, Systems, and Computers 16(6): 943-960 (2007)
	2003
3		Eric Gascard, Laurence Pierre: Formal Proof of Applications Distributed in Symmetric Interconnection Networks. Parallel Processing Letters 13(1): 3-18 (2003)
	2002
2		Eric Gascard, Laurence Pierre: Mechanical Verification of Hypercube Algorithms. IPDPS 2002
	2001
1		Eric Gascard, Laurence Pierre: Induction-Oriented Formal Verification in Symmetric Interconnection Networks. CHARME 2001: 418-432

Coauthor Index

1	Dominique Borrione	[4]
2	Katell Morin-Allory	[4]
3	Laurence Pierre (Laurence V. Pierre)	[1] [2] [3]