RNDr. Petr Ročkai, Ph.D.
odborný asistent – Katedra počítačových systémů a komunikací
Počet publikací: 44
2022
-
LART: Compiled Abstract Execution (Competition Contribution)
Rok: 2022
-
Verification of Programs Sensitive to Heap Layout
ACM Transactions on Software Engineering and Methodology, rok: 2022
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
-
Extending DIVINE with Symbolic Verification Using SMT
Tools and Algorithms for the Construction and Analysis of Systems, rok: 2019