FORMATS

Keyphrases

Publications

2023

Gokul Hariharan, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn
Maximum Satisfiability of Mission-Time Linear Temporal Logic. FORMATS (2023)
Marco Bernardo, Claudio Antares Mezzina
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity. FORMATS (2023)
Raghda El Shehaby, Matthias Függer, Andreas Steininger
On the Susceptibility of QDI Circuits to Transient Faults. FORMATS (2023)
Nicolas Markey
Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk). FORMATS (2023)
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. FORMATS (2023)
Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. FORMATS (2023)
Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier
Layered Controller Synthesis for Dynamic Multi-agent Systems. FORMATS (2023)
Madhavan Mukund, Adwitee Roy, B. Srivathsan
A Local-Time Semantics for Negotiations. FORMATS (2023)
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
Automata with Timers. FORMATS (2023)
Anthony Spriet, Didier Lime, Olivier H. Roux
Timed Non-interference Under Partial Observability and Bounded Memory. FORMATS (2023)

volume 14138, 2023

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

2022

volume 13465, 2022

Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings FORMATS 13465 (2022)

2021

volume 12860, 2021

Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings FORMATS 12860 (2021)

2020

volume 12288, 2020

Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings FORMATS 12288 (2020)