Browsing
New publications
- Some Recent Publications
(Preuves Formelles)
- David Monniaux, Sylvain Boulmé: The Trusted Computing Base of the CompCert Verified Compiler
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Self-stabilizing Synchronous Unison in Directed Networks
- Paolo Torrini, Sylvain Boulmé: A CompCert Backend with Symbolic Encryption
- Cyril Six, Léo Gourdin, Sylvain Boulmé, David Monniaux, Justus Fasse, Nicolas Nardino: Formally Verified Superblock Scheduling
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Complexité certifiée d'algorithmes autostabilisants en rondes
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Certification of an exact worst-case self-stabilization time
- Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard: Formally Verifying Optimizations with Block Simulations
- Léo Gourdin: Lazy Code Transformations in a Formally Verified Compiler
