default search action

combined dblp search
author search
venue search
publication search

ask others

21st FORMATS 2023, Antwerp, Belgium

> Home > Conferences and Workshops > FORMATS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/formats/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/2023
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

- view
  authority control:
- export record
  dblp key:
  - conf/formats/Markey23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/Markey23
Nicolas Markey:
Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk). 3-12

FORMATS 2023 Main Track

- view
  authority control:
- export record
  dblp key:
  - conf/formats/BernardoM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BernardoM23
Marco Bernardo, Claudio Antares Mezzina:
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity. 15-32
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BruyerePSV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BruyerePSV23
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager:
Automata with Timers. 33-49
- view
  authority control:
- export record
  dblp key:
  - conf/formats/ClementPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/ClementPS23
Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier:
Layered Controller Synthesis for Dynamic Multi-agent Systems. 50-68
- view
  authority control:
- export record
  dblp key:
  - conf/formats/ShehabyFS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/ShehabyFS23
Raghda El Shehaby, Matthias Függer, Andreas Steininger:
On the Susceptibility of QDI Circuits to Transient Faults. 69-85
- view
  authority control:
- export record
  dblp key:
  - conf/formats/HariharanJRW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/HariharanJRW23
Gokul Hariharan, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn:
Maximum Satisfiability of Mission-Time Linear Temporal Logic. 86-104
- view
  authority control:
- export record
  dblp key:
  - conf/formats/MukundRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/MukundRS23
Madhavan Mukund, Adwitee Roy, B. Srivathsan:
A Local-Time Semantics for Negotiations. 105-121
- view
  authority control:
- export record
  dblp key:
  - conf/formats/SprietLR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/SprietLR23
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

- view
  authority control:
- export record
  dblp key:
  - conf/formats/KivirigaLNN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/KivirigaLNN23
Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman:
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. 141-157
- view
  authority control:
- export record
  dblp key:
  - conf/formats/ZhangADJR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/ZhangADJR23
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

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.