Welkom...

B. Kohlen MSc (Bram)

Promovendus

Over mij

Sinds Januari 2021 werk ik aan het project "Verified Probabilistic Verification"

Publicaties

Recent
Hartmanns, A. , & Kohlen, B. (2022). Backwards Reachability for Probabilistic Timed Automata: A Replication Report. Paper presented at 1st Workshop on Reproducibility and Replication of Research Results, RRRR 2022, Garching, Germany. https://qcomp.org/rrrr/2022/papers/rrrr-2022-backwards-reachability-for-probabilistic-timed-automata.pdf
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

Verbonden aan Opleidingen

Master

Vakken Collegejaar  2022/2023

Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
 

Vakken Collegejaar  2021/2022

Contactgegevens

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (gebouwnr. 11), kamer 3126
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3126
Postbus 217
7500 AE Enschede