| 2008 |
|---|
| 15 | EE | David Cachera,
Thomas P. Jensen,
Arnaud Jobin,
Pascal Sotin:
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids.
AMAST 2008: 122-138 |
| 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 |
