Paulin Fournier

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 15

Top Venues

CoRR

CONCUR

J. Log. Algebraic Methods Program.

FoSSaCS

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Étienne André, Benoît Delahaye, Paulin Fournier
Consistency in Parametric Interval Probabilistic Timed Automata. J. Log. Algebraic Methods Program. 110 (2020)
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier
Taming denumerable Markov decision processes with decisiveness. CoRR (2020)
Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira
The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment. CoRR (2020)
Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira
The CLEARSY safety platform: 5 years of research, development and deployment. Sci. Comput. Program. 199 (2020)
Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime
Parametric Timed Broadcast Protocols. VMCAI (2019)
Étienne André, Benoît Delahaye, Paulin Fournier
Consistency in Parametric Interval Probabilistic Timed Automata. CoRR (2019)
Mathieu Comptier, David Déharbe, Paulin Fournier, Julien Molinero Perez
Property-Driven Software Analysis - (Extended Abstract). FM (2019)
Ran Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime
Parametric Statistical Model Checking of UAV Flight Plan. FORTE (2019)
Paulin Fournier, Nathan Lhote
Equivalence kernels of sequential functions and sequential observation synthesis. CoRR (2019)
Paulin Fournier, Hugo Gimbert
Alternating Nonzero Automata. CONCUR (2018)
Paulin Fournier, Hugo Gimbert
Alternating Nonzero Automata. CoRR (2018)
Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime
Parametric Timed Broadcast Protocols. CoRR (2018)
Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Éric Monfroy, Charlotte Truchet
Reachability in parametric Interval Markov Chains using constraints. Theor. Comput. Sci. 747 (2018)
Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote
On Reversible Transducers. ICALP (2017)
Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote
On Reversible Transducers. CoRR (2017)
Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
Distributed Local Strategies in Broadcast Networks. CONCUR (2015)
Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
Playing with Probabilities in Reconfigurable Broadcast Networks. FoSSaCS (2014)
Nathalie Bertrand, Paulin Fournier
Parameterized Verification of Many Identical Probabilistic Timed Processes. FSTTCS (2013)

Paulin Fournier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paulin Fournier