Claudine Picaronny

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