title = {Une approche bas\'ee sur les mod\`eles pour le test de robustesse },
author = {Pachon, Cyril},
month = {10},
year = {2005},
school = {Universit\'e Joseph Fourier, Grenoble, France},
team = {DCS},
}
bibtex
@phdthesis{Pac05,
title = {Une approche bas\'ee sur les mod\`eles pour le test de robustesse },
author = {Pachon, Cyril},
month = {10},
year = {2005},
school = {Universit\'e Joseph Fourier, Grenoble, France},
team = {DCS},
}
title = {Une approche bas\'ee sur les mod\`eles pour le test de robustesse },
author = {Pachon, Cyril},
month = {10},
year = {2005},
school = {Universit\'e Joseph Fourier, Grenoble, France},
team = {DCS},
}
Navigation
Actualités
-
ACTUALITÉS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book : Introduction to Distributed Self-Stabilizing Algorithms
- Conférences
- 30 September - 1 October 2019 AVoCS 2019
- Séminaires
- 25 juin 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 juin 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 juin 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 4 juillet 2019 Radu Iosif: Alternating automata modulo first order theories
Séminaires
Nouvelles publications
- Publications
Récentes
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- 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
- Mohammad Al Khatib, Antoine Girard, Thao Dang: Timing Contracts for Multi-Core Embedded Control Systems
- Dogan Ulus: Pattern Matching with Time: Theory and Applications
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Silent self-stabilizing scheme for spanning-tree-like constructions
- Rim El-Ballouli: Modeling Self-configuration In Architecture-based Self-adaptive Systems
