• 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 14 matches

• 2020
• 
  Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder:
  Tutorial: Parameterized Verification with Byzantine Model Checker. FORTE 2020: 189-207
• 
  Marco Bernardo, Claudio Antares Mezzina:
  Towards Bridging Time and Causal Reversibility. FORTE 2020: 22-38
• 
  Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal:
  On Implementable Timed Automata. FORTE 2020: 78-95
• 
  Davide Basile, Maurice H. ter Beek, Axel Legay:
  Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. FORTE 2020: 3-21
• 
  Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim:
  Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. FORTE 2020: 39-58
• 
  Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas:
  Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). FORTE 2020: 227-235
• 
  Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns:
  Conformance-Based Doping Detection for Cyber-Physical Systems. FORTE 2020: 59-77
• 
  Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
  Deep Statistical Model Checking. FORTE 2020: 96-114
• 
  Kiraku Minami:
  Trace Equivalence and Epistemic Logic to Express Security Properties. FORTE 2020: 115-132
• 
  Adam Shimi, Aurélie Hurault, Philippe Quéinnec:
  Derivation of Heard-of Predicates from Elementary Behavioral Patterns. FORTE 2020: 133-149
• 
  Jeremy Sproston:
  Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities. FORTE 2020: 150-168
• 
  Shukun Tokas, Olaf Owe:
  A Formal Framework for Consent Management. FORTE 2020: 169-186
• 
  A. Laura Voinea, Ornela Dardha, Simon J. Gay:
  Typechecking Java Protocols with [St]Mungo. FORTE 2020: 208-224
• 
  Alexey Gotsman, Ana Sokolova:
  Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings. Lecture Notes in Computer Science 12136, Springer 2020, ISBN 978-3-030-50085-6 [contents]