title = {A Framework for Certified Self-Stabilization },
author = {Altisen, Karine and Corbineau, Pierre and Devismes, St\'ephane},
year = {2017},
journal = {Logical Methods in Computer Science},
number = {4},
volume = {13},
team = {SYNC, PACSS},
}
bibtex
@article{ACD7,
title = {A Framework for Certified Self-Stabilization },
author = {Altisen, Karine and Corbineau, Pierre and Devismes, St\'ephane},
year = {2017},
journal = {Logical Methods in Computer Science},
number = {4},
volume = {13},
team = {SYNC, PACSS},
}
title = {A Framework for Certified Self-Stabilization },
author = {Altisen, Karine and Corbineau, Pierre and Devismes, St\'ephane},
year = {2017},
journal = {Logical Methods in Computer Science},
number = {4},
volume = {13},
team = {SYNC, PACSS},
}
Navigation
Actualités
-
ACTUALITÉS
- Systèmes cyber-physiques autonomes et confiance numérique : conception, modélisation, validation, implémentations, certification Poste de maître de conférences en informatique, Grenoble INP/Ensimag, pour recrutement au 1er septembre 2020
- Conférences
- Feb. 24, 2020 Workshop CAPITAL
- 11-15 mai 2020 AlgoTel et CoRes 2020
- June 22-26, 2020 MOVEP 2020
Séminaires
Nouvelles publications
- Publications
Récentes
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal torus exploration by oblivious robots
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Squeezing Streams and Composition of Self-Stabilizing Algorithms
- Hang Yu, David Monniaux: An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection
- Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Manuel de savoir-prouver à l'usage des roboteux et des distributeux
- Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo: ParetoLib: A Python Library for Parameter Synthesis
Offres d'emploi et stages
- Offres d'emploi et stages
- Poste de maître de conférences en informatique, Grenoble INP/Ensimag, pour recrutement au 1er septembre 2020
- 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
- Self-Stabilization in TVG
