Zheng CHENG
Zheng CHENG
MOSEL-VERIDIS Team (LORIA, INRIA, UL), France
Verified email at inria.fr - Homepage
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
242015
A Deductive Approach for Fault Localization in ATL Model Transformations
Z CHENG, M Tisi
20th International Conference on Fundamental Approaches to Software …, 2017
102017
nExaminer: A Semi-automated Computer Programming Assignment Assessment Framework for Moodle
Z Cheng, R Monahan, A Mooney
International Conference on Engaging Pedagogies, 2011
72011
CoqTL: an Internal DSL for Model Transformation in Coq
M Tisi, Z Cheng
11th International Conference on Model Transformation, 2018
52018
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
Formal Verification of Relational Model Transformations using an Intermediate Verification Language
Z Cheng
3rd International Conference on Model-Driven Engineering and Software …, 2015
52015
CoqTL: A Coq DSL for Rule-Based Model Transformation
Z CHENG, M Tisi, R Douence
Software and Systems Modeling, 2019
42019
Slicing ATL Model Transformations for Scalable Deductive Verification and Fault Localization
Z Cheng, M Tisi
International Journal on Software Tools for Technology Transfer, 2018
42018
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
42016
A Proposal for a Generic Translation Framework for Boogie Language
Z Cheng
26th European Conference on Object-Oriented Programming (Doctoral Symposium), 2012
32012
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
Removing Problems in Rule-Based Policies
Z CHENG, JC Royer, M Tisi
34th International Information Security and Privacy Conference, 2019
12019
Incremental Deductive Verification for Relational Model Transformations
Z Cheng, M Tisi
10th IEEE International Conference on Software Testing, Verification and …, 2017
12017
Towards Incremental Deductive Verification for ATL
Z Cheng, M Tisi
5th International Workshop on the Verification Of Model Transformation, 2016
12016
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
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
2020
A Refinement Strategy for Hybrid System Design with Safety Constraints
Z Cheng, D Méry
Technical Report, 2020
2020
EB2RC: A Rodin plug-in for visualising Event-B models and code generation
Z Cheng, R Monahan, D Méry
http://eprints.soton.ac.uk/365301/1/Proceedings.pdf, 2014
2014
A Simple Complexity Measurement for Software Verification and Software Testing
Z Cheng, R Monahan, JF Power
1st International Workshop on Comparative Empirical Evaluation of Reasoning …, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20