- SMT-based verification of program changes through summary repair2023 | Matematicko-fyzikální fakulta
- SolCMC: Solidity Compiler's Model Checker2022 | Matematicko-fyzikální fakulta
- Farkas-Based Tree Interpolation2020 | Matematicko-fyzikální fakulta
- A Cooperative Parallelization Approach for Property-Directed k-Induction2020 | Matematicko-fyzikální fakulta
- Computing Exact Worst-Case Gas Consumption for Smart Contracts2018 | Matematicko-fyzikální fakulta
- Split Transition Power Abstraction for Unbounded Safety2022 | Matematicko-fyzikální fakulta