© 2020

Formal Modeling and Analysis of Timed Systems

18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings

  • Nathalie Bertrand
  • Nils Jansen
Conference proceedings FORMATS 2020

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

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

Table of contents

  1. Front Matter
    Pages i-x
  2. Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate
    Pages 1-22
  3. Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
    Pages 23-40
  4. Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
    Pages 58-75
  5. Nicolas Basset, Thao Dang, Akshay Mambakam, José Ignacio Requeno Jarabo
    Pages 76-93
  6. Thomas Brihaye, Aline Goeminne
    Pages 94-110
  7. Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré
    Pages 111-126
  8. Martin Kölbl, Stefan Leue, Robert Schmid
    Pages 127-143
  9. Léo Henry, Thierry Jéron, Nicolas Markey
    Pages 144-160
  10. Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa’ul Mufid
    Pages 161-177
  11. Xin Qin, Jyotirmoy V. Deshmukh
    Pages 178-195
  12. Brian Kempa, Pei Zhang, Phillip H. Jones, Joseph Zambreno, Kristin Yvonne Rozier
    Pages 196-214
  13. Edoardo Bacci, David Parker
    Pages 231-248
  14. Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur
    Pages 249-264
  15. Dongxu Li, Stanley Bak, Sergiy Bogomolov
    Pages 265-282
  16. Wolfgang Granig, Stefan Jakšić, Horst Lewitschnig, Cristinel Mateis, Dejan Ničković
    Pages 283-299
  17. Back Matter
    Pages 301-301

About these proceedings


This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020.
The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints.

Due to the Corona pandemic this conference was held as a virtual event.


formal methods timed systems semantics verification performance analysis logics data-driven methods probabilities scheduling constraint solving mathematics embedded systems software design architecting software engineering computer systems model checking automata theory

Editors and affiliations

  1. 1.InriaUniversité de RennesRennesFrance
  2. 2.Radboud UniversityNijmegenThe Netherlands

Bibliographic information