Paulin Fournier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2014–2019
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Property-Driven Software Analysis - (Extended Abstract). | Mathieu Comptier, David Dharbe, Paulin Fournier, Julien Molinero Perez |
| 2019 | FORTE | Parametric Statistical Model Checking of UAV Flight Plan. | Ran Bao, J. Christian Attiogb, Benot Delahaye, Paulin Fournier, Didier Lime |
| 2019 | VMCAI | Parametric Timed Broadcast Protocols. | tienne Andr, Benot Delahaye, Paulin Fournier, Didier Lime |
| 2018 | CONCUR | Alternating Nonzero Automata. | Paulin Fournier, Hugo Gimbert |
| 2017 | ICALP | On Reversible Transducers. | Luc Dartois, Paulin Fournier, Ismal Jecker, Nathan Lhote |
| 2015 | CONCUR | Distributed Local Strategies in Broadcast Networks. | Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier |
| 2014 | FOSSACS | Playing with Probabilities in Reconfigurable Broadcast Networks. | Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier |