Infinity 2005   -   Accepted Papers and Presentations

Contributed Papers

• Refining Undecidability Border of Weak Bisimilarity
  by M. Kretinsky, V. Rehak, and J. Strejcek
  
  
• Abstract Regular Tree Model Checking
  by A. Boujjani, P. Habermehl, A. Rogalewicz and T. Vojnar
  
  
• Automatic Verification of Fault-Tolerant Register Emulations
  by P.C. Attie and H. Chockler
  
  
• Algorithmic Algebraic Model Checking III: Approximate Methods
  by V. Mysore and B. Mishra
  
  
• Liveness Checking as Safety Checking for Infinite State Spaces
  by V. Schuppan and A. Biere

Presentations on Recent or Ongoing Research

• Analysis and Prediction of the Long-Run Behaviour of Probabilistic Sequential Programs with Recursion
  by T. Brazdil (in collaboration with J. Esparza and A. Kucera)
  
  
• On the Controller Synthesis for Finite-State Markov Decision Processes
  by O. Strazovsky (in collaboration with A. Kucera)
  
  
• Optimal Reachability Timed Games
  by P. Bouyer
  
  
• A Method for the Efficient Computation of an Exact State Space Abstraction for Petri Nets with Stopwatches
  by Didier Lime (in collaboration with Morgan Magnin and Olivier H. Roux)
  
  
• Abstract Graph Transformation
  by Arend Rensink (in collaboration with Dino Distefano)