| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 23 |       | David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner: Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases. SAS 2012: 58-74 |
| 19 | | David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin: Long-run cost analysis by approximation of linear operators over dioids. Mathematical Structures in Computer Science 20(4): 589-624 (2010) |
| 18 | | Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie: Certified Static Analysis by Abstract Interpretation. FOSAD 2009: 223-257 |
| 16 | | David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin: Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. AMAST 2008: 122-138 |
| 15 | | 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) |
| 13 | | David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider: Certified Memory Usage Analysis. FM 2005: 91-106 |
| 11 | | 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) |
| 10 | | David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a Data Flow Analyser in Constructive Logic. ESOP 2004: 385-400 |
Selection of 8 from 23 records - David Cachera has 16 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page