| A well-structured framework for analysing Petri net extensions A Finkel, P McKenzie, C Picaronny Information and Computation 195 (1-2), 1-29, 2004 | 72 | 2004 |
| Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC M Duflot, L Fribourg, T Herault, R Lassaigne, F Magniette, S Messika, ... Electronic Notes in Theoretical Computer Science 128 (6), 195-214, 2005 | 66 | 2005 |
| Coupling and importance sampling for statistical model checking B Barbot, S Haddad, C Picaronny International Conference on Tools and Algorithms for the Construction and …, 2012 | 53 | 2012 |
| Practical applications of probabilistic model checking to communication protocols M Duflot, M Kwiatkowska, G Norman, D Parker, S Peyronnet, C Picaronny, ... Wiley, 2012 | 41 | 2012 |
| Randomized dining philosophers without fairness assumption M Duflot, L Fribourg, C Picaronny Distributed Computing 17 (1), 65-76, 2004 | 38 | 2004 |
| Randomized finite-state distributed algorithms as Markov chains M Duflot, L Fribourg, C Picaronny International Symposium on Distributed Computing, 240-254, 2001 | 28 | 2001 |
| Types of blocks with dihedral or quaternion defect groups M Cabanes, C Picaronny J. Fac. Sci. Univ. Tokyo Sect. IA Math 39 (1), 141-161, 1992 | 27 | 1992 |
| Coupling and self-stabilization L Fribourg, S Messika, C Picaronny International Symposium on Distributed Computing, 201-215, 2004 | 20 | 2004 |
| Accepting Zeno words: a way toward timed refinements B Bérard, C Picaronny Acta Informatica 37 (1), 45-81, 2000 | 18 | 2000 |
| Quelques remarques sur un thème de Knörr C Picaronny, L Puig Journal of Algebra 109 (1), 69-73, 1987 | 17 | 1987 |
| Importance sampling for model checking of continuous time markov chains B Barbot, S Haddad, C Picaronny SIMUL, 30-35, 2012 | 9 | 2012 |
| Computing expected absorption times for parametric determinate probabilistic timed automata N Chamseddine, M Duflot, L Fribourg, C Picaronny, J Sproston 2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008 | 9 | 2008 |
| Accepting Zeno words without making time stand still B Bérard, C Picaronny International Symposium on Mathematical Foundations of Computer Science, 149-158, 1997 | 9 | 1997 |
| Polynomial interrupt timed automata B Bérard, S Haddad, C Picaronny, MS El Din, M Sassolas International Workshop on Reachability Problems, 20-32, 2015 | 7 | 2015 |
| FMICS Handbook on Industrial Critical Systems, chapter Practical Applications of Probabilistic Model Checking to Communication Protocols M Duflot, M Kwiatkowska, G Norman, D Parker, S Peyronnet, C Picaronny, ... IEEE Computer Society Press 1, 133-150, 2010 | 7 | 2010 |
| Consortium P Wu, K Chatzikokolakis, R Beauxis, C Picaronny, S Pinot, U PPS, ... | 6 | 2019 |
| Rare event handling in signalling cascades B Barbot, S Haddad, M Heiner, C Picaronny Int. J. Adv. Syst. Meas 8 (1-2), 69-79, 2015 | 4 | 2015 |
| A well-structured framework for analysing Petri nets extensions A Finkel, P McKenzie, C Picaronny INFORMATION AND COMPUTATION, 1999 | 4 | 1999 |
| Determinate probabilistic timed automata as Markov chains with parametric costs N Chamseddine, M Duflot, L Fribourg, C Picaronny Technical Report LSV-07-21, Laboratory Specification and Verification, 2007 | 3 | 2007 |
| Échantillonnage préférentiel pour le model checking statistique B Barbot, S Haddad, C Picaronny Journal européen des systèmes automatisés 45 (1-3), 237-252, 2011 | 2 | 2011 |
Laurent FRIBOURGLSV - ENS Cachan & CNRSGeverifieerd e-mailadres voor lsv.ens-cachan.fr
