Katarína Kejstová | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Jiri Barnat
5 publications
Petr Ročkai
3 publications
Jan Mrázek
2 publications
Zuzana Baranová
1 publication

research

∙ 07/07/2019

Reproducible Execution of POSIX Programs with DiOS

In this paper, we describe DiOS, a lightweight model operating system wh...

0 Petr Ročkai, et al. ∙

research

∙ 05/31/2018

From Model Checking to Runtime Verification and Back

We describe a novel approach for adapting an existing software model che...

0 Katarína Kejstová, et al. ∙