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
712004
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
642005
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
432012
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 …, 2013
382013
Randomized dining philosophers without fairness assumption
M Duflot, L Fribourg, C Picaronny
Distributed Computing 17 (1), 65-76, 2004
332004
Randomized finite-state distributed algorithms as Markov chains
M Duflot, L Fribourg, C Picaronny
International Symposium on Distributed Computing, 240-254, 2001
292001
Types of blocks with dihedral or quaternion defect groups
M Cabanes, C Picaronny
Journal of the Faculty of Science, the University of Tokyo. Sect. 1 A …, 1992
261992
“Consortium”——An Efficient Way for Electronic Resources Acquisition
Y Yi, Z Di, L Yulan
Journal of Academic Libraries, 3, 2004
212004
Coupling and self-stabilization
L Fribourg, S Messika, C Picaronny
International Symposium on Distributed Computing, 201-215, 2004
192004
Accepting Zeno words: a way toward timed refinements
B Bérard, C Picaronny
Acta Informatica 37 (1), 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
151987
Importance sampling for model checking of continuous time markov chains
B Barbot, S Haddad, C Picaronny
SIMUL, 30-35, 2012
82012
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
82008
Accepting Zeno words without making time stand still
B Bérard, C Picaronny
International Symposium on Mathematical Foundations of Computer Science, 149-158, 1997
81997
Polynomial interrupt timed automata
B Bérard, S Haddad, C Picaronny, MS El Din, M Sassolas
International Workshop on Reachability Problems, 20-32, 2015
62015
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
52010
A well-structured framework for analysing Petri nets extensions
A Finkel, P McKenzie, C Picaronny
INFORMATION AND COMPUTATION, 1999
51999
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
22015
É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
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
22007
The system can't perform the operation now. Try again later.
Articles 1–20