Katarína Kejstová

According to our database, Katarína Kejstová 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

2017

From Model Checking to Runtime Verification and Back.

Katarína Kejstová, Petr Rockai, Jiri Barnat

Proceedings of the Runtime Verification - 17th International Conference, 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