Monniaux, David, 1976-....
Monniaux, David
David Monniaux
VIAF ID: 199874833 (Personal)
Permalink: http://viaf.org/viaf/199874833
Preferred Forms
- 100 0 _ ‡a David Monniaux
- 200 _ | ‡a Monniaux ‡b David
-
- 100 1 _ ‡a Monniaux, David
-
-
- 100 1 _ ‡a Monniaux, David ‡d 1976-
- 100 1 _ ‡a Monniaux, David, ‡d 1976-....
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Analyse statique par interprétation abstraite et procédures de décision. | |
Analyse statique pour le réglage de la précision numérique. | |
Analysis of probabilistic programs by abstract interpretation. | |
Certified Tools for Schedulability Analyses. | |
Compilation et optimisations pour l'arithmétique à virgule flottante en précision variable : du langage et des bibliothèques à la génération de code | |
Compilation optimisante et formellement prouvée pour un processeur VLIW | |
The Data-abstraction Framework : abstracting unbounded data-structures in Horn clauses, the case of arrays | |
Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau | |
Fast and efficient bit-level precision tuning | |
Formalisations en Coq pour la décision de problèmes en géométrie algébrique réelle | |
Garantir l'isolation microarchitecturale des processeurs | |
Harnessing forest automata for verification of heap manipulating programs. | |
La Méthode Data-abstraction : une technique d’abstraction de structures de données non-bornées dans des clauses de Horn, le cas des tableaux. | |
New algorithmics for polyhedral calculus via parametric linear programming. | |
Optimized and formally-verified compilation for a VLIW processor. | |
Outils certifiés pour les analyses d'ordonnançabilité | |
Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur. | |
Raisonnement abductif modulo des théories et application à la vérification de programmes | |
Recherche d'invariants inductifs par satisfiabilité modulo théorie et optimisation convexe. | |
Revisiting the abstract domain of polyhedra : constraints-only representation and formal proof. | |
Sécurité des primitives symétriques et de leurs implémentations | |
Specification and compilation of embedded neural networks. | |
Spécification et compilation de réseaux de neurones embarqués | |
Static analysis of least recently used caches : complexity, optimal analysis, and applications to worst-case execution time and security. | |
Taking architecture and compiler into account in formal proofs of numerical programs | |
Towards an Efficient Parallel Parametric Linear Programming Solver. | |
Vérification de programmes avec structures de données complexes | |
Verification, model checking, and abstract interpretation, [2017]: | |
Vérification par interprétation abstraite en mémoire faiblement cohérente | |
Vers un solveur de programmation linéaire paramétrique parallèle efficace | |
Vie est mal configurée |