- Incremental Verification by SMT-based Summary Repair2020 | Matematicko-fyzikální fakulta
- Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of ThreadsPublikace bez příslušnosti k fakultě
- 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
- SMT-based verification of program changes through summary repair2023 | Matematicko-fyzikální fakulta
- eVolCheck: Incremental Upgrade Checker for C2013 | Matematicko-fyzikální fakulta
- Incremental Upgrade Checking by Means of Interpolation-based Function Summaries2012 | Matematicko-fyzikální fakulta