Claudine Picaronny

Publication Activity (10 Years)

Years Active: 1997-2021
Publications (10 Years): 1

Top Topics

Orthogonal Polynomials

Importance Sampling

Top Venues

Publications

Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
Polynomial interrupt timed automata: Verification and expressiveness. Inf. Comput. 277 (2021)
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
Polynomial Interrupt Timed Automata. CoRR (2015)
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
Polynomial Interrupt Timed Automata. RP (2015)
Benoît Barbot, Serge Haddad, Claudine Picaronny
Coupling and Importance Sampling for Statistical Model Checking. TACAS (2012)
Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. QEST (2008)
Laurent Fribourg, Stéphane Messika, Claudine Picaronny
Coupling and self-stabilization. Distributed Comput. 18 (3) (2006)
Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Laurent Fribourg, Stéphane Messika, Claudine Picaronny
Coupling and Self-stabilization.. DISC (2004)
Marie Duflot, Laurent Fribourg, Claudine Picaronny
Randomized dining philosophers without fairness assumption. Distributed Comput. 17 (1) (2004)
Alain Finkel, Pierre McKenzie, Claudine Picaronny
A well-structured framework for analysing petri net extensions. Inf. Comput. 195 (1-2) (2004)
Marie Duflot, Laurent Fribourg, Claudine Picaronny
Randomized Dining Philosophers without Fairness Assumption. IFIP TCS (2002)
Marie Duflot, Laurent Fribourg, Claudine Picaronny
Randomized Finite-State Distributed Algorithms as Markov Chains. DISC (2001)
Béatrice Bérard, Claudine Picaronny
Accepting Zeno words: a way toward timed refinements. Acta Informatica 37 (1) (2000)
Béatrice Bérard, Claudine Picaronny
Accepting Zeno Words Without Making Time Stand Still. MFCS (1997)