News
Seminars
- Seminars
- 27 October 2022 Hugo Gimbert: Les algorithmes de parcoursup
- 24 November 2022 Xavier Denis: Deductive verification of higher-order rust programs
New publications
- Some Recent Publications
- Abdelhakim Baouya, Otmane Ait Mohamed, Samir Ouchani, Djamal Bennouar: Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
- Cyril Six: Optimized and formally-verified compilation for a VLIW processor
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit: Self-stabilizing Systems in Spite of High Dynamics
- Florence Maraninchi: Let Us Not Put All Our Eggs in One Basket
