Manuel Bentele
Orcid: 0009-0003-4794-958X
According to our database1,
Manuel Bentele authored at least 171 papers
between 2021 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2026
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2026
2025
CoRR, December, 2025
CoRR, December, 2025
Replication Dataset for Provably Relevant HAL Interface Requirements for Embedded Systems.
Dataset, October, 2025
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025
2024
Artifact for the VMCAI'2025 Paper "Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts".
Dataset, October, 2024
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version).
CoRR, 2024
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
2023
2022
bwLehrpool als offene und flexible Betriebsplattform für PC-Pools mit optionalem Fernzugriff.
Proceedings of the 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26., 2022
2021
Proceedings of the Cloud Computing - 11th EAI International Conference, 2021