- The Golem Horn Solver2023 | Faculty of Mathematics and Physics
- CHC Model Validation with Proof Guarantees2024 | Faculty of Mathematics and Physics
- SolCMC: Solidity Compiler's Model Checker2022 | Faculty of Mathematics and Physics
- Split Transition Power Abstraction for Unbounded Safety2022 | Faculty of Mathematics and Physics