Welcome...

B. Kohlen MSc (Bram)

PhD Candidate

About Me

I have started working in January 2021 on the project "Verified Probabilistic Verification"

Expertise

Engineering & Materials Science
Clocks
Markov Processes
Real Time Systems
Scalability
Trajectories

Publications

Recent
Hartmanns, A. , Katoen, J-P. , Kohlen, B., & Spel, J. (2021). Tweaking the Odds in Probabilistic Timed Automata. In A. Abate, & A. Marin (Eds.), Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings (pp. 39-58). (Lecture Notes in Computer Science; Vol. 12846). Springer. https://doi.org/10.1007/978-3-030-85172-9_3

Contact Details

Visiting Address

University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands