- Pattern-Based Verification for Multithreaded Programs2014 | Matematicko-fyzikální fakulta
- Fuzzing of Multithreaded Programs in .NET - Challenges and Solutions2022 | Matematicko-fyzikální fakulta
- Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of ThreadsPublikace bez příslušnosti k fakultě
- Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs2023 | Matematicko-fyzikální fakulta
- Fast Error Detection with Hybrid Analyses of Future Accesses2016 | Matematicko-fyzikální fakulta
- SharpDetect: Dynamic Analysis Framework for C#/.NET Programs2020 | Matematicko-fyzikální fakulta