Building A State-Of-The-Art Model Checker. - Sebastian Wolff 001 (GI-Jahrestagung, 2015)

Pointer Race Freedom. - Frédéric Haziza; Lukás Holík; Roland Meyer 001; Sebastian Wolff 001 (VMCAI, 2016)

Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. - Lukás Holík; Roland Meyer 001; Tomás Vojnar; Sebastian Wolff 001 (SAS, 2017)

Effect Summaries for Thread-Modular Analysis. - Lukás Holík; Roland Meyer 001; Tomás Vojnar; Sebastian Wolff 001 (CoRR, 2017)

Reasoning About Weak Semantics via Strong Semantics. - Roland Meyer 001; Sebastian Wolff 001 (Principled Software Development, 2018)

Decoupling lock-free data structures from memory reclamation for static analysis. - Roland Meyer 001; Sebastian Wolff 001 (Proc. ACM Program. Lang., 2019)

Pointer life cycle types for lock-free data structures with memory reclamation. - Roland Meyer 001; Sebastian Wolff 001 (Proc. ACM Program. Lang., 2020)

Verifying Non-blocking Data Structures with Manual Memory Management (Verifikation Nicht-blockierender Datenstrukturen mit Manueller Speicherverwaltung) - Sebastian Wolff 001 (2021)

Model-Based Fault Classification for Automotive Software. - Mike Becker; Roland Meyer 001; Tobias Runge; Ina Schaefer; Sören van der Wall; Sebastian Wolff 001 (APLAS, 2022)

A concurrent program logic with a future and history. - Roland Meyer 001; Thomas Wies; Sebastian Wolff 001 (Proc. ACM Program. Lang., 2022)

nekton: A Linearizability Proof Checker. - Roland Meyer 001; Anton Opaterny; Thomas Wies; Sebastian Wolff 001 (CAV (1), 2023)

Make Flows Small Again: Revisiting the Flow Framework. - Roland Meyer 001; Thomas Wies; Sebastian Wolff 001 (TACAS (1), 2023)

Context-Aware Separation Logic. - Roland Meyer 001; Thomas Wies; Sebastian Wolff 001 (CoRR, 2023)

Embedding Hindsight Reasoning in Separation Logic. - Roland Meyer 001; Thomas Wies; Sebastian Wolff 001 (Proc. ACM Program. Lang., 2023)

Realizability in Semantics-Guided Synthesis Done Eagerly. - Roland Meyer 001; Jakob Tepe; Sebastian Wolff 001 (CoRR, 2024)

Arithmetizing Shape Analysis. - Sebastian Wolff 001; Ekanshdeep Gupta; Zafer Esen; Hossein Hojjat; Philipp Rümmer; Thomas Wies (CAV (1), 2025)