On the public citation graph
Translating Target to Source Constraints in Model-to-Model Transformations
0 signed · 53 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11557432_23openalex-snapshot
Simplifying Transformations of OCL Constraints
inferredcites →https://doi.org/10.1007/11841883_31openalex-snapshot
Weakest Preconditions for High-Level Programs
inferredcites →https://doi.org/10.1007/11880240_31openalex-snapshot
Model Transformations? Transformation Models!
inferredcites →https://doi.org/10.1007/3-540-31188-2openalex-snapshot
Fundamentals of Algebraic Graph Transformation
inferredcites →https://doi.org/10.1007/3-540-45669-4_6openalex-snapshot
Expressing UML Class Diagrams Properties with OCL
inferredcites →https://doi.org/10.1007/3-540-59071-4_45openalex-snapshot
Specification of graph translators with triple graph grammars
inferredcites →https://doi.org/10.1007/978-3-319-21155-8_11openalex-snapshot
A Sound Execution Semantics for ATL via Translation Validation
inferredcites →https://doi.org/10.1007/978-3-319-39696-5_20openalex-snapshot
Mutation Operators for UML Class Diagrams
inferredcites →https://doi.org/10.1007/978-3-540-30203-2_17openalex-snapshot
Model Checking Graph Transformations: A Comparison of Two Approaches
inferredcites →https://doi.org/10.1007/978-3-540-69927-9_4openalex-snapshot
The Epsilon Transformation Language
inferredcites →https://doi.org/10.1007/978-3-642-21470-7_16openalex-snapshot
Tractable Model Transformation Testing
inferredcites →https://doi.org/10.1007/978-3-642-28279-9_15openalex-snapshot
Model Transformation By-Example: A Survey of the First Wave
inferredcites →https://doi.org/10.1007/978-3-642-30982-3_11openalex-snapshot
Formal Specification and Testing of Model Transformations
inferredcites →https://doi.org/10.1007/978-3-642-33666-9_27openalex-snapshot
From UML and OCL to Relational Logic and Back
inferredcites →https://doi.org/10.1007/978-3-642-33666-9_28openalex-snapshot
On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers
inferredcites →https://doi.org/10.1007/978-3-642-34281-3_16openalex-snapshot
Verification of ATL Transformations Using Transformation Models and Model Finders
inferredcites →https://doi.org/10.1007/978-3-662-54494-5_17openalex-snapshot
A Deductive Approach for Fault Localization in ATL Model Transformations
inferredcites →https://doi.org/10.1007/s00165-014-0313-zopenalex-snapshot
A framework for model transformation verification
inferredcites →https://doi.org/10.1007/s10270-007-0074-8openalex-snapshot
Qualifying input test data for model transformations
inferredcites →https://doi.org/10.1007/s10270-012-0292-6openalex-snapshot
Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets
inferredcites →https://doi.org/10.1007/s10270-013-0358-0openalex-snapshot
A survey of approaches for verifying model transformations
inferredcites →https://doi.org/10.1007/s10270-013-0369-xopenalex-snapshot
Specification-driven model transformation testing
inferredcites →https://doi.org/10.1007/s10515-012-0102-yopenalex-snapshot
Automated verification of model transformations based on visual contracts
inferredcites →https://doi.org/10.1016/j.entcs.2005.10.021openalex-snapshot
A Taxonomy of Model Transformation
inferredcites →https://doi.org/10.1016/j.entcs.2013.02.002openalex-snapshot
Verification of Model Transformations
inferredcites →https://doi.org/10.1016/j.jss.2009.08.012openalex-snapshot
Verification and validation of declarative model-to-model transformations through invariants
inferredcites →https://doi.org/10.1016/j.jss.2015.08.017openalex-snapshot
Backwards reasoning for model transformations: Method and applications
inferredcites →https://doi.org/10.1016/j.jvlc.2013.08.002openalex-snapshot
Propagation of constraints along model transformations using triple graph grammars and borrowed context
inferredcites →https://doi.org/10.1016/j.scico.2007.05.001openalex-snapshot
Transformation techniques for OCL constraints
inferredcites →https://doi.org/10.1016/j.scico.2007.08.002openalex-snapshot
ATL: A model transformation tool
inferredcites →https://doi.org/10.1109/5.24143openalex-snapshot
Petri nets: Properties, analysis and applications
inferredcites →https://doi.org/10.1109/issre.2015.7381802openalex-snapshot
Discovering model transformation pre-conditions using automatically generated test models
inferredcites →https://doi.org/10.1109/tse.2016.2635137openalex-snapshot
Static Analysis of Model Transformations
inferredcites →https://doi.org/10.1145/1743546.1743583openalex-snapshot
Barriers to systematic model transformation testing
inferredcites →https://doi.org/10.1147/sj.453.0621openalex-snapshot
Feature-based survey of model transformation approaches
inferredcites →https://doi.org/10.5381/jot.2015.14.3.a1openalex-snapshot
Formal Verification Techniques for Model Transformations: A Tridimensional Classification .
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.4988openalex-snapshot
DATAM: A model‐based tool for dependability analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-45234-6_16openalex-snapshot
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
inferred← citeshttps://doi.org/10.1007/978-3-030-58135-0_6openalex-snapshot
Seed Model Synthesis for Testing Model-Based Mutation Operators
inferred← citeshttps://doi.org/10.1007/978-3-319-92997-2_3openalex-snapshot
Optimising OCL Synthesized Code
inferred← citeshttps://doi.org/10.1007/s00165-021-00557-0openalex-snapshot
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
inferred← citeshttps://doi.org/10.1007/s10009-018-0491-8openalex-snapshot
Slicing ATL model transformations for scalable deductive verification and fault localization
inferred← citeshttps://doi.org/10.1007/s10270-019-00740-1openalex-snapshot
A verified catalogue of OCL optimisations
inferred← citeshttps://doi.org/10.1007/s10270-026-01360-2openalex-snapshot
Have model transformation languages failed?
inferred← citeshttps://doi.org/10.1109/indin41052.2019.8972243openalex-snapshot
An Automatic Requirement Transformation Approach for Code Generation in Industrial Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/models.2019.00-13openalex-snapshot
Towards Effective Mutation Testing for ATL
inferred← citeshttps://doi.org/10.1145/3241744openalex-snapshot
Spectrum-Based Fault Localization in Model Transformations
inferred← citeshttps://doi.org/10.4018/ijsi.2020010102openalex-snapshot
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models
inferred← citeshttps://doi.org/10.5381/jot.2020.19.3.a5openalex-snapshot
Systematic Engineering of Mutation Operators.
inferred← citeshttps://doi.org/10.7494/csci.2021.22.2.3478openalex-snapshot
A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.