Claudine Picaronny
Claudine Picaronny
Maître de conférences, ENS Cachan
Email verificata su lsv.ens-cachan.fr
Titolo
Citata da
Citata da
Anno
A well-structured framework for analysing Petri net extensions
A Finkel, P McKenzie, C Picaronny
Information and Computation 195 (1-2), 1-29, 2004
692004
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
652005
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
362004
Randomized finite-state distributed algorithms as Markov chains
M Duflot, L Fribourg, C Picaronny
International Symposium on Distributed Computing, 240-254, 2001
272001
Types of blocks with dihedral or quaternion defect groups
M Cabanes, C Picaronny
Journal of the Faculty of Science 1, 121, 1992
261992
“Consortium”——An Efficient Way for Electronic Resources Acquisition
Y Yi, Z Di, L Yulan
Journal of Academic Libraries, 03, 2004
232004
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
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
International Symposium on Mathematical Foundations of Computer Science, 149-158, 1997
91997
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
A well-structured framework for analysing Petri nets extensions
A Finkel, P McKenzie, C Picaronny
INFORMATION AND COMPUTATION, 1999
51999
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
42010
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
Rare event handling in signalling cascades
B Barbot, S Haddad, M Heiner, C Picaronny
LSV, ENS Cachan, Tech. Rep, 14-10, 2014
22014
É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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20