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

• 2009
• 
  Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer:
  Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads. TACAS 2009: 107-123
• 
  Adam Bakewell, Dan R. Ghica:
  Compositional Predicate Abstraction from Game Semantics. TACAS 2009: 62-76
• 
  Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger:
  Alpaga: A Tool for Solving Parity Games with Imperfect Information. TACAS 2009: 58-61
• 
  Nikolaj S. Bjørner, Nikolai Tillmann, Andrei Voronkov:
  Path Feasibility Analysis for String-Manipulating Programs. TACAS 2009: 307-321
• 
  Marius Bozga, Codruta Gîrlea, Radu Iosif:
  Iterating Octagons. TACAS 2009: 337-351
• 
  Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys:
  MoonWalker: Verification of .NET Programs. TACAS 2009: 170-173
• 
  Robert Brummayer, Armin Biere:
  Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. TACAS 2009: 174-177
• 
  Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang:
  Learning Minimal Separating DFA's for Compositional Verification. TACAS 2009: 31-45
• 
  Feng Chen, Grigore Rosu:
  Parametric Trace Slicing and Monitoring. TACAS 2009: 246-261
• 
  Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar:
  Verifying Reference Counting Implementations. TACAS 2009: 352-367
• 
  Azadeh Farzan, P. Madhusudan:
  The Complexity of Predicting Atomicity Violations. TACAS 2009: 155-169
• 
  Seth Fogarty, Moshe Y. Vardi:
  Büchi Complementation and Size-Change Termination. TACAS 2009: 16-30
• 
  Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli:
  Ground Interpolation for the Theory of Equality. TACAS 2009: 413-427
• 
  Mikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yingbin Zhang, Ping Yang, Scott D. Stoller:
  RBAC-PAT: A Policy Analysis Tool for Role Based Access Control. TACAS 2009: 46-49
• 
  Claire Le Goues, Westley Weimer:
  Specification Mining with Few False Positives. TACAS 2009: 292-306
• 
  Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko:
  From Tests to Proofs. TACAS 2009: 262-276
• 
  Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta:
  Semantic Reduction of Thread Interleavings in Concurrent Programs. TACAS 2009: 124-138
• 
  Hillel Kugler, Itai Segall:
  Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. TACAS 2009: 77-91
• 
  Wouter Kuijper, Jaco van de Pol:
  Computing Weakest Strategies for Safety Games of Imperfect Information. TACAS 2009: 92-106
• 
  Jérôme Leroux, Gérald Point:
  TaPAS: The Talence Presburger Arithmetic Suite. TACAS 2009: 182-185
• 
  Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez:
  Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS 2009: 54-57
• 
  Panagiotis Manolios, Aaron Turon:
  All-Termination(T). TACAS 2009: 398-412
• 
  Radu Mateescu, Anton Wijs:
  Hierarchical Adaptive State Space Caching Based on Level Sampling. TACAS 2009: 215-229
• 
  Steven P. Miller:
  Bridging the Gap Between Model-Based Development and Model Checking. TACAS 2009: 443-453
• 
  Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo:
  ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. TACAS 2009: 50-53
• 
  Viet Yen Nguyen, Theo C. Ruys:
  Memoised Garbage Collection for Software Model Checking. TACAS 2009: 201-214
• 
  Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch:
  Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. TACAS 2009: 428-442
• 
  Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur:
  The YogiProject: Software Property Checking via Static Analysis and Testing. TACAS 2009: 178-181
• 
  Simona Orzan, Wieger Wesselink, Tim A. C. Willemse:
  Static Analysis Techniques for Parameterised Boolean Equation Systems. TACAS 2009: 230-245
• 
  Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
  Falsification of LTL Safety Properties in Hybrid Systems. TACAS 2009: 368-382

skipping 7 more matches