Paulin Fournier

According to our database, Paulin Fournier authored at least 14 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Consistency in Parametric Interval Probabilistic Timed Automata.

Étienne André, Benoît Delahaye, Paulin Fournier

J. Log. Algebraic Methods Program., 2020

Taming denumerable Markov decision processes with decisiveness.

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier

CoRR, 2020

2019

Equivalence kernels of sequential functions and sequential observation synthesis.

Paulin Fournier, Nathan Lhote

CoRR, 2019

Parametric Timed Broadcast Protocols.

Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Parametric Statistical Model Checking of UAV Flight Plan.

Ran Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Property-Driven Software Analysis - (Extended Abstract).

Mathieu Comptier, David Déharbe, Paulin Fournier, Julien Molinero Perez

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

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

Alternating Nonzero Automata.

Paulin Fournier, Hugo Gimbert

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

On Reversible Transducers.

Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

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

PhD thesis, 2015

Distributed Local Strategies in Broadcast Networks.

Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Playing with Probabilities in Reconfigurable Broadcast Networks.

Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier

Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013

Parameterized Verification of Many Identical Probabilistic Timed Processes.

Nathalie Bertrand, Paulin Fournier

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013