Formal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

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.

List of contents

Invited Paper.- Computing the price of anarchy in atomic network congestion games.- FORMATS 2023 Main Track.- Causal Reversibility for Timed Process Calculi with Lazy/EagerDurationless Actions and Time Additivity.- Automata with Timers.- Layered controller synthesis for dynamic multi-agent systems.- On the Susceptibility of QDI Circuits to Transient Faults.- Maximum Satis ability in Mission-time Linear Temporal Logic.- A local-time semantics for negotiations.- Timed non-interference under Partial Observability and Bounded Memory.- Special track on Monitoring of cyber-physical systems Usage- and Risk-aware Falsification Testing for Cyber-Physical Systems.- Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines.

Product details

• Assisted by: Laure Petrucci (Editor), Sproston (Editor), Jeremy Sproston (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 08.12.2023
• EAN: 9783031426254
• ISBN: 978-3-0-3142625-4
• No. of pages: 181
• Dimensions: 155 mm x 10 mm x 235 mm
• Illustrations: XIV, 181 p. 66 illus., 45 illus. in color.
• Series: Lecture Notes in Computer Science
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT