Article

Cheng, Zheng, Monahan, Rosemary and Power, James F. (2016) Formalised EMFTVM bytecode language for sound verification of model transformations. Software and Systems Modeling, 17. pp. 1197-1225. ISSN 1619-1366

Cheng, Zheng, Mery, Dominique and Monahan, Rosemary (2016) On Two Friends for Getting Correct Programs Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. Lecture Notes in Computer Science. pp. 821-838. ISSN 0302-9743

Cheng, Zheng, Monahan, Rosemary and Power, James F. (2012) A Simple Complexity Measurement for Software Verification and Software Testing. Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 873. pp. 28-331. ISSN 1613-0073

Book Section

Cheng, Zheng, Monahan, Rosemary and Power, James F. (2015) A Sound Execution Semantics for ATL via Translation Validation. In: ICMT 2015: Theory and Practice of Model Transformations. Lecture Notes in Computer Science book series (LNCS) (9152). Springer, pp. 133-148. ISBN 9783319211541

Conference or Workshop Item

Cheng, Zheng, Monahan, Rosemary and Power, James F. (2016) Verifying SimpleGT Transformations Using an Intermediate Verification Language. In: 4th International Workshop on the Verification Of Model Transformations, Jully 2015, L'Aquila, Italy.

Cheng, Zheng, Monahan, Rosemary and Mooney, Aidan (2011) nExaminer: A Semi-automated Computer Programming Assignment Assessment Framework for Moodle. In: International Conference on Engaging Pedagogies, December 16 2011, Dublin. (Unpublished)

Thesis

Cheng, Zheng (2016) Formal Verification of Relational Model Transformations using an Intermediate Verification Language. PhD thesis, National University of Ireland Maynooth.

Cheng, Zheng (2011) nExaminer: A Semi-automated Assignment Assessment Framework for Moodle. Masters thesis, National University of Ireland Maynooth.