Paulin Fournier

20 papers A* 1B 5C 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
Decisiveness for Countable MDPs and Insights for NPLCSs and POMDPs.
Principles of Formal Quantitative Analysis
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier, Pierre Vandenhove
2020 J jnl
Consistency in Parametric Interval Probabilistic Timed Automata.
J. Log. Algebraic Methods Program.
Étienne André, Benoît Delahaye, Paulin Fournier
2020 J jnl
Taming denumerable Markov decision processes with decisiveness.
CoRR
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier
2020 J jnl
The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment.
CoRR
Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira
2020 J jnl
The CLEARSY safety platform: 5 years of research, development and deployment.
Sci. Comput. Program.
Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira
2019 J jnl
Consistency in Parametric Interval Probabilistic Timed Automata.
CoRR
Étienne André, Benoît Delahaye, Paulin Fournier
2019 J jnl
Equivalence kernels of sequential functions and sequential observation synthesis.
CoRR
Paulin Fournier, Nathan Lhote
2019 C conf
Parametric Statistical Model Checking of UAV Flight Plan.
FORTE
Ran Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime
2019 B conf
Parametric Timed Broadcast Protocols.
VMCAI
Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime
2019 B conf
Property-Driven Software Analysis - (Extended Abstract).
FM
Mathieu Comptier, David Déharbe, Paulin Fournier, Julien Molinero Perez
2018 B conf
Alternating Nonzero Automata.
CONCUR
Paulin Fournier, Hugo Gimbert
2018 J jnl
Alternating Nonzero Automata.
CoRR
Paulin Fournier, Hugo Gimbert
2018 J jnl
Parametric Timed Broadcast Protocols.
CoRR
Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime
2018 J jnl
Reachability in parametric Interval Markov Chains using constraints.
Theor. Comput. Sci.
Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Éric Monfroy, Charlotte Truchet
2017 A* conf
On Reversible Transducers.
ICALP
Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote
2017 J jnl
On Reversible Transducers.
CoRR
Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote
2015 B conf
Distributed Local Strategies in Broadcast Networks.
CONCUR
Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
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
2014 B conf
Playing with Probabilities in Reconfigurable Broadcast Networks.
FoSSaCS
Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
2013 — conf
Parameterized Verification of Many Identical Probabilistic Timed Processes.
FSTTCS
Nathalie Bertrand, Paulin Fournier