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

• 2023
• 
  Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
  Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. ATVA 2023: 176-198
• 
  Mohammad Afzal, Ashutosh Gupta, S. Akshay:
  Using Counterexamples to Improve Robustness Verification in Neural Networks. ATVA (1) 2023: 422-443
• 
  Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic:
  Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. ATVA (1) 2023: 357-379
• 
  Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller:
  pymwp: A Static Analyzer Determining Polynomial Growth Bounds. ATVA 2023: 263-275
• 
  Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider:
  ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. ATVA 2023: 276-287
• 
  Kenny Ballou, Elena Sherman:
  Minimally Comparing Relational Abstract Domains. ATVA 2023: 159-175
• 
  Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells:
  Model Checking Strategies from Synthesis over Finite Traces. ATVA (1) 2023: 227-247
• 
  David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel:
  Correct and Efficient Policy Monitoring, a Retrospective. ATVA (1) 2023: 3-30
• 
  Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber:
  Checking and Sketching Causes on Temporal Sequences. ATVA 2023: 314-327
• 
  Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin:
  Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. ATVA (1) 2023: 203-223
• 
  Calvin Chau, Jan Kretínský, Stefanie Mohr:
  Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. ATVA (1) 2023: 401-421
• 
  Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen:
  Better Predicates and Heuristics for Improved Commutativity Synthesis. ATVA 2023: 93-113
• 
  Rafael Dewes, Rayna Dimitrova:
  Compositional High-Quality Synthesis. ATVA (1) 2023: 334-354
• 
  Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang:
  Lightweight Verification of Hyperproperties. ATVA 2023: 3-25
• 
  Derek Egolf, Stavros Tripakis:
  Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. ATVA (1) 2023: 270-291
• 
  Kasper Engelen, Guillermo A. Pérez, Shrisha Rao:
  Graph-Based Reductions for Parametric and Weighted MDPs. ATVA (1) 2023: 137-157
• 
  Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing:
  Reactive Synthesis of Smart Contract Control Flows. ATVA (1) 2023: 248-269
• 
  Bernd Finkbeiner, Florian Kohn, Malte Schledjewski:
  Leveraging Static Analysis: An IDE for RTLola. ATVA 2023: 251-262
• 
  Amit Gurung, Masaki Waga, Kohei Suenaga:
  Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. ATVA (1) 2023: 33-52
• 
  Arnd Hartmanns, Bram Kohlen, Peter Lammich:
  Fast Verified SCCs for Probabilistic Model Checking. ATVA (1) 2023: 181-202
• 
  Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun:
  On the Difficulty of Intersection Checking with Polynomial Zonotopes. ATVA 2023: 51-71
• 
  Oscar H. Ibarra, Ian McQuillan:
  On the Containment Problem for Deterministic Multicounter Machine Models. ATVA (1) 2023: 74-94
• 
  J. S. Sajiv Kumar, Raghavan Komondoor:
  Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation. ATVA (1) 2023: 292-311
• 
  Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov:
  AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. ATVA 2023: 237-250
• 
  Yong Li, Sven Schewe, Qiyi Tang:
  A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages. ATVA (1) 2023: 53-73
• 
  Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang:
  Scenario Approach for Parametric Markov Models. ATVA (1) 2023: 158-180
• 
  Simon Lutz, Daniel Neider, Rajarshi Roy:
  Specification Sketching for Linear Temporal Logic. ATVA 2023: 26-48
• 
  Morgan McColl, Callum McColl, René Hexel:
  Automatic Verification of High-Level Executable Models Running on FPGAs. ATVA 2023: 217-234
• 
  Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra:
  RTAEval: A Framework for Evaluating Runtime Assurance Logic. ATVA 2023: 302-313
• 
  Dhruv Nevatia, Benjamin Monmege:
  An Automata Theoretic Characterization of Weighted First-Order Logic. ATVA (1) 2023: 115-133

skipping 681 more matches