Model Checking of C and C++ with DIVINE 4. - Zuzana Baranová; Jiri Barnat; Katarína Kejstová; Tadeás Kucera; Henrich Lauko; Jan Mrázek; Petr Rockai; Vladimír Still (ATVA, 2017)

Compiling C and C++ Programs for Dynamic White-Box Analysis. - Zuzana Baranová; Petr Rockai (FM Workshops (1), 2019)

Reproducible execution of POSIX programs with DiOS. - Petr Rockai; Zuzana Baranová; Jan Mrázek; Katarína Kejstová; Jiri Barnat (Softw. Syst. Model., 2021)