- Data-flow Analysis of Programs with Associative Arrays2014 | Faculty of Mathematics and Physics
- Endicheck: Dynamic Analysis for Detecting Endianness Bugs2020 | Faculty of Mathematics and Physics
- Model-based Confidentiality Analysis under Uncertainty2023 | Faculty of Mathematics and Physics
- JSPChecker: Static Detection of Context-Sensitive Cross-Site Scripting Flaws in Legacy Web Applications2016 | Faculty of Mathematics and Physics
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublication without faculty affiliation
- Towards Efficient Software Comprehension with Code Analysis2022 | Faculty of Mathematics and Physics