According to our database1, Claudine Picaronny authored at least 11 papers between 1997 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Polynomial Interrupt Timed Automata.
Proceedings of the Reachability Problems - 9th International Workshop, 2015
Coupling and Importance Sampling for Statistical Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
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
Coupling and self-stabilization.
Distributed Computing, 2006
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.
Electr. Notes Theor. Comput. Sci., 2005
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
Randomized Dining Philosophers without Fairness Assumption.
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002
Randomized Finite-State Distributed Algorithms as Markov Chains.
Proceedings of the Distributed Computing, 15th International Conference, 2001
Accepting Zeno words: a way toward timed refinements.
Acta Inf., 2000
Accepting Zeno Words Without Making Time Stand Still.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997