Paulin Fournier
Paulin Fournier
Clearsy
E-mail megerősítve itt: clearsy.com
Cím
Hivatkozott rá
Hivatkozott rá
Év
Parameterized verification of many identical probabilistic timed processes
N Bertrand, P Fournier
IARCS Annual Conference on Foundations of Software Technology and …, 2013
242013
Playing with probabilities in reconfigurable broadcast networks
N Bertrand, P Fournier, A Sangnier
International Conference on Foundations of Software Science and Computation …, 2014
232014
Distributed local strategies in broadcast networks
N Bertrand, P Fournier, A Sangnier
Inria Rennes, 2015
132015
On Reversible Transducers
L Dartois, P Fournier, I Jecker, N Lhote
arXiv preprint arXiv:1702.07157, 2017
122017
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
112018
Parameterized verification of networks of many identical processes
P Fournier
Université Rennes 1, 2015
9*2015
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
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
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
12019
Taming denumerable Markov decision processes with decisiveness
N Bertrand, P Bouyer, T Brihaye, P Fournier
arXiv preprint arXiv:2008.10426, 2020
2020
The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment
T Lecomte, D Deharbe, P Fournier, M Oliveira
arXiv preprint arXiv:2005.10662, 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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–17