- Pattern-Based Verification for Multithreaded Programs2014 | Faculty of Mathematics and Physics
- Fuzzing of Multithreaded Programs in .NET - Challenges and Solutions2022 | Faculty of Mathematics and Physics
- Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of ThreadsPublication without faculty affiliation
- Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs2023 | Faculty of Mathematics and Physics
- Fast Error Detection with Hybrid Analyses of Future Accesses2016 | Faculty of Mathematics and Physics
- SharpDetect: Dynamic Analysis Framework for C#/.NET Programs2020 | Faculty of Mathematics and Physics