Claudine Picaronny

According to our database, Claudine Picaronny authored at least 11 papers between 1997 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Polynomial interrupt timed automata: Verification and expressiveness.

Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas

Inf. Comput., 2021

2015

Polynomial Interrupt Timed Automata.

Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas

Proceedings of the Reachability Problems - 9th International Workshop, 2015

2012

Coupling and Importance Sampling for Statistical Model Checking.

Benoît Barbot, Serge Haddad, Claudine Picaronny

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2008

Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata.

Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2006

Coupling and self-stabilization.

Laurent Fribourg, Stéphane Messika, Claudine Picaronny

Distributed Comput., 2006

2004

A well-structured framework for analysing petri net extensions.

Alain Finkel, Pierre McKenzie, Claudine Picaronny

Inf. Comput., 2004

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.

Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Randomized dining philosophers without fairness assumption.

Marie Duflot, Laurent Fribourg, Claudine Picaronny

Distributed Comput., 2004

2001

Randomized Finite-State Distributed Algorithms as Markov Chains.

Marie Duflot, Laurent Fribourg, Claudine Picaronny

Proceedings of the Distributed Computing, 15th International Conference, 2001

2000

Accepting Zeno words: a way toward timed refinements.

Béatrice Bérard, Claudine Picaronny

Acta Informatica, 2000

1997

Accepting Zeno Words Without Making Time Stand Still.

Béatrice Bérard, Claudine Picaronny

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997