Heuristic-Guided Abstraction Refinement for Concurrent Systems. - Nils Timm; Heike Wehrheim; Mike Czech (ICFEM, 2012)

Just test what you cannot verify! - Mike Czech; Marie-Christine Jakobs; Heike Wehrheim (Software Engineering, 2016)

Predicting rankings of software verification tools. - Mike Czech; Eyke Hüllermeier; Marie-Christine Jakobs; Heike Wehrheim (SWAN@ESEC/SIGSOFT FSE, 2017)

Predicting Rankings of Software Verification Competitions. - Mike Czech; Eyke Hüllermeier; Marie-Christine Jakobs; Heike Wehrheim (CoRR, 2017)