Formal Modeling and Analysis of Timed Systems

9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

  • Uli Fahrenberg
  • Stavros Tripakis
Conference proceedings FORMATS 2011
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6919)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Session 1: Probabilistic Models

    1. Taolue Chen, Marco Diciolla, Marta Kwiatkowska, Alexandru Mereacre
      Pages 26-42
    2. Bart Theelen, Marc Geilen, Jeroen Voeten
      Pages 43-59
    3. Lucian Bentea, Peter Csaba Ölveczky
      Pages 60-79
    4. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Jonas van Vliet et al.
      Pages 80-96
  4. Session 2: Robustness

    1. Patricia Bouyer, Nicolas Markey, Ocan Sankur
      Pages 97-112
    2. Nicolas Basset, Eugene Asarin
      Pages 113-128
    3. Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wąsowski
      Pages 129-144
  5. Session 3: Games

    1. Krishnendu Chatterjee, Rupak Majumdar
      Pages 145-159
    2. Jan-David Quesel, Martin Fränzle, Werner Damm
      Pages 160-176
  6. Session 4: Verification and Testing

    1. Bahareh Badban, Martin Lange
      Pages 177-192
    2. Matthias Woehrle, Kai Lampka, Lothar Thiele
      Pages 193-208
    3. Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
      Pages 209-224
    4. Dileep Raghunath Kini, Shankara Narayanan Krishna, Paritosh K. Pandya
      Pages 225-239
  7. Session 5: Verification

    1. Stefan Kupferschmid, Bernd Becker
      Pages 240-255
    2. Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
      Pages 256-270
  8. Session 6: Hybrid Systems

    1. Tomáš Dzetkulič, Stefan Ratschan
      Pages 271-285

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.

Keywords

computational geometry embedded systems model checking performance evaluation timed automata

Editors and affiliations

  • Uli Fahrenberg
    • 1
  • Stavros Tripakis
    • 2
  1. 1.IRISA/INRIA Rennes, Campus BeaulieuRennes CedexFrance
  2. 2.University of CaliforniaBerkeleyUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-24310-3
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-24309-7
  • Online ISBN 978-3-642-24310-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book