Old Web
English
Sign In
Acemap
>
authorDetail
>
Katarína Kejstová
Katarína Kejstová
Masaryk University
Computer science
Programming language
Modular design
Model checking
Operating system
6
Papers
50
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (6)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Reproducible execution of POSIX programs with DiOS
2020
Software and Systems Modeling
Petr Ročkai
Zuzana Baranová
Jan Mrázek
Katarína Kejstová
Jiri Barnat
Show All
Source
Cite
Save
Citations (0)
Reproducible Execution of POSIX Programs with DiOS
2019
ICSE | International Conference on Software Engineering
Petr Ročkai
Zuzana Baranová
Jan Mrázek
Katarína Kejstová
Jiri Barnat
Show All
Source
Cite
Save
Citations (1)
Reproducible Execution of POSIX Programs with DiOS.
2019
arXiv: Operating Systems
Petr Ročkai
Zuzana Baranová
Jan Mrázek
Katarína Kejstová
Jiri Barnat
Show All
Source
Cite
Save
Citations (0)
From Model Checking to Runtime Verification and Back.
2018
arXiv: Software Engineering
Katarína Kejstová
Petr Ročkai
Jiri Barnat
Show All
Source
Cite
Save
Citations (0)
Model Checking of C and C++ with DIVINE 4
2017
ATVA | Automated Technology for Verification and Analysis
Zuzana Baranová
Jiri Barnat
Katarína Kejstová
Tadeáš Kučera
Henrich Lauko
Jan Mrázek
Petr Ročkai
Vladimír Štill
Show All
Source
Cite
Save
Citations (35)
From Model Checking to Runtime Verification and Back
2017
RV | Runtime Verification
Katarína Kejstová
Petr Ročkai
Jiri Barnat
Show All
Source
Cite
Save
Citations (14)
1