Sebastian Wolff

26 papers B 3Journal 15Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Arithmetizing Shape Analysis.
CAV (1)
Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rümmer, Thomas Wies
2024 J jnl
Arithmetizing Shape Analysis.
CoRR
Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rümmer, Thomas Wies
2024 J jnl
Realizability in Semantics-Guided Synthesis Done Eagerly.
CoRR
Roland Meyer, Jakob Tepe, Sebastian Wolff
2024 — ed.
Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
VMCAI (1)
Rayna Dimitrova, Ori Lahav, Sebastian Wolff
2024 — ed.
Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
VMCAI (2)
Rayna Dimitrova, Ori Lahav, Sebastian Wolff
2023 J jnl
Context-Aware Separation Logic.
CoRR
Roland Meyer, Thomas Wies, Sebastian Wolff
2023 J jnl
Embedding Hindsight Reasoning in Separation Logic.
Proc. ACM Program. Lang.
Roland Meyer, Thomas Wies, Sebastian Wolff
2023 — conf
Make Flows Small Again: Revisiting the Flow Framework.
TACAS (1)
Roland Meyer, Thomas Wies, Sebastian Wolff
2023 J jnl
Make flows small again: revisiting the flow framework.
CoRR
Roland Meyer, Thomas Wies, Sebastian Wolff
2023 — conf
nekton: A Linearizability Proof Checker.
CAV (1)
Roland Meyer, Anton Opaterny, Thomas Wies, Sebastian Wolff
2022 J jnl
A Concurrent Program Logic with a Future and History.
CoRR
Roland Meyer, Thomas Wies, Sebastian Wolff
2022 J jnl
A concurrent program logic with a future and history.
Proc. ACM Program. Lang.
Roland Meyer, Thomas Wies, Sebastian Wolff
2022 J jnl
Embedding Hindsight Reasoning in Separation Logic.
CoRR
Roland Meyer, Thomas Wies, Sebastian Wolff
2022 B conf
Model-Based Fault Classification for Automotive Software.
APLAS
Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff
2022 J jnl
Model-based Fault Classification for Automotive Software.
CoRR
Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff
2021 — —
Verifying Non-blocking Data Structures with Manual Memory Management (Verifikation Nicht-blockierender Datenstrukturen mit Manueller Speicherverwaltung)
Sebastian Wolff
2020 J jnl
Pointer life cycle types for lock-free data structures with memory reclamation.
Proc. ACM Program. Lang.
Roland Meyer, Sebastian Wolff
2019 J jnl
Decoupling lock-free data structures from memory reclamation for static analysis.
Proc. ACM Program. Lang.
Roland Meyer, Sebastian Wolff
2019 J jnl
Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation.
CoRR
Roland Meyer, Sebastian Wolff
2018 J jnl
Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis.
CoRR
Roland Meyer, Sebastian Wolff
2018 — conf
Reasoning About Weak Semantics via Strong Semantics.
Principled Software Development
Roland Meyer, Sebastian Wolff
2017 B conf
Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic.
SAS
Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff
2017 J jnl
Effect Summaries for Thread-Modular Analysis.
CoRR
Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff
2016 B conf
Pointer Race Freedom.
VMCAI
Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff
2015 — conf
Building A State-Of-The-Art Model Checker.
GI-Jahrestagung
Sebastian Wolff
2015 J jnl
Pointer Race Freedom.
CoRR
Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff