A framework for certified selfstabilization, Logical Methods in Computer Science, vol.13, issue.4, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01272158
Introduction to Distributed Self-Stabilizing Algorithms, Synthesis Lectures on Distributed Computing Theory, vol.8, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02178659
Maintaining digital clocks in step, Parallel Processing Letters, vol.1, pp.11-18, 1991. ,
Interactive Theorem Proving and Program Development -Coq'Art: The Calculus of Inductive Constructions, Texts in Theoretical Computer Science. An EATCS Series, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00344237
The kind 2 model checker, Computer Aided Verification, pp.510-517, 2016. ,
Self-stabilizing depth-first search, Inf. Process. Lett, vol.49, issue.6, pp.297-301, 1994. ,
Asynchronous unison (extended abstract), Proceedings of the 12th International Conference on Distributed Computing Systems, pp.486-493, 1992. ,
Self-stabilizing Systems in Spite of Distributed Control, Communications of the ACM, vol.17, issue.11, pp.643-644, 1974. ,
Self-Stabilization, 2000. ,
URL : https://hal.archives-ouvertes.fr/inria-00627780
On random graphs I, Publicationes Mathematicae Debrecen, vol.6, p.290, 1959. ,
Simulation of self-stabilizing algorithms in distributed systems, Proceedings of the 25th Annual Simulation Symposium, pp.32-41, 1992. ,
An open graph visualization system and its applications to software engineering, Softw. Pract. Exper, vol.30, issue.11, pp.1203-1233, 2000. ,
Self-stabilizing vertex coloration and arbitrary graphs, Procedings of the 4th International Conference on Principles of Distributed Systems (OPODIS), Studia Informatica Universalis, pp.55-70, 2000. ,
The synchronous data flow programming language Lustre, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
A simulator for self-stabilizing distributed algorithms, 2000. ,
, Verimag Tools Tutorials: Tutorials related to SASA
RDBG: a Reactive Programs Extensible Debugger, International Workshop on Software and Compilers for Embedded Systems, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01295229
Engineering functional requirements of reactive systems using synchronous languages, International Symposium on Industrial Embedded Systems, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00933179
The synchrone reactive tool box ,
, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, 2002.
Derivation of fault tolerance measures of self-stabilizing algorithms by simulation, Proceedings of the 41st Annual Simulation Symposium, pp.183-192, 2008. ,
Programming and verifying critical systems by means of the synchronous data-flow programming language Lustre, ACM-SIGSOFT'91 Conference on Software for Critical Systems, 1991. ,
Lutin: a language for specifying and executing reactive scenarios, EURASIP Journal on Embedded Systems, 2008. ,
Probability and Statistics with Reliability, Queuing and Computer Science Applications, Second Edition, 2002. ,