Modeling in Event-B, 2009. ,
Rodin: an open toolset for modelling and reasoning in Event-B, International Journal on Software Tools for Technology Transfer, vol.12, issue.6, pp.447-466, 2010. ,
Verification of peer-to-peer algorithms: A case study, Electronic Notes in Theoretical Computer Science, vol.181, pp.35-47, 2007. ,
A model in Event-B of the Chord protocol, 2019. ,
Analyzing the Fundamental Liveness Property of the Chord Protocol, Formal Methods in Computer-Aided Design, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01862755
Ironfleet: Proving practical distributed systems correct, Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), 2015. ,
Software Abstractions: logic, language, and analysis, 2012. ,
Specifying systems: the TLA + language and tools for hardware and software engineers, 2002. ,
Active and concurrent topology maintenance, International Symposium on Distributed Computing, pp.320-334, 2004. ,
Analysis of the evolution of peer-to-peer systems, Proceedings of the twenty-first annual symposium on Principles of distributed computing, pp.233-242, 2002. ,
Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations, Foundations of Software Engineering, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01355062
Proving properties of the chord protocol using the asm formalism, Theoretical Computer Science, vol.756, pp.64-93, 2019. ,
Towards Verification of the Pastry Protocol using TLA +, 31st IFIP International Conference on Formal Techniques for Networked and Distributed Systems, vol.6722, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01583322
, Reducing liveness to safety in first-order logic. PACMPL 2(POPL), vol.26, p.33, 2018.
Ivy: safety verification by interactive generalization, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, pp.614-630, 2016. ,
Fault tolerant active rings for structured peer-to-peer overlays, Local Computer Networks, 2005. 30th Anniversary. The IEEE Conference on, pp.18-25, 2005. ,
Chord: A scalable peer-to-peer lookup service for internet applications, ACM SIGCOMM Computer Communication Review, vol.31, issue.4, pp.149-160, 2001. ,
,
Chord: a scalable peer-to-peer lookup protocol for internet applications, IEEE/ACM Transactions on Networking (TON), vol.11, issue.1, pp.17-32, 2003. ,
Verdi: a framework for implementing and formally verifying distributed systems, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.357-368, 2015. ,
Why the Chord ring-maintenance protocol is not correct, AT&T Research, 2011. ,
Using lightweight modeling to understand Chord, ACM SIGCOMM Computer Communication Review, vol.42, issue.2, pp.49-57, 2012. ,
,
A practical comparison of Alloy and SPIN, Formal Aspects of Computing, vol.27, issue.2, p.239, 2015. ,
Reasoning about identifier spaces: How to make Chord correct, IEEE Transactions on Software Engineering, vol.43, issue.12, pp.1144-1156, 2017. ,