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

• 2014
• 
  Dieky Adzkiya, Bart De Schutter, Alessandro Abate:
  Forward Reachability Computation for Autonomous Max-Plus-Linear Systems. TACAS 2014: 248-262
• 
  Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez:
  SACO: Static Analyzer for Concurrent Objects. TACAS 2014: 562-567
• 
  Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
  Decision Procedures for Flat Array Properties. TACAS 2014: 15-30
• 
  Shaull Almagor, Udi Boker, Orna Kupferman:
  Discounting in LTL. TACAS 2014: 424-439
• 
  Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
  VeriMAP: A Tool for Verifying Programs through Transformations. TACAS 2014: 568-574
• 
  Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan:
  Verification of Concurrent Quantum Protocols by Equivalence Checking. TACAS 2014: 500-514
• 
  Alessandro Armando, Roberto Carbone, Luca Compagna:
  SATMC: A SAT-Based Model Checker for Security-Critical Systems. TACAS 2014: 31-45
• 
  Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz:
  Compositional Invariant Generation for Timed Systems. TACAS 2014: 263-278
• 
  Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker:
  Computing Conditional Probabilities in Markovian Models Efficiently. TACAS 2014: 515-530
• 
  D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers:
  CIF 3: Model-Based Engineering of Supervisory Controllers. TACAS 2014: 575-580
• 
  Dirk Beyer:
  Status Report on Software Verification - (Competition Summary SV-COMP 2014). TACAS 2014: 373-388
• 
  Jaap Boender, Claudio Sacerdoti Coen:
  On the Correctness of a Branch Displacement Algorithm. TACAS 2014: 605-619
• 
  Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta:
  Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. TACAS 2014: 326-340
• 
  Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl:
  Alternating Runtime and Size Complexity Analysis of Integer Programs. TACAS 2014: 140-155
• 
  Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit:
  EDD: A Declarative Debugger for Sequential Erlang Programs. TACAS 2014: 581-586
• 
  Hong Yi Chen, Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn:
  Proving Nontermination via Safety. TACAS 2014: 156-171
• 
  Vincent Cheval:
  APTE: An Algorithm for Proving Trace Equivalence. TACAS 2014: 587-592
• 
  Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
  IC3 Modulo Theories via Implicit Predicate Abstraction. TACAS 2014: 46-61
• 
  Normann Decker, Martin Leucker, Daniel Thoma:
  Monitoring Modulo Theories. TACAS 2014: 341-356
• 
  Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
  Permissive Controller Synthesis for Probabilistic Systems. TACAS 2014: 531-546
• 
  Kamil Dudka, Petr Peringer, Tomás Vojnar:
  Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution). TACAS 2014: 412-414
• 
  Hassan Eldib, Chao Wang, Patrick Schaumont:
  SMT-Based Verification of Software Countermeasures against Side-Channel Attacks. TACAS 2014: 62-77
• 
  Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski:
  Ultimate Kojak - (Competition Contribution). TACAS 2014: 421-423
• 
  Christian von Essen, Dimitra Giannakopoulou:
  Analyzing the Next Generation Airborne Collision Avoidance System. TACAS 2014: 620-635
• 
  Bernd Finkbeiner, Leander Tentrup:
  Detecting Unrealizable Specifications of Distributed Systems. TACAS 2014: 78-92
• 
  Khalil Ghorbal, André Platzer:
  Characterizing Algebraic Invariants by Differential Radical Invariants. TACAS 2014: 279-294
• 
  Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe:
  FDR3 - A Modern Refinement Checker for CSP. TACAS 2014: 187-201
• 
  Arie Gurfinkel, Anton Belov:
  FrankenBit: Bit-Precise Verification with Many Bits - (Competition Contribution). TACAS 2014: 408-411
• 
  Arie Gurfinkel, Anton Belov, João Marques-Silva:
  Synthesizing Safe Bit-Precise Invariants. TACAS 2014: 93-108
• 
  Arnd Hartmanns, Holger Hermanns:
  The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. TACAS 2014: 593-598

skipping 26 more matches