© 2017

Formal Modeling and Analysis of Timed Systems

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

  • Alessandro Abate
  • Gilles Geeraerts
Conference proceedings FORMATS 2017

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.


software engineering semantics model checking specifications timed automata comnputer software selection

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