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
- Conferences
- November 25-29 2019 Synchron 2019
Seminars
- Seminars
- 21 November 2019 Sophie Tourret: Stronger higher-order automation
- 25 November 2019 Moshe Vardi: Technology is driving the future, but who is steering?
New publications
- Recent Publications
- Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet: Improving WCET Evaluation using Linear Relation Analysis
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
- Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu: The Verified Polyhedron Library: an overview
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
- Rany Kahil: Schedulable Mixed-critical Multi-core Systems Design
- Ajoy Kumar Datta, Stéphane Devismes, Colette Johnen, Lawrence L. Larmore: Brief Announcement: Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree Construction
