Formal Modeling and Analysis of Timed Systems
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Published on 29. August 2023
Book
Paperback/Softback
XIV, 181 pages
978-3-031-42625-4 (ISBN)
Description
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.
More details
Series
Edition
1st ed. 2023
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
21 s/w Abbildungen, 45 farbige Abbildungen
XIV, 181 p. 66 illus., 45 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 11 mm
Weight
306 gr
ISBN-13
978-3-031-42625-4 (9783031426254)
DOI
10.1007/978-3-031-42626-1
Schweitzer Classification
Content
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.