Follow
Claudine Picaronny
Claudine Picaronny
Maître de conférences, ENS Cachan
Verified email at lsv.ens-cachan.fr
Title
Cited by
Cited by
Year
A well-structured framework for analysing Petri net extensions
A Finkel, P McKenzie, C Picaronny
Information and Computation 195 (1-2), 1-29, 2004
802004
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
772005
Coupling and importance sampling for statistical model checking
B Barbot, S Haddad, C Picaronny
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
622012
Practical applications of probabilistic model checking to communication protocols
M Duflot, M Kwiatkowska, G Norman, D Parker, S Peyronnet, C Picaronny, ...
Formal Methods for Industrial Critical Systems: A Survey of Applications …, 2012
512012
Randomized dining philosophers without fairness assumption
M Duflot, L Fribourg, C Picaronny
Distributed Computing 17 (1), 65-76, 2004
412004
Randomized finite-state distributed algorithms as Markov chains
M Duflot, L Fribourg, C Picaronny
International Symposium on Distributed Computing, 240-254, 2001
312001
Types of blocks with dihedral or quaternion defect groups
C Marc, P Claudine
Journal of the Faculty of Science, the University of Tokyo. Sect. 1 A …, 1992
301992
Coupling and self-stabilization
L Fribourg, S Messika, C Picaronny
International Symposium on Distributed Computing, 201-215, 2004
202004
Accepting Zeno words: a way toward timed refinements
B Bérard, C Picaronny
Acta Informatica 37, 45-81, 2000
172000
Quelques remarques sur un thème de Knörr
C Picaronny, L Puig
Journal of Algebra 109 (1), 69-73, 1987
171987
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
122008
Importance sampling for model checking of continuous time markov chains
B Barbot, S Haddad, C Picaronny
SIMUL, 30-35, 2012
92012
Accepting Zeno words without making time stand still
B Bérard, C Picaronny
Mathematical Foundations of Computer Science 1997: 22nd International …, 1997
91997
Polynomial interrupt timed automata
B Bérard, S Haddad, C Picaronny, MS El Din, M Sassolas
Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland …, 2015
72015
Rare event handling in signalling cascades
B Barbot, S Haddad, M Heiner, C Picaronny
International Journal on Advances in Systems and Measurements 8 (1-2), 69-79, 2015
42015
A well-structured framework for analysing Petri nets extensions
A Finkel, P McKenzie, C Picaronny
Research Report LSV-99-2, Lab. Specification and Verification, ENS de Cachan …, 1999
41999
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
32007
Consortium
P Wu, K Chatzikokolakis, R Beauxis, C Picaronny, S Pinot, U PPS, ...
3
É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
22011
Accepting zeno words without stopping time
B Bérard, C Picaronny
Proceedings of the 22th International Symposium MFCS'97, 148-158, 1997
21997
The system can't perform the operation now. Try again later.
Articles 1–20