1:03:35

[VMCAI'24] Two Projects on Human Interaction with AI

ACM SIGPLAN

16:06

[VMCAI'24] Interpolation and Quantifiers in Ortholattices

ACM SIGPLAN

20:18

[VMCAI'24] Function synthesis for maximizing model counting

ACM SIGPLAN

20:34

[VMCAI'24] Boosting Constrained Horn Solving by Unsat Core Learning

ACM SIGPLAN

18:03

[VMCAI'24] On the Verification of a Subgraph Construction Algorithm

ACM SIGPLAN

25:08

[VMCAI'24] Efficient Local Search for Nonlinear Real Arithmetic

ACM SIGPLAN

20:03

[VMCAI'24] Automatic and Incremental Repair for Speculative Information Leaks

ACM SIGPLAN

20:13

[VMCAI'24] Sound Abstract Nonexploitability Analysis

ACM SIGPLAN

19:09

[VMCAI'24] Solving Two-Player Games under Progress Assumptions

ACM SIGPLAN

15:30

[VMCAI'24] Model-Guided Synthesis for LTL over Finite Traces

ACM SIGPLAN

12:39

[VMCAI'24] Generic Model Checking for Modal Fixpoint Logics in COOL-MC

ACM SIGPLAN

23:23

[VMCAI'24] Project and Conquer: Fast Quantifier Elimination for Checking Petri Nets Reacha...

ACM SIGPLAN

15:49

[VMCAI'24] Parameterized Verification of Disjunctive Timed Networks

ACM SIGPLAN

17:33

[VMCAI'24] Resilience and Home-Space for WSTS

ACM SIGPLAN

22:10

[VMCAI'24] Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic

ACM SIGPLAN

14:35

[VMCAI'24] TP-DejaVu: Combining Operational and Declarative Runtime Verification

ACM SIGPLAN

58:02

[VMCAI'24] Automating Relational Verification of Infinite-State Programs

ACM SIGPLAN

21:07

[VMCAI'24] Deductive Verification of Parameterized Embedded Systems modeled in SystemC

ACM SIGPLAN

9:43

[VMCAI'24] Automatically Enforcing Rust Trait Properties

ACM SIGPLAN

21:35

[VMCAI'24] Formal Runtime Error Detection During Development in the Automotive Industry

ACM SIGPLAN

21:20

[VMCAI'24] Generation of Violation Witnesses by Under-Approximating Abstract Interpretatio...

ACM SIGPLAN

17:46

[VMCAI'24] Correctness Witness Validation by Abstract Interpretation

ACM SIGPLAN

20:31

[VMCAI'24] Guaranteed inference for probabilistic programs: a parallelisable, small-step o...

ACM SIGPLAN

21:34

[VMCAI'24] Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs

ACM SIGPLAN

18:11

[VMCAI'24] Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Tr...

ACM SIGPLAN

24:08

[VMCAI'24] Verification of Neural Networks’ Local Differential Classification Privacy

ACM SIGPLAN

10:56

[VMCAI'24] AGNES: Abstraction-guided Framework for Deep Neural Networks Security

ACM SIGPLAN

18:11

[VMCAI'24] Petrification: Software Model Checking for Programs with Dynamic Thread Managem...

ACM SIGPLAN

20:45

[VMCAI'24] A Fully Verified Persistency Library

ACM SIGPLAN

20:42

[VMCAI'24] A Navigation Logic for Recursive Programs with Dynamic Thread Creation

ACM SIGPLAN

22:33

[VMCAI'24] Borrowable Fractional Ownership Types for Verification

ACM SIGPLAN