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

• 2009
• 
  Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
  From Architectural to Behavioural Specification of Services. FESCA@ETAPS 2009: 3-21
• 
  Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider:
  On the Specification of Full Contracts. FESCA@ETAPS 2009: 39-55
• 
  Jens Happe, Barbora Zimmerová:
  Preface. FESCA@ETAPS 2009: 1-2
• 
  Heiko Koziolek, Franz Brosch:
  Parameter Dependencies for Component Reliability Specifications. FESCA@ETAPS 2009: 23-38
• 
  Michael Kuperberg, Fouad Omri:
  Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods. FESCA@ETAPS 2009: 57-75
• 
  Anne Martens, Heiko Koziolek:
  Automatic, Model-Based Software Performance Improvement for Component-based Software Designs. FESCA@ETAPS 2009: 77-93
• 
  Simona Motogna, Ioan Lazar, Bazil Pârv, István Gergely Czibula:
  An Agile MDA Approach for Service-Oriented Components. FESCA@ETAPS 2009: 95-110
• 
  Sebti Mouelhi, Samir Chouali, Hassan Mountassir:
  Refinement of Interface Automata Strengthened by Action Semantics. FESCA@ETAPS 2009: 111-126
• 
  Olaf Owe, Gerardo Schneider:
  Wrap Your Objects Safely. FESCA@ETAPS 2009: 127-143
• 
  Pavel Parízek, Jirí Adámek, Tomas Kalibera:
  Automated Construction of Reasonable Environment for Java Components. FESCA@ETAPS 2009: 145-160
• 
  Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson:
  Analyzing a Pattern-Based Model of a Real-Time Turntable System. FESCA@ETAPS 2009: 161-178
• 
  Yuhong Zhao, Franz-Josef Rammig:
  Model-based Runtime Verification Framework. FESCA@ETAPS 2009: 179-193
• 
  Jens Happe, Barbora Zimmerová:
  Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, FESCA@ETAPS 2009, York, UK, April 28, 2009. Electronic Notes in Theoretical Computer Science 253(1), Elsevier 2009 [contents]