- Behavior Protocol Verification: Fighting State Explosion +22005 | Faculty of Mathematics and Physics
- Fighting the State Explosion Problem in Component Protocols2007 | Faculty of Mathematics and Physics
- Addressing State Explosion in Behavior Protocol Verification2004 | Faculty of Mathematics and Physics
- Addressing State Explosion in Behavior Protocol Verification2004 | Publication without faculty affiliation
- Behavior Protocols: Efficient Checking For Composition Errors +12005 | Faculty of Mathematics and Physics
- Improving Model-based Test Generation by Model Decomposition2015 | 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
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Faculty of Mathematics and Physics
- Partial Verification of Software Components: Heuristics for Environment Construction +22007 | Faculty of Mathematics and Physics
- Heuristic Reduction of Parallelism in Component EnvironmentPublication without faculty affiliation
- Reducing Component Systems' Behavior Specification2007 | Faculty of Mathematics and Physics
- Efficient Detection of Errors in Java Components Using Random Environment and Restarts2010 | Faculty of Mathematics and Physics
- Formal Verification of Components in Java2008 | Faculty of Mathematics and Physics
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Faculty of Mathematics and Physics