© 2018

Formal Modeling and Analysis of Timed Systems

16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

  • David N. Jansen
  • Pavithra Prabhakar
Conference proceedings FORMATS 2018

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

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

Table of contents

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

    1. Front Matter
      Pages 1-1
    2. Jyotirmoy V. Deshmukh, Panagiotis Kyriakis, Paul Bogdan
      Pages 3-16
    3. Edward A. Lee
      Pages 17-33
  3. Temporal Logics

    1. Front Matter
      Pages 35-35
    2. Étienne André, Didier Lime, Mathias Ramparison
      Pages 37-52
    3. Adrián Elgyütt, Thomas Ferrère, Thomas A. Henzinger
      Pages 53-70
    4. Salar Moarref, Hadas Kress-Gazit
      Pages 71-87
  4. Distributed Timed Systems

    1. Front Matter
      Pages 89-89
    2. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna
      Pages 91-107
    3. Kamel Barkaoui, Hanifa Boucheneb
      Pages 108-124
  5. Behavioral Equivalences

  6. Timed Words

    1. Front Matter
      Pages 197-197
    2. Eugene Asarin, Nicolas Basset, Aldric Degorre
      Pages 199-214
    3. Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin
      Pages 215-232
  7. Continuous Dynamical Systems

    1. Front Matter
      Pages 233-233

About these proceedings


This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018.

The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: invited papers, temporal logics, distributed timed systems, behavioral equivalences, timed words, and continuous dynamical systems. 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 modeling and analysis of timed systems and, as a generalization, hybrid systems.


artificial intelligence matrix algebra model checking problem solving robots semantics software engineering specifications temporal logic timed automata translation (languages)

Editors and affiliations

  1. 1.Institute of Software, Chinese Academy of SciencesBeijingChina
  2. 2.Kansas State UniversityManhattanUSA

Bibliographic information

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