# Claudine Picaronny

According to our database

Collaborative distances:

^{1}, Claudine Picaronny authored at least 11 papers between 1997 and 2015.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2015

Polynomial Interrupt Timed Automata.

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

2012

Coupling and Importance Sampling for Statistical Model Checking.

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.

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

2006

Coupling and self-stabilization.

Distributed Computing, 2006

2005

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

Electr. Notes Theor. Comput. Sci., 2005

2004

A well-structured framework for analysing petri net extensions.

Inf. Comput., 2004

Coupling and Self-stabilization..

Proceedings of the Distributed Computing, 18th International Conference, 2004

2002

Randomized Dining Philosophers without Fairness Assumption.

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

2001

Randomized Finite-State Distributed Algorithms as Markov Chains.

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

2000

Accepting Zeno words: a way toward timed refinements.

Acta Inf., 2000

1997

Accepting Zeno Words Without Making Time Stand Still.

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997