Skip to main content
SpringerLink
Log in

Formal Modeling and Analysis of Timed Systems

20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Sergiy Bogomolov

    1. Newcastle University, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David Parker

    1. University of Birmingham, Birmingham, UK

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

Included in the following conference series:

Conference proceedings info: FORMATS 2022.

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 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.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. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Algebraic Model Checking for Discrete Linear Dynamical Systems

      • Florian Luca, Joël Ouaknine, James Worrell
      Pages 3-15Open Access

    3. Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?

      • Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan
      Pages 16-42

    4. Monitoring Timed Properties (Revisited)

      • Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann
      Pages 43-62

  3. Probabilistic and Timed Systems

    1. Front Matter

      Pages 63-63
      Download chapter PDF

    2. Bounded Delay Timed Channel Coding

      • Bernardo Jacobo Inclán, Aldric Degorre, Eugene Asarin
      Pages 65-79

    3. Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems

      • Yiming Meng, Jun Liu
      Pages 80-97

    4. Model Checking for Entanglement Swapping

      • Surya Sai Teja Desu, Anubhav Srivastava, M. V. Panduranga Rao
      Pages 98-114

  4. Temporal Logic

    1. Front Matter

      Pages 115-115
      Download chapter PDF

    2. An STL-Based Formulation of Resilience in Cyber-Physical Systems

      • Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti
      Pages 117-135

    3. MITL Verification Under Timing Uncertainty

      • Daniel Selvaratnam, Michael Cantoni, J. M. Davoren, Iman Shames
      Pages 136-152

    4. Classification of Driving Behaviors Using STL Formulas: A Comparative Study

      • Ruya Karagulle, Nikos Aréchiga, Jonathan DeCastro, Necmiye Ozay
      Pages 153-162

  5. Timed Automata and Games

    1. Front Matter

      Pages 163-163
      Download chapter PDF

    2. Timed Games with Bounded Window Parity Objectives

      • James C. A. Main, Mickael Randour, Jeremy Sproston
      Pages 165-182

    3. Non-blind Strategies in Timed Network Congestion Games

      • Aline Goeminne, Nicolas Markey, Ocan Sankur
      Pages 183-199

    4. Efficient Convex Zone Merging in Parametric Timed Automata

      • Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
      Pages 200-218

  6. Neural Networks

    1. Front Matter

      Pages 219-219
      Download chapter PDF

    2. Neural Network Repair with Reachability Analysis

      • Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil Prokhorov
      Pages 221-236

    3. On Neural Network Equivalence Checking Using SMT Solvers

      • Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis
      Pages 237-257
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 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were carefully reviewed and selected from 30 submissions are presented in this volume with 3 full-length papers associated with invited/anniversary talks. The papers focus on topics such as modelling, design and analysis of timed computational systems. The conference aims in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems.

Editors and Affiliations

  • Newcastle University, Newcastle upon Tyne, UK

    Sergiy Bogomolov

  • University of Birmingham, Birmingham, UK

    David Parker

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation