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

• 2022
• 
  Ole Jørgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz:
  A Notion of Equivalence for Refactorings with Abstract Execution. ISoLA (2) 2022: 259-280
• 
  Alexander Bainczyk, Steve Boßelmann, Marvin Krause, Marco Krumrey, Dominic Wirkner, Bernhard Steffen:
  Towards Continuous Quality Control in the Context of Language-Driven Engineering. ISoLA (2) 2022: 389-406
• 
  Alexander Bainczyk, Daniel Busch, Marco Krumrey, Daniel Sami Mitwalli, Jonas Schürmann, Joel Tagoukeng Dongmo, Bernhard Steffen:
  Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering. ISoLA (2) 2022: 407-425
• 
  Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich:
  Towards a Usable and Sustainable Deductive Verification Tool. ISoLA (2) 2022: 281-300
• 
  Lennart Beringer:
  Verified Software Units for Simple DFA Modules and Objects in C. ISoLA (2) 2022: 237-258
• 
  Manfred Broy:
  Software System Documentation: Coherent Description of Software System Properties. ISoLA (2) 2022: 10-27
• 
  Dennis Dams, Klaus Havelund, Sean Kauffman:
  Runtime Verification as Documentation. ISoLA (2) 2022: 157-173
• 
  Serge Demeyer, Reiner Hähnle, Heiko Mantel:
  Automating Software Re-engineering: Introduction to the ISoLA 2022 Track. ISoLA (2) 2022: 195-200
• 
  Serge Demeyer, Henrique Rocha, Darin Verheijke:
  Refactoring Solidity Smart Contracts to Protect Against Reentrancy Exploits. ISoLA (2) 2022: 324-344
• 
  Sigrid Eldh:
  On Technical Debt in Software Testing - Observations from Industry. ISoLA (2) 2022: 301-323
• 
  Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard:
  Pragmatics Twelve Years Later: A Report on Lingua Franca. ISoLA (2) 2022: 60-89
• 
  John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage:
  Formalization of the AADL Run-Time Services. ISoLA (2) 2022: 105-134
• 
  Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen:
  Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction). ISoLA (2) 2022: 3-9
• 
  Dennis Hendriks, Kousar Aslam:
  A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool. ISoLA (2) 2022: 216-236
• 
  Marcus Hilbrich, Sebastian Müller, Svetlana Kulagina, Christopher Lazik, Ninon De Mecquenem, Lars Grunske:
  A Consolidated View on Specification Languages for Data Analysis Workflows. ISoLA (2) 2022: 201-215
• 
  Gabor Karsai, Daniel Balasubramanian:
  Assurance Provenance: The Next Challenge in Software Documentation. ISoLA (2) 2022: 90-104
• 
  Florian Lanzinger, Mattias Ulbrich, Alexander Weigl:
  A Refactoring for Data Minimisation Using Formal Verification. ISoLA (2) 2022: 345-364
• 
  Ole Lehrmann Madsen, Birger Møller-Pedersen:
  Using Supplementary Properties to Reduce the Need for Documentation. ISoLA (2) 2022: 35-59
• 
  Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen:
  DIME Days (ISoLA 2022 Track Introduction). ISoLA (2) 2022: 367-373
• 
  Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen:
  Executable Documentation: Test-First in Action. ISoLA (2) 2022: 135-156
• 
  Perdita Stevens:
  Models as Documents, Documents as Models. ISoLA (2) 2022: 28-34
• 
  Tim Tegeler, Steve Boßelmann, Jonas Schürmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen:
  Executable Documentation: From Documentation Languages to Purpose-Specific Languages. ISoLA (2) 2022: 174-192
• 
  Sebastian Teumert, Tim Tegeler, Jonas Schürmann, Daniel Busch, Dominic Wirkner:
  Evaluation of Graphical Modeling of CI/CD Workflows with Rig. ISoLA (2) 2022: 374-388
• 
  Tiziana Margaria, Bernhard Steffen:
  Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II. Lecture Notes in Computer Science 13702, Springer 2022, ISBN 978-3-031-19755-0 [contents]