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

• 2018
• 
  Francesco Asnicar, Luca Masera, Emanuela Coller, Caterina Gallo, Nadir Sella, Thomas Tolio, Paolo Morettin, Luca Erculiani, Francesca Galante, Stanislau Semeniuta, Giulia Malacarne, Kristof Engelen, Andrea Argentini, Valter Cavecchia, Claudio Moser, Enrico Blanzieri:
  NES²RA. Int. J. High Perform. Comput. Appl. 32(3): 380-392 (2018)
• 
  Han W. Wopereis, Wilbert L. W. van de Ridder, Tom J. W. Lankhorst, Lucian Klooster, Evyatar M. Bukai, David Wuthier, George Nikolakopoulos, Stefano Stramigioli, Johan B. C. Engelen, Matteo Fumagalli:
  Multimodal Aerial Locomotion: An Approach to Active Tool Handling. IEEE Robotics Autom. Mag. 25(4): 57-65 (2018)
• 2016
• 
  Marco Moretto, Paolo Sonego, Nicolas Dierckxsens, Matteo Brilli, Luca Bianco, Daniela Ledezma-Tejeida, Socorro Gama-Castro, Marco Galardini, Chiara Romualdi, Kris Laukens, Julio Collado-Vides, Pieter Meysman, Kristof Engelen:
  COLOMBOS v3.0: leveraging gene expression compendia for cross-species analyses. Nucleic Acids Res. 44(Database-Issue): 620-623 (2016)
• 2015
• 
  Jean-Luc de Kok, Guy Engelen, Joachim Maes:
  Reusability of model components for environmental simulation - Case studies for integrated coastal zone management. Environ. Model. Softw. 68: 42-54 (2015)
• 
  Huan Lin, Ji Wu, Chunchun Yuan, Yaping Luo, Mark van den Brand, Luc Engelen:
  A systematic approach for safety evidence collection in the safety-critical domain. SysCon 2015: 194-199
• 
  Francesco Asnicar, Luca Erculiani, Francesca Galante, Caterina Gallo, Luca Masera, Paolo Morettin, Nadir Sella, Stanislau Semeniuta, Thomas Tolio, Giulia Malacarne, Kristof Engelen, Andrea Argentini, Valter Cavecchia, Claudio Moser, Enrico Blanzieri:
  Discovering Candidates for Gene Network Expansion by Distributed Volunteer Computing. TrustCom/BigDataSE/ISPA (3) 2015: 248-253
• 2014
• 
  Pieter Meysman, Paolo Sonego, Luca Bianco, Qiang Fu, Daniela Ledezma-Tejeida, Socorro Gama-Castro, Veerle Liebens, Jan Michiels, Kris Laukens, Kathleen Marchal, Julio Collado-Vides, Kristof Engelen:
  COLOMBOS v2.0: an ever expanding collection of bacterial expression compendia. Nucleic Acids Res. 42(Database-Issue): 649-653 (2014)
• 
  Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers:
  From Conceptual Models to Safety Assurance. ER 2014: 195-208
• 
  Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers:
  A Modeling Approach to Support Safety Assurance in the Automotive Domain. ICSEng 2014: 339-345
• 
  Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs:
  Towards Verified Java Code Generation from Concurrent State Machines. AMT@MoDELS 2014: 64-69
• 
  Anton Wijs, Luc Engelen:
  REFINER: Towards Formal Verification of Model Transformations. NASA Formal Methods 2014: 258-263
• 
  Yaping Luo, Luc Engelen, Mark van den Brand:
  Metamodel Comparison and Model Comparison for Safety Assurance. SAFECOMP Workshops 2014: 419-430
• 2013
• 
  Yaping Luo, Mark van den Brand, Luc Engelen, John M. Favaro, Martijn Klabbers, Giovanni Sartori:
  Extracting Models from ISO 26262 for Reusable Safety Assurance. ICSR 2013: 192-207
• 
  Anton Wijs, Luc Engelen:
  Efficient Property Preservation Checking of Model Refinements. TACAS 2013: 565-579
• 2012
• 
  Istvan Nagy, Loek G. Cleophas, Mark van den Brand, Luc Engelen, Liviu Raulea, Ernest Xavier Lobo Mithun:
  VPDSL: A DSL for Software in the Loop Simulations Covering Material Flow. ICECCS 2012: 318-327
• 
  Suzana Andova, Mark G. J. van den Brand, Luc Engelen:
  Reusable and Correct Endogenous Model Transformations. ICMT@TOOLS 2012: 72-88
• 
  Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff:
  MDE Basics with a DSL Focus. SFM 2012: 21-57
• 2011
• 
  M. F. van Amstel, M. G. J. van den Brand, Luc J. P. Engelen:
  Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification - Extended Abstract. ICST Workshops 2011: 63-66
• 
  Johannes van der Kwast, Josefien Delrue, Luc Bertels, Inge Uljee, Stijn Van Looy, Joan Schepens, Guy Engelen, Elias Gutièrrez, Glenda Román:
  Automatic generation of land-use maps for a spatial decision support system for Puerto Rico. JURSE 2011: 433-436
• 
  Jean-Luc de Kok, Guy Engelen:
  Linking and Reusing Model Components for Environmental Simulation. SIMULTECH 2011: 103-108
• 
  M. F. van Amstel, M. G. J. van den Brand, Luc J. P. Engelen:
  Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification. SSIRI (Companion) 2011: 120-127
• 
  Suzana Andova, Mark van den Brand, Luc Engelen:
  Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models. AMMSE 2011: 65-79
• 2010
• 
  Marcel van Amstel, Mark van den Brand, Luc Engelen:
  An exercise in iterative domain-specific language design. EVOL/IWPSE 2010: 48-57
• 
  Francisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser:
  The Third Rewrite Engines Competition. WRLA 2010: 243-261
• 2009
• 
  Luc Engelen, Mark van den Brand:
  Integrating Textual and Graphical Modelling Languages. LDTA 2009: 105-120
• 1993
• 
  Jan Mennens, Luc Van Tichelen, Guido Francois, Jan J. Engelen:
  Optical recognition of Braille writing. ICDAR 1993: 428-431