Bram Kohlen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs. | Bram Kohlen, Maximilian Schffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich |
| 2024 | FM | Efficient Formally Verified Maximal End Component Decomposition for MDPs. | Arnd Hartmanns, Bram Kohlen, Peter Lammich |
| 2023 | ATVA | Fast Verified SCCs for Probabilistic Model Checking. | Arnd Hartmanns, Bram Kohlen, Peter Lammich |