Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st FORMATS 2023, Antwerp, Belgium
- Laure Petrucci
, Jeremy Sproston:
Formal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings. Lecture Notes in Computer Science 14138, Springer 2023, ISBN 978-3-031-42625-4
Invited Talk
- Nicolas Markey:
Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk). 3-12
FORMATS 2023 Main Track
- Marco Bernardo, Claudio Antares Mezzina:
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity. 15-32 - Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager:
Automata with Timers. 33-49 - Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier:
Layered Controller Synthesis for Dynamic Multi-agent Systems. 50-68 - Raghda El Shehaby, Matthias Függer, Andreas Steininger:
On the Susceptibility of QDI Circuits to Transient Faults. 69-85 - Gokul Hariharan, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn:
Maximum Satisfiability of Mission-Time Linear Temporal Logic. 86-104 - Madhavan Mukund, Adwitee Roy, B. Srivathsan:
A Local-Time Semantics for Negotiations. 105-121 - Anthony Spriet, Didier Lime, Olivier H. Roux:
Timed Non-interference Under Partial Observability and Bounded Memory. 122-137
Special Track on Monitoring of Cyber-Physical Systems
- Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman:
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. 141-157 - Pei Zhang, Alexis A. Aurandt, Rohit Dureja, Phillip H. Jones, Kristin Yvonne Rozier:
Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines. 158-180
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
