Rob van Glabbeek

On the verification of qualitative properties of probabilistic processes under fairness constraints

Model checking for a probabilistic branching time logic with fairness

Model-checking algorithms for continuous-time markov chains

Reactive, generative, and stratified models of probabilistic processes