- 2023
- Marco Bernardo, Claudio Antares Mezzina:
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity. FORMATS 2023: 15-32 - Véronique Bruyère
, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager:
Automata with Timers. FORMATS 2023: 33-49 - Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier:
Layered Controller Synthesis for Dynamic Multi-agent Systems. FORMATS 2023: 50-68 - Gokul Hariharan, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn:
Maximum Satisfiability of Mission-Time Linear Temporal Logic. FORMATS 2023: 86-104 - Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman:
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. FORMATS 2023: 141-157 - Nicolas Markey:
Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk). FORMATS 2023: 3-12 - Madhavan Mukund, Adwitee Roy, B. Srivathsan:
A Local-Time Semantics for Negotiations. FORMATS 2023: 105-121 - Raghda El Shehaby, Matthias Függer, Andreas Steininger:
On the Susceptibility of QDI Circuits to Transient Faults. FORMATS 2023: 69-85 - Anthony Spriet, Didier Lime, Olivier H. Roux:
Timed Non-interference Under Partial Observability and Bounded Memory. FORMATS 2023: 122-137 - 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: 158-180 - 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 [contents] - 2022
- Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS 2022: 200-218 - Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan:
Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next? FORMATS 2022: 16-42 - Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti:
An STL-Based Formulation of Resilience in Cyber-Physical Systems. FORMATS 2022: 117-135 - Surya Sai Teja Desu, Anubhav Srivastava, M. V. Panduranga Rao:
Model Checking for Entanglement Swapping. FORMATS 2022: 98-114 - Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis:
On Neural Network Equivalence Checking Using SMT Solvers. FORMATS 2022: 237-257 - Aline Goeminne, Nicolas Markey, Ocan Sankur:
Non-blind Strategies in Timed Network Congestion Games. FORMATS 2022: 183-199 - Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann:
Monitoring Timed Properties (Revisited). FORMATS 2022: 43-62 - Bernardo Jacobo Inclán, Aldric Degorre, Eugene Asarin:
Bounded Delay Timed Channel Coding. FORMATS 2022: 65-79 - Ruya Karagulle, Nikos Aréchiga, Jonathan A. DeCastro, Necmiye Ozay:
Classification of Driving Behaviors Using STL Formulas: A Comparative Study. FORMATS 2022: 153-162 - Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson:
Reachability Analysis of a General Class of Neural Ordinary Differential Equations. FORMATS 2022: 258-277 - Florian Luca, Joël Ouaknine, James Worrell:
Algebraic Model Checking for Discrete Linear Dynamical Systems. FORMATS 2022: 3-15 - James C. A. Main, Mickael Randour, Jeremy Sproston:
Timed Games with Bounded Window Parity Objectives. FORMATS 2022: 165-182 - Yiming Meng, Jun Liu:
Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems. FORMATS 2022: 80-97 - Mathis Niehage, Anne Remke:
Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty. FORMATS 2022: 298-306 - Daniel Jarne Ornia, Manuel Mazo:
Robust Event-Driven Interactions in Cooperative Multi-agent Learning. FORMATS 2022: 281-297 - Daniel Selvaratnam, Michael Cantoni, J. M. Davoren, Iman Shames:
MITL Verification Under Timing Uncertainty. FORMATS 2022: 136-152 - Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov:
Neural Network Repair with Reachability Analysis. FORMATS 2022: 221-236 - Sergiy Bogomolov, David Parker:
Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Lecture Notes in Computer Science 13465, Springer 2022, ISBN 978-3-031-15838-4 [contents] - 2021
- Eugene Asarin, Thomas Ferrère, Dejan Nickovic, Dogan Ulus:
On the Complexity of Timed Pattern Matching. FORMATS 2021: 15-31
