E-LIB Suche - Ergebnisse für: Barnat, Jiri

1

Tentacle-Based Shape Shifting of Metamorphic Robots Using F..:

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

Mrazek, Jan ; Ondika, Patrick ; Cerna, Ivana. - p. 11894-11900 , 2023

Link: https://doi.org/10.1109/..

2

Fault-Tolerant and System-Wide Communication for Metamorphi..:

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

Mrazek, Jan ; Chlup, Vladimir ; Barnat, Jiri - p. 1-8 , 2023

Link: https://doi.org/10.1109/..

3

RoFIOS - Flexible Full-Stack Software Solution for Metamorp..:

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

Mrazek, Jan ; Barnat, Jiri - p. 1-8 , 2023

Link: https://doi.org/10.1109/..

4

DivSIM , an interactive simulator for LLVM bitcode:

Ročkai, Petr ; Barnat, Jiří
International Journal on Software Tools for Technology Transfer. 24 (2022) 3 - p. 493-510 , 2022

Link: https://doi.org/10.1007/..

5

On Symbolic Execution of Decompiled Programs:

, In: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS),

Korencik, Lukas ; Rockai, Petr ; Lauko, Henrich. - p. 265-272 , 2020

Link: https://doi.org/10.1109/..

6

Extending DIVINE with Symbolic Verification Using SMT: (Com..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Lauko, Henrich ; Štill, Vladimír ; Ročkai, Petr. - p. 204-208 , 2019

Link: https://doi.org/10.1007/..

7

Local Nontermination Detection for Parallel C++ Programs:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Štill, Vladimír ; Barnat, Jiří - p. 373-390 , 2019

Link: https://doi.org/10.1007/..

8

RoFICoM – First Open-Hardware Connector for Metamorphic Rob..:

, In: 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),

Mrazek, Jan ; Barnat, Jiri - p. 2720-2725 , 2019

Link: https://doi.org/10.1109/..

9

A Simulator for LLVM Bitcode:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Ročkai, Petr ; Barnat, Jiří - p. 127-142 , 2019

Link: https://doi.org/10.1007/..

10

Reproducible Execution of POSIX Programs with DiOS:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Ročkai, Petr ; Baranová, Zuzana ; Mrázek, Jan.. - p. 333-349 , 2019

Link: https://doi.org/10.1007/..

11

Formal Methods for Industrial Critical Systems

23rd International Conference, FMICS 2018, Maynooth, Irelan... Programming and Software Engineering ; 11119;SpringerLink, Bücher

Barnat, Jiří ; Howar, Falk , 2018

Link: https://doi.org/10.1007/..

12

DiVM: Model checking with LLVM and graph memory:

Ročkai, Petr ; Štill, Vladimír ; Černá, Ivana.
Journal of Systems and Software. 143 (2018) - p. 1-13 , 2018

Link: https://doi.org/10.1016/..

13

On clock-aware LTL parameter synthesis of timed automata:

Bezděk, Peter ; Beneš, Nikola ; Černá, Ivana.
Journal of Logical and Algebraic Methods in Programming. 99 (2018) - p. 114-142 , 2018

Link: https://doi.org/10.1016/..

14

Symbolic Computation via Program Transformation:

, In: Theoretical Aspects of Computing – ICTAC 2018; Lecture Notes in Computer Science,

Lauko, Henrich ; Ročkai, Petr ; Barnat, Jiří - p. 313-332 , 2018

Link: https://doi.org/10.1007/..

15

Model Checking of C++ Programs Under the x86-TSO Memory Mod..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Štill, Vladimír ; Barnat, Jiří - p. 124-140 , 2018

Link: https://doi.org/10.1007/..