pith. sign in

David Monniaux (VERIMAG - Imag)

Identifiers

  • name variant David Monniaux (VERIMAG - Imag) 0.60 · backfill

Papers (23)

  1. Parallel parametric linear programming solving, and application to polyhedral computations cs.DC · 2019 · author #2
  2. Fast and exact analysis for LRU caches cs.PL · 2018 · author #3
  3. On the decidability of the existence of polyhedral invariants in transition systems cs.PL · 2017 · author #1
  4. Combining Forward and Backward Abstract Interpretation of Horn Clauses cs.PL · 2017 · author #2
  5. Model Checking of Cache for WCET Analysis Refinement cs.PL · 2017 · author #3
  6. An encoding of array verification problems into array-free Horn clauses cs.PL · 2015 · author #1
  7. A simple abstraction of arrays and maps by program translation cs.PL · 2015 · author #1
  8. How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics cs.PL · 2014 · author #3
  9. Implementing hash-consed structures in Coq cs.PL · 2013 · author #3
  10. Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra cs.PL · 2013 · author #2
  11. PAGAI: a path sensitive static analyzer cs.PL · 2012 · author #2
  12. Succinct Representations for Abstract Interpretation cs.PL · 2012 · author #2
  13. Stratified Static Analysis Based on Variable Dependencies cs.PL · 2011 · author #1
  14. Modular Abstractions of Reactive Nodes using Disjunctive Invariants cs.PL · 2011 · author #1
  15. Using Bounded Model Checking to Focus Fixpoint Iterations cs.PL · 2011 · author #1
  16. On the Generation of Positivstellensatz Witnesses in Degenerate Cases math.LO · 2011 · author #1
  17. Improving Strategies via SMT Solving cs.PL · 2011 · author #2
  18. Automatic modular abstractions for template numerical constraints cs.PL · 2009 · author #1
  19. On using floating-point computations to help an exact linear arithmetic decision procedure cs.LO · 2009 · author #1
  20. A minimalistic look at widening operators cs.LO · 2009 · author #1
  21. Fatal Degeneracy in the Semidefinite Programming Approach to the Decision of Polynomial Inequalities math.NA · 2009 · author #1
  22. Automatic Modular Abstractions for Linear Constraints cs.PL · 2008 · author #1
  23. A Quantifier Elimination Algorithm for Linear Real Arithmetic cs.LO · 2008 · author #1

Mentions

  • 1509.09092 #1 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 1506.04161 #1 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 0904.3525 #1 · arxiv_oai · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 0901.4907 #1 · arxiv_oai · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 1405.7962 #3 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 1304.6038 #3 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 1304.0864 #2 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 1207.3937 #2 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 1206.4234 #2 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 1109.2405 #1 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 1109.1905 #1 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 1106.2637 #1 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 1105.4421 #1 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 1101.2812 #2 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 0909.4013 #1 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 0904.3525 #1 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 0902.3722 #1 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 0901.4907 #1 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 0811.0166 #1 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)
  • 0803.1575 #1 · backfill · confidence 0.70 David Monniaux (VERIMAG - Imag)

Frequent Coauthors