RNDr. Petr Ročkai, Ph.D.
odborný asistent – Katedra počítačových systémů a komunikací
Počet publikací: 45
2022
-
DivSIM , an interactive simulator for LLVM bitcode
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, rok: 2022, ročník: 24, vydání: 3, DOI
-
LART: Compiled Abstract Execution (Competition Contribution)
TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, rok: 2022
-
Verification of Programs Sensitive to Heap Layout
ACM Transactions on Software Engineering and Methodology, rok: 2022, ročník: 31, vydání: 4, DOI
2021
-
DIVINE 4.4
Rok: 2021
-
Reproducible execution of POSIX programs with DiOS
Software & Systems Modeling, rok: 2021, ročník: 20, vydání: 2, DOI
2020
-
Abstracting Strings for Model Checking of C Programs
Applied Sciences, rok: 2020, ročník: 10, vydání: 21, DOI
-
Compiling C and C++ Programs for Dynamic White-Box Analysis
Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019), rok: 2020
-
Model checking in a development workflow: A study on a concurrent C++ hash table
Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019), rok: 2020
-
On Symbolic Execution of Decompiled Programs
Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020, rok: 2020
2019
-
A Simulator for LLVM Bitcode
24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, rok: 2019