Follow
Zheng CHENG
Zheng CHENG
MOSEL-VERIDIS Team (LORIA, INRIA, UL), France
Verified email at inria.fr
Title
Cited by
Cited by
Year
A Sound Execution Semantics for ATL via Translation Validation
Z Cheng, R Monahan, JF Power
8th International Conference on Model Transformation, 2015
292015
A Deductive Approach for Fault Localization in ATL Model Transformations
Z CHENG, M Tisi
20th International Conference on Fundamental Approaches to Software …, 2017
172017
CoqTL: A Coq DSL for Rule-Based Model Transformation
Z CHENG, M Tisi, R Douence
Software and Systems Modeling, 2019
92019
CoqTL: an Internal DSL for Model Transformation in Coq
M Tisi, Z Cheng
11th International Conference on Model Transformation, 2018
92018
Slicing ATL Model Transformations for Scalable Deductive Verification and Fault Localization
Z Cheng, M Tisi
International Journal on Software Tools for Technology Transfer, 2018
92018
nExaminer: A Semi-automated Computer Programming Assignment Assessment Framework for Moodle
Z Cheng, R Monahan, A Mooney
International Conference on Engaging Pedagogies, 2011
72011
Formal Verification of Relational Model Transformations using an Intermediate Verification Language
Z Cheng
3rd International Conference on Model-Driven Engineering and Software …, 2015
62015
Incremental Deductive Verification for Relational Model Transformations
Z Cheng, M Tisi
10th IEEE International Conference on Software Testing, Verification and …, 2017
52017
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
5*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
52016
A Proposal for a Generic Translation Framework for Boogie Language
Z Cheng
26th European Conference on Object-Oriented Programming (Doctoral Symposium), 2012
42012
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
32020
A Refinement Strategy for Hybrid System Design with Safety Constraints
Z Cheng, D Méry
10th International Conference on Model & Data Engineering, 2021
22021
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
22020
Removing Problems in Rule-Based Policies
Z CHENG, JC Royer, M Tisi
34th International Information Security and Privacy Conference, 2019
22019
Efficiently Characterizing the Undefined Requests of a Rule-Based System
Z CHENG, JC Royer, M Tisi
14th International Conference on Integrated Formal Methods, 2018
22018
Verifying SimpleGT Transformations Using an Intermediate Verification Language
Z Cheng, R Monahan, JF Power
4th International Workshop on the Verification Of modeL Transformation, 2015
22015
Towards Incremental Deductive Verification for ATL
Z Cheng, M Tisi
5th International Workshop on the Verification Of Model Transformation, 2016
12016
nExaminer: A Semi-automated Assignment Assessment Framework for Moodle (master thesis)
Z Cheng
National University of Ireland Maynooth, 2011
12011
Deep Specification and Proof Preservation for the CoqTL Transformation Language
Z CHENG, M TISI
Software and Systems Modeling, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20