• 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

• 2013
• 
  Bernd Fischer, Omar Inverso, Gennaro Parlato:
  CSeq: A Sequentialization Tool for C - (Competition Contribution). TACAS 2013: 616-618
• 
  Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine:
  Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. TACAS 2013: 530-536
• 
  Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine:
  An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. TACAS 2013: 324-338
• 
  Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik:
  UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). TACAS 2013: 637-640
• 
  Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan:
  Equivalence Checking of Quantum Protocols. TACAS 2013: 478-492
• 
  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
  On-the-Fly Exact Computation of Bisimilarity Distances. TACAS 2013: 1-15
• 
  Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky:
  AppGuard - Enforcing User Requirements on Android Apps. TACAS 2013: 543-548
• 
  Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry:
  Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS 2013: 523-529
• 
  Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey:
  Structural Counter Abstraction. TACAS 2013: 62-77
• 
  Anton Belov, Matti Järvisalo, João Marques-Silva:
  Formula Preprocessing in MUS Extraction. TACAS 2013: 108-123
• 
  Michael Benedikt, Rastislav Lenhardt, James Worrell:
  LTL Model Checking of Interval Markov Chains. TACAS 2013: 32-46
• 
  Dirk Beyer:
  Second Competition on Software Verification - (Summary of SV-COMP 2013). TACAS 2013: 594-609
• 
  Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo:
  Deriving Probability Density Functions from Probabilistic Functional Programs. TACAS 2013: 508-522
• 
  Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone:
  Encoding Monomorphic and Polymorphic Types. TACAS 2013: 493-507
• 
  Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin:
  Synthesis from LTL Specifications with Mean-Payoff Objectives. TACAS 2013: 169-184
• 
  Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
  PRISM-games: A Model Checker for Stochastic Multi-Player Games. TACAS 2013: 185-191
• 
  Yu-Fang Chen, Bow-Yaw Wang:
  BULL: A Library for Learning Algorithms of Boolean Functions. TACAS 2013: 537-542
• 
  Jürgen Christ, Jochen Hoenicke, Alexander Nutz:
  Proof Tree Preserving Interpolation. TACAS 2013: 124-138
• 
  Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani:
  The MathSAT5 SMT Solver. TACAS 2013: 93-107
• 
  Byron Cook, Abigail See, Florian Zuleger:
  Ramsey vs. Lexicographic Termination Proving. TACAS 2013: 47-61
• 
  Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse:
  An Overview of the mCRL2 Toolset and Its Recent Advances. TACAS 2013: 199-213
• 
  Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar:
  Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution). TACAS 2013: 627-629
• 
  Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang:
  The Quest for Minimal Quotients for Probabilistic Automata. TACAS 2013: 16-31
• 
  Stephan Falke, Florian Merz, Carsten Sinz:
  LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution). TACAS 2013: 623-626
• 
  Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina:
  eVolCheck: Incremental Upgrade Checker for C. TACAS 2013: 292-307
• 
  Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato:
  Policy Analysis for Self-administrated Role-Based Access Control. TACAS 2013: 432-447
• 
  Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte:
  Unbounded Model-Checking with Interpolation for Regular Language Constraints. TACAS 2013: 277-291
• 
  Pierre Ganty, Radu Iosif, Filip Konecný:
  Underapproximation of Procedure Summaries for Integer Programs. TACAS 2013: 245-259
• 
  Milos Gligoric, Rupak Majumdar:
  Model Checking Database Applications. TACAS 2013: 549-564
• 
  Patrice Godefroid, Mihalis Yannakakis:
  Analysis of Boolean Programs. TACAS 2013: 214-229

skipping 24 more matches