Sebastian Wolff
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Arithmetizing Shape Analysis. | Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rmmer, Thomas Wies |
| 2023 | CAV | nekton: A Linearizability Proof Checker. | Roland Meyer, Anton Opaterny, Thomas Wies, Sebastian Wolff |
| 2023 | TACAS | Make Flows Small Again: Revisiting the Flow Framework. | Roland Meyer, Thomas Wies, Sebastian Wolff |
| 2022 | APLAS | Model-Based Fault Classification for Automotive Software. | Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sren van der Wall, Sebastian Wolff |
| 2021 | ICINCO | Concept of a Robotic System for Autonomous Coarse Waste Recycling. | Tim Tiedemann, Matthis Keppner, Tom Runge, Thomas Vgele, Martin Wittmaier, Sebastian Wolff |
| 2017 | SAS | Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. | Luks Holk, Roland Meyer, Toms Vojnar, Sebastian Wolff |
| 2016 | VMCAI | Pointer Race Freedom. | Frdric Haziza, Luks Holk, Roland Meyer, Sebastian Wolff |
| 2015 | GI | Building A State-Of-The-Art Model Checker. | Sebastian Wolff |