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

• 2019
• 
  Dirk Beyer, Thomas Lemberger:
  Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. ATVA 2019: 189-208
• 
  Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel:
  Adaptive Online First-Order Monitoring. ATVA 2019: 133-150
• 
  Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku:
  Chain-Free String Constraints. ATVA 2019: 277-293
• 
  Étienne André, Jun Sun:
  Parametric Timed Model Checking for Guaranteeing Timed Opacity. ATVA 2019: 115-130
• 
  Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek:
  Generic Emptiness Check for Fun and Profit. ATVA 2019: 445-461
• 
  Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
  Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. ATVA 2019: 255-276
• 
  Roderick Bloem, Swen Jacobs, Yakir Vizel:
  Efficient Information-Flow Verification Under Speculative Execution. ATVA 2019: 499-514
• 
  Borzoo Bonakdarpour, Bernd Finkbeiner:
  Program Repair for Hyperproperties. ATVA 2019: 423-441
• 
  Patricia Bouyer:
  A Note on Game Theory and Verification. ATVA 2019: 3-22
• 
  Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan:
  Deciding Fast Termination for Probabilistic VASS with Nondeterminism. ATVA 2019: 462-478
• 
  Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
  Approximate Automata for Omega-Regular Languages. ATVA 2019: 334-349
• 
  Rüdiger Ehlers, Keerthi Adabala:
  Reactive Synthesis of Graphical User Interface Glue Code. ATVA 2019: 387-403
• 
  Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
  Model Checking Data Flows in Concurrent Network Updates. ATVA 2019: 515-533
• 
  Jesko Hecking-Harbusch, Niklas O. Metzger:
  Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems. ATVA 2019: 369-386
• 
  Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck:
  Lazy Abstraction-Based Controller Synthesis. ATVA 2019: 23-47
• 
  Anastasiia Izycheva, Eva Darulova, Helmut Seidl:
  Synthesizing Efficient Low-Precision Kernels. ATVA 2019: 294-313
• 
  Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist:
  Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. ATVA 2019: 81-97
• 
  Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem:
  Performance Evaluation of the NDN Data Plane Using Statistical Model Checking. ATVA 2019: 534-550
• 
  Benjamin Kiesl, Marijn J. H. Heule, Armin Biere:
  Truth Assignments as Conditional Autarkies. ATVA 2019: 48-64
• 
  Martin Kölbl, Stefan Leue:
  An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. ATVA 2019: 171-186
• 
  Jan Kretínský, Alexander Manta, Tobias Meggendorfer:
  Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. ATVA 2019: 404-422
• 
  Hoang M. Le:
  KLUZZER: Whitebox Fuzzing on Top of LLVM. ATVA 2019: 246-252
• 
  Christof Löding, Anton Pirogov:
  New Optimizations and Heuristics for Determinization of Büchi Automata. ATVA 2019: 317-333
• 
  Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasaráková, Tatiana Zboncáková:
  ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. ATVA 2019: 357-365
• 
  Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos:
  DEQ: Equivalence Checker for Deterministic Register Automata. ATVA 2019: 350-356
• 
  Pavel Parízek:
  BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment. ATVA 2019: 228-245
• 
  Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin:
  Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. ATVA 2019: 209-227
• 
  Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel:
  Multi-head Monitoring of Metric Temporal Logic. ATVA 2019: 151-170
• 
  Hussein Sibai, Navid Mokhlesi, Sayan Mitra:
  Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. ATVA 2019: 98-114
• 
  Joseph Sifakis:
  Can We Trust Autonomous Systems? Boundaries and Risks. ATVA 2019: 65-78

skipping 2 more matches