Prix du meilleur article pour "The Tree Width of Separation Logic with Recursive Definitions" par Radu Iosif, Adam Rogalewicz, and Jirí Simácek, à CADE 2013 [1].
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Conferences
- November 25-29 2019 Synchron 2019
Seminars
New publications
- Recent Publications
- Rany Kahil: Schedulable Mixed-critical Multi-core Systems Design
- Stéphane Devismes, Colette Johnen: Self-Stabilizing Distributed Cooperative Reset
- Mohammad Al Khatib, Antoine Girard, Thao Dang: Timing Contracts for Multi-Core Embedded Control Systems
- Camille Coti, David Monniaux, Hang Yu: Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations
- Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao: Integrating Formal Schedulability Analysis into a Verified OS Kernel
- Benjamin Farinier, Sebastien Bardin, Richard Bonichon, Marie-Laure Potet: Model Generation for Quantified Formulas: A Taint-Based Approach
