- NuSeenPublikace bez příslušnosti k fakultě
- Improving Model-based Test Generation by Model Decomposition2015 | Matematicko-fyzikální fakulta
- NuSeen: A Tool Framework for the NuSMV Model Checker2017 | Matematicko-fyzikální fakulta
- Decomposition-Based Approach for Model-Based Test Generation2019 | Matematicko-fyzikální fakulta