Advertisement

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
    2. Susmit Jha, Sunny Raj, Sumit Kumar Jha, Natarajan Shankar
      Pages 235-251
    3. Meilun Li, Peter N. Mosaad, Martin Fränzle, Zhikun She, Bai Xue
      Pages 252-270
    4. Muhammad Syifa’ul Mufid, Dieky Adzkiya, Alessandro Abate
      Pages 271-287
  8. Back Matter
    Pages 289-289

About these proceedings

Introduction

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.


Keywords

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

  • DOI https://doi.org/10.1007/978-3-030-00151-3
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-00150-6
  • Online ISBN 978-3-030-00151-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site