- Redukce růstu počtu stavů v protokolech komponent2007 | Matematicko-fyzikální fakulta
- Improving Model-based Test Generation by Model Decomposition2015 | Matematicko-fyzikální fakulta
- Protokoly chování: Efektivní kontrola chyb skládání2005 | Matematicko-fyzikální fakulta
- Decomposition-Based Approach for Model-Based Test Generation2019 | Matematicko-fyzikální fakulta
- Zlepšení výkony testování protokolů chování2005 | Matematicko-fyzikální fakulta
- Addressing State Explosion in Behavior Protocol Verification2004 | Matematicko-fyzikální fakulta
- Behavior Protocols: Efficient Checking For Composition Errors2005 | Matematicko-fyzikální fakulta
- Performance Improvements of Behavior Protocol Checking2005 | Matematicko-fyzikální fakulta