Skip to main content
SpringerLink
Log in

Formal Modeling and Analysis of Timed Systems

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Martin Fränzle

    1. Carl von Ossietzky Universität , Oldenburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nicolas Markey

    1. LSV, ENS de Cachan , Cachan Cedex, France

    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 9884)

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

Included in the following conference series:

Conference proceedings info: FORMATS 2016.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Modeling Timed Phenomena

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency

      • Leonid W. Dworzanski
      Pages 3-18

    3. On the Expressiveness of Parametric Timed Automata

      • Étienne André, Didier Lime, Olivier H. Roux
      Pages 19-34

    4. Modelling Attack-defense Trees Using Timed Automata

      • 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
      Download chapter PDF

    2. Input/Output Stochastic Automata

      • Pedro R. D’Argenio, Matias David Lee, Raúl E. Monti
      Pages 53-68

    3. On Optimal Control of Stochastic Linear Hybrid Systems

      • Susmit Jha, Vasumathi Raman
      Pages 69-84

    4. Scheduling of Controllers’ Update-Rates for Residual Bandwidth Utilization

      • 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
      Download chapter PDF

    2. Real-Time Synthesis is Hard!

      • Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder
      Pages 105-120

    3. A Boyer-Moore Type Algorithm for Timed Pattern Matching

      • Masaki Waga, Takumi Akazaki, Ichiro Hasuo
      Pages 121-139

    4. Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata

      • Raymond Devillers, Hanna Klaudel
      Pages 140-156

    5. Distributed Algorithms for Time Optimal Reachability Analysis

      • Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
      Pages 157-173

  5. Workload Analysis

    1. Front Matter

      Pages 175-175
      Download chapter PDF

    2. Scenario-Aware Workload Characterization Based on a Max-Plus Linear Representation

      • Gustavo Patino Alvarez, Wang Jiang Chau
      Pages 177-194

    3. A Novel WCET Semantics of Synchronous Programs

      • Michael Mendler, Partha S. Roop, Bruno Bodin
      Pages 195-210

    4. Worst-Case Execution Time Analysis for Many-Core Architectures with NoC

      • Stefanos Skalistis, Alena Simalatsar
      Pages 211-227

    5. Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems

      • Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn Talcott
      Pages 228-244

  6. Back Matter

    Pages 245-245
    Download chapter PDF
Back to top

Other volumes

  1. Formal Modeling and Analysis of Timed Systems

Keywords

About this book

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.

Editors and Affiliations

  • Carl von Ossietzky Universität , Oldenburg, Germany

    Martin Fränzle

  • LSV, ENS de Cachan , Cachan Cedex, France

    Nicolas Markey

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation