Paulin FOURNIER
Paulin Fournier Post-Doctorant (Université Bordeaux 1)

Équipe LaBRI : Méthodes formelles
Courrier électronique : paulin.fournierarobaselabri.fr
Bureau : 277
Tél : +33 (0)5 40 00 35 04


Extrait de publications


Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier. Distributed local strategies in broadcast networks. [Research Report] Inria Rennes. 2015.

Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier. Distributed local strategies in broadcast networks. 26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain.

Paulin Fournier. Parameterized verification of networks of many identical processesVérification paramétrée de réseaux composés d'une multitude de processus identiques. Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2015. English.

Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier. Playing with Probabilities in Reconfigurable Broadcast Networks. Foundations of Software Science and Computation Structures (FoSSaCS), Apr 2014, Grenoble, France.

Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier. Playing with probabilities in Reconfigurable Broadcast Networks. 2014.


Page mise à jour le 13/08/2010 à 10:56