Paulin Fournier
Paulin Fournier
Clearsy
Verified email at clearsy.com
Title
Cited by
Cited by
Year
Playing with probabilities in reconfigurable broadcast networks
N Bertrand, P Fournier, A Sangnier
International Conference on Foundations of Software Science and Computation …, 2014
262014
Parameterized verification of many identical probabilistic timed processes
N Bertrand, P Fournier
IARCS Annual Conference on Foundations of Software Technology and …, 2013
252013
On Reversible Transducers
L Dartois, P Fournier, I Jecker, N Lhote
arXiv preprint arXiv:1702.07157, 2017
162017
Distributed local strategies in broadcast networks
N Bertrand, P Fournier, A Sangnier
Inria Rennes, 2015
132015
Reachability in parametric Interval Markov Chains using constraints
A Bart, B Delahaye, P Fournier, D Lime, E Monfroy, C Truchet
Theoretical Computer Science 747, 48-74, 2018
122018
Parameterized verification of networks of many identical processes
P Fournier
Université Rennes 1, 2015
92015
Alternating Nonzero Automata
P Fournier, H Gimbert
arXiv preprint arXiv:1802.04067, 2018
32018
Consistency in parametric interval probabilistic timed automata
É André, B Delahaye, P Fournier
Journal of Logical and Algebraic Methods in Programming 110, 100459, 2020
22020
Parametric Statistical Model Checking of UAV Flight Plan
R Bao, C Attiogbe, B Delahaye, P Fournier, D Lime
International Conference on Formal Techniques for Distributed Objects …, 2019
22019
Statistical model checking for parameterized models
B Delahaye, P Fournier, D Lime
22019
Parametric Timed Broadcast Protocols
É André, B Delahaye, P Fournier, D Lime
International Conference on Verification, Model Checking, and Abstract …, 2019
22019
Equivalence kernels of sequential functions and sequential observation synthesis
P Fournier, N Lhote
arXiv preprint arXiv:1910.06019, 2019
12019
The CLEARSY safety platform: 5 years of research, development and deployment
T Lecomte, D Deharbe, P Fournier, M Oliveira
Science of Computer Programming 199, 102524, 2020
2020
Taming denumerable Markov decision processes with decisiveness
N Bertrand, P Bouyer, T Brihaye, P Fournier
arXiv preprint arXiv:2008.10426, 2020
2020
Model checking paramétrique statistique du plan de vol de drone civil
R Bao, C Attiogbe, P Fournier, D Lime
MSR 2019-12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019 …, 2019
2019
Property-Driven Software Analysis
M Comptier, D Déharbe, P Fournier, J Molinero-Perez
International Symposium on Formal Methods, 746-750, 2019
2019
Parameterized verification of networks with many identical probabilistic processes
P Fournier, TJ Team
Modeling and Verifying Parallel Processes, 98, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–17