- Data-flow Analysis of Programs with Associative Arrays2014 | Matematicko-fyzikální fakulta
- Endicheck: Dynamic Analysis for Detecting Endianness Bugs2020 | Matematicko-fyzikální fakulta
- Model-based Confidentiality Analysis under Uncertainty2023 | Matematicko-fyzikální fakulta
- JSPChecker: Static Detection of Context-Sensitive Cross-Site Scripting Flaws in Legacy Web Applications2016 | Matematicko-fyzikální fakulta
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublikace bez příslušnosti k fakultě
- Towards Efficient Software Comprehension with Code Analysis2022 | Matematicko-fyzikální fakulta