Skip to main content
Book cover
  • Conference proceedings
  • © 2022

Formal Modeling and Analysis of Timed Systems

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

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)

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

Conference proceedings info: FORMATS 2022.

Sections

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-031-15839-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 69.99
Price excludes VAT (USA)
Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (17 papers)

  1. Front Matter

    Pages i-xvi
    PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      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
      PDF

    2. Bounded Delay Timed Channel Coding

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

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

Back to top

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.
Back to top

Keywords

  • architecting
  • architecture verification and validation
  • artificial intelligence
  • automata theory
  • computer hardware
  • computer networks
  • computer programming
  • computer science
  • computer systems
  • embedded systems
  • engineering
  • formal languages
  • linguistics
  • mathematics
  • model checking
  • signal processing
  • software architecture
  • software design
  • software engineering
  • theoretical computer science
Back to top

Editors and Affiliations

  • Newcastle University, Newcastle upon Tyne, UK

    Sergiy Bogomolov

  • University of Birmingham, Birmingham, UK

    David Parker

Back to top

Bibliographic Information

Back to top
Access via your institution
eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-031-15839-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 69.99
Price excludes VAT (USA)
Learn about institutional subscriptions