Jiří Barnat
Masarykova univerzita
H-index: 34
Europe-Czech Republic
Top articles of Jiří Barnat
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Fault-Tolerant and System-Wide Communication for Metamorphic Robots | Jan Mrázek Vladimír Chlup Jiří Barnat | 2023/8/26 | |
RoFIOS-Flexible Full-Stack Software Solution for Metamorphic Robots | Jan Mrázek Jiří Barnat | 2023/8/26 | |
Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics | Jan Mrázek Patrick Ondika Ivana Černá Jiří Barnat | 2023/5/29 | |
DivSIM, an interactive simulator for LLVM bitcode | International Journal on Software Tools for Technology Transfer | Petr Ročkai Jiří Barnat | 2022/6 |
Reproducible execution of POSIX programs with DiOS | Software and Systems Modeling | Petr Ročkai Zuzana Baranová Jan Mrázek Katarína Kejstová Jiříí Barnat | 2021/4 |
Reconfiguring metamorphic robots via SMT: is it a viable way? | Jan Mrázek Martin Jonáš Jiří Barnat | 2021/9/27 | |
On Symbolic Execution of Decompiled Programs | Lukáš Korenčik Petr Ročkai Henrich Lauko Jiří Barnat | 2020/12/11 |