| Parameterized verification of many identical probabilistic timed processes N Bertrand, P Fournier IARCS Annual Conference on Foundations of Software Technology and …, 2013 | 39 | 2013 |
| Playing with probabilities in reconfigurable broadcast networks N Bertrand, P Fournier, A Sangnier Foundations of Software Science and Computation Structures: 17th …, 2014 | 35 | 2014 |
| On Reversible Transducers L Dartois, P Fournier, I Jecker, N Lhote arXiv preprint arXiv:1702.07157, 2017 | 32 | 2017 |
| 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 | 21 | 2018 |
| Parameterized verification of networks of many identical processes P Fournier Université Rennes 1, 2015 | 18* | 2015 |
| Distributed local strategies in broadcast networks N Bertrand, P Fournier, A Sangnier Inria Rennes, 2015 | 17 | 2015 |
| Parametric statistical model checking of UAV flight plan R Bao, C Attiogbe, B Delahaye, P Fournier, D Lime Formal Techniques for Distributed Objects, Components, and Systems: 39th …, 2019 | 10 | 2019 |
| Parametric timed broadcast protocols É André, B Delahaye, P Fournier, D Lime Verification, Model Checking, and Abstract Interpretation: 20th …, 2019 | 9 | 2019 |
| Consistency in parametric interval probabilistic timed automata É André, B Delahaye, P Fournier Journal of Logical and Algebraic Methods in Programming 110, 100459, 2020 | 8 | 2020 |
| Statistical model checking for parameterized models B Delahaye, P Fournier, D Lime | 6 | 2019 |
| 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 | 4 | 2020 |
| Alternating Nonzero Automata P Fournier, H Gimbert arXiv preprint arXiv:1802.04067, 2018 | 4 | 2018 |
| Equivalence kernels of sequential functions and sequential observation synthesis P Fournier, N Lhote arXiv preprint arXiv:1910.06019, 2019 | 1 | 2019 |
| Property-Driven Software Analysis M Comptier, D Déharbe, P Fournier, J Molinero-Perez International Symposium on Formal Methods, 746-750, 2019 | 1 | 2019 |
| 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 |
| Parameterized verification of networks with many identical probabilistic processes P Fournier, TJ Team Modeling and Verifying Parallel Processes, 98, 2012 | | 2012 |
