Georg Weissenbacher

Available identifiers

Publication	Date of Publication	Type
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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Georg Weissenbacher