The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata by van Breugel, F, Worrell, J

Approximating and computing behavioural distances in probabilistic transition systems by van Breugel, F, Worrell, J

Deciding probabilistic bisimilarity distance one for probabilistic automata by Tang, Q, van Breugel, F

Automatic Handling of Native Methods in Java PathFinder by Shafiei, N, van Breugel, F

APPROXIMATING A BEHAVIOURAL PSEUDOMETRIC WITHOUT DISCOUNT FOR PROBABILISTIC SYSTEMS by Van Breugel, F, Sharma, B, Worrell, J

On the Complexity of Computing Probabilistic Bisimilarity by Chen, D, van Breugel, F, Worrell, J

ArtForm: A tool for exploring the codebase of form-based websites by Spencer, B, Benedikt, M, Møller, A, Van Breugel, F

Recursively defined metric spaces without contraction by van Breugel, F, Hermida, C, Makkai, M, Worrell, J

Computing probabilistic bisimilarity distances for probabilistic automata by Bacci, G, Bacci, G, Larsen, KG, Mardare, R, Tang, Q, van Breugel, F

Probabilistic model checking of randomized Java code by Fatmi, SZ, Chen, X, Dhamija, Y, Wildes, M, Tang, Q, van Breugel, F