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

• 2016
• 
  Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse:
  Towards a Feature mu-Calculus Targeting SPL Verification. FMSPLE 2016: 61-75
• 
  Ferruccio Damiani, Michael Lienhardt:
  Refactoring Delta-Oriented Product Lines to achieve Monotonicity. FMSPLE 2016: 2-16
• 
  Frederik Deckwerth, Géza Kulcsár, Malte Lochau, Gergely Varró, Andy Schürr:
  Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation. FMSPLE 2016: 17-31
• 
  Matthias Kowal, Ina Schaefer:
  Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems. FMSPLE 2016: 32-45
• 
  Anjali Sree-Kumar, Elena Planas, Robert Clarisó:
  Analysis of Feature Models Using Alloy: A Survey. FMSPLE 2016: 46-60
• 
  Julia Rubin, Thomas Thüm:
  Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, April 3, 2016. EPTCS 206, 2016 [contents]