A Sound Execution Semantics for ATL via Translation Validation Z Cheng, R Monahan, JF Power 8th International Conference on Model Transformation, 2015 | 30 | 2015 |
A Deductive Approach for Fault Localization in ATL Model Transformations Z CHENG, M Tisi 20th International Conference on Fundamental Approaches to Software …, 2017 | 18 | 2017 |
CoqTL: an Internal DSL for Model Transformation in Coq M Tisi, Z Cheng 11th International Conference on Model Transformation, 2018 | 12 | 2018 |
CoqTL: A Coq DSL for Rule-Based Model Transformation Z CHENG, M Tisi, R Douence Software and Systems Modeling, 2019 | 11 | 2019 |
Slicing ATL Model Transformations for Scalable Deductive Verification and Fault Localization Z Cheng, M Tisi International Journal on Software Tools for Technology Transfer, 2018 | 11 | 2018 |
nExaminer: A Semi-automated Computer Programming Assignment Assessment Framework for Moodle Z Cheng, R Monahan, A Mooney International Conference on Engaging Pedagogies, 2011 | 8 | 2011 |
Incremental Deductive Verification for Relational Model Transformations Z Cheng, M Tisi 10th IEEE International Conference on Software Testing, Verification and …, 2017 | 6 | 2017 |
On two Friends for getting Correct Programs - Automatically Translating Event-B Specifications to Recursive Algorithms in Rodin D Méry, Z Cheng, R Monahan 7th International Symposium On Leveraging Applications of Formal Methods …, 2016 | 6 | 2016 |
Formalized EMFTVM bytecode language for sound verification of model transformations Z Cheng, R Monahan, JF Power SOFTWARE AND SYSTEMS MODELING 17 (4), 1197-1225, 2016 | 6 | 2016 |
Formal Verification of Relational Model Transformations using an Intermediate Verification Language Z Cheng 3rd International Conference on Model-Driven Engineering and Software …, 2015 | 6 | 2015 |
A Refinement Strategy for Hybrid System Design with Safety Constraints Z Cheng, D Méry 10th International Conference on Model & Data Engineering, 2021 | 5 | 2021 |
A Proposal for a Generic Translation Framework for Boogie Language Z Cheng 26th European Conference on Object-Oriented Programming (Doctoral Symposium), 2012 | 4 | 2012 |
Model-Driven Engineering of Monitoring Application for Sensors and Actuators Networks TB La Fosse, Z Cheng, J Rocheteau, JM Mottu Software Engineering and Advanced Applications, 2020 | 3 | 2020 |
Certifying Rule-Based Model Transformation Engines for Proof Preservation Z CHENG, M Tisi, J Hotonnier 23rd International Conference on Model Driven Engineering Languages and Systems, 2020 | 3 | 2020 |
Removing Problems in Rule-Based Policies Z CHENG, JC Royer, M Tisi 34th International Information Security and Privacy Conference, 2019 | 3 | 2019 |
Efficiently Characterizing the Undefined Requests of a Rule-Based System Z CHENG, JC Royer, M Tisi 14th International Conference on Integrated Formal Methods, 2018 | 3 | 2018 |
Verifying SimpleGT Transformations Using an Intermediate Verification Language Z Cheng, R Monahan, JF Power 4th International Workshop on the Verification Of modeL Transformation, 2015 | 2 | 2015 |
Deep Specification and Proof Preservation for the CoqTL Transformation Language Z CHENG, M TISI Software and Systems Modeling, 2022 | 1 | 2022 |
Towards Incremental Deductive Verification for ATL Z Cheng, M Tisi 5th International Workshop on the Verification Of Model Transformation, 2016 | 1 | 2016 |
nExaminer: A Semi-automated Assignment Assessment Framework for Moodle (master thesis) Z Cheng National University of Ireland Maynooth, 2011 | 1 | 2011 |