title = { Le domaine abstrait des poly\`edres revisit\'e~: repr\'esentation par contraintes et preuve formelle },
author = {Fouilh\'e, Alexis},
month = {oct},
year = {2015},
school = {Universit\'e Grenoble Alpes},
team = {PACSS},
}
Home > Verimag > Publications
bibtex
@phdthesis{'Fou5',
title = { Le domaine abstrait des poly\`edres revisit\'e~: repr\'esentation par contraintes et preuve formelle },
author = {Fouilh\'e, Alexis},
month = {oct},
year = {2015},
school = {Universit\'e Grenoble Alpes},
team = {PACSS},
}
title = { Le domaine abstrait des poly\`edres revisit\'e~: repr\'esentation par contraintes et preuve formelle },
author = {Fouilh\'e, Alexis},
month = {oct},
year = {2015},
school = {Universit\'e Grenoble Alpes},
team = {PACSS},
}
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
- 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
- Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit: Introduction to Distributed Self-Stabilizing Algorithms
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal torus exploration by oblivious robots
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Silence dans la forêt !
- Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: A silent self-stabilizing algorithm for the generalized minimal \emphk-dominating set problem
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
