- NuSeenPublication without faculty affiliation
- Improving Model-based Test Generation by Model Decomposition2015 | Faculty of Mathematics and Physics
- NuSeen: A Tool Framework for the NuSMV Model Checker2017 | Faculty of Mathematics and Physics
- Decomposition-Based Approach for Model-Based Test Generation2019 | Faculty of Mathematics and Physics