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

• 2018
• 
  Adina Aniculaesei, Jörg Grieser, Andreas Rausch, Karina Rehfeldt, Tim Warnecke:
  Toward a Holistic Software Systems Engineering Approach for Dependable Autonomous Systems. SEFAIAS@ICSE 2018: 23-30
• 2017
• 
  Peter Müller, Malte Schwerhoff, Alexander J. Summers:
  Viper: A Verification Infrastructure for Permission-Based Reasoning. Dependable Software Systems Engineering 2017: 104-125
• 
  Rajeev Alur, Konstantinos Mamouras:
  An Introduction to the StreamQRE Language. Dependable Software Systems Engineering 2017: 1-24
• 
  Bernd Finkbeiner, Felix Klein:
  Reactive Synthesis: Towards Output-Sensitive Algorithms. Dependable Software Systems Engineering 2017: 25-43
• 
  Constance L. Heitmeyer, Elizabeth I. Leonard, Myla M. Archer:
  Computing the Next-State Function of a Requirements Model. Dependable Software Systems Engineering 2017: 44-59
• 
  Kim G. Larsen, Uli Fahrenberg, Axel Legay:
  From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. Dependable Software Systems Engineering 2017: 60-103
• 
  Doron Peled:
  Automata Based Validation Techniques. Dependable Software Systems Engineering 2017: 126-140
• 
  Alexander Pretschner:
  Defect-Based Testing. Dependable Software Systems Engineering 2017: 141-163
• 
  Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
  Temporal Logic as Filtering. Dependable Software Systems Engineering 2017: 164-185
• 
  Grigore Rosu:
  𝕂: A Semantic Framework for Programming Languages and Formal Analysis Tools. Dependable Software Systems Engineering 2017: 186-206
• 
  John Rushby:
  Assurance and Assurance Cases. Dependable Software Systems Engineering 2017: 207-235
• 
  Alexander Pretschner, Doron Peled, Thomas Hutzelmann:
  Dependable Software Systems Engineering. NATO Science for Peace and Security Series - D: Information and Communication Security 50, IOS Press 2017, ISBN 978-1-61499-809-9 [contents]
• 2016
• 
  Christel Baier:
  Probabilistic Model Checking. Dependable Software Systems Engineering 2016: 1-23
• 
  Nikolaj S. Bjørner:
  SMT Solvers: Foundations and Applications. Dependable Software Systems Engineering 2016: 24-32
• 
  Véronique Cortier, Steve Kremer:
  Formal Models for Analyzing Security Protocols: Some Lecture Notes. Dependable Software Systems Engineering 2016: 33-58
• 
  Javier Esparza:
  Parameterized Verification of Crowds of Anonymous Processes. Dependable Software Systems Engineering 2016: 59-71
• 
  Bernd Finkbeiner:
  Synthesis of Reactive Systems. Dependable Software Systems Engineering 2016: 72-98
• 
  Patrice Godefroid:
  Between Testing and Verification: Dynamic Software Model Checking. Dependable Software Systems Engineering 2016: 99-116
• 
  Orna Grumberg, Yael Meller:
  Learning-Based Compositional Model Checking of Behavioral UML Systems. Dependable Software Systems Engineering 2016: 117-136
• 
  Sumit Gulwani:
  Programming by Examples - and its applications in Data Wrangling. Dependable Software Systems Engineering 2016: 137-158
• 
  Daniel Kroening:
  Verification of Concurrent Software. Dependable Software Systems Engineering 2016: 159-178
• 
  Jean-François Raskin:
  A Tutorial on Mean-payoff and Energy Games. Dependable Software Systems Engineering 2016: 179-201
• 
  Helmut Seidl, Sebastian Maneth, Gregor Kemper, Joost Engelfriet:
  Equivalence - Combinatorics, Algebra, Proofs. Dependable Software Systems Engineering 2016: 202-243
• 
  Eran Yahav:
  Analysis and Synthesis with "Big Code". Dependable Software Systems Engineering 2016: 244-282
• 
  Javier Esparza, Orna Grumberg, Salomon Sickert:
  Dependable Software Systems Engineering. NATO Science for Peace and Security Series - D: Information and Communication Security 45, IOS Press 2016, ISBN 978-1-61499-626-2 [contents]
• 2015
• 
  Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa:
  Syntax-Guided Synthesis. Dependable Software Systems Engineering 2015: 1-25
• 
  Thomas Ball, Jakub Daniel:
  Deconstructing Dynamic Symbolic Execution. Dependable Software Systems Engineering 2015: 26-41
• 
  Manfred Broy:
  From Actions, Transactions, and Processes to Services. Dependable Software Systems Engineering 2015: 42-78
• 
  Christophe Damas, Bernard Lambeau, Axel van Lamsweerde:
  Generating Process Models in Multi-View Environments. Dependable Software Systems Engineering 2015: 105-127
• 
  Simon Foster, Jim Woodcock:
  Mechanised Theory Engineering in Isabelle. Dependable Software Systems Engineering 2015: 246-287

skipping 24 more matches