Manuel Bentele
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2022–2026
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | REFSQ | Provably Relevant HAL Interface Requirements for Embedded Systems. | Manuel Bentele, Andreas Podelski, Axel Sikora, Bernd Westphal |
| 2026 | TACAS | Ultimate Automizer with a One-Dimensional Memory Model - (Competition Contribution). | Manuel Bentele, Max Barth, Marcel Ebbinghaus, Jan Krner, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schssele, Andreas Podelski |
| 2025 | VMCAI | Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts. | Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani |
| 2024 | TACAS | Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). | Frank Schssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski |
| 2022 | GI | bwLehrpool als offene und flexible Betriebsplattform fr PC-Pools mit optionalem Fernzugriff. | Dirk von Suchodoletz, Simon Rettberg, Manuel Bentele, Steffen Ritter, Christian Rler |