3. RP 2009: Palaiseau, France

• Mohamed Faouzi Atig, Ahmed Bouajjani:
  On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems. 1-2
  
• Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf:
  Formalisms for Specifying Markovian Population Models. 3-23
  
• Oded Maler:
  Reachability for Continuous and Hybrid Systems. 24-25
  
• Alexander Shen:
  Algorithmic Information Theory and Foundations of Probability. 26-34
  
• Moshe Y. Vardi:
  Model Checking as A Reachability Problem. 35
  
• Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
  Automatic Verification of Directory-Based Consistency Protocols. 36-50
  
• Mohamed Faouzi Atig, Peter Habermehl:
  On Yen's Path Logic for Petri Nets. 51-63
  
• Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena:
  Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. 64-78
  
• Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko:
  How to Tackle Integer Weighted Automata Positivity. 79-92
  
• Mouna Chaouch-Saad, Bernadette Charron-Bost, Stephan Merz:
  A Reduction Theorem for the Verification of Round-Based Distributed Algorithms. 93-106
  
• Pieter Collins, Ivan S. Zapreev:
  Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems. 107-119
  
• Eero Lehtonen:
  An Undecidable Permutation of the Natural Numbers. 120-126
  
• Denis Lugiez:
  Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order. 127-140
  
• Amaldev Manuel, R. Ramanujam:
  Counting Multiplicity over Infinite Alphabets. 141-153
  
• Maurice Margenstern:
  The Periodic Domino Problem Is Undecidable in the Hyperbolic Plane. 154-165
  
• Bastien Maubert, Sophie Pinchinat:
  Games with Opacity Condition. 166-175
  
• Kenneth L. McMillan, Lenore D. Zuck:
  Abstract Counterexamples for Non-disjunctive Abstractions. 176-188
  
• Mila E. Majster-Cederbaum, Christoph Minnameier:
  Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems. 189-202
  
• Anil Seth:
  Games on Higher Order Multi-stack Pushdown Systems. 203-216
  
• V. S. Anil Kumar, Matt Macauley, Henning S. Mortveit:
  Limit Set Reachability in Asynchronous Graph Dynamical Systems. 217-232