Formal Modeling and Analysis of Timed Systems

5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

  • Editors
  • Jean-François Raskin
  • P. S. Thiagarajan
Conference proceedings FORMATS 2007

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

Table of contents

  1. Front Matter
  2. Joost-Pieter Katoen
    Pages 1-3
  3. Bruce H. Krogh
    Pages 4-4
  4. Sara Adams, Joël Ouaknine, James Worrell
    Pages 25-37
  5. Grégory Batt, Ramzi Ben Salah, Oded Maler
    Pages 38-52
  6. Patricia Bouyer, Nicolas Markey
    Pages 53-68
  7. Víctor Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik
    Pages 69-81
  8. Fabrice Chevalier, Deepak D’Souza, Pavithra Prabhakar
    Pages 82-97
  9. Pieter J. L. Cuijpers, Reinder J. Bril
    Pages 98-113
  10. Henning Dierks, Sebastian Kupferschmid, Kim G. Larsen
    Pages 114-129
  11. Georgios E. Fainekos, George J. Pappas
    Pages 147-162
  12. Carlo Alberto Furia, Matteo Rossi
    Pages 163-178
  13. Sergio Giro, Pedro R. D’Argenio
    Pages 179-194
  14. Rodolfo Gómez, Howard Bowman
    Pages 195-210
  15. John Håkansson, Paul Pettersson
    Pages 211-226
  16. Jan Jakoh Jessen, Jacob Illum Rasmussen, Kim G. Larsen, Alexandre David
    Pages 227-240
  17. Susmit Jha, Bryan A. Brady, Sanjit A. Seshia
    Pages 241-256
  18. Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian
    Pages 257-273
  19. Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat
    Pages 290-303
  20. Dejan Nickovic, Oded Maler
    Pages 304-319
  21. Andreas Podelski, Silke Wagner
    Pages 320-335
  22. Anne Remke, Boudewijn R. Haverkort
    Pages 336-351
  23. Back Matter

About these proceedings


This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed systems are addressed and results reportingnewapplicationdomainsareactivelyencouraged.Further,invitedtalks that survey various aspects of this broad research domain were presented at the conference. FORMATS 2007 was co-located (during October 3–5) as a guest conference attheEmbeddedSystemsWeek,whichconstitutesaweek-longeventthatbrings togetherconferences,tutorialsandworkshopsdealingwithvariousaspectsof- bedded systemsresearchanddevelopment. Embedded Systems Week took place this year at Salzburg, Austria during September 30 - October 5, 2007. Detailed information about FORMATS 2007 can be found at di/formats07, while provides an overview of the - bedded Systems Week Event. We would like to thank the organizers of the - bedded Systems Week for enabling FORMATS 2007 to be co-located at this exciting event and for providing valuable logistics support.


Algorithms Automat algorithm automata data structure data structures modeling optimization petri net real-time semantics tools

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-75453-4
  • Online ISBN 978-3-540-75454-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software