Claudine Picaronny

According to our database1, Claudine Picaronny
  • authored at least 13 papers between 1997 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2015
Polynomial Interrupt Timed Automata.
CoRR, 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

Randomized dining philosophers without fairness assumption.
Distributed Computing, 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


  Loading...