Seguir
Claudine Picaronny
Claudine Picaronny
Maître de conférences, ENS Cachan
Email confirmado em lsv.ens-cachan.fr
Título
Citado por
Citado por
Ano
A well-structured framework for analysing Petri net extensions
A Finkel, P McKenzie, C Picaronny
Information and Computation 195 (1-2), 1-29, 2004
772004
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
742005
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
582012
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
372004
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
Randomized finite-state distributed algorithms as Markov chains
M Duflot, L Fribourg, C Picaronny
International Symposium on Distributed Computing, 240-254, 2001
292001
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
112008
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
Trace of Randomized distributed algorithms as Gibbs fields
L Fribourg, S Messika, C Picaronny
Research Report LSV-02-12, September 2002, Lab. Spéc. et. Vér, CNRS & ENS de …, 0
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20