Formal Modeling and Analysis of Timed Systems

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

  • Martin Fränzle
  • Nicolas Markey
Conference proceedings FORMATS 2016

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

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Modeling Timed Phenomena

    1. Front Matter
      Pages 1-1
    2. Étienne André, Didier Lime, Olivier H. Roux
      Pages 19-34
    3. Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen
      Pages 35-50
  3. Stochasticity and Hybrid Control

    1. Front Matter
      Pages 51-51
    2. Pedro R. D’Argenio, Matias David Lee, Raúl E. Monti
      Pages 53-68
    3. Susmit Jha, Vasumathi Raman
      Pages 69-84
    4. Majid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta, Manuel Mazo Jr.
      Pages 85-101
  4. Real-Time Verification and Synthesis

    1. Front Matter
      Pages 103-103
    2. Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder
      Pages 105-120
    3. Masaki Waga, Takumi Akazaki, Ichiro Hasuo
      Pages 121-139
    4. Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
      Pages 157-173
  5. Workload Analysis

    1. Front Matter
      Pages 175-175
    2. Gustavo Patino Alvarez, Wang Jiang Chau
      Pages 177-194
    3. Michael Mendler, Partha S. Roop, Bruno Bodin
      Pages 195-210
    4. Stefanos Skalistis, Alena Simalatsar
      Pages 211-227
    5. Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn Talcott
      Pages 228-244
  6. Back Matter
    Pages 245-245

About these proceedings


This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016.

The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.


hybrid systems model checking Petri nets synchronous programming time semantics approximation automata theory computation by abstract devices computer applications hybrid systems modeling nested petri nets network calculus parametric timed automata polynomial algorithms real-time systems software engineering temporal logic timed automata

Editors and affiliations

  • Martin Fränzle
    • 1
  • Nicolas Markey
    • 2
  1. 1.Carl von Ossietzky Universität OldenburgGermany
  2. 2.LSV, ENS de Cachan Cachan CedexFrance

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-44877-0
  • Online ISBN 978-3-319-44878-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site