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

David Cachera (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie: Certified Static Analysis by Abstract Interpretation. FOSAD 2009: 223-257
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin: Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. AMAST 2008: 122-138
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal 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)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider: Certified Memory Usage Analysis. FM 2005: 91-106
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a data flow analyser in constructive logic. Theor. Comput. Sci. 342(1): 56-78 (2005)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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 TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page