Fault-Tolerant Gathering Algorithms for Autonomous Mobile Robots, SIAM Journal on Computing, vol.36, issue.1, pp.56-82, 2006. ,
DOI : 10.1137/050645221
Full proof cryptography, Proceedings of the 2012 ACM conference on Computer and communications security, CCS '12, pp.488-500, 2012. ,
DOI : 10.1145/2382196.2382249
Formalizing process algebraic verifications in the calculus of constructions, Formal Aspects of Computing, vol.4, issue.3, pp.1-48, 1997. ,
DOI : 10.1007/BF01212523
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols, Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems, 2012. ,
DOI : 10.1007/978-3-642-33536-5_28
URL : https://hal.archives-ouvertes.fr/hal-00934186
Optimal byzantineresilient convergence in uni-dimensional robot networks, Theoretical Computer Science, vol.411, pp.34-363154, 2010. ,
Evaluating Complex MAC Protocols for Sensor Networks with APMC, Electronic Notes in Theoretical Computer Science, vol.185, pp.33-46, 2007. ,
DOI : 10.1016/j.entcs.2007.05.027
URL : https://hal.archives-ouvertes.fr/inria-00089494
Logics of Specification Languages, chapter The Event-B Modelling Method: Concepts and Case Studies, pp.47-152, 2007. ,
Certifying distributed algorithms by embedding local computation systems in the coq proof assistant, Symbolic Computation in Software Science (SCSS'09), 2009. ,
Mechanical verification of distributed algorithms in higher-order logic, The Computer Journal, vol.38, pp.158-176, 1995. ,
Guidelines for the Verification of Population Protocols, 2011 31st International Conference on Distributed Computing Systems, pp.215-224, 2011. ,
DOI : 10.1109/ICDCS.2011.36
Inductively defined types In Per Martin- Löf and Grigori Mints, Proceedings of Colog'88, 1990. ,
TLA???+??? Proofs, Lecture Notes in Computer Science, vol.7436, pp.147-154, 2012. ,
DOI : 10.1007/978-3-642-32759-9_14
URL : https://hal.archives-ouvertes.fr/hal-00726632
Verifying Self-stabilizing Population Protocols with Coq, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, pp.201-208, 2009. ,
DOI : 10.1109/TASE.2009.9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.1221
Optimal Grid Exploration by Asynchronous Oblivious Robots, Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems, 2012. ,
DOI : 10.1007/978-3-642-33536-5_7
URL : https://hal.archives-ouvertes.fr/hal-00934161
A taxonomy of daemons in self-stabilization, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00628390
Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985. ,
DOI : 10.1145/3149.214121
Distributed Computing by Oblivious Mobile Robots. Synthesis Lectures on Distributed Computing Theory, 2012. ,
DOI : 10.2200/s00440ed1v01y201208dct010
Modelling Distributed Systems. EATCS Texts in Theoretical Computer Science, 2007. ,
Formal proof?the four-color theorem, Notices of the AMS, p.1370, 2008. ,
Engineering mathematics: the odd order theorem proof, POPL, pp.1-2, 2013. ,
DOI : 10.1145/2429069.2429071
Formal Verification of Distributed Algorithms, IFIP TCS, pp.209-224, 2012. ,
DOI : 10.1007/978-3-642-33475-7_15
Byzantizing Paxos by Refinement, Lecture Notes in Computer Science, vol.19, issue.2, pp.211-224, 2011. ,
DOI : 10.1007/978-3-642-03466-4_2
The Byzantine Generals Problem, ACM Transactions on Programming Languages and Systems, vol.4, issue.3, pp.382-401, 1982. ,
DOI : 10.1145/357172.357176
A Formally Verified Compiler Back-end, Journal of Automated Reasoning, vol.27, issue.1, pp.363-446, 2009. ,
DOI : 10.1007/s10817-009-9155-4
URL : https://hal.archives-ouvertes.fr/inria-00360768
GRAPH RELABELLING SYSTEMS AND DISTRIBUTED ALGORITHMS, Handbook of Graph Grammars and Computing by Graph Transformation, pp.1-56, 1999. ,
DOI : 10.1142/9789812814951_0001
URL : https://hal.archives-ouvertes.fr/hal-00307042
Correctness of a compiler for arithmetic expressions, Proceedings of Applied Mathematica, pp.33-41, 1967. ,
DOI : 10.1090/psapm/019/0242403
Reaching agreement in the presence of faults, J. ACM, vol.27, issue.2, pp.228-234, 1980. ,
Distributed Anonymous Mobile Robots: Formation of Geometric Patterns, SIAM Journal on Computing, vol.28, issue.4, pp.1347-1363, 1999. ,
DOI : 10.1137/S009753979628292X
Primality Proving with Elliptic Curves, 20th International Conference on Theorem Proving in Higher Order Logics, pp.319-333, 2007. ,
DOI : 10.1007/978-3-540-74591-4_24