• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 416 matches

• 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

skipping 386 more matches