RNDr. Petr Ročkai, Ph.D.
Assistant professor, Department of Computer Systems and Communications
Total number of publications: 45
2022
-
DivSIM , an interactive simulator for LLVM bitcode
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, year: 2022, volume: 24, edition: 3, DOI
-
LART: Compiled Abstract Execution (Competition Contribution)
TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, year: 2022
-
Verification of Programs Sensitive to Heap Layout
ACM Transactions on Software Engineering and Methodology, year: 2022, volume: 31, edition: 4, DOI
2021
-
DIVINE 4.4
Year: 2021
-
Reproducible execution of POSIX programs with DiOS
Software & Systems Modeling, year: 2021, volume: 20, edition: 2, DOI
2020
-
Abstracting Strings for Model Checking of C Programs
Applied Sciences, year: 2020, volume: 10, edition: 21, DOI
-
Compiling C and C++ Programs for Dynamic White-Box Analysis
Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019), year: 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), year: 2020
-
On Symbolic Execution of Decompiled Programs
Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020, year: 2020
2019
-
A Simulator for LLVM Bitcode
24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, year: 2019