- Fighting the State Explosion Problem in Component Protocols2007 | Faculty of Mathematics and Physics
- Improving Model-based Test Generation by Model Decomposition2015 | Faculty of Mathematics and Physics
- Behavior Protocols: Efficient Checking For Composition Errors +12005 | Faculty of Mathematics and Physics
- Decomposition-Based Approach for Model-Based Test Generation2019 | Faculty of Mathematics and Physics
- Performance Improvements of Behavior Protocol Checking +12005 | Faculty of Mathematics and Physics
- Addressing State Explosion in Behavior Protocol Verification2004 | Faculty of Mathematics and Physics