© 2008

Formal Modeling and Analysis of Timed Systems

6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

  • Editors
  • Franck Cassez
  • Claude Jard
Conference proceedings FORMATS 2008

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Session 1. Extensions of Timed Automata and Semantics

    1. Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Jiří Srba
      Pages 33-47
    2. Marcin Jurdziński, Ashutosh Trivedi
      Pages 48-62
    3. Patricia Bouyer, Thomas Brihaye, Marcin Jurdziński, Ranko Lazić, Michał Rutkowski
      Pages 63-77
    4. P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa
      Pages 78-92
  4. Session 2. Timed Games and Logic

    1. Carlo A. Furia, Matteo Rossi
      Pages 109-123
    2. Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
      Pages 124-140
    3. Aldric Degorre, Oded Maler
      Pages 141-154
  5. Session 3. Case Studies

    1. Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu
      Pages 155-169
    2. Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits Vaandrager et al.
      Pages 170-187
  6. Session 4. Model-Checking of Probabilistic Systems

  7. Session 5. Verification and Test

    1. K. Mani Chandy, Sayan Mitra, Concetta Pilotto
      Pages 218-232
    2. Jasper Berendsen, Frits Vaandrager
      Pages 233-249
    3. Julien Schmaltz, Jan Tretmans
      Pages 250-264
  8. Session 6. Time Petri Nets

About these proceedings


This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008.

The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.


Qos distributed systems embedded systems formal analysis formal methods formal modeling formal verification iterative system tuning logical constraints model checking modeling refinement simulation statistical formal verification

Bibliographic information

Industry Sectors
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment