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

• 2021
• 
  Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
  On Bidirectional Runtime Enforcement. FORTE 2021: 3-21
• 
  Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia:
  A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks. FORTE 2021: 22-41
• 
  Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
  Better Late Than Never or: Verifying Asynchronous Components at Runtime. FORTE 2021: 207-225
• 
  Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico:
  Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE 2021: 177-181
• 
  Mark Bouwman, Bas Luttik, Djurre van der Wal:
  A Formalisation of SysML State Machines in mCRL2. FORTE 2021: 42-59
• 
  Mark Bouwman, Bas Luttik, Tim A. C. Willemse:
  Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). FORTE 2021: 182-187
• 
  Laura Bussi, Vincenzo Ciancia, Fabio Gadducci:
  Towards a Spatial Model Checker on GPU. FORTE 2021: 188-196
• 
  Valentina Castiglioni, Michele Loreti, Simone Tini:
  How Adaptive and Reliable is Your Program? FORTE 2021: 60-79
• 
  Roberto Gorrieri:
  Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves. FORTE 2021: 80-99
• 
  Jan Friso Groote, Jeroen J. A. Keiren:
  Tutorial: Designing Distributed Software in mCRL2. FORTE 2021: 226-243
• 
  Leander Jehl:
  Formal Verification of HotStuff. FORTE 2021: 197-204
• 
  Wen Kokke, Ornela Dardha:
  Prioritise the Best Variation. FORTE 2021: 100-119
• 
  Mathieu Montin, Marc Pantel:
  Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL. FORTE 2021: 120-137
• 
  Thanh-Hai Tran, Igor Konnov, Josef Widder:
  A Case Study on Parametric Verification of Failure Detectors. FORTE 2021: 138-156
• 
  Uma Zalakain, Ornela Dardha:
  π with Leftovers: A Mechanisation in Agda. FORTE 2021: 157-174
• 
  Kirstin Peters, Tim A. C. Willemse:
  Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings. Lecture Notes in Computer Science 12719, Springer 2021, ISBN 978-3-030-78088-3 [contents]