Zuzana Baranová

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

Collaborative distances:

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

2019

Reproducible Execution of POSIX Programs with DiOS.

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

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 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