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

• 2010
• 
  Maider Azanza, Don S. Batory, Oscar Díaz, Salvador Trujillo:
  Domain-Specific Composition of Model Deltas. ICMT@TOOLS 2010: 16-30
• 
  Marion Behrens, Gregory M. Provan:
  Temporal Model-Based Diagnostics Generation for HVAC Control Systems. ICMT@TOOLS 2010: 31-44
• 
  Marco Brambilla, Stefano Ceri, Massimo Tisi:
  Search Computing: A Model-Driven Perspective. ICMT@TOOLS 2010: 1-15
• 
  Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara:
  Synthesis of OCL Pre-conditions for Graph Transformation Rules. ICMT@TOOLS 2010: 45-60
• 
  Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki:
  From State- to Delta-Based Bidirectional Model Transformations. ICMT@TOOLS 2010: 61-76
• 
  Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo:
  A Constructive Approach to Testing Model Transformations. ICMT@TOOLS 2010: 77-92
• 
  Roy Grønmo, Birger Møller-Pedersen:
  From Sequence Diagrams to State Machines by Graph Transformation. ICMT@TOOLS 2010: 93-107
• 
  Florian Heidenreich, Jan Kopcsek, Uwe Aßmann:
  Safe Composition of Transformations. ICMT@TOOLS 2010: 108-122
• 
  Frédéric Jouault, Massimo Tisi:
  Towards Incremental Execution of ATL Transformations. ICMT@TOOLS 2010: 123-137
• 
  Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes:
  Constructing and Navigating Non-invasive Model Decorations. ICMT@TOOLS 2010: 138-152
• 
  Philip Langer, Manuel Wimmer, Gerti Kappel:
  Model-to-Model Transformations By Demonstration. ICMT@TOOLS 2010: 153-167
• 
  Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini:
  Implementing Business Process Recovery Patterns through QVT Transformations. ICMT@TOOLS 2010: 168-183
• 
  Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
  Model Migration with Epsilon Flock. ICMT@TOOLS 2010: 184-198
• 
  Eugene Syriani, Jörg Kienzle, Hans Vangheluwe:
  Exceptional Transformations. ICMT@TOOLS 2010: 199-214
• 
  Massimo Tisi, Jordi Cabot, Frédéric Jouault:
  Improving Higher-Order Transformations Support in ATL. ICMT@TOOLS 2010: 215-229
• 
  Javier Troya, Antonio Vallecillo:
  Towards a Rewriting Logic Semantics for ATL. ICMT@TOOLS 2010: 230-244
• 
  Konrad Voigt, Thomas Heinze:
  Metamodel Matching Based on Planar Graph Edit Distance. ICMT@TOOLS 2010: 245-259
• 
  Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger:
  Surviving the Heterogeneity Jungle with Composite Mapping Operators. ICMT@TOOLS 2010: 260-275
• 
  Laurence Tratt, Martin Gogolla:
  Theory and Practice of Model Transformations - 3rd International Conference, ICMT@TOOLS 2010, Málaga, Spain, June 28-July 2, 2010. Proceedings. Lecture Notes in Computer Science 6142, Springer 2010, ISBN 978-3-642-13687-0 [contents]