title = {V\'erification et synth\`ese quantitative },
author = {von Essen, Christian},
year = {2014},
school = {Universit\'e de Grenoble, France},
team = {DCS, RSD},
}
Home > Verimag > Publications
bibtex
@phdthesis{von4,
title = {V\'erification et synth\`ese quantitative },
author = {von Essen, Christian},
year = {2014},
school = {Universit\'e de Grenoble, France},
team = {DCS, RSD},
}
title = {V\'erification et synth\`ese quantitative },
author = {von Essen, Christian},
year = {2014},
school = {Universit\'e de Grenoble, France},
team = {DCS, RSD},
}
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
- Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz: A Review of Intrusion Detection Systems for Industrial Control Systems
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Silence dans la forêt !
- 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
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
- Stéphane Devismes, Colette Johnen: Soyez efficace, rembobinez
- Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche: Compositional strategy synthesis for stochastic games with multiple objectives
Jobs and internships
- Jobs and internships
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Decision Procedure for Equivalence Relations
- Exploration of timing anomaly impact on processor execution for critical real-time systems
- Models of Distributed Algorithms
- PHD proposal: Data Mining Dynamic Behaviors using Signal Temporal Logic
- Self-Stabilization in TVG
