| Model Checking of C and C++ with DIVINE 4 Z Baranová, J Barnat, K Kejstová, T Kučera, H Lauko, J Mrázek, P Ročkai, ... International Symposium on Automated Technology for Verification and …, 2017 | 92 | 2017 |
| SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration J Mrázek, P Bauch, H Lauko, J Barnat International Symposium on Model Checking Software, 208-213, 2016 | 24 | 2016 |
| Reproducible Execution of POSIX Programs with DiOS P Ročkai, Z Baranová, J Mrázek, K Kejstová, J Barnat International Conference on Software Engineering and Formal Methods, 333-349, 2019 | 11 | 2019 |
| RoFICoM–First Open-Hardware Connector for Metamorphic Robots J Mrázek, J Barnat 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2019 | 8 | 2019 |
| Optimizing and caching SMT queries in SymDIVINE J Mrázek, M Jonáš, V Štill, H Lauko, J Barnat International Conference on Tools and Algorithms for the Construction and …, 2017 | 8 | 2017 |
| RoFI--Distributed Metamorphic Robots J Mrázek Masarykova univerzita, Fakulta informatiky, 2019 | 6 | 2019 |
| Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics J Mrázek, P Ondika, I Černá, J Barnat 2023 IEEE International Conference on Robotics and Automation (ICRA), 11894 …, 2023 | 1 | 2023 |
| SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking J Mrázek, M Jonáš, J Barnat arXiv preprint arXiv:1711.09084, 2017 | 1 | 2017 |
| Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? J Mrázek, M Jonáš, J Barnat 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 0 | 1 | |
| DiOS: A Lightweight Approach to Verifying POSIX-Based Programs⋆ Z Baranová, J Barnat, K Kejstová, J Mrázek, P Rockai | | |
| Caching SMT Queries in SymDIVINE J Mrázek | | |
