A Deductive Approach for Fault Localization in ATL Model Transformations
Zheng Cheng
,
Massimo Tisi
FASE 2017 : 20th International Conference on Fundamental Approaches to Software Engineering , Apr 2017, Uppsala, Sweden. pp.300-317,
⟨10.1007/978-3-662-54494-5_17⟩
Conference papers
hal-01435977v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Slicing ATL Model Transformations for Scalable Deductive Verification and Fault Localization
Zheng Cheng
,
Massimo Tisi
Journal articles
hal-01763410v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
CoqTL: A Coq DSL for Rule-Based Model Transformation
Zheng Cheng
,
Massimo Tisi
,
Rémi Douence
Journal articles
hal-02333564v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficiently Characterizing the Undefined Requests of a Rule-Based System
Zheng Cheng
,
Jean-Claude Royer
,
Massimo Tisi
Conference papers
hal-01828305v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Certifying a Rule-Based Model Transformation Engine for Proof Preservation
Zheng Cheng
,
Massimo Tisi
,
Joachim Hotonnier
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems , Oct 2020, Montreal, Canada.
⟨10.1145/3365438.3410949⟩
Conference papers
hal-02907622v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Incremental Deductive Verification for Relational Model Transformations
Zheng Cheng
,
Massimo Tisi
ICST 2017 : 10th IEEE International Conference on Software Testing, Verification and Validation , Mar 2017, Tokyo, Japan.
⟨10.1109/ICST.2017.41⟩
Conference papers
hal-01435974v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Static Checker for Reference Tracking Systems via Laplace Transform and Transfer Functions
Zheng Cheng
,
Dominique Méry
2023
Preprints, Working Papers, ...
hal-04152829v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
CoqTL: an Internal DSL for Model Transformation in Coq
Massimo Tisi
,
Zheng Cheng
ICMT 2018 - 11th International Conference on Theory and Practice of Model Transformations , Jun 2018, Toulouse, France. pp.142-156,
⟨10.1007/978-3-319-93317-7_7⟩
Conference papers
hal-01828344v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Refinement Strategy for Hybrid System Design with Safety Constraints
Zheng Cheng
,
Dominique Méry
[Research Report] Université de Lorraine; INRIA; CNRS. 2020
Reports
hal-02895528v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Deep Specification and Proof Preservation for the CoqTL Transformation Language
Zheng Cheng
,
Massimo Tisi
Journal articles
hal-03656144v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More