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

• 2017
• 
  Étienne André:
  A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty. FMICS-AVoCS 2017: 100-115
• 
  Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
  Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems. FMICS-AVoCS 2017: 165-181
• 
  Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse:
  Formalising the Dezyne Modelling Language in mCRL2. FMICS-AVoCS 2017: 217-233
• 
  Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay:
  Information Leakage as a Scheduling Resource. FMICS-AVoCS 2017: 83-99
• 
  Alessandro Fantechi, Stefania Gnesi, Laura Semini:
  Optimizing Feature Interaction Detection. FMICS-AVoCS 2017: 201-216
• 
  Paul Fiterau-Brostean, Falk Howar:
  Learning-Based Testing the Sliding Window Behavior of TCP Implementations. FMICS-AVoCS 2017: 185-200
• 
  Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster:
  CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. FMICS-AVoCS 2017: 119-133
• 
  Alexander Graf-Brill, Holger Hermanns:
  Model-Based Testing for Asynchronous Systems. FMICS-AVoCS 2017: 66-82
• 
  Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman:
  Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. FMICS-AVoCS 2017: 3-18
• 
  Samuel Huang, Rance Cleaveland:
  Query Checking for Linear Temporal Logic. FMICS-AVoCS 2017: 34-48
• 
  Björn Lisper:
  Verifying Event-Based Timing Constraints by Translation into Presburger Formulae. FMICS-AVoCS 2017: 19-33
• 
  Felipe J. Montana, Jun Liu, Tony J. Dodd:
  Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information. FMICS-AVoCS 2017: 134-149
• 
  Felipe J. Montana, Jun Liu, Tony J. Dodd:
  Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications. FMICS-AVoCS 2017: 150-164
• 
  Hallan William Veiga, Max Hering de Queiroz, Jean-Marie Farines, Marcelo Lopes de Lima:
  Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms. FMICS-AVoCS 2017: 51-65
• 
  Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti:
  Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings. Lecture Notes in Computer Science 10471, Springer 2017, ISBN 978-3-319-67112-3 [contents]