Skip to main content
SpringerLink
Log in

Formal Modeling and Analysis of Timed Systems

21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Laure Petrucci

    1. Université Sorbonne Paris Nord, Villetaneuse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jeremy Sproston

    1. University of Turin, Turin, Italy

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

Included in the following conference series:

Conference proceedings info: FORMATS 2023.

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

About this book

This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length. The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic systems.




Keywords

Table of contents (10 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  3. FORMATS 2023 Main Track

    1. Front Matter

      Pages 13-13
      Download chapter PDF

    2. Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity

      • Marco Bernardo, Claudio A. Mezzina
      Pages 15-32

    3. Automata with Timers

      • Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
      Pages 33-49

    4. Layered Controller Synthesis for Dynamic Multi-agent Systems

      • Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier
      Pages 50-68

    5. On the Susceptibility of QDI Circuits to Transient Faults

      • Raghda El Shehaby, Matthias Függer, Andreas Steininger
      Pages 69-85

    6. Maximum Satisfiability of Mission-Time Linear Temporal Logic

      • Gokul Hariharan, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn
      Pages 86-104

    7. A Local-Time Semantics for Negotiations

      • Madhavan Mukund, Adwitee Roy, B. Srivathsan
      Pages 105-121

    8. Timed Non-interference Under Partial Observability and Bounded Memory

      • Anthony Spriet, Didier Lime, Olivier H. Roux
      Pages 122-137

  4. Special Track on Monitoring of Cyber-Physical Systems

    1. Front Matter

      Pages 139-139
      Download chapter PDF

    2. Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems

      • Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman
      Pages 141-157

    3. Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines

      • Pei Zhang, Alexis Aurandt, Rohit Dureja, Phillip H. Jones, Kristin Yvonne Rozier
      Pages 158-180

  5. Back Matter

    Pages 181-181
    Download chapter PDF
Back to top

Other volumes

  1. Formal Modeling and Analysis of Timed Systems

Editors and Affiliations

  • Université Sorbonne Paris Nord, Villetaneuse, France

    Laure Petrucci

  • University of Turin, Turin, Italy

    Jeremy Sproston

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation