- FunFrog: Bounded Model Checking with Interpolation-based Function Summarization2012 | Matematicko-fyzikální fakulta
- Function Summarization Modulo Theories2018 | Matematicko-fyzikální fakulta
- Incremental Upgrade Checking by Means of Interpolation-based Function Summaries2012 | Matematicko-fyzikální fakulta
- Transition Power Abstractions for Deep Counterexample Detection2022 | Matematicko-fyzikální fakulta
- Leveraging Interpolant Strength in Model Checking2012 | Matematicko-fyzikální fakulta