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

• 2024
• 
  Parosh Aziz Abdulla, Chencheng Liang, Philipp Rümmer:
  Boosting Constrained Horn Solving by Unsat Core Learning. VMCAI (1) 2024: 280-302
• 
  Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan:
  Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. VMCAI (1) 2024: 101-123
• 
  Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra:
  Parameterized Verification of Disjunctive Timed Networks. VMCAI (1) 2024: 124-146
• 
  Joachim Bard, Swen Jacobs, Yakir Vizel:
  Automatic and Incremental Repair for Speculative Information Leaks. VMCAI (2) 2024: 291-313
• 
  Stefan Bodenmüller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
  A Fully Verified Persistency Library. VMCAI (2) 2024: 26-47
• 
  Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey:
  On the Verification of the Correctness of a Subgraph Construction Algorithm. VMCAI (1) 2024: 303-325
• 
  Michele Boreale, Luisa Collodi:
  Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach. VMCAI (2) 2024: 141-162
• 
  Twain Byrnes, Yoshiki Takashima, Limin Jia:
  Automatically Enforcing Rust Trait Properties. VMCAI (2) 2024: 210-223
• 
  Yuxin Deng, Huiling Wu, Ming Xu:
  Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs. VMCAI (2) 2024: 163-184
• 
  Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi:
  AGNES: Abstraction-Guided Framework for Deep Neural Networks Security. VMCAI (2) 2024: 124-138
• 
  Alain Finkel, Mathieu Hilaire:
  Resilience and Home-Space for WSTS. VMCAI (1) 2024: 147-168
• 
  Simon Guilloud, Sankalp Gambhir, Viktor Kuncak:
  Interpolation and Quantifiers in Ortholattices. VMCAI (1) 2024: 235-257
• 
  Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger:
  Generic Model Checking for Modal Fixpoint Logics in COOL-MC. VMCAI (1) 2024: 171-185
• 
  Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis:
  TP-DejaVu: Combining Operational and Declarative Runtime Verification. VMCAI (2) 2024: 249-263
• 
  Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund:
  Formal Runtime Error Detection During Development in the Automotive Industry. VMCAI (1) 2024: 3-26
• 
  Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schüssele:
  Petrification: Software Model Checking for Programs with Dynamic Thread Management. VMCAI (2) 2024: 3-25
• 
  Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld:
  A Navigation Logic for Recursive Programs with Dynamic Thread Creation. VMCAI (2) 2024: 48-70
• 
  Marco Milanese, Antoine Miné:
  Generation of Violation Witnesses by Under-Approximating Abstract Interpretation. VMCAI (1) 2024: 50-73
• 
  Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi:
  Borrowable Fractional Ownership Types for Verification. VMCAI (2) 2024: 224-246
• 
  Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella:
  Abstract Interpretation-Based Feature Importance for Support Vector Machines. VMCAI (1) 2024: 27-49
• 
  Francesco Parolini, Antoine Miné:
  Sound Abstract Nonexploitability Analysis. VMCAI (2) 2024: 314-337
• 
  Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez:
  Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. VMCAI (2) 2024: 264-288
• 
  Roie Reshef, Anan Kabaha, Olga Seleznova, Dana Drachsler-Cohen:
  Verification of Neural Networks' Local Differential Classification Privacy. VMCAI (2) 2024: 98-123
• 
  Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani:
  Correctness Witness Validation by Abstract Interpretation. VMCAI (1) 2024: 74-97
• 
  Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak:
  Solving Two-Player Games Under Progress Assumptions. VMCAI (1) 2024: 208-231
• 
  Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman:
  Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. VMCAI (2) 2024: 187-209
• 
  Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang:
  Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training. VMCAI (2) 2024: 73-97
• 
  Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier:
  Function Synthesis for Maximizing Model Counting. VMCAI (1) 2024: 258-279
• 
  Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai:
  Efficient Local Search for Nonlinear Real Arithmetic. VMCAI (1) 2024: 326-349
• 
  Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi:
  Model-Guided Synthesis for LTL over Finite Traces. VMCAI (1) 2024: 186-207

skipping 597 more matches