Volgen
Claudine Picaronny
Claudine Picaronny
Maître de conférences, ENS Cachan
Geverifieerd e-mailadres voor lsv.ens-cachan.fr
Titel
Geciteerd door
Geciteerd door
Jaar
A well-structured framework for analysing Petri net extensions
A Finkel, P McKenzie, C Picaronny
Information and Computation 195 (1-2), 1-29, 2004
722004
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
662005
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
532012
Practical applications of probabilistic model checking to communication protocols
M Duflot, M Kwiatkowska, G Norman, D Parker, S Peyronnet, C Picaronny, ...
Wiley, 2012
412012
Randomized dining philosophers without fairness assumption
M Duflot, L Fribourg, C Picaronny
Distributed Computing 17 (1), 65-76, 2004
382004
Randomized finite-state distributed algorithms as Markov chains
M Duflot, L Fribourg, C Picaronny
International Symposium on Distributed Computing, 240-254, 2001
282001
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
271992
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 (1), 45-81, 2000
182000
Quelques remarques sur un thème de Knörr
C Picaronny, L Puig
Journal of Algebra 109 (1), 69-73, 1987
171987
Importance sampling for model checking of continuous time markov chains
B Barbot, S Haddad, C Picaronny
SIMUL, 30-35, 2012
92012
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
92008
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
72015
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
72010
Consortium
P Wu, K Chatzikokolakis, R Beauxis, C Picaronny, S Pinot, U PPS, ...
62019
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
42015
A well-structured framework for analysing Petri nets extensions
A Finkel, P McKenzie, C Picaronny
INFORMATION AND COMPUTATION, 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
É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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20