• 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 1,461 matches

• 2024
• 
  Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg:
  Verification under TSO with an infinite Data Domain. TACAS (3) 2024: 276-295
• 
  Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg:
  Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers. TACAS (3) 2024: 129-149
• 
  S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried:
  On Dependent Variables in Reactive Synthesis. TACAS (1) 2024: 123-143
• 
  Cyrille Artho, Pavel Parízek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi:
  JPF: From 2003 to 2023. TACAS (2) 2024: 3-22
• 
  Guy Avni, Kaushik Mallik, Suman Sadhukhan:
  Auction-Based Scheduling. TACAS (3) 2024: 153-172
• 
  Paulína Ayaziová, Jan Strejcek:
  Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution). TACAS (3) 2024: 341-346
• 
  Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen:
  CTMCs with Imprecisely Timed Observations. TACAS (2) 2024: 258-278
• 
  Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler:
  CPAchecker 2.3 with Strategy Selection - (Competition Contribution). TACAS (3) 2024: 359-364
• 
  Levente Bajczi, Zsófia Ádám, Zoltán Micskei:
  ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution). TACAS (3) 2024: 330-334
• 
  Levente Bajczi, Dániel Szekeres, Milán Mondok, Zsófia Ádám, Márk Somorjai, Csanád Telbisz, Mihály Dobos-Kovács, Vince Molnár:
  EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution). TACAS (3) 2024: 371-375
• 
  Levente Bajczi, Csanád Telbisz, Márk Somorjai, Zsófia Ádám, Mihály Dobos-Kovács, Dániel Szekeres, Milán Mondok, Vince Molnár:
  Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution). TACAS (3) 2024: 412-417
• 
  Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt:
  Formally Verifying an Efficient Sorter. TACAS (1) 2024: 268-287
• 
  Raven Beutner:
  Automated Software Verification of Hyperliveness. TACAS (2) 2024: 196-216
• 
  Dirk Beyer:
  State of the Art in Software Verification and Witness Validation: SV-COMP 2024. TACAS (3) 2024: 299-329
• 
  Laura Bocchi, Andy King, Maurizio Murgia:
  Asynchronous Subtyping by Trace Relaxation. TACAS (1) 2024: 207-226
• 
  Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr:
  Learning Explainable and Better Performing Representations of POMDP Strategies. TACAS (2) 2024: 299-319
• 
  Yubo Cai, Gleb Pogudin:
  Dissipative quadratizations of polynomial ODE systems. TACAS (2) 2024: 323-342
• 
  Marek Chalupa, Cedric Richter:
  Bubaak-SpLit: Split what you cannot verify (Competition contribution). TACAS (3) 2024: 353-358
• 
  Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc:
  Z3-Noodler: An Automata-based String Solver. TACAS (1) 2024: 24-33
• 
  Po-Chun Chien, Nian-Ze Lee:
  CPV: A Circuit-Based Program Verifier. TACAS (3) 2024: 365-370
• 
  David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc:
  Mata: A Fast and Simple Finite Automata Library. TACAS (2) 2024: 130-151
• 
  Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule:
  TaSSAT: Transfer and Share SAT. TACAS (1) 2024: 34-42
• 
  Loïc Correnson, Allan Blanchard, Adel Djoudi, Nikolai Kosmatov:
  Automate where Automation Fails: Proof Strategies for Frama-C/WP. TACAS (1) 2024: 331-339
• 
  Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt:
  NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. TACAS (3) 2024: 45-67
• 
  Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger:
  Deciding Boolean Separation Logic via Small Models. TACAS (1) 2024: 188-206
• 
  Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol:
  On-The-Fly Algorithm for Reachability in Parametric Timed Games. TACAS (3) 2024: 194-212
• 
  Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist:
  Scalable Tree-based Register Automata Learning. TACAS (2) 2024: 87-108
• 
  Tom van Dijk, Feije van Abbema, Naum Tomov:
  Knor: reactive synthesis using Oink. TACAS (1) 2024: 103-122
• 
  Rüdiger Ehlers, Ayrat Khalimov:
  Fully Generalized Reactivity(1) Synthesis. TACAS (1) 2024: 83-102
• 
  Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes:
  DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. TACAS (1) 2024: 3-23

skipping 1,431 more matches