46 citations · 52 across the 17 of their papers we have counts for
4 papers · 1 filter
Parametric, Probabilistic, Timed Resource Discovery System
Camille Coti
This paper presents a fully distributed resource discovery and reservation system. Verification of such a system is important to ensure the execution of distributed applications on…
Parallel Galton Watson Process
Olivier Bodini, Camille Coti, Julien David
In this paper, we study a parallel version of Galton-Watson processes for the random generation of tree-shaped structures. Random trees are useful in many situations (testing, bina…
Fault Tolerant QR Factorization for General Matrices
Camille Coti
This paper presents a fault-tolerant algorithm for the QR factorization of general matrices. It relies on the communication-avoiding algorithm, and uses the structure of the reduct…
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm
Camille Coti, Charles Lakos, Laure Petrucci
This paper presents the benefits of formal modelling and verification techniques for self-stabilising distributed algorithms. An algorithm is studied, that takes a set of processes…