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
    2. Loïg Jezequel, Didier Lime
      Pages 247-263
    3. Tamás Tóth, István Majzik
      Pages 264-280
    4. Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan
      Pages 281-299
  8. Testing and Simulation

    1. Front Matter
      Pages 301-301
    2. Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
      Pages 318-334
    3. Rehab Massoud, Jannis Stoppe, Daniel Große, Rolf Drechsler
      Pages 335-351
  9. Back Matter
    Pages 353-353

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

Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment