Zuzana Baranová

According to our database, Zuzana Baranová authored at least 3 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Reproducible execution of POSIX programs with DiOS.

Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat

Softw. Syst. Model., 2021

2019

Compiling C and C++ Programs for Dynamic White-Box Analysis.

Zuzana Baranová, Petr Rockai

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

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

Proceedings of the Automated Technology for Verification and Analysis, 2017