title = {{Automated Verification of Termination Certificates} },
author = {Ly, Kim Quyen},
month = {October},
year = {2014},
school = {{Universit\'e Grenoble-Alpes}},
team = {PACSS},
}
Home > Verimag > Publications
bibtex
@phdthesis{'Ly4',
title = {{Automated Verification of Termination Certificates} },
author = {Ly, Kim Quyen},
month = {October},
year = {2014},
school = {{Universit\'e Grenoble-Alpes}},
team = {PACSS},
}
title = {{Automated Verification of Termination Certificates} },
author = {Ly, Kim Quyen},
month = {October},
year = {2014},
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
New publications
- Recent Publications
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Silence dans la forêt !
- Stéphane Devismes, Colette Johnen: Soyez efficace, rembobinez
- Rémy Boutonnet, Nicolas Halbwachs: Disjunctive relational abstract interpretation for interprocedural program analysis
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
- 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
- Benjamin Farinier, Sebastien Bardin, Richard Bonichon, Marie-Laure Potet: Model Generation for Quantified Formulas: A Taint-Based Approach
