© 2011

Formal Modeling and Analysis of Timed Systems

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

  • Uli Fahrenberg
  • Stavros Tripakis
  • State-of-the-art research

  • Fast-track conference proceedings

  • Unique visibility

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

    1. Jean-Francois Kempf, Marius Bozga, Oded Maler
      Pages 1-17
    2. Rajeev Alur
      Pages 25-25
  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


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.


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

Industry Sectors
IT & Software