VLDB 2026 Research / reviewers in the wild / expert
Claudine Picaronny
dblp:p/ClaudinePicaronny
· DBLP profile ↗
9ranked-venue papers
0as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 1 since 2021Systems, architecture and hardware · 2Software engineering, systems software and programming languages · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Polynomial interrupt timed automata: Verification and expressiveness
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas |
Inf. Comput. | 3 |
| 2012 | Coupling and Importance Sampling for Statistical Model Checking
Benoît Barbot, Serge Haddad, Claudine Picaronny |
TACAS | 3 |
| 2006 | Coupling and self-stabilization
Laurent Fribourg, Stéphane Messika, Claudine Picaronny |
Distributed Comput. | 3 |
| 2004 | Coupling and Self-stabilization
Laurent Fribourg, Stéphane Messika, Claudine Picaronny |
DISC | 3 |
| 2004 | Randomized dining philosophers without fairness assumption
Marie Duflot, Laurent Fribourg, Claudine Picaronny |
Distributed Comput. | 3 |
| 2004 | A well-structured framework for analysing petri net extensions
Alain Finkel, Pierre McKenzie, Claudine Picaronny |
Inf. Comput. | 3 |
| 2001 | Randomized Finite-State Distributed Algorithms as Markov Chains
Marie Duflot, Laurent Fribourg, Claudine Picaronny |
DISC | 3 |
| 2000 | Accepting Zeno words: a way toward timed refinements
Béatrice Bérard, Claudine Picaronny |
Acta Informatica | 2 |
| 1997 | Accepting Zeno Words Without Making Time Stand Still
Béatrice Bérard, Claudine Picaronny |
MFCS | 2 |