Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness, Lecture Notes in Computer Science: 8th IPM International Conference on Fundamentals of Software Engineering, 2019. ,
Runtime Verification for Decentralised and Distributed Systems, Lectures on Runtime Verification, pp.176-210, 2018. ,
, Runtime Verification: 16th International Conference, pp.68-91, 2016.
Distributed Algorithms, 1996. ,
Certifying Algorithms, Computer Science Review, vol.5, pp.119-161, 2011. ,
Distributed Algorithms for Message-Passing Systems, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00922219
Verifying the Output of a Distributed Algorithm Using Certification, pp.424-430, 2017. ,
Verifying a Class of Certifying Distributed Programs, NASA Formal Methods -9th International Symposium, vol.10227, pp.373-388, 2017. ,
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. ,
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. ,
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. ,