Formal Modeling and Analysis of Timed Systems

10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

  • Marcin Jurdziński
  • Dejan Ničković
Conference proceedings FORMATS 2012

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Regular Papers

    1. S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux
      Pages 11-26
    2. Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre, Dominique Perrin
      Pages 27-42
    3. Nathalie Bertrand, Sven Schewe
      Pages 43-58
    4. Chris Chilton, Marta Kwiatkowska, Xu Wang
      Pages 75-90
    5. Andreas E. Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol
      Pages 91-106
    6. Rayna Dimitrova, Bernd Finkbeiner
      Pages 107-122
    7. Christian Ellen, Sebastian Gerwinn, Martin Fränzle
      Pages 123-138
    8. Hamed Ghasemieh, Anne Remke, Boudewijn Haverkort, Marco Gribaudo
      Pages 139-154
    9. Christian Herrera, Bernd Westphal, Sergio Feo-Arenis, Marco Muñiz, Andreas Podelski
      Pages 155-170
    10. Roland Kindermann, Tommi Junttila, Ilkka Niemelä
      Pages 171-187
    11. Marco Muñiz, Bernd Westphal, Andreas Podelski
      Pages 188-203
    12. Amélie Stainer
      Pages 236-251
    13. Martin Wehrle, Sebastian Kupferschmid
      Pages 252-266
  4. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012.
The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits.

Keywords

automated verification complexity analysis model checking symbolic reachability timed automata

Editors and affiliations

  • Marcin Jurdziński
    • 1
  • Dejan Ničković
    • 2
  1. 1.Department of Computer ScienceUniversity of WarwickCoventryUK
  2. 2.Business Unit Safe and Autonomous Systems, Department of Safety and SecurityAIT Austrian Institute of TechnologyViennaAustria

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-33365-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33364-4
  • Online ISBN 978-3-642-33365-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Aerospace