Bram Kohlen

According to our database, Bram Kohlen authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs.

Bram Kohlen, Maximilian Schäffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Efficient Formally Verified Maximal End Component Decomposition for MDPs.

Arnd Hartmanns, Bram Kohlen, Peter Lammich

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Fast Verified SCCs for Probabilistic Model Checking.

Arnd Hartmanns, Bram Kohlen, Peter Lammich

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Backwards Reachability for Probabilistic Timed Automata: A Replication Report.

Arnd Hartmanns, Bram Kohlen

CoRR, 2022

2021

Tweaking the Odds in Probabilistic Timed Automata.

Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021