Parameterized Verification of Many Identical Probabilistic Timed Processes. - Nathalie Bertrand 001; Paulin Fournier (FSTTCS, 2013)

Playing with Probabilities in Reconfigurable Broadcast Networks. - Nathalie Bertrand 001; Paulin Fournier; Arnaud Sangnier (FoSSaCS, 2014)

Distributed Local Strategies in Broadcast Networks. - Nathalie Bertrand 001; Paulin Fournier; Arnaud Sangnier (CONCUR, 2015)

Parameterized verification of networks of many identical processes. (Vérification paramétrée de réseaux composés d'une multitude de processus identiques). - Paulin Fournier (2015)

On Reversible Transducers. - Luc Dartois; Paulin Fournier; Ismaël Jecker; Nathan Lhote (ICALP, 2017)

Alternating Nonzero Automata. - Paulin Fournier; Hugo Gimbert (CONCUR, 2018)

Reachability in parametric Interval Markov Chains using constraints. - Anicet Bart; Benoît Delahaye; Paulin Fournier; Didier Lime; Éric Monfroy; Charlotte Truchet (Theor. Comput. Sci., 2018)

Property-Driven Software Analysis - (Extended Abstract). - Mathieu Comptier; David Déharbe; Paulin Fournier; Julien Molinero Perez (FM, 2019)

Parametric Statistical Model Checking of UAV Flight Plan. - Ran Bao; J. Christian Attiogbé; Benoît Delahaye; Paulin Fournier; Didier Lime (FORTE, 2019)

Parametric Timed Broadcast Protocols. - Étienne André; Benoît Delahaye; Paulin Fournier; Didier Lime (VMCAI, 2019)

Equivalence kernels of sequential functions and sequential observation synthesis. - Paulin Fournier; Nathan Lhote (CoRR, 2019)

Taming denumerable Markov decision processes with decisiveness. - Nathalie Bertrand 001; Patricia Bouyer; Thomas Brihaye; Paulin Fournier (CoRR, 2020)

Consistency in Parametric Interval Probabilistic Timed Automata. - Étienne André; Benoît Delahaye; Paulin Fournier (J. Log. Algebraic Methods Program., 2020)

The CLEARSY safety platform: 5 years of research, development and deployment. - Thierry Lecomte; David Déharbe; Paulin Fournier; Marcel Oliveira (Sci. Comput. Program., 2020)