Automatic analysis of DMA races using model checking and k-induction by Donaldson, A, Kroening, D, Rümmer, P

Automatic analysis of DMA races using model checking and k-induction. by Donaldson, A, Kroening, D, Rümmer, P

Beyond quantifier-free interpolation in extensions of presburger arithmetic by Brillout, A, Kroening, D, Rümmer, P, Wahl, T

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. by Brillout, A, Kroening, D, Rümmer, P, Wahl, T

An interpolating sequent calculus for quantifier-free Presburger arithmetic by Brillout, A, Kroening, D, Rümmer, P, al., E

Ranking function synthesis for bit-vector relations by Cook, B, Kroening, D, Rümmer, P, Wintersteiger, C

Ranking function synthesis for bit-vector relations by Cook, B, Kroening, D, Rummer, P, al., E

Software verification using k-induction by Donaldson, A, Haller, L, Kroening, D, Rummer, P

Decision procedures for path feasibility of string-manipulating programs with complex operations by Chen, T, Hague, M, Lin, AW, Rümmer, P, Wu, Z

String constraints with concatenation and transducers solved efficiently by Holik, L, Janku, P, Lin, A, Rümmer, P, Vojnar, T

Mutation-based test case generation for simulink models by Brillout, A, He, N, Mazzucchi, M, Kroening, D, Purandare, M, Rümmer, P, Weissenbacher, G