- Summarization of branching loops2022 | Matematicko-fyzikální fakulta
- Modelové úlohy pro verifikaci systémů reálného času2010 | Matematicko-fyzikální fakulta
- Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs2023 | Matematicko-fyzikální fakulta
- Function Summarization Modulo Theories2018 | Matematicko-fyzikální fakulta
- SolCMC: Solidity Compiler's Model Checker2022 | Matematicko-fyzikální fakulta
- eVolCheck: Incremental Upgrade Checker for C2013 | Matematicko-fyzikální fakulta