S. Akili and K. Völlinger, Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness, Lecture Notes in Computer Science: 8th IPM International Conference on Fundamentals of Software Engineering, 2019.

A. Francalanza, J. A. Pérez, and C. Sánchez, Runtime Verification for Decentralised and Distributed Systems, Lectures on Runtime Verification, pp.176-210, 2018.

S. Hallé, Runtime Verification: 16th International Conference, pp.68-91, 2016.

N. A. Lynch, Distributed Algorithms, 1996.

R. M. Mcconnell, K. Mehlhorn, S. Näher, and P. Schweitzer, Certifying Algorithms, Computer Science Review, vol.5, pp.119-161, 2011.

M. Raynal, Distributed Algorithms for Message-Passing Systems, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00922219

K. Völlinger, Verifying the Output of a Distributed Algorithm Using Certification, pp.424-430, 2017.

K. Völlinger and S. Akili, Verifying a Class of Certifying Distributed Programs, NASA Formal Methods -9th International Symposium, vol.10227, pp.373-388, 2017.

K. Völlinger and S. Akili, On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency, Formal Techniques for Distributed Objects, Components, and Systems -38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, vol.10854, pp.161-180, 2018.

K. Völlinger and W. Reisig, Certification of Distributed Algorithms Solving Problems with Optimal Substructure, Software Engineering and Formal Methods -13th International Conference, SEFM 2015, vol.9276, pp.190-195, 2015.

S. Xiong and J. Li, An efficient algorithm for cut vertex detection in wireless sensor networks, Proceedings of the 2010 IEEE 30th International Conference on Distributed Computing Systems, pp.368-377, 2010.