Skip to main content
SpringerLink
Log in
Book cover

Formal Modeling and Analysis of Timed Systems

17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Étienne André

    1. Université Paris 13, Villetaneuse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mariëlle Stoelinga

    1. University of Twente, Enschede, The Netherlands

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

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

Included in the following conference series:

Conference proceedings info: FORMATS 2019.

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 (17 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Special Session on Data-Driven and Stochastic Approaches to Real-Time, Including Monitoring and Big Data

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata

      • Masaki Waga
      Pages 3-22

    3. Assessing the Robustness of Arrival Curves Models for Real-Time Systems

      • Mahmoud Salem, Gonzalo Carvajal, Tong Liu, Sebastian Fischmeister
      Pages 23-40

    4. Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring

      • Rehab Massoud, Hoang M. Le, Rolf Drechsler
      Pages 41-58

    5. Mixed-Time Signal Temporal Logic

      • Thomas Ferrère, Oded Maler, Dejan Ničković
      Pages 59-75

  3. Timed Systems

    1. Front Matter

      Pages 77-77
      Download chapter PDF

    2. A State Class Construction for Computing the Intersection of Time Petri Nets Languages

      • Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
      Pages 79-95

    3. Stability and Performance Bounds in Cyclic Networks Using Network Calculus

      • Anne Bouillard
      Pages 96-113

    4. ParetoLib: A Python Library for Parameter Synthesis

      • Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo
      Pages 114-120

  4. Linear and Non-linear Systems

    1. Front Matter

      Pages 121-121
      Download chapter PDF

    2. Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty

      • Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger
      Pages 123-141

    3. Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions

      • Muhammad Syifa’ul Mufid, Dieky Adzkiya, Alessandro Abate
      Pages 142-159

    4. Reachability Analysis for High-Index Linear Differential Algebraic Equations

      • Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson
      Pages 160-177

  5. Timed Automata

    1. Front Matter

      Pages 179-179
      Download chapter PDF

    2. The Timestamp of Timed Automata

      • Amnon Rosenmann
      Pages 181-198

    3. On the Distance Between Timed Automata

      • Amnon Rosenmann
      Pages 199-215

    4. Time to Learn – Learning Timed Automata from Tests

      • Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber
      Pages 216-235

    5. Munta: A Verified Model Checker for Timed Automata

      • Simon Wimmer
      Pages 236-243

  6. Special Session on Timed Systems and Probabilities

    1. Front 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 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019.

The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: special session on data-driven and stochastic approaches to real-time, including monitoring and Big Data; timed systems; linear and non-linear systems; timed automata; special session on timed systems and probabilities.



Editors and Affiliations

  • Université Paris 13, Villetaneuse, France

    Étienne André

  • University of Twente, Enschede, The Netherlands

    Mariëlle Stoelinga

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation