Georg Weissenbacher

Available identifiers

Publication	Date of Publication	Type
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification	2025-01-13	Paper
A formalization of Heisenbugs and their causes	2024-06-05	Paper
Extracting safe thread schedules from incomplete model checking results	2024-02-23	Paper
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free	2021-12-08	Paper
Multi-linear strategy extraction for QBF expansion proofs via local soundness	2021-04-07	Paper
Language inclusion for finite prime event structures	2020-08-05	Paper
Error invariants for concurrent traces	2020-01-03	Paper
A separation logic with data: small models and automation	2018-10-18	Paper
Abstraction and mining of traces to explain concurrency bugs	2018-02-12	Paper
Dynamic Reductions for Model Checking Concurrent Software	2017-02-21	Paper
Labelled interpolation systems for hyper-resolution, clausal, and local proofs	2016-05-25	Paper
Advanced SAT Techniques for Abstract Argumentation	2013-10-04	Paper
Interpolant Strength Revisited	2013-08-12	Paper
Parallel Assertions for Architectures with Weak Memory Models	2012-11-21	Paper
Mutation-Based Test Case Generation for Simulink Models	2011-01-08	Paper
Verification and falsification of programs with loops using predicate abstraction	2010-05-05	Paper
Interpolant Strength	2010-01-14	Paper

This page was built for person: Georg Weissenbacher