© 2009

Formal Modeling and Analysis of Timed Systems

7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

  • Joël Ouaknine
  • Frits W. Vaandrager
Conference proceedings FORMATS 2009

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

Table of contents

  1. Front Matter
  2. Nikolaj Bjørner, Leonardo de Moura
    Pages 1-6
  3. Eugene Asarin, Aldric Degorre
    Pages 13-27
  4. Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
    Pages 28-42
  5. Anne Bouillard, Stefan Haar, Sidney Rosario
    Pages 43-57
  6. Víctor Braberman, Diego Garbervestky, Nicolás Kicillof, Daniel Monteverde, Alfredo Olivero
    Pages 58-72
  7. Peter Bulychev, Thomas Chatain, Alexandre David, Kim G. Larsen
    Pages 73-87
  8. Ashish Chiplunkar, Shankara Narayanan Krishna, Chinmay Jain
    Pages 88-102
  9. Christian Colombo, Gordon J. Pace, Gerardo Schneider
    Pages 103-117
  10. Cătălin Dima, Ruggero Lanotte
    Pages 118-132
  11. Laurent Doyen, Gilles Geeraerts, Jean-Francois Raskin, Julien Reichert
    Pages 133-148
  12. Pierre Ganty, Rupak Majumdar
    Pages 164-178
  13. Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer
    Pages 195-211
  14. Marta Kwiatkowska, Gethin Norman, David Parker
    Pages 212-227

About these proceedings


This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009.

The 18 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 40 submissions. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling and analysis of timed systems.Typical topics include (but are not limited to):

– Foundations and Semantics. Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models).

– Methods and Tools. Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.).

– Applications. Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication).


Ada Analysis Constraint Scheduling Turing algorithms data structures modeling testing

Editors and affiliations

  • Joël Ouaknine
    • 1
  • Frits W. Vaandrager
    • 2
  1. 1.Computing LaboratoryOxford UniversityOxfordUK
  2. 2.Institute for Computing and Information Sciences Radboud University Nijmegen NijmegenThe Netherlands

Bibliographic information