 | Up a level |
Cheng, Zheng and 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 and 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 and 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
Cheng, Zheng and 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
Cheng, Zheng and 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 and 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)
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.
