Liveness of Randomised Parameterised Systems under Arbitrary Schedulers by Lin, A, Ruemmer, P

Test-case generation for embedded simulink via formal concept analysis by He, N, Ruemmer, P, Kroening, D

Automatic analysis of scratch-pad memory code for heterogeneous multicore processors by Donaldson, A, Kroening, D, Ruemmer, P

Software Verification Using k−Induction by Donaldson, A, Haller, L, Kroening, D, Ruemmer, P

Fair termination for parameterized probabilistic concurrent systems by Lengál, O, Lin, A, Majumdar, R, Ruemmer, P

Learning to prove safety over parameterised concurrent systems by Chen, Y, Hong, C, Lin, A, Ruemmer, P