LIX Colloquium

Reachability Problems'09

September 23rd-25th 2009

Ecole Polytechnique, France

## Main.AcceptedPapers History

Hide minor edits - Show changes to markup

September 04, 2009, at 02:27 PM
by

- Changed line 1 from:

### Accepted Papers

to:

## Accepted Papers

June 16, 2009, at 10:45 PM
by

- Changed lines 5-6 from:

- Maurice Margenstern.
*The periodic domino problem is undecidable in the hyperbolic plane.*

to:

- Maurice Margenstern.
*The periodic domino problem is undecidable in the hyperbolic plane.*

June 16, 2009, at 10:45 PM
by

- Changed lines 5-6 from:

- Maurice Margenstern.
**The periodic domino problem is undecidable in the hyperbolic plane.**

to:

- Maurice Margenstern.
*The periodic domino problem is undecidable in the hyperbolic plane.*

June 16, 2009, at 10:44 PM
by

- Changed line 5 from:

- Maurice Margenstern.
*The periodic domino problem is undecidable in the hyperbolic plane.*

to:

- Maurice Margenstern.
**The periodic domino problem is undecidable in the hyperbolic plane.**

June 16, 2009, at 10:44 PM
by

- Changed lines 7-19 from:

- Yohan Boichut, Pierre-Cyrille Heam and Olga Kouchnarenko. How to Tackle Integer Weighted Automata Positivity
- Denis Lugiez. Forward Analysis of Dynamic Networks of Pushdown Systems is Easier without Order
- Parosh Aziz Abdulla, Giorgio Delzanno and Ahmed Rezine. Automatic Verification of Directory-based Consistency Protocols
- Anil Vullikanti, Henning Mortveit and Matt Macauley. Limit Set Reachability in Asynchronous Graph Dynamical Systems
- Amaldev Manuel and R. Ramanujam. Counting multiplicity over infinite alphabets
- Christoph Minnameier and Mila Majster-Cederbaum. Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-based Systems
- Roberto Barbuti, Francesca Levi, Paolo Milazzo and Guido Scatena. Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
- Pieter Collins and Ivan Zapreev. Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems
- Kenneth McMillan and Lenore Zuck. Abstract Counterexamples for Non-Disjunctive Abstractions
- Bastien Maubert and Sophie Pinchinat. Games with Opacity Condition
- Mohamed Faouzi Atig and Peter Habermehl. On Yen's Path Logic for Petri Nets
- Mouna Chaouch-Saad, Bernadette Charron-Bost and Stephan Merz. A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
- Anil Seth. Games on Higher Order Multi-Stack Pushdown Systems

to:

- Yohan Boichut, Pierre-Cyrille Heam and Olga Kouchnarenko.
*How to Tackle Integer Weighted Automata Positivity.* - Denis Lugiez.
*Forward Analysis of Dynamic Networks of Pushdown Systems is Easier without Order.* - Parosh Aziz Abdulla, Giorgio Delzanno and Ahmed Rezine.
*Automatic Verification of Directory-based Consistency Protocols.* - Anil Vullikanti, Henning Mortveit and Matt Macauley.
*Limit Set Reachability in Asynchronous Graph Dynamical Systems.* - Amaldev Manuel and R. Ramanujam.
*Counting multiplicity over infinite alphabets.* - Christoph Minnameier and Mila Majster-Cederbaum.
*Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-based Systems.* - Roberto Barbuti, Francesca Levi, Paolo Milazzo and Guido Scatena.
*Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates.* - Pieter Collins and Ivan Zapreev.
*Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems.* - Kenneth McMillan and Lenore Zuck.
*Abstract Counterexamples for Non-Disjunctive Abstractions.* - Bastien Maubert and Sophie Pinchinat. ''Games with Opacity Condition.'
- Mohamed Faouzi Atig and Peter Habermehl.
*On Yen's Path Logic for Petri Nets.* - Mouna Chaouch-Saad, Bernadette Charron-Bost and Stephan Merz.
*A Reduction Theorem for the Verification of Round-Based Distributed Algorithms.* - Anil Seth.
*Games on Higher Order Multi-Stack Pushdown Systems.*

June 16, 2009, at 10:42 PM
by

- Changed lines 5-6 from:

- Maurice Margenstern.
*The periodic domino problem is undecidable in the hyperbolic plane* - Eero Lehtonen. An Undecidable Permutation of the Natural Numbers

to:

- Maurice Margenstern.
*The periodic domino problem is undecidable in the hyperbolic plane.* - Eero Lehtonen.
*An Undecidable Permutation of the Natural Numbers.*

June 16, 2009, at 10:42 PM
by

- Changed line 5 from:

- Maurice Margenstern. The periodic domino problem is undecidable in the hyperbolic plane

to:

- Maurice Margenstern.
*The periodic domino problem is undecidable in the hyperbolic plane*

June 16, 2009, at 10:40 PM
by

- Changed lines 1-3 from:

## Accepted Papers

to:

### Accepted Papers

(by order of submission)

June 16, 2009, at 10:39 PM
by

- Deleted line 0:

Changed line 13 from:

Kenneth McMillan and Lenore Zuck. Abstract Counterexamples for Non-Disjunctive Abstractions

to:

- Kenneth McMillan and Lenore Zuck. Abstract Counterexamples for Non-Disjunctive Abstractions

June 16, 2009, at 10:39 PM
by

- Changed lines 1-18 from:

This page will exist soon.

to:

## Accepted Papers

- Maurice Margenstern. The periodic domino problem is undecidable in the hyperbolic plane
- Eero Lehtonen. An Undecidable Permutation of the Natural Numbers
- Yohan Boichut, Pierre-Cyrille Heam and Olga Kouchnarenko. How to Tackle Integer Weighted Automata Positivity
- Denis Lugiez. Forward Analysis of Dynamic Networks of Pushdown Systems is Easier without Order
- Parosh Aziz Abdulla, Giorgio Delzanno and Ahmed Rezine. Automatic Verification of Directory-based Consistency Protocols
- Anil Vullikanti, Henning Mortveit and Matt Macauley. Limit Set Reachability in Asynchronous Graph Dynamical Systems
- Amaldev Manuel and R. Ramanujam. Counting multiplicity over infinite alphabets
- Christoph Minnameier and Mila Majster-Cederbaum. Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-based Systems
- Roberto Barbuti, Francesca Levi, Paolo Milazzo and Guido Scatena. Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
- Pieter Collins and Ivan Zapreev. Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems

Kenneth McMillan and Lenore Zuck. Abstract Counterexamples for Non-Disjunctive Abstractions

- Bastien Maubert and Sophie Pinchinat. Games with Opacity Condition
- Mohamed Faouzi Atig and Peter Habermehl. On Yen's Path Logic for Petri Nets
- Mouna Chaouch-Saad, Bernadette Charron-Bost and Stephan Merz. A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
- Anil Seth. Games on Higher Order Multi-Stack Pushdown Systems

November 12, 2008, at 09:45 PM
by

- Added line 1:

This page will exist soon.