dblp.uni-trier.dewww.uni-trier.de

David Cachera Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
17EEFrédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie: Certified Static Analysis by Abstract Interpretation. FOSAD 2009: 223-257
2008
16EEDavid Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin: Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. AMAST 2008: 122-138
2006
15EEPascal 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
14EEKatell Morin-Allory, David Cachera: Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral Logic. CHARME 2005: 376-379
13EEDavid Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider: Certified Memory Usage Analysis. FM 2005: 91-106
12EEDavid Cachera, Katell Morin-Allory: Verification of safety properties for parameterized regular systems. ACM Trans. Embedded Comput. Syst. 4(2): 228-266 (2005)
11EEDavid 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
10EEDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a Data Flow Analyser in Constructive Logic. ESOP 2004: 385-400
2003
9EEDavid Cachera, Katell Morin-Allory: Verification of Control Properties in the Polyhedral Model. MEMOCODE 2003: 265-
8EEDavid Cachera, David Pichardie: Embedding of Systems of Affine Recurrence Equations in Coq. TPHOLs 2003: 155-170
2002
7EEDavid Cachera, Tanguy Risset: Advances in Bit Width Selection Methodology. ASAP 2002: 381-390
2001
6 David Cachera, Patrice Quinton, Sanjay V. Rajopadhye, Tanguy Risset: Proving Properties of Multidimensional Recurrences with Application to Regular Parallel Algorithms. IPDPS 2001: 148
1997
5EELuc Bougé, David Cachera: A logical framework to prove properties of Alpha programs. ASAP 1997: 187-198
4EELuc 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
3 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
2EEDavid Cachera, Gil Utard: Proving Data-Parallel Programs: a Unifying Approach. Parallel Processing Letters 6(4): 491-505 (1996)
1995
1EELuc Bougé, David Cachera: On the Completeness of a Proof System for a Simple Data-Parallel Programming Language. Euro-Par 1995: 143-154

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)