Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2017

Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Editors:

  1. Alessandro Abate

    1. Department of Computer Science, University of Oxford, Oxford, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gilles Geeraerts

    1. Dept. d’Informatique, Université Libre de Bruxelles, Brussels, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): FORMATS: International Conference on Formal Modeling and Analysis of Timed Systems

Conference proceedings info: FORMATS 2017.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (19 papers)

  1. Front Matter

    Pages I-X
    PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      PDF

  3. Timed Models

    1. Front Matter

      Pages 23-23
      PDF

    2. On the Determinization of Timed Systems

      • Patricia Bouyer, Samy Jaziri, Nicolas Markey
      Pages 25-41

    3. On Global Scheduling Independency in Networks of Timed Automata

      • Sergio Feo-Arenis, Milan Vujinović, Bernd Westphal
      Pages 42-57

    4. Optimal Reachability in Cost Time Petri Nets

      • Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner
      Pages 58-73

  4. Hybrid Systems

    1. Front Matter

      Pages 75-75
      PDF

    2. Optimal Control for Multi-mode Systems with Discrete Costs

      • Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
      Pages 77-96

    4. Conic Abstractions for Hybrid Systems

      • Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong
      Pages 116-132

    5. Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata

      • Stanley Bak, Sergiy Bogomolov, Matthias Althoff
      Pages 133-150

  5. Probabilistic Models

    1. Front Matter

      Pages 151-151
      PDF

    2. Symbolic Dependency Graphs for \(\text {PCTL}^{>}_{\le }\) Model-Checking

      • Anders Mariegaard, Kim Guldstrand Larsen
      Pages 153-169

    3. Distribution-Based Bisimulation for Labelled Markov Processes

      • Pengfei Yang, David N. Jansen, Lijun Zhang
      Pages 170-186

  6. Quantitative Logics and Monitoring

    1. Front Matter

      Pages 187-187
      PDF

    2. On the Quantitative Semantics of Regular Expressions over Real-Valued Signals

      • Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus
      Pages 189-206

    3. Combining the Temporal and Epistemic Dimensions for MTL Monitoring

      • Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus
      Pages 207-223

    4. Efficient Online Timed Pattern Matching by Automata-Based Skipping

      • Masaki Waga, Ichiro Hasuo, Kohei Suenaga
      Pages 224-243

  7. Reachability Analysis

    1. Front Matter

      Pages 245-245
      PDF
Back to top

Other Volumes

  1. Formal Modeling and Analysis of Timed Systems

Back to top

About this book

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany,  in September 2017.​ 

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 modelling and analysis of timed systems and, as a generalization, hybrid systems.








Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Computer Science, University of Oxford, Oxford, United Kingdom

    Alessandro Abate

  • Dept. d’Informatique, Université Libre de Bruxelles, Brussels, Belgium

    Gilles Geeraerts

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation