title = { Composition certifi\'e d'algorithmes autostabilisants silencieux },
author = {Altisen, Karine and Corbineau, Pierre},
month = {May 30 - June 2},
year = {2017},
booktitle = {Algotel'2017},
address = {Quiberon},
team = {SYNC, PACSS},
}
Home > Verimag > Publications
bibtex
@inproceedings{AC7,
title = { Composition certifi\'e d'algorithmes autostabilisants silencieux },
author = {Altisen, Karine and Corbineau, Pierre},
month = {May 30 - June 2},
year = {2017},
booktitle = {Algotel'2017},
address = {Quiberon},
team = {SYNC, PACSS},
}
title = { Composition certifi\'e d'algorithmes autostabilisants silencieux },
author = {Altisen, Karine and Corbineau, Pierre},
month = {May 30 - June 2},
year = {2017},
booktitle = {Algotel'2017},
address = {Quiberon},
team = {SYNC, PACSS},
}
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- 20 September 2019 at IMAG Auditorium (Grenoble) Oded Maler Memorial Day
- Conferences
- November 25-29 2019 Synchron 2019
- Seminars
- 19 September 2019 Martin Franzle: What’s to come is still unsure: automatically synthesizing and verifying controllers (...)
- 20 September 2019 -- Oded maler memorial day: Oded maler memorial day
- 26 September 2019 Pierre-jean Meyer: Reachability analysis and decompositions for abstraction-based control (...)
- 8 October 2019 Valentin Touzeau: Static analysis of least recently used caches: complexity, optimal analysis, and (...) (Phd)
Seminars
New publications
- Recent Publications
- Radu Iosif, Cristina Serban: An Entailment Checker for Separation Logic with Inductive Definitions
- Rany Kahil: Schedulable Mixed-critical Multi-core Systems Design
- Victor Magron, Alexandre Rocca, Thao Dang: Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
- Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle: A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
- Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu: The Verified Polyhedron Library: an overview
