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

• 2014
• 
  Fides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager:
  Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. ISoLA (1) 2014: 202-219
• 
  Jesper Andersen, Patrick Bahr, Fritz Henglein, Tom Hvitved:
  Domain-Specific Languages for Enterprise Systems. ISoLA (1) 2014: 73-95
• 
  Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski:
  Verification of GUI Applications: A Black-Box Approach. ISoLA (1) 2014: 236-252
• 
  Uwe Aßmann, Jens Knoop, Wolf Zimmermann:
  Model-Based Code-Generators and Compilers - Track Introduction. ISoLA (1) 2014: 386-390
• 
  Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
  Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. ISoLA (1) 2014: 351-367
• 
  Maurice H. ter Beek, Erik P. de Vink:
  Towards Modular Verification of Software Product Lines with mCRL2. ISoLA (1) 2014: 368-385
• 
  Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki:
  Rigorous System Design Flow for Autonomous Systems. ISoLA (1) 2014: 184-198
• 
  Christian Berg, Wolf Zimmermann:
  DSL Implementation for Model-Based Development of Pumps. ISoLA (1) 2014: 391-406
• 
  Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof:
  Combinatory Logic Synthesizer. ISoLA (1) 2014: 26-40
• 
  Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
  Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. ISoLA (1) 2014: 41-55
• 
  Klaus Birken:
  Building Code Generators for DSLs Using a Partial Evaluator for the Xtend Language. ISoLA (1) 2014: 407-424
• 
  Tomás Bures, Vojtech Horký, Michal Kit, Lukás Marek, Petr Tuma:
  Towards Performance-Aware Engineering of Autonomic Component Ensembles. ISoLA (1) 2014: 131-146
• 
  Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli:
  Self-expression and Dynamic Attribute-Based Ensembles in SCEL. ISoLA (1) 2014: 147-163
• 
  Philippe Collet:
  Domain Specific Languages for Managing Feature Models: Advances and Challenges. ISoLA (1) 2014: 273-288
• 
  Ferruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann:
  Delta-Trait Programming of Software Product Lines. ISoLA (1) 2014: 289-303
• 
  Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans:
  Coverage Criteria for Behavioural Testing of Software Product Lines. ISoLA (1) 2014: 336-350
• 
  Mike Hinchey, Tiziana Margaria:
  Evolving Critical Systems - Track Introduction. ISoLA (1) 2014: 1-3
• 
  Falk Howar, Malte Isberner, Bernhard Steffen:
  Tutorial: Automata Learning in Practice. ISoLA (1) 2014: 499-513
• 
  Falk Howar, Bernhard Steffen:
  Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction. ISoLA (1) 2014: 199-201
• 
  Alexandru F. Iosif-Lazar, Ina Schaefer, Andrzej Wasowski:
  A Core Language for Separate Variability Modeling. ISoLA (1) 2014: 257-272
• 
  Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
  Deployment Variability in Delta-Oriented Models. ISoLA (1) 2014: 304-319
• 
  Sven Jörges, Bernhard Steffen:
  Back-To-Back Testing of Model-Based Code Generators. ISoLA (1) 2014: 425-444
• 
  Annabelle Klarl, Philip Mayer, Rolf Hennicker:
  Helena@Work: Modeling the Science Cloud Platform. ISoLA (1) 2014: 99-116
• 
  Axel Legay, Sean Sedwards:
  Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems. ISoLA (1) 2014: 4-25
• 
  Markus Lepper, Baltasar Trancón y Widemann:
  Rewriting Object Models With Cycles and Nested Collections - A Model-Based Metaprogramming Problem. ISoLA (1) 2014: 445-460
• 
  Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck:
  DeltaCCS: A Core Calculus for Behavioral Change. ISoLA (1) 2014: 320-335
• 
  Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
  On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183
• 
  Christian Motika, Steven Smyth, Reinhard von Hanxleden:
  Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation. ISoLA (1) 2014: 461-480
• 
  Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay:
  Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. ISoLA (1) 2014: 481-498
• 
  Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria:
  Prototype-Driven Development of Web Applications with DyWA. ISoLA (1) 2014: 56-72

skipping 5 more matches