- Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking2019 | Faculty of Mathematics and Physics
- Partial Verification of Software Components: Heuristics for Environment Construction +22007 | Faculty of Mathematics and Physics
- SharpDetect: Dynamic Analysis Framework for C#/.NET Programs2020 | Faculty of Mathematics and Physics
- Automated Construction of Reasonable Environment for Java Components2009 | Faculty of Mathematics and Physics
- Heuristic Reduction of Parallelism in Component EnvironmentPublication without faculty affiliation
- Formal Verification of Components in Java2008 | Faculty of Mathematics and Physics
- Efficient Detection of Errors in Java Components Using Random Environment and Restarts2010 | Faculty of Mathematics and Physics
- Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs2023 | Faculty of Mathematics and Physics
- Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information2016 | Faculty of Mathematics and Physics
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Faculty of Mathematics and Physics
- Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of ThreadsPublication without faculty affiliation