Copatterns: programming infinite structures by observations, The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, 2013. ,
PADEC: A Framework for Certified SelfStabilization ,
A Framework for Certified SelfStabilization, Logical Methods in Computer Science (special issue of FORTE 2016), vol.13, issue.4, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01272158
Concurrency in snap-stabilizing local resource allocation, J. Parallel Distrib. Comput, vol.102, pp.42-56, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01099186
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots, Stabilization, Safety, and Security of Distributed Systems -15th International Symposium, SSS 2013, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00930267
Cross-Over Composition -Enforcement of Fairness under Unfair Adversary, 5th International Workshop on SelfStabilizing Systems, pp.19-34, 2001. ,
Formal verification of mobile robot protocols, Distributed Computing, vol.29, issue.6, pp.459-487, 2016. ,
, Filters on CoInductive Streams, an Application to Eratosthenes' Sieve. In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070658
Interactive Theorem Proving and Program DevelopmentCoq'Art: The Calculus of Inductive Constructions, Texts in Theoretical Computer Science. An EATCS Series, 2004. ,
On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2014), vol.8756, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01102123
When self-stabilization meets real platforms: An experimental study of a peer-to-peer service discovery system, Future Generation Computer Systems, vol.29, issue.6, pp.1533-1543, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00762693
A self-stabilizing k-clustering algorithm for weighted graphs, J. Parallel Distrib. Comput, vol.70, issue.11, pp.1159-1173, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00758590
Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant, Symbolic Computation in Software Science (SCSS'09, 2009. ,
Formal Verification of Netlog Protocols, Sixth International Symposium on Theoretical Aspects of Software Engineering, vol.2012, pp.4-6, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00733634
An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions, J. Log. Comput, vol.13, issue.6, pp.801-813, 2003. ,
Proving Self-Stabilization with a Proof Assistant, 16th International Parallel and Distributed Processing Symposium, pp.15-19, 2002. ,
Certified Universal Gathering in R 2 for Oblivious Mobile Robots, Distributed Computing -30th International Symposium, DISC 2016, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01274295
Competitive self-stabilizing k-clustering, Theor. Comput. Sci, vol.626, pp.110-133, 2016. ,
Self-Stabilizing Network Orientation Algorithms In Arbitrary Rooted Networks, Stud. Inform. Univ, vol.1, issue.1, pp.1-22, 2001. ,
SelfStabilizing Small k-Dominating Sets, IJNC, vol.3, issue.1, pp.116-136, 2013. ,
Self-stabilizing Systems in Spite of Distributed Control, Commun. ACM, vol.17, issue.11, pp.643-644, 1974. ,
Structured Object-Oriented Formal Language and Method -6th International Workshop, SOFL+MSVL 2016, vol.10189, pp.201-219, 2016. ,
Self-stabilization, 2000. ,
URL : https://hal.archives-ouvertes.fr/inria-00627780
A Taxonomy of Daemons in Self-stabilization, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00628390
Self Stabilizing Distributed Transactional Memory Model and Algorithms, Journal of Computer Research and Development, vol.51, issue.9, p.2046, 2014. ,
An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol, Types for Proofs and Programs, International Workshop TYPES'95, 1995. ,
Adaptive Programming, IEEE Transactions on Software Engineering, vol.17, pp.911-921, 1991. ,
Formal Verification of Distributed Algorithms, Theoretical Computer Science, vol.7604, pp.209-224, 2012. ,
A case-study in component-based mechanical verification of fault-tolerant programs, 1999 ICDCS Workshop on Selfstabilizing Systems, 1999. ,
How to write a 21st century proof, Journal of Fixed Point Theory and Applications, vol.11, issue.1, pp.43-63, 2012. ,
Coinductive big-step operational semantics, Inf. Comput, vol.207, issue.2, pp.284-304, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00289545
Mechanizing Coinduction and Corecursion in Higher-Order Logic, J. Log. Comput, vol.7, issue.2, pp.175-204, 1997. ,
The Temporal Logic of Programs, 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977. ,
Introduction to Distributed Algorithms, 2001. ,
, The Coq Development Team: The Coq Proof Assistant Documentation, 2012.