Towards a GPU-Accelerated Open Source VDI for OpenStack. - Manuel Bentele; Dirk von Suchodoletz; Manuel Messner; Simon Rettberg (CloudComp, 2021)

bwLehrpool als offene und flexible Betriebsplattform für PC-Pools mit optionalem Fernzugriff. - Dirk von Suchodoletz; Simon Rettberg; Manuel Bentele; Steffen Ritter; Christian Rößler (GI-Jahrestagung, 2022)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). - Frank Schüssele; Manuel Bentele; Daniel Dietsch; Matthias Heizmann; Xinyu Jiang; Dominik Klumpp; Andreas Podelski (TACAS (3), 2024)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version). - Julian Erhard; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Simmo Saan; Frank Schüssele; Michael Schwarz 007; Helmut Seidl; Sarah Tilscher; Vesal Vojdani (CoRR, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Artifact for the VMCAI'2025 Paper "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 007; Helmut Seidl; Sarah Tilscher; Vesal Vojdani (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

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 007; Helmut Seidl; Sarah Tilscher; Vesal Vojdani (VMCAI (1), 2025)