Seguir
Jan Mrázek
Jan Mrázek
Masaryk University
Dirección de correo verificada de honzamrazek.cz
Título
Citado por
Citado por
Año
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
922017
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
242016
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
112019
RoFICoM–First Open-Hardware Connector for Metamorphic Robots
J Mrázek, J Barnat
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2019
82019
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
82017
RoFI--Distributed Metamorphic Robots
J Mrázek
Masarykova univerzita, Fakulta informatiky, 2019
62019
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
12023
SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking
J Mrázek, M Jonáš, J Barnat
arXiv preprint arXiv:1711.09084, 2017
12017
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–11