Georg Weissenbacher

MaRDI QIDQ286730zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification Formal Methods in System Design	2025-01-13	Paper
A formalization of Heisenbugs and their causes	2024-06-05	Paper
Extracting safe thread schedules from incomplete model checking results Model Checking Software	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 Formal Methods in System Design	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 (available as arXiv preprint)	2020-08-05	Paper
Error invariants for concurrent traces (available as arXiv preprint)	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 Formal Methods in System Design	2018-02-12	Paper
Dynamic reductions for model checking concurrent software Lecture Notes in Computer Science	2017-02-21	Paper
Labelled interpolation systems for hyper-resolution, clausal, and local proofs Journal of Automated Reasoning	2016-05-25	Paper
Advanced SAT techniques for abstract argumentation Lecture Notes in Computer Science	2013-10-04	Paper
Interpolant strength revisited Theory and Applications of Satisfiability Testing – SAT 2012	2013-08-12	Paper
Parallel assertions for architectures with weak memory models Automated Technology for Verification and Analysis	2012-11-21	Paper
Mutation-Based Test Case Generation for Simulink Models Formal Methods for Components and Objects	2011-01-08	Paper
Verification and falsification of programs with loops using predicate abstraction Formal Aspects of Computing	2010-05-05	Paper
Interpolant strength Lecture Notes in Computer Science	2010-01-14	Paper

Research outcomes over time

This page was built for person: Georg Weissenbacher