Navigation
Actualités
- Conférences
- November 25-29 2019 Synchron 2019
Séminaires
- Séminaires
- 21 novembre 2019 Sophie Tourret: Stronger higher-order automation
- 25 novembre 2019 Moshe Vardi: Technology is driving the future, but who is steering?
Nouvelles publications
- Publications
Récentes
- Victor Magron, Alexandre Rocca, Thao Dang: Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
- Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: A silent self-stabilizing algorithm for the generalized minimal \emphk-dominating set problem
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Brief Announcement: Infinite Grid Exploration by Disoriented Robots
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- Radu Iosif, Cristina Serban: An Entailment Checker for Separation Logic with Inductive Definitions
- Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao: Integrating Formal Schedulability Analysis into a Verified OS Kernel
