Publikace
- Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs2023 | Matematicko-fyzikální fakulta
- Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of ThreadsPublikace bez příslušnosti k fakultě
- Wealth in virtual societies is not virtual2023 | Matematicko-fyzikální fakulta, Evangelická teologická fakulta, Fakulta humanitních studií
- Fuzzing of Multithreaded Programs in .NET - Challenges and Solutions2022 | Matematicko-fyzikální fakulta
Loading network view...