VLDB 2026 Research / reviewers in the wild / expert
Manuel Bentele
dblp:316/7930
· DBLP profile ↗
4ranked-venue papers
2as first author
4since 2021 · last 2026
0009-0003-4794-958XORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 4 · 2 first-author · 4 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Provably Relevant HAL Interface Requirements for Embedded Systems
Manuel Bentele, Andreas Podelski, Axel Sikora, Bernd Westphal |
REFSQ | 1 |
| 2026 | Ultimate Automizer with a One-Dimensional Memory Model - (Competition Contribution)
Manuel Bentele, Max Barth, Marcel Ebbinghaus, Jan Körner, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski |
TACAS (2) | 1 |
| 2025 | Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz 0007, Helmut Seidl, Sarah Tilscher, Vesal Vojdani |
VMCAI (1) | 2 |
| 2024 | Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution)abstractAbstract The verification ofUltimate Automizerworks on an SMT-LIB-based model of a C program. If we choose an SMT-LIB theory of (mathematical) integers, the translation is not precise, because we overapproximate bitwise operations. In this paper we present a translation for bitwise operations that improves the precision of this overapproximation. Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Andreas Podelski |
TACAS (3) | 2 |