Books+ Search Results
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Title
Formal Modeling and Analysis of Timed Systems [electronic resource] : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings / edited by Laure Petrucci, Jeremy Sproston.
ISBN
9783031426261
Edition
1st ed. 2023.
Publication
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Physical Description
1 online resource (XIV, 181 p.) 66 illus., 45 illus. in color.
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
Summary
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.
Variant and related titles
Springer ENIN.
Other formats
Printed edition:
Printed edition:
Format
Books / Online
Language
English
Added to Catalog
September 19, 2023
Series
Lecture Notes in Computer Science, 14138
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/Eager Durationless 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.
Subjects
Also listed under
Bookmark As
Citation
