Paulin FOURNIER
Paulin Fournier Post-Doctorant ()

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


Extrait de publications


Paulin Fournier, Hugo Gimbert. Alternating Nonzero Automata. 2018

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. 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

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


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