Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
David Monniaux
David Monniaux
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Analyse de programmes probabilistes par interprétation abstraite
Directed Thesis:
Analyse statique de caches LRU : complexité, analyse optimale, et applications au calcul de pire temps d'exécution et à la sécurité
Nouvelle algorithmique pour le calcul polyédral via programmation linéaire paramétrique
Finding inductive invariants using satisfiability modulo theories and convex optimization
Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle
Static analysis of program by Abstract Interpretation and Decision Procedures