Reachability Problems

5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings

  • Giorgio Delzanno
  • Igor Potapov
Conference proceedings RP 2011

DOI: 10.1007/978-3-642-24288-5

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6945)

Table of contents

  1. Front Matter
  2. Krishnendu Chatterjee
    Pages 1-1
  3. Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
    Pages 2-25
  4. Jean-François Raskin
    Pages 28-30
  5. Étienne André, Romain Soulat
    Pages 31-44
  6. Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro
    Pages 58-71
  7. Yohan Boichut, Thi-Bich-Hanh Dao, Valérie Murat
    Pages 72-84
  8. Alessandro Carioni, Silvio Ghilardi, Silvio Ranise
    Pages 110-124
  9. Parosh Aziz Abdulla, Jonathan Cederberg, Tomáš Vojnar
    Pages 125-138
  10. Xin Chen, Erika Ábrahám, Goran Frehse
    Pages 139-152
  11. Christian E. J. Eggermont, Gerhard J. Woeginger
    Pages 153-164
  12. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
    Pages 165-179
  13. Malcolm Mumme, Gianfranco Ciardo
    Pages 218-230

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, RP 2011, held in Genoa, Italy, in September 2011.
The 16 papers presented together with 4 invited talks were carefully reviewed and selected from 24 submissions. The workshop deals with reachability problems that appear in algebraic structures, computational models, hybrid systems, logic, and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modelled as games.

Keywords

algorithms cellular automata computational complexity real-time systems timed automata

Editors and affiliations

  • Giorgio Delzanno
    • 1
  • Igor Potapov
    • 2
  1. 1.Dipartimento di Informatica e Scienze dell’InformazioneUniversità di GenovaGenoaItaly
  2. 2.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK

Bibliographic information

  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-24287-8
  • Online ISBN 978-3-642-24288-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349