David Cachera

2006
14	EE	Pascal Sotin, David Cachera, Thomas P. Jensen: Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card. Electr. Notes Theor. Comput. Sci. 164(3): 153-167 (2006)
2005
13	EE	Katell Morin-Allory, David Cachera: Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral Logic. CHARME 2005: 376-379
12	EE	David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider: Certified Memory Usage Analysis. FM 2005: 91-106
11	EE	David Cachera, Katell Morin-Allory: Verification of safety properties for parameterized regular systems. ACM Trans. Embedded Comput. Syst. 4(2): 228-266 (2005)
10	EE	David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a data flow analyser in constructive logic. Theor. Comput. Sci. 342(1): 56-78 (2005)
2004
9	EE	David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a Data Flow Analyser in Constructive Logic. ESOP 2004: 385-400
2003
8	EE	David Cachera, Katell Morin-Allory: Verification of Control Properties in the Polyhedral Model. MEMOCODE 2003: 265-
7	EE	David Cachera, David Pichardie: Embedding of Systems of Affine Recurrence Equations in Coq. TPHOLs 2003: 155-170
2002
6	EE	David Cachera, Tanguy Risset: Advances in Bit Width Selection Methodology. ASAP 2002: 381-390
2001
5		David Cachera, Patrice Quinton, Sanjay V. Rajopadhye, Tanguy Risset: Proving Properties of Multidimensional Recurrences with Application to Regular Parallel Algorithms. IPDPS 2001: 148
1997
4	EE	Luc Bougé, David Cachera: A logical framework to prove properties of Alpha programs. ASAP 1997: 187-198
3	EE	Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot: Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language. Theor. Comput. Sci. 189(1-2): 71-107 (1997)
1996
2		Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot: Formal Validation of Data Parallel Programs: Introducting the Assertional Approach. The Data Parallel Programming Model 1996: 252-281
1995
1		Luc Bougé, David Cachera: On the Completeness of a Proof System for a Simple Data-Parallel Programming Language. Euro-Par 1995: 143-154

Coauthor Index

1	Luc Bougé	[1] [2] [3] [4]
2	Yann Le Guyadec	[2] [3]
3	Thomas P. Jensen	[9] [10] [12] [14]
4	Katell Morin-Allory	[8] [11] [13]
5	David Pichardie	[7] [9] [10] [12]
6	Patrice Quinton	[5]
7	Sanjay V. Rajopadhye	[5]
8	Tanguy Risset	[5] [6]
9	Vlad Rusu	[9] [10]
10	Gerardo Schneider	[12]
11	Pascal Sotin	[14]
12	Gil Utard	[2] [3]
13	Bernard Virot	[2] [3]

Colors in the list of coauthors