Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

  • Alessandro Abate
  • Gilles Geeraerts

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10419)

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Talk

    1. Front Matter
      Pages 1-1
  3. Timed Models

    1. Front Matter
      Pages 23-23
    2. Patricia Bouyer, Samy Jaziri, Nicolas Markey
      Pages 25-41
    3. Sergio Feo-Arenis, Milan Vujinović, Bernd Westphal
      Pages 42-57
    4. Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner
      Pages 58-73
  4. Hybrid Systems

    1. Front Matter
      Pages 75-75
    2. Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
      Pages 77-96
    3. Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong
      Pages 116-132
    4. Stanley Bak, Sergiy Bogomolov, Matthias Althoff
      Pages 133-150
  5. Probabilistic Models

    1. Front Matter
      Pages 151-151
    2. Anders Mariegaard, Kim Guldstrand Larsen
      Pages 153-169
    3. Pengfei Yang, David N. Jansen, Lijun Zhang
      Pages 170-186
  6. Quantitative Logics and Monitoring

    1. Front Matter
      Pages 187-187
    2. Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus
      Pages 189-206
    3. Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus
      Pages 207-223
    4. Masaki Waga, Ichiro Hasuo, Kohei Suenaga
      Pages 224-243
  7. Reachability Analysis

    1. Front Matter
      Pages 245-245

About these proceedings


This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany,  in September 2017.​ 

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 modelling and analysis of timed systems and, as a generalization, hybrid systems.


Computer Science Informatics Conference Proceedings Research Applications

Editors and affiliations

  • Alessandro Abate
    • 1
  • Gilles Geeraerts
    • 2
  1. 1.Department of Computer ScienceUniversity of OxfordOxfordUnited Kingdom
  2. 2.Dept. d’InformatiqueUniversité Libre de BruxellesBrusselsBelgium

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-65764-6
  • Online ISBN 978-3-319-65765-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book