- AsmRefProver - Asmeta Refinement correctness ProverPublication without faculty affiliation
- Refinement Correction Strategy for Invalid XML Documents and Regular Tree Grammars2014 | Faculty of Mathematics and Physics
- SMT-based automatic proof of ASM model refinement2016 | Faculty of Mathematics and Physics