Formal Modeling and Analysis of Timed Systems

17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

  • Étienne André
  • Mariëlle Stoelinga
Conference proceedings FORMATS 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Special Session on Data-Driven and Stochastic Approaches to Real-Time, Including Monitoring and Big Data

    1. Front Matter
      Pages 1-1
    2. Mahmoud Salem, Gonzalo Carvajal, Tong Liu, Sebastian Fischmeister
      Pages 23-40
    3. Rehab Massoud, Hoang M. Le, Rolf Drechsler
      Pages 41-58
    4. Thomas Ferrère, Oded Maler, Dejan Ničković
      Pages 59-75
  3. Timed Systems

    1. Front Matter
      Pages 77-77
    2. Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
      Pages 79-95
    3. Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo
      Pages 114-120
  4. Linear and Non-linear Systems

    1. Front Matter
      Pages 121-121
    2. Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger
      Pages 123-141
    3. Muhammad Syifa’ul Mufid, Dieky Adzkiya, Alessandro Abate
      Pages 142-159
    4. Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson
      Pages 160-177
  5. Timed Automata

    1. Front Matter
      Pages 179-179
    2. Amnon Rosenmann
      Pages 181-198
    3. Amnon Rosenmann
      Pages 199-215
    4. Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber
      Pages 216-235
  6. Special Session on Timed Systems and Probabilities

    1. Front Matter
      Pages 245-245
    2. Bingzhuo Zhong, Majid Zamani, Marco Caccamo
      Pages 247-264
    3. Andrea Marin, Carla Piazza, Sabina Rossi
      Pages 265-281
    4. Shibashis Guha, Ashutosh Trivedi
      Pages 282-300
  7. Back Matter
    Pages 301-301

About these proceedings


This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019.

The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: special session on data-driven and stochastic approaches to real-time, including monitoring and Big Data; timed systems; linear and non-linear systems; timed automata; special session on timed systems and probabilities.


artificial intelligence cyber physical systems (cpss) embedded systems model checking real time systems software engineering specifications temporal logic timed automata

Editors and affiliations

  1. 1.Université Paris 13VilletaneuseFrance
  2. 2.University of TwenteEnschedeThe Netherlands

Bibliographic information

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