prof. RNDr. Jiří Barnat, Ph.D.

2024

• Tree-Based Reconfiguration of Metamorphic Robots

  ONDIKA Patrick MRÁZEK Jan BARNAT Jiří

  Article in Proceedings

  2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), year: 2024

2023

• Fault-Tolerant and System-Wide Communication for Metamorphic Robots

  MRÁZEK Jan CHLUP Vladimír BARNAT Jiří

  Article in Proceedings

  2023 IEEE 19th International Conference on Automation Science and Engineering (CASE), year: 2023

• RoFIOS - Flexible Full-Stack Software Solution for Metamorphic Robots

  MRÁZEK Jan BARNAT Jiří

  Article in Proceedings

  2023 IEEE 19th International Conference on Automation Science and Engineering (CASE), year: 2023

• Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics

  MRÁZEK Jan ONDIKA Patrick ČERNÁ Ivana BARNAT Jiří

  Article in Proceedings

  2023 IEEE International Conference on Robotics and Automation (ICRA), year: 2023

2022

• DivSIM , an interactive simulator for LLVM bitcode

  ROČKAI Petr BARNAT Jiří

  Article in Periodical

  INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, year: 2022, volume: 24, edition: 3, DOI

2021

• DIVINE 4.4

  ROČKAI Petr LAUKO Henrich ŠTILL Vladimír BARANOVÁ Zuzana KORENČIK Lukáš MATOUŠEK Adam BARNAT Jiří ŠÁRNÍK Jakub MRÁZEK Jan KEJSTOVÁ Katarína KUČERA Tadeáš

  Year: 2021

• Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?

  MRÁZEK Jan JONÁŠ Martin BARNAT Jiří

  Article in Proceedings

  2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), year: 2021

• Reproducible execution of POSIX programs with DiOS

  ROČKAI Petr BARANOVÁ Zuzana MRÁZEK Jan KEJSTOVÁ Katarína BARNAT Jiří

  Article in Periodical

  Software & Systems Modeling, year: 2021, volume: 20, edition: 2, DOI

2020

• On Symbolic Execution of Decompiled Programs

  KORENČIK Lukáš ROČKAI Petr LAUKO Henrich BARNAT Jiří

  Article in Proceedings

  Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020, year: 2020

2019

• A Simulator for LLVM Bitcode

  ROČKAI Petr BARNAT Jiří

  Article in Proceedings

  24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, year: 2019