David Monniaux

Identifiers

• name variant David Monniaux 0.60 · backfill

Papers (6)

1. Formula Slicing: Inductive Invariants from Preconditions cs.LO · 2016 · author #2
2. A Survey of Satisfiability Modulo Theory cs.LO · 2016 · author #1
3. Program Analysis with Local Policy Iteration cs.LO · 2015 · author #2
4. Speeding Up Logico-Numerical Strategy Iteration (extended version) cs.LO · 2014 · author #1
5. Implementing and reasoning about hash-consed data structures in Coq cs.LO · 2013 · author #3
6. Automatic Modular Abstractions for Template Numerical Constraints cs.LO · 2010 · author #1

Mentions

• 1509.03424 #2 · backfill · confidence 0.70 David Monniaux
• 1403.2319 #1 · backfill · confidence 0.70 David Monniaux
• 1311.2959 #3 · backfill · confidence 0.70 David Monniaux
• 1005.4844 #1 · backfill · confidence 0.70 David Monniaux

Frequent Coauthors

• Egor George Karpenkov 1 shared papers
• George Karpenkov 1 shared papers
• Jacques-Henri Jourdan (Gallium) 1 shared papers
• Peter Schrammel 1 shared papers
• Philipp Wendler 1 shared papers
• Thomas Braibant (Gallium) 1 shared papers