Katarna Kejstov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2019
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | SEFM | Reproducible Execution of POSIX Programs with DiOS. | Petr Rockai, Zuzana Baranov, Jan Mrzek, Katarna Kejstov, Jiri Barnat |
| 2017 | ATVA | Model Checking of C and C++ with DIVINE 4. | Zuzana Baranov, Jiri Barnat, Katarna Kejstov, Tades Kucera, Henrich Lauko, Jan Mrzek, Petr Rockai, Vladimr Still |
| 2017 | RV | From Model Checking to Runtime Verification and Back. | Katarna Kejstov, Petr Rockai, Jiri Barnat |