Formal Modeling and Analysis of Timed Systems

First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

  • Kim Guldstrand Larsen
  • Peter Niebert
Conference proceedings FORMATS 2003

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

Table of contents

  1. Front Matter
  2. Agata Półrola, Wojciech Penczek, Maciej Szreter
    Pages 2-17
  3. Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng
    Pages 34-45
  4. Martijn Hendriks, Gerd Behrmann, Kim Larsen, Peter Niebert, Frits Vaandrager
    Pages 46-59
  5. Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
    Pages 60-72
  6. Sebastian Panek, Olaf Stursberg, Sebastian Engell
    Pages 73-87
  7. Suzana Andova, Holger Hermanns, Joost-Pieter Katoen
    Pages 88-104
  8. Marta Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
    Pages 105-120
  9. Jan Carlson, Björn Lisper
    Pages 121-133
  10. MohammadReza Mousavi, Michel Reniers, Twan Basten, Michel Chaudron
    Pages 134-150
  11. R. R. H. Schiffelers, D. A. van Beek, K. L. Man, M. A. Reniers, J. E. Rooda
    Pages 151-165
  12. Reinhard Wilhelm
    Pages 166-167
  13. Ramzi Ben Salah, Marius Bozga, Oded Maler
    Pages 204-218
  14. Libor Waszniowski, Zdenek Hanzalek
    Pages 219-233
  15. Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
    Pages 234-245
  16. Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
    Pages 246-259
  17. Franck Pommereau
    Pages 260-272
  18. Sarah Zennou, Manuel Yguel, Peter Niebert
    Pages 273-280
  19. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003.

The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time systems, discrete time systems, timed languages, and real-time operating systems.


automata formal analysis formal methods logical constraints modeling operating system optimization petri net real-time systems temporal constraints time calculus timed automata timed languages timed petri nets timed systems

Editors and affiliations

  • Kim Guldstrand Larsen
    • 1
  • Peter Niebert
    • 2
  1. 1.Dept. of Computer ScienceAalborg UniversityDenmark
  2. 2.Laboratoire d’Informatique Fondamentale de MarseilleCMIMarseille Cedex 13France

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-21671-1
  • Online ISBN 978-3-540-40903-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site