- 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
- Rigorous development process of a safety-critical system: from ASM models to Java code2017 | Faculty of Mathematics and Physics
- NuSeenPublication without faculty affiliation
- NuSeen: A Tool Framework for the NuSMV Model Checker2017 | Faculty of Mathematics and Physics
