Accepted Papers

Stephane Demri. On Selective Unboundedness (Regular) [Slides] Hanifa Boucheneb, and Kamel Barkaoui. On interleaving in {P,A}-Time Petri nets with strong semantics (Regular)[Slides] Etienne Andre. IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata (Tool) [Slides] Frederic Peschanski, Hanna Klaudel, and Raymond Devillers. A Decidable Characterization of a Graphical Pi-calculus with Iterators (Regular)[Slides] Nathalie Bertrand and Christophe Morvan. Probabilistic Regular Graphs (Regular) [Slides] Bernard Boigelot, Julien Brusten, and Jean-Francois Degbomont. Implicit Real Vector Automata (Regular)[Slides] Oded Maler, Bruce Krogh, and Kim G. Larsen. On Zone-Based Analysis of Duration Probabilistic Automata (Regular) [Slides]