BibSLEIGH — model transformation tag

model transformation

model transformation

Tag #model transformation

389 papers:

BX-2019-WeidmannAFVSL #bidirectional #emoflon #incremental: Incremental Bidirectional Model Transformation with eMoflon: : IBeX (NW, AA, LF, GV, AS, EL), pp. 45–55.
MoDELS-2019-BurguenoCG #architecture #network: An LSTM-Based Neural Network Architecture for Model Transformations (LB, JC, SG), pp. 294–299.
ESEC-FSE-2019-Greiner #on the #product line #reuse: On extending single-variant model transformations for reuse in software product line engineering (SG), pp. 1160–1163.
FASE-2019-Boronat #dependence #injection: Offline Delta-Driven Model Transformation with Dependency Injection (AB), pp. 134–150.
ICSA-2018-CortellessaET #architecture #bidirectional #co-evolution #modelling #petri net #uml: Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models (VC, RE, MT0), pp. 125–134.
ICMT-2018-BruelCGJKLMSV #classification #comparison #metamodelling #reuse: Model Transformation Reuse Across Metamodels — A Classification and Comparison of Approaches (JMB, BC, EG, JMJ, JK, JdL, GM, ES, HV), pp. 92–109.
ICMT-2018-DanielSC #query #scalability: Scalable Queries and Model Transformations with the Mogwaï Tool (GD, GS, JC), pp. 175–183.
ICMT-2018-LanoRSA #specification #technical debt: Technical Debt in Model Transformation Specifications (KL, SKR, MS, HA), pp. 127–141.
ICMT-2018-TisiC #coq #domain-specific language #named: CoqTL: An Internal DSL for Model Transformation in Coq (MT, ZC), pp. 142–156.
ICMT-2018-TomaszekLWS #network: Virtual Network Embedding: Reducing the Search Space by Model Transformation Techniques (ST, EL, LW, AS), pp. 59–75.
MoDELS-2018-Boronat #domain-specific language #performance: Expressive and Efficient Model Transformation with an Internal DSL of Xtend (AB), pp. 78–88.
MoDELS-2018-BurguenoBMV #modelling: Expressing Confidence in Models and in Model Transformation Elements (LB, MFB, NM, AV), pp. 57–66.
MoDELS-2018-DiskinMWWL #assurance #refinement: Assurance via model transformations and their hierarchical refinement (ZD, TM, AW, SWW, ML), pp. 426–436.
MoDELS-2018-LaraGCS #product line: Model Transformation Product Lines (JdL, EG, MC, RS), pp. 67–77.
MoDELS-2018-SelwayGSOD #contract #development #integration #visual notation: Integration of Visual Contracts and Model Transformation for Enhanced MDE Development (MS, GG, MS, KRO, RMD), pp. 415–425.
MoDELS-2018-WestfechtelG #multi #variability: From Single- to Multi-Variant Model Transformations: Trace-Based Propagation of Variability Annotations (BW, SG), pp. 46–56.
ESEC-FSE-2018-HebigSBPW #atl #empirical #qvt #transformation language: Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT (RH, CS, TB, JKP, AW), pp. 445–455.
ESEC-FSE-2018-HeH #bidirectional: Putback-based bidirectional model transformations (XH, ZH), pp. 434–444.
ECMFA-2017-RuscioEIPS #approach #migration #variability: A Feature-Based Approach for Variability Exploration and Resolution in Model Transformation Migration (DDR, JE, LI, AP, WS), pp. 71–89.
ICMT-2017-Boronat #atl #semantics: Experimentation with a Big-Step Semantics for ATL Model Transformations (AB), pp. 3–18.
ICMT-2017-KehrerAH #automation #rule-based #specification: Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations (TK, AMA, RH), pp. 92–107.
ICMT-2017-KehrerP0 #development #difference #maintenance #towards #version control: Differencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model Transformations (TK, CP, DS), pp. 86–91.
ICMT-2017-LanoRTS #design pattern #overview: A Survey of Model Transformation Design Pattern Usage (KL, SKR, SYT, MS), pp. 108–118.
MoDELS-2017-CuadradoGLCC #constraints: Translating Target to Source Constraints in Model-to-Model Transformations (JSC, EG, JdL, RC, JC), pp. 12–22.
MoDELS-2017-HidakaJT #on the #transformation language: On Additivity in Transformation Languages (SH, FJ, MT), pp. 23–33.
ASE-2017-DanielJSC #framework #named #scalability: Gremlin-ATL: a scalable model transformation framework (GD, FJ, GS, JC), pp. 462–472.
FASE-2017-ChengT #approach #atl #deduction #fault #locality: A Deductive Approach for Fault Localization in ATL Model Transformations (ZC, MT), pp. 300–317.
FASE-2017-DiskinGC #traceability: Traceability Mappings as a Fundamental Instrument in Model Transformations (ZD, AG, JC), pp. 247–263.
FASE-2017-LaraRRGIPC #modelling #requirements #reuse #type system: Reusing Model Transformations Through Typing Requirements Models (JdL, JDR, DDR, EG, LI, AP, JSC), pp. 264–282.
ICST-2017-ChengT #deduction #incremental #relational #verification: Incremental Deductive Verification for Relational Model Transformations (ZC, MT), pp. 379–389.
IFM-2016-ChechikFS0 #reuse: Perspectives of Model Transformation Reuse (MC, MF, RS, DS0), pp. 28–44.
BX-2016-DiskinEPC #bidirectional #formal method #nondeterminism: Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization (ZD, RE, AP, KC), pp. 15–31.
BX-2016-KramerR #automation #bidirectional: Automated Inversion of Attribute Mappings in Bidirectional Model Transformations (MEK, KR), pp. 61–76.
ICMT-2016-FleckTW #search-based: Search-Based Model Transformations with MOMoT (MF, JT, MW), pp. 79–87.
ICMT-2016-HerreraWP #syntax #transformation language: A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax (ASBH, EDW, RFP), pp. 3–18.
ICMT-2016-KlintS: Model Transformation with Immutable Data (PK, TvdS), pp. 19–35.
ICMT-2016-PopoolaKR #generative #named #transformation language: EMG: A Domain-Specific Transformation Language for Synthetic Model Generation (SP, DSK, HHR), pp. 36–51.
ICMT-2016-StrueberPA #clone detection #detection #graph #transformation language: Clone Detection for Graph-Based Model Transformation Languages (DS, JP, VA), pp. 191–206.
MoDELS-2016-AcretoaieSS: Model transformation for end-user modelers with VMTL (VA, HS, DS), p. 305.
MoDELS-2016-AlkhaziRKWG #approach #atl #automation #refactoring #search-based: Automated refactoring of ATL model transformations: a search-based approach (BA, TR, MK, MW, WIG), pp. 295–304.
SLE-2016-BenelallamTCLC #clustering #distributed #performance: Efficient model partitioning for distributed model transformations (AB, MT, JSC, JdL, JC), pp. 226–238.
FASE-2016-0001RACTP #automation #named #variability: RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules (DS0, JR, TA, MC, GT, JP), pp. 122–140.
SEKE-2015-MagalhaesAM #approach #framework #independence #on the #platform #specification: On the Specification of Model Transformations through a Platform Independent Approach (APM, AMSA, RSPM), pp. 558–561.
SEKE-2015-MagalhaesMA #case study #design #experience #metamodelling #towards: Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design (APM, RSPM, AMSA), pp. 625–630.
ECMFA-J-2012-SelimWCD15 #deployment #industrial #legacy #migration #modelling: Model transformations for migrating legacy deployment models in the automotive industry (GMKS, SW, JRC, JD), pp. 365–381.
ICMT-J-2012-AtkinsonGT15 #modelling #multi #transformation language: Enhancing classic transformation languages to support multi-level modeling (CA, RG, CVT), pp. 645–666.
ICMT-J-2012-GuerraS15 #testing: Specification-driven model transformation testing (EG, MS), pp. 623–644.
ICMT-J-2012-KuselSWKRS15 #question #reuse #transformation language: Reuse in model-to-model transformation languages: are we there yet? (AK, JS, MW, GK, WR, WS), pp. 537–572.
AMT-2015-DyckGLSG #automation #behaviour #towards #verification: Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (JD, HG, LL, SS, SG), pp. 36–45.
AMT-2015-GholizadehDKM #analysis: Analysis of Source-to-Target Model Transformations in QueST (HG, ZD, SK, TSEM), pp. 46–55.
AMT-2015-SelimCDLO #case study #debugging #experience #verification: Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report (GMKS, JRC, JD, LL, BJO), pp. 26–35.
ECMFA-2015-SaxonBA #black box: Opening the Black-Box of Model Transformation (JTS, BB, DHA), pp. 171–186.
ICMT-2015-AcretoaieSS #editing: Transparent Model Transformation: Turning Your Favourite Model Editor into a Transformation Tool (VA, HS, DS), pp. 121–130.
ICMT-2015-BergmannDHHRUV #framework #platform: Viatra 3: A Reactive Model Transformation Platform (GB, ID, ÁH, ÁH, IR, ZU, DV), pp. 101–110.
ICMT-2015-CriadoMIC #reuse #using: Enabling the Reuse of Stored Model Transformations Through Annotations (JC, SMP, LI, JC), pp. 43–58.
ICMT-2015-CuadradoGL #component #reuse: Reusable Model Transformation Components with bentō (JSC, EG, JdL), pp. 59–65.
ICMT-2015-GammaitoniK #alloy #named #transformation language: F-Alloy: An Alloy Based Model Transformation Language (LG, PK), pp. 166–180.
ICMT-2015-Hinkel #co-evolution #transformation language: Change Propagation in an Internal Model Transformation Language (GH), pp. 3–17.
ICMT-2015-JouaultBBCS #functional #ocl #towards: Towards Functional Model Transformations with OCL (FJ, OB, MB, MC, GS), pp. 111–120.
ICMT-2015-RichaBP #algebra #atl #graph transformation: Translating ATL Model Transformations to Algebraic Graph Transformations (ER, EB, LP), pp. 183–198.
ICMT-2015-TrollmannA #graph grammar #modelling #multi: Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models (FT, SA), pp. 214–229.
MoDELS-2015-CuadradoGL #atl: Quick fixing ATL model transformations (JSC, EG, JdL), pp. 146–155.
MoDELS-2015-GogollaVBH #testing: Employing classifying terms for testing model transformations (MG, AV, LB, FH), pp. 312–321.
MoDELS-2015-HolldoblerRW #transformation language: Systematically deriving domain-specific transformation languages (KH, BR, IW), pp. 136–145.
MoDELS-2015-Rodriguez-Echeverria #analysis #approach #evolution #statistics: A statistical analysis approach to assist model transformation evolution (RRE, FM), pp. 226–235.
SLE-2015-BenelallamGTC #atl #distributed #pipes and filters: Distributed model-to-model transformation with ATL on MapReduce (AB, AG, MT, JC), pp. 37–48.
SLE-2015-EramoPR #bidirectional #nondeterminism: Managing uncertainty in bidirectional model transformations (RE, AP, GR), pp. 49–58.
FASE-2015-StruberRCT #approach #performance #reuse #variability: A Variability-Based Approach to Reusable and Efficient Model Transformations (DS, JR, MC, GT), pp. 283–298.
GT-VMT-2014-WangBL #alloy #graph #using #verification: Verification of Graph-based Model Transformations Using Alloy (XW, FB, YL).
ICGT-2014-AnjorinLST #graph grammar #performance #static analysis: A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation (AA, EL, AS, GT), pp. 130–145.
ICGT-2014-SelimLCDO #graph #specification #verification: Specification and Verification of Graph-Based Model Transformation Properties (GMKS, LL, JRC, JD, BJO), pp. 113–129.
ICEIS-v2-2014-PanfilenkoEML #impact analysis #independence #platform #recommendation #requirements: Recommendations for Impact Analysis of Model Transformations — From the Requirements Model to the Platform-independent Model (DVP, AE, CM, PL), pp. 428–434.
SEKE-2014-HuHCC #diagrams #execution #uml: Extended DEVSML as a Model Transformation Intermediary to Make UML Diagrams Executable (JH, LH, BC, XC), pp. 314–317.
SEKE-2014-JiangCKZD #source code #testing #using: Testing Model Transformation Programs using Metamorphic Testing (MJ, TYC, FCK, ZZ, ZD), pp. 94–99.
AMT-2014-GholizadehDM #approach #query: A Query Structured Approach for Model Transformation (HG, ZD, TSEM), pp. 54–63.
AMT-2014-PoskittDPR #bidirectional #towards: Towards Rigorously Faking Bidirectional Model Transformations (CMP, MD, RFP, AR), pp. 70–75.
AMT-2014-RentschlerWNHR #automation #clustering #legacy: Remodularizing Legacy Model Transformations with Automatic Clustering Techniques (AR, DW, QN, LH, RR), pp. 4–13.
AMT-2014-RichaBPBR #algebra #graph transformation #testing #towards #using: Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
AMT-2014-TroyaWBV #approximate #towards: Towards Approximate Model Transformations (JT, MW, LB, AV), pp. 44–53.
BX-2014-MacedoCP #framework #multi #towards: Towards a Framework for Multidirectional Model Transformations (NM, AC, HP), pp. 71–74.
BX-2014-Wider #bidirectional #domain-specific language #implementation #scala #transformation language: Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala (AW), pp. 63–70.
ECMFA-2014-CuadradoGL #towards #transformation language: Towards the Systematic Construction of Domain-Specific Transformation Languages (JSC, EG, JdL), pp. 196–212.
ICMT-2014-CuadradoGL #reuse #reverse engineering #usability: Reverse Engineering of Model Transformations for Reusability (JSC, EG, JdL), pp. 186–201.
ICMT-2014-ErginS #design pattern #graph #towards: Towards a Language for Graph-Based Model Transformation Design Patterns (HE, ES), pp. 91–105.
ICMT-2014-GonzalezC #analysis #constraints #generative #testing: Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
ICMT-2014-JilaniIK #approach #generative #testing: A Search Based Test Data Generation Approach for Model Transformations (AAJ, MZI, MUK), pp. 17–24.
ICMT-2014-WieberAS #automation #graph grammar #on the #testing: On the Usage of TGGs for Automated Model Transformation Testing (MW, AA, AS), pp. 1–16.
MoDELS-2014-BakiSCMF #learning: Learning Implicit and Explicit Control in Model Transformations by Example (IB, HAS, QC, PM, MF), pp. 636–652.
MoDELS-2014-BascianiRIP #automation #metamodelling: Automated Chaining of Model Transformations with Incompatible Metamodels (FB, DDR, LI, AP), pp. 602–618.
MoDELS-2014-DavidRV #streaming: Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
MoDELS-2014-GomesBA #classification #pattern matching #tool support: Classification of Model Transformation Tools: Pattern Matching Techniques (CG, BB, VA), pp. 619–635.
ICSE-2014-ChenPYNZ #adaptation #generative #incremental #runtime #self: Self-adaptation through incremental generative model transformations at runtime (BC, XP, YY, BN, WZ), pp. 676–687.
ICSE-2014-SalayFRSC #product line: Lifting model transformations to product lines (RS, MF, JR, ADS, MC), pp. 117–128.
SAC-2014-BassoOF #java: Extending JUnit 4 with Java annotations and reflection to test variant model transformation assets (FPB, TCdO, KF), pp. 1601–1608.
SAC-2014-BassoPOF #adaptation #case study #experience #generative #lessons learnt: Generative adaptation of model transformation assets: experiences, lessons and drawbacks (FPB, RMP, TCdO, MDDF), pp. 1027–1034.
SLE-2014-JukssVVV: Dynamic Scope Discovery for Model Transformations (MJ, CV, DV, HV), pp. 302–321.
SLE-2014-TisiJDSC #assembly: fUML as an Assembly Language for Model Transformation (MT, FJ, JD, ZS, HC), pp. 171–190.
GCM-J-2012-KniemeyerK #graph transformation #named #transformation language: XL4C4D — Adding the Graph Transformation Language XL to CINEMA 4D (OK, WK).
ICEIS-v2-2013-PanfilenkoHEL #architecture #recommendation: Model Transformation Recommendations for Service-Oriented Architectures (DVP, KH, BE, EL), pp. 248–256.
AMT-2013-KuselSWRSK #atl #case study #reuse: Reality Check for Model Transformation Reuse: The ATL Transformation Zoo Case Study (AK, JS, MW, WR, WS, GK), pp. 42–51.
AMT-2013-MatragkasKPZ #approach #testing: A Traceability-Driven Approach to Model Transformation Testing (NDM, DSK, RFP, AZ), pp. 2–11.
AMT-2013-NalchigarSC #non-functional #requirements #towards #transformation language: Towards a Catalog of Non-Functional Requirements in Model Transformation Languages (SN, RS, MC), pp. 72–81.
AMT-2013-TichyKL #detection #performance #smell: Detecting Performance Bad Smells for Henshin Model Transformations (MT, CK, GL), pp. 82–91.
ECMFA-2013-0002G #debugging #execution: End-User Support for Debugging Demonstration-Based Model Transformation Execution (YS, JG), pp. 86–100.
ICMT-2013-ButtnerEGL #refinement: Checking Model Transformation Refinement (FB, ME, EG, JdL), pp. 158–173.
ICMT-2013-CuadradoL #challenge #streaming: Streaming Model Transformations: Scenarios, Challenges and Initial Solutions (JSC, JdL), pp. 1–16.
ICMT-2013-FaunesSB #approach: Genetic-Programming Approach to Learn Model Transformation Rules from Examples (MF, HAS, MB), pp. 17–32.
ICMT-2013-FinotMSA #testing: Partial Test Oracle in Model Transformation Testing (OF, JMM, GS, CA), pp. 189–204.
ICMT-2013-RentschlerNHR #interactive #maintenance #performance #visual notation: Interactive Visual Analytics for Efficient Maintenance of Model Transformations (AR, QN, LH, RHR), pp. 141–157.
MoDELS-2013-SelimBCDW #automation #industrial #verification: Automated Verification of Model Transformations in the Automotive Industry (GMKS, FB, JRC, JD, SW), pp. 690–706.
PPDP-2013-LamoMRL #approach #bidirectional #declarative #graph: A declarative and bidirectional model transformation approach based on graph co-spans (YL, FM, AR, JdL), pp. 1–12.
ER-BR-2013-SiqueiraS #portuguese #requirements: Transformação de um Modelo de Empresa em Requisitos de Software (FLS, PSMS).
ASE-2013-AvazpourGG #automation #specification #tool support #using #visualisation: Tool support for automatic model transformation specification using concrete visualisations (IA, JG, LG), pp. 718–721.
ASE-2013-SaadaHNS #multi #optimisation #using: Recovering model transformation traces using multi-objective optimization (HS, MH, CN, HAS), pp. 688–693.
GPCE-2013-BassoPOB #reuse #scalability: Supporting large scale model transformation reuse (FPB, RMP, TCdO, LBB), pp. 169–178.
FASE-2013-MacedoC #alloy #bidirectional #implementation #qvt #using: Implementing QVT-R Bidirectional Model Transformations Using Alloy (NM, AC), pp. 297–311.
TACAS-2013-MateescuS #model checking #named #π-calculus: PIC2LNT: Model Transformation for Model Checking an Applied π-Calculus (RM, GS), pp. 192–198.
QoSA-2012-EramoCPT #architecture #bidirectional #refactoring: Performance-driven architectural refactoring through bidirectional model transformations (RE, VC, AP, MT), pp. 55–60.
CSMR-2012-Varro #maintenance: Keynote 2: A Bridge Over Troubled Water — Synergies between Model Transformation and Software Maintenance Techniques (DV), pp. 5–6.
SFM-2012-Becker #analysis #non-functional: Model Transformations in Non-functional Analysis (SB), pp. 263–289.
SFM-2012-RuscioEP: Model Transformations (DDR, RE, AP), pp. 91–136.
SFM-2012-VallecilloGBWH #specification #testing: Formal Specification and Testing of Model Transformations (AV, MG, LB, MW, LH), pp. 399–437.
ICGT-2012-GieseL #automation #behaviour #invariant #towards #verification: Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (HG, LL), pp. 249–263.
EDOC-2012-DohringSG #adaptation #approach #aspect-oriented #recursion #rule-based #runtime #weaving #workflow: Emulating Runtime Workflow Adaptation and Aspect Weaving by Recursive Rule-Based Sub-Process Selection — A Model Transformation Approach (MD, AS, IG), pp. 133–142.
SEKE-2012-MarchettiG #framework #logic #using: Model Transformation for Frameworks Using Logical Planning (GAM, ESG), pp. 563–569.
SEKE-2012-PimentelSDCF #architecture #evolution #towards: Towards Architectural Evolution through Model Transformations (JP, ES, DD, JC, AF), pp. 448–451.
ICMT-J-2011-CuadradoGL12 #atl #flexibility: Flexible Model-to-Model Transformation Templates: An Application to ATL (JSC, EG, JdL), pp. 1–28.
ICMT-J-2011-WimmerKKRSSKPLSW12 #inheritance #transformation language: Surveying Rule Inheritance in Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS, DSK, RFP, ML, AS, DW), pp. 1–46.
AMT-2012-AmraniDLLSSSW #towards: Towards a model transformation intent catalog (MA, JD, LL, LL, RS, GS, ES, MW), pp. 3–8.
AMT-2012-EtienABP: Chaining model transformations (AE, VA, XB, RFP), pp. 9–14.
AMT-2012-HildebrandtLG #development #framework #graph grammar: The MDELab tool framework for the development of correct model transformations with triple graph grammars (SH, LL, HG), pp. 33–34.
AMT-2012-SelimCD #state of the art #testing: Model transformation testing: the state of the art (GMKS, JRC, JD), pp. 21–26.
AMT-2012-TaentzerAEH #refactoring #rule-based #towards: Towards refactoring of rule-based, in-place model transformation systems (GT, TA, CE, RH), pp. 41–46.
AMT-2012-TisoRL #case study #experience #testing: Early experiences on model transformation testing (AT, GR, ML), pp. 15–20.
BX-2012-LambersHGO #bidirectional #graph grammar: Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case (LL, SH, HG, FO), pp. 84–99.
ECMFA-2012-LauderAVS #bidirectional #graph grammar #precedence: Bidirectional Model Transformation with Precedence Triple Graph Grammars (ML, AA, GV, AS), pp. 287–302.
ECMFA-2012-RiekeS #refinement #specification: Specifying Refinement Relations in Vertical Model Transformations (JR, OS), pp. 210–225.
ECMFA-2012-SelimWCD #case study #industrial #legacy #migration #modelling: Model Transformations for Migrating Legacy Models: An Industrial Case Study (GMKS, SW, JRC, JD), pp. 90–101.
ICMT-2012-AmstelBS #traceability #visualisation: Traceability Visualization in Model Transformations with TraceVis (MvA, MvdB, AS), pp. 152–159.
ICMT-2012-AndovaBE #reuse: Reusable and Correct Endogenous Model Transformations (SA, MvdB, LE), pp. 72–88.
ICMT-2012-AtkinsonGT #multi #towards: Towards Multi-level Aware Model Transformations (CA, RG, CT), pp. 208–223.
ICMT-2012-Cuadrado #product line #towards #transformation language: Towards a Family of Model Transformation Languages (JSC), pp. 176–191.
ICMT-2012-Fernandez-RoperoPWP #assessment #empirical #simulation: Empirical Assessment of Business Model Transformations Based on Model Simulation (MFR, RPC, BW, MP), pp. 137–151.
ICMT-2012-GeorgeWS #domain-specific language #scala #transformation language #type safety: Type-Safe Model Transformation Languages as Internal DSLs in Scala (LG, AW, MS), pp. 160–175.
ICMT-2012-Guerra #generative #testing: Specification-Driven Test Generation for Model Transformations (EG), pp. 40–55.
ICMT-2012-PachecoC #bidirectional #multi #named #transformation language #xml: Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas (HP, AC), pp. 89–104.
ICMT-2012-SenMTC #modelling #using: Using Models of Partial Knowledge to Test Model Transformations (SS, JMM, MT, JC), pp. 24–39.
ICMT-2012-VallecilloG #type system #using: Typing Model Transformations Using Tracts (AV, MG), pp. 56–71.
ICMT-2012-WimmerKKRSS #reuse #rule-based #transformation language: Fact or Fiction — Reuse in Rule-Based Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS), pp. 280–295.
MoDELS-2012-AranegaEM #feature model #using: Using Feature Model to Build Model Transformation Chains (VA, AE, SM), pp. 562–578.
MoDELS-2012-KainzBK #approach: A Generic Approach Simplifying Model-to-Model Transformation Chains (GK, CB, AK), pp. 579–594.
MoDELS-2012-SaadaDHNS #generative: Generation of Operational Transformation Rules from Examples of Model Transformations (HS, XD, MH, CN, HAS), pp. 546–561.
ASE-2012-FaunesSB #algorithm #generative #using: Generating model transformation rules from examples using an evolutionary algorithm (MF, HAS, MB), pp. 250–253.
ASE-2012-Gabmeyer #verification: Formal verification techniques for model transformations specified by-demonstration (SG), pp. 390–393.
ICSE-2012-Chioasca #automation #machine learning #requirements #using: Using machine learning to enhance automated requirements model transformation (EVC), pp. 1487–1490.
ICSE-2012-RazaviK #partial evaluation: Partial evaluation of model transformations (AR, KK), pp. 562–572.
SAC-2012-AlebrahimCHCH #architecture #design #interactive #problem: Designing architectures from problem descriptions by interactive model transformation (AA, IC, MH, CC, DH), pp. 1256–1258.
SAC-2012-DelgadoRGP #collaboration #process: Model transformations for Business-IT alignment: from collaborative business process to SoaML service model (AD, FR, IGRdG, MP), pp. 1720–1722.
LDTA-2012-BachCMP: Model transformations with Tom (JCB, XC, PEM, MP), p. 4.
SLE-2012-GarciaDA #approach #automation #co-evolution: Model Transformation Co-evolution: A Semi-automatic Approach (JG, OD, MA), pp. 144–163.
ICST-2012-AmraniLSCDVTC #approach #verification: A Tridimensional Approach for Studying the Formal Verification of Model Transformations (MA, LL, GMKS, BC, JD, HV, YLT, JRC), pp. 921–928.
ICST-2012-SyrianiG #challenge #quality: Challenges for Addressing Quality Factors in Model Transformation (ES, JG), pp. 929–937.
ICST-2012-UjhelyiHV #slicing: Dynamic Backward Slicing of Model Transformations (ZU, ÁH, DV), pp. 1–10.
ECSA-2011-NavarroCPR #architecture #using: Using Model Transformation Techniques for the Superimposition of Architectural Styles (EN, CEC, DEP, CR), pp. 379–387.
QoSA-ISARCS-2011-KavimandanGKG #architecture #product line #quality #reuse: Managing the quality of software product line architectures through reusable model transformations (AK, ASG, GK, JG), pp. 13–22.
GCM-2010-GolasEH11 #graph grammar #specification: Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions (UG, HE, FH).
GT-VMT-2011-EhrigHSB #constraints #graph grammar: Propagation of Constraints along Model Transformations Based on Triple Graph Grammars (HE, FH, HS, CB).
ICEIS-J-2011-LezocheAP #concept #information management #semantics: Formal Fact-Oriented Model Transformations for Cooperative Information Systems Semantic Conceptualisation (ML, AA, HP), pp. 117–131.
ICMT-J-2010-DiskinXC11 #bidirectional #symmetry: From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case (ZD, YX, KC), pp. 137–161.
BX-2011-Diskin1 #bidirectional #weaving: From State- to Delta-Based Bidirectional Model Transformations: Unweaving Alignment and Update Propagation (ZD), p. 55.
BX-2011-Ehrig #constraints: Propagation of Constraints along Model Transformations (HE), p. 56.
BX-2011-Greenyer #bidirectional #transformation language: Unified (Bidirectional) Transformation Language (JG), p. 58.
BX-2011-Hermann #analysis #graph grammar: Analysis of Model Transformations based on TGGs (FH), p. 52.
ECMFA-2011-DolquesDFHNP #automation #learning: Easing Model Transformation Learning with Automatically Aligned Examples (XD, AD, JRF, MH, CN, FP), pp. 189–204.
ECMFA-2011-GogollaV #testing: Tractable Model Transformation Testing (MG, AV), pp. 221–235.
ICMT-2011-AmstelB #analysis #maintenance: Model Transformation Analysis: Staying Ahead of the Maintenance Nightmare (MvA, MvdB), pp. 108–122.
ICMT-2011-AmstelBKP #atl #performance #qvt: Performance in Model Transformations: Experiments with ATL and QVT (MvA, SB, IK, LFP), pp. 198–212.
ICMT-2011-BauerK: Combining Specification-Based and Code-Based Coverage for Model Transformation Chains (EB, JMK), pp. 78–92.
ICMT-2011-CuadradoGL #reuse: Generic Model Transformations: Write Once, Reuse Everywhere (JSC, EG, JdL), pp. 62–77.
ICMT-2011-EgyedDGLMNR #co-evolution #consistency: Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human Guidance (AE, AD, AG, RELH, PM, AN, AR), pp. 1–14.
ICMT-2011-HornE #transformation language: The GReTL Transformation Language (TH, JE), pp. 183–197.
ICMT-2011-LanoR #development #modelling: Model-Driven Development of Model Transformations (KL, SKR), pp. 47–61.
ICMT-2011-WimmerKKRSSKPLSW #comparison #inheritance #transformation language: A Comparison of Rule Inheritance in Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS, DSK, RFP, ML, AS, DW), pp. 31–46.
MoDELS-2011-DiskinXCEHO #bidirectional #symmetry: From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.
MoDELS-2011-DragoGM #quality #towards: Towards Quality Driven Exploration of Model Transformation Spaces (MLD, CG, RM), pp. 2–16.
MoDELS-2011-KainzBK #automation #concept #metamodelling: Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation (GK, CB, AK), pp. 17–31.
MoDELS-2011-SteelD: Domain-Specific Model Transformation in Building Quantity Take-Off (JS, RD), pp. 198–212.
MoDELS-2011-TisiPJC #execution #lazy evaluation: Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.
MoDELS-2011-WagelaarTCJ #composition #rule-based #semantics #towards: Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.
TOOLS-EUROPE-2011-BauerKE #quality #testing: Test Suite Quality for Model Transformation Chains (EB, JMK, GE), pp. 3–19.
ASE-2011-HidakaHIKN #bidirectional #framework #named: GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations (SH, ZH, KI, HK, KN), pp. 480–483.
ASE-2011-UjhelyiHV #slicing #towards: Towards dynamic backward slicing of model transformations (ZU, ÁH, DV), pp. 404–407.
SAC-2011-ChangH #approach #multi #using #verification: A model transformation approach for verifying multi-agent systems using SPIN (LC, XH), pp. 37–42.
SAC-2011-NakagawaYOH #design #framework #multi #named: IMPULSE: a design framework for multi-agent systems based on model transformation (HN, NY, AO, SH), pp. 1411–1418.
SLE-2011-SeibelHNG #black box #composition #execution: A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations (AS, RH, SN, HG), pp. 19–39.
SLE-2011-Wider #bidirectional #combinator #scala #towards: Towards Combinators for Bidirectional Model Transformations in Scala (AW), pp. 367–377.
QoSA-2010-KapovaGBH #maintenance #metric: Evaluating Maintainability with Code Metrics for Model-to-Model Transformations (LK, TG, SB, JH), pp. 151–166.
IFM-2010-HulsbuschKRSSW #comparison #semantics: Showing Full Semantics Preservation in Model Transformation — A Comparison of Techniques (MH, BK, AR, MS, CS, HW), pp. 183–198.
IFM-2010-LanoR #specification #uml #using #verification: Specification and Verification of Model Transformations Using UML-RSDS (KL, SKR), pp. 199–214.
SEFM-2010-HegedusBRV #simulation: Back-annotation of Simulation Traces with Change-Driven Model Transformations (ÁH, GB, IR, DV), pp. 145–155.
GT-VMT-2010-BottoniFP #constraints: Preserving constraints in horizontal model transformations (PB, AF, FPP).
GT-VMT-2010-Schatz #verification: Verification of Model Transformations (BS).
GT-VMT-2010-SyrianiV #transformation language: De-/Re-constructing Model Transformation Languages (ES, HV).
ICGT-2010-Biermann #emf #formal method #graph transformation: EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment (EB), pp. 381–383.
ICGT-2010-HermannEOG #analysis #behaviour #formal method #functional #graph grammar: Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (FH, HE, FO, UG), pp. 155–170.
ICGT-2010-Ujhelyi #source code #static typing #type checking: Static Type Checking of Model Transformation Programs (ZU), pp. 413–415.
KEOD-2010-TeguiakAJS #approach #design #incremental #ontology: Incremental Design of Ontologies — A Model Transformation-based Approach (HVT, YAA, SJ, ÉS), pp. 94–103.
SEKE-2010-HuSW #architecture #named: ISE — Integrated Service Engineering: Applying an Architecture for Model to Model Transformations (HH, GS, GW), pp. 452–457.
ICMT-2010-DiskinXC #bidirectional: From State- to Delta-Based Bidirectional Model Transformations (ZD, YX, KC), pp. 61–76.
ICMT-2010-FiorentiniMOP #approach #testing: A Constructive Approach to Testing Model Transformations (CF, AM, MO, IP), pp. 77–92.
ICMT-2010-LangerWK: Model-to-Model Transformations By Demonstration (PL, MW, GK), pp. 153–167.
MoDELS-v1-2010-ArendtBJKT #concept #emf #named #tool support: Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations (TA, EB, SJ, CK, GT), pp. 121–135.
MoDELS-v1-2010-GuerraLKPS #named #product line: transML: A Family of Languages to Model Model Transformations (EG, JdL, DSK, RFP, OMdS), pp. 106–120.
MoDELS-v1-2010-KolovosRAPPB #emf #using: Taming EMF and GMF Using Model Transformation (DSK, LMR, SbA, RFP, FACP, GB), pp. 211–225.
MoDELS-v1-2010-LucioBA #automation #validation: A Technique for Automatic Validation of Model Transformations (LL, BB, VA), pp. 136–150.
MoDELS-v2-2010-InsfranGA #design #development #guidelines #quality: Design Guidelines for the Development of Quality-Driven Model Transformations (EI, JGH, SA), pp. 288–302.
MoDELS-v2-2010-KainzBSK #component #development #metamodelling: Model-to-Metamodel Transformation for the Development of Component-Based Systems (GK, CB, SS, AK), pp. 391–405.
MoDELS-v2-2010-LanoR #modelling #slicing #uml #using: Slicing of UML Models Using Model Transformations (KL, SKR), pp. 228–242.
SAC-2010-EtienMLB #independence: Combining independent model transformations (AE, AM, TL, XB), pp. 2237–2243.
SLE-2010-BarrocaLAFS #named #transformation language: DSLTrans: A Turing Incomplete Transformation Language (BB, LL, VA, RF, VS), pp. 296–305.
SLE-2010-CicchettiREP #bidirectional #named #transformation language: JTL: A Bidirectional and Change Propagating Transformation Language (AC, DDR, RE, AP), pp. 183–202.
FASE-2010-BoronatO #realtime: Formal Real-Time Model Transformations in MOMENT2 (AB, PCÖ), pp. 29–43.
FASE-2010-JacksonSBK #reuse: Reusing Model Transformations While Preserving Properties (EKJ, WS, DB, GK), pp. 44–58.
FASE-2010-RutleRLW #constraints #formal method: A Formalisation of Constraint-Aware Model Transformations (AR, AR, YL, UW), pp. 13–28.
ICST-2010-AsztalosLL #automation #towards #verification: Towards Automated, Formal Verification of Model Transformations (MA, LL, TL), pp. 15–24.
ICST-2010-Rahimi #specification #uml: Specification of UML Model Transformations (SKR), pp. 323–326.
QoSA-2009-KavimandanG #optimisation #realtime: Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems (AK, ASG), pp. 18–35.
GT-VMT-2009-EhrigEE #refactoring: Refactoring of Model Transformations (HE, KE, CE), pp. 128–146.
GT-VMT-2009-EhrigHS #correctness #graph grammar: Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (HE, FH, CS), pp. 67–84.
ECMDA-FA-2009-GronmoMO #comparison #transformation language: Comparison of Three Model Transformation Languages (RG, BMP, GKO), pp. 2–17.
ECMDA-FA-2009-TisiJFCB #higher-order #on the #using: On the Use of Higher-Order Model Transformations (MT, FJ, PF, SC, JB), pp. 18–33.
ICMT-2009-AmstelLB #asf+sdf #metric #quality #using: Using Metrics for Assessing the Quality of ASF+SDF Model Transformations (MvA, CFJL, MvdB), pp. 239–248.
ICMT-2009-BergmannHRV #pattern matching #performance: Efficient Model Transformations by Combining Pattern Matching Strategies (GB, ÁH, IR, DV), pp. 20–34.
ICMT-2009-FabroABJ #using: Achieving Rule Interoperability Using Chains of Model Transformations (MDDF, PA, JB, FJ), pp. 249–259.
ICMT-2009-Garcia-MagarinoGF #algorithm #generative #transformation language: Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages (IGM, JJGS, RFF), pp. 52–66.
ICMT-2009-GuerraLO: Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions (EG, JdL, FO), pp. 83–99.
ICMT-2009-HillairetBL #query: Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa (GH, FB, JYL), pp. 116–131.
ICMT-2009-PetterBM #constraints: Solving Constraints in Model Transformations (AP, AB, MM), pp. 132–147.
ICMT-2009-SenBM #automation #generative #testing: Automatic Model Generation Strategies for Model Transformation Testing (SS, BB, JMM), pp. 148–164.
ICMT-2009-XiongSHT #bidirectional #parallel: Supporting Parallel Updates with Bidirectional Model Transformations (YX, HS, ZH, MT), pp. 213–228.
MoDELS-2009-EhrigEHP #correctness #graph grammar #on the fly: On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
MoDELS-2009-GinerP #agile #development #testing: Test-Driven Development of Model Transformations (PG, VP), pp. 748–752.
MoDELS-2009-JurackT #concept #distributed #graph transformation #towards #using: Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
MoDELS-2009-KusterGZ #automation #development #incremental #testing #using: Incremental Development of Model Transformation Chains Using Automated Testing (JMK, TG, OZ), pp. 733–747.
MoDELS-2009-RathVV: Change-Driven Model Transformations (IR, GV, DV), pp. 342–356.
MoDELS-2009-SunWG: Model Transformation by Demonstration (YS, JW, JG), pp. 712–726.
MoDELS-2009-EhrigEHP #correctness #graph grammar #on the fly: On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
MoDELS-2009-GinerP #agile #development #testing: Test-Driven Development of Model Transformations (PG, VP), pp. 748–752.
MoDELS-2009-JurackT #concept #distributed #graph transformation #towards #using: Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
MoDELS-2009-KusterGZ #automation #development #incremental #testing #using: Incremental Development of Model Transformation Chains Using Automated Testing (JMK, TG, OZ), pp. 733–747.
MoDELS-2009-RathVV: Change-Driven Model Transformations (IR, GV, DV), pp. 342–356.
MoDELS-2009-SunWG: Model Transformation by Demonstration (YS, JW, JG), pp. 712–726.
OOPSLA-2009-NandaMSS #approach #automation: Demystifying model transformations: an approach based on automated rule inference (MGN, SM, VSS, SS), pp. 341–360.
PPDP-2009-Tarau #data transformation #declarative #embedded #transformation language: An embedded declarative data transformation language (PT), pp. 171–182.
GTTSE-2009-FritzscheG #model management #performance: Model Transformation Chains and Model Management for End-to-End Performance Decision Support (MF, WG), pp. 345–363.
SAC-2009-HidakaHKN #approach #composition #development #towards: Towards a compositional approach to model transformation for software development (SH, ZH, HK, KN), pp. 468–475.
SLE-2009-IrazabalP #data type #modelling #transformation language: Model Transformation Languages Relying on Models as ADTs (JI, CP), pp. 133–143.
SLE-2009-LevendovszkyBNK #approach #automation #domain-specific language #evolution #novel: A Novel Approach to Semi-automated Evolution of DSML Model Transformation (TL, DB, AN, GK), pp. 23–41.
FASE-2009-BoronatHM #logic #semantics #verification: Rewriting Logic Semantics and Verification of Model Transformations (AB, RH, JM), pp. 18–33.
QoSA-2008-MalletR #analysis #distributed: Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems (JM, SR), pp. 55–70.
CSMR-2008-SiikarlaS #interactive #reuse: Decision Reuse in an Interactive Model Transformation (MS, TS), pp. 123–132.
WCRE-2008-Muliawan #higher-order #transformation language #using: Extending a Model Transformation Language Using Higher Order Transformations (OM), pp. 315–318.
SEFM-2008-GeihsBRW #automation #ontology: Ontology-Based Automatic Model Transformations (KG, PAB, RR, JW), pp. 387–391.
GT-VMT-2006-KoehlerHKRVW08 #development #modelling #visual notation: The Role of Visual Modeling and Model Transformations in Business-driven Development (JK, RH, JMK, KR, JV, MW), pp. 5–15.
GT-VMT-2006-NarayananK08 #towards #verification: Towards Verifying Model Transformations (AN, GK), pp. 191–200.
GT-VMT-2008-EhrigEH #algebra #approach #graph grammar #integration: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars (HE, KE, FH).
GT-VMT-2008-NarayananK #verification: Verifying Model Transformations by Structural Correspondence (AN, GK).
ICGT-2008-EhrigE #correctness #graph #semantics #using: Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation (HE, CE), pp. 194–210.
ICGT-2008-EhrigP #analysis #formal method #graph #kernel: Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (HE, UP), pp. 178–193.
ICGT-2008-Gorp #development #modelling: Model-Driven Development of Model Transformations (PVG), pp. 517–519.
ICGT-2008-LaraG: Pattern-Based Model-to-Model Transformation (JdL, EG), pp. 426–441.
EDOC-2008-KavimandanKG #automation #enterprise #synthesis #using #workflow: Automated Context-Sensitive Dialog Synthesis for Enterprise Workflows Using Templatized Model Transformations (AK, RK, ASG), pp. 159–168.
BX-2008-Nakano1: Typechecking Model Transformation (KN), p. 50.
BX-2008-Pierantonio1 #co-evolution: Change Propagation in Model Transformation (AP), p. 49.
ECMDA-FA-2008-EngelsKRSSW #behaviour #process #towards #uml: From UML Activities to TAAL — Towards Behaviour-Preserving Model Transformations (GE, AK, AR, MS, CS, HW), pp. 94–109.
ICMT-2008-CuadradoM #composition #reuse: Approaches for Model Transformation Reuse: Factorization and Composition (JSC, JGM), pp. 168–182.
ICMT-2008-HemelKV #code generation: Code Generation by Model Transformation (ZH, LCLK, EV), pp. 183–198.
ICMT-2008-KolovosPP #transformation language: The Epsilon Transformation Language (DSK, RFP, FP), pp. 46–60.
ICMT-2008-Kurtev #transformation language: Application of Reflection in Model Transformation Languages (IK), pp. 199–213.
ICMT-2008-RathBOV #incremental #pattern matching: Live Model Transformations Driven by Incremental Pattern Matching (IR, GB, AÖ, DV), pp. 107–121.
ICMT-2008-VignagaPB #contract #interactive #using: Extracting Object Interactions Out of Software Contracts Using Model Transformations (AV, DP, MCB), pp. 245–259.
ICMT-2008-Wagelaar #composition #rule-based #transformation language: Composition Techniques for Rule-Based Model Transformation Languages (DW), pp. 152–167.
MoDELS-2008-BiermannET #emf #graph transformation #precise #semantics: Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
MoDELS-2008-CabotCGL #analysis #declarative #invariant: An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.
MoDELS-2008-FalleriHLN #automation #generative #metamodelling: Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.
MoDELS-2008-KessentiniSB #optimisation #problem: Model Transformation as an Optimization Problem (MK, HAS, MB), pp. 159–173.
MoDELS-2008-SanchezFSHU #aspect-oriented #composition #weaving: Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation (PS, LF, DS, SH, RU), pp. 766–781.
MoDELS-2008-BiermannET #emf #graph transformation #precise #semantics: Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
MoDELS-2008-CabotCGL #analysis #declarative #invariant: An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.
MoDELS-2008-FalleriHLN #automation #generative #metamodelling: Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.
MoDELS-2008-KessentiniSB #optimisation #problem: Model Transformation as an Optimization Problem (MK, HAS, MB), pp. 159–173.
MoDELS-2008-SanchezFSHU #aspect-oriented #composition #weaving: Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation (PS, LF, DS, SH, RU), pp. 766–781.
TOOLS-EUROPE-2008-StrommerW #concept #framework #tool support: A Framework for Model Transformation By-Example: Concepts and Tool Support (MS, MW), pp. 372–391.
SAC-2008-Deba #approach #modelling #on the #transducer: On the conformity of models: a transducer-based approach for model transformation (EAD), pp. 791–796.
ATEM-J-2006-AmelunxenS #formal method #uml: Formalising model transformation rules for UML/MOF 2 (CA, AS), pp. 204–222.
LDTA-2007-KallebergV08 #compilation #transformation language: Fusing a Transformation Language with an Open Compiler (KTK, EV), pp. 21–36.
SLE-2008-FritzscheJAMGSBK #automation #embedded #modelling: Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains (MF, JJ, UA, SM, WG, ITAS, TJB, PK), pp. 134–150.
SLE-2008-GorpKJ #higher-order #integration #transformation language: Transformation Language Integration Based on Profiles and Higher Order Transformations (PVG, AK, DJ), pp. 208–226.
SLE-2008-LiangD #evaluation #txl #using: A Practical Evaluation of Using TXL for Model Transformation (HL, JD), pp. 245–264.
CSL-2008-Thomas #decidability #monad #proving: Model Transformations in Decidability Proofs for Monadic Theories (WT), pp. 23–31.
ICST-2008-SenBM #modelling #multi #on the #testing: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (SS, BB, JMM), pp. 328–337.
ECSA-2007-MansetVM #architecture #grid: Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations (DM, HV, RM), pp. 308–312.
AGTIVE-2007-BalasubramanianNNNSTK: Applying a Grouping Operator in Model Transformations (DB, AN, SN, BN, FS, RT, GK), pp. 410–425.
AGTIVE-2007-BiermannEEKT #emf #framework: The EMF Model Transformation Framework (EB, KE, CE, CK, GT), pp. 566–567.
AGTIVE-2007-FussT #algorithm #graph transformation #simulation #transformation language: Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages (CF, VET), pp. 442–455.
AGTIVE-2007-KoehlerGKPRVV #assurance #development #quality: Combining Quality Assurance and Model Transformations in Business-Driven Development (JK, TG, JMK, CP, KR, JV, HV), pp. 1–16.
AGTIVE-2007-Kurtev #qvt #standard #state of the art #transformation language: State of the Art of QVT: A Model Transformation Language Standard (IK), pp. 377–393.
GT-VMT-2007-BalasubramanianNNSTK #graph transformation #transformation language: A Subgraph Operator for Graph Transformation Languages (DB, AN, SN, FS, RT, GK).
GT-VMT-2007-KohlerLT #constraints #graph: Ensuring Containment Constraints in Graph-based Model Transformation Approaches (CK, HL, GT).
ICEIS-EIS-2007-MurzekK #process: Business Process Model Transformation Issues — The Top 7 Adversaries Encountered at Defining Model Transformations (MM, GK), pp. 144–151.
ECMDA-FA-2007-BordbarHES: Model Transformation from OWL-S to BPEL Via SiTra (BB, GH, ME, AS), pp. 43–58.
MoDELS-2007-AnastasakisBGR #alloy #named #uml: UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
MoDELS-2007-HibberdLR #debugging #forensics: Forensic Debugging of Model Transformations (MH, ML, KR), pp. 589–604.
MoDELS-2007-Stevens #bidirectional #qvt #semantics: Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
MoDELS-2007-AnastasakisBGR #alloy #named #uml: UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
MoDELS-2007-HibberdLR #debugging #forensics: Forensic Debugging of Model Transformations (MH, ML, KR), pp. 589–604.
MoDELS-2007-Stevens #bidirectional #qvt #semantics: Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
TOOLS-EUROPE-2007-LohmannGJS #graph grammar #workflow: Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations (CL, JG, JJ, TS), pp. 253–273.
SAC-MT-J-2006-AlanenLP07 #diagrams: Creating and reconciling diagrams after executing model transformations (MA, TL, IP), pp. 155–178.
SAC-MT-J-2006-JouaultK07 #on the #transformation language: On the interoperability of model-to-model transformation languages (FJ, IK), pp. 114–137.
SAC-MT-J-2006-KurtevBJ07 #atl #composition #rule-based #transformation language: Rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 138–154.
SAC-MT-J-2006-Tratt07: Model transformations in MT (LT), pp. 196–213.
SAC-MT-J-2006-VarroB07 #framework #transformation language: The model transformation language of the VIATRA2 framework (DV, AB), pp. 214–234.
ASE-2007-NakagawaTH #approach #generative #modelling #requirements #specification: Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models (HN, KT, SH), pp. 531–532.
ASE-2007-NaslavskyZR #modelling #testing #towards: Towards leveraging model transformation to support model-based testing (LN, HZ, DJR), pp. 509–512.
ASE-2007-XiongLHZTM #automation #towards: Towards automatic model synchronization from model transformations (YX, DL, ZH, HZ, MT, HM), pp. 164–173.
ESEC-FSE-2007-KlarKS #in the large: Model transformation in the large (FK, AK, AS), pp. 285–294.
ESEC-FSE-2007-ZhouLZ #approach: A segment-based approach for reconcilable model transformation (XZ, YL, JZ), pp. 517–520.
GTTSE-2007-PielMD #compilation #multi: Model Transformations for the Compilation of Multi-processor Systems-on-Chip (ÉP, PM, JLD), pp. 459–473.
GTTSE-2007-Stevens #bidirectional: A Landscape of Bidirectional Model Transformations (PS), pp. 408–424.
SAC-2007-CuadradoM #transformation language: A phasing mechanism for model transformation languages (JSC, JGM), pp. 1020–1024.
SAC-2007-Lamari #automation #generative #testing #towards #verification: Towards an automated test generation for the verification of model transformations (ML), pp. 998–1005.
SAC-2007-LawleyR #declarative #implementation: Implementing a practical declarative logic-based model transformation engine (ML, KR), pp. 971–977.
SAC-2007-VaraVCM #database #development: Model transformation for object-relational database development (JMV, BV, JMC, EM), pp. 1012–1019.
SAC-2007-VarroB #automation #induction #logic programming #using: Automating model transformation by example using inductive logic programming (DV, ZB), pp. 978–984.
FASE-2007-EhrigEEHT #bidirectional: Information Preserving Bidirectional Model Transformations (HE, KE, CE, FH, GT), pp. 72–86.
CBSE-2006-GrassiMS #analysis #approach #component #performance #reliability: A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems (VG, RM, AS), pp. 270–284.
QoSA-2006-MarcoM #performance: Model Transformation in Software Performance Engineering (ADM, RM), pp. 95–110.
CSMR-2006-GraafWD #architecture #migration #using: Migrating Supervisory Control Architectures Using Model Transformations (BG, SW, AvD), pp. 153–164.
CSMR-2006-IvkovicK #architecture #framework #refactoring #semantics #using: A Framework for Software Architecture Refactoring using Model Transformations and Semantic Annotations (II, KK), pp. 135–144.
ICFP-2006-KawanakaH #bidirectional #named #transformation language #xml: biXid: a bidirectional transformation language for XML (SK, HH), pp. 201–214.
ICGT-2006-VarroVEPT #analysis #petri net #termination: Termination Analysis of Model Transformations by Petri Nets (DV, SVG, HE, UP, GT), pp. 260–274.
ICEIS-ISAS-2006-ReiterKRSS #framework #generative #transformation language: A Generator Framework for Domain-Specific Model Transformation Languages (TR, EK, WR, WS, MS), pp. 27–35.
ECMDA-FA-2006-CuadradoMT #named #transformation language: RubyTL: A Practical, Extensible Transformation Language (JSC, JGM, MMT), pp. 158–172.
ECMDA-FA-2006-Kleppe #named: MCC: A Model Transformation Environment (AK), pp. 173–187.
ECMDA-FA-2006-MottuBT #analysis #mutation testing #testing: Mutation Analysis Testing for Model Transformations (JMM, BB, YLT), pp. 376–390.
ECMDA-FA-2006-WagelaarS #comparison: A Comparison of Configuration Techniques for Model Transformations (DW, RVDS), pp. 331–345.
MoDELS-2006-BezivinBGJKL #exclamation #modelling: Model Transformations? Transformation Models! (JB, FB, MG, FJ, IK, AL), pp. 440–453.
MoDELS-2006-BruckerDW #analysis #semantics: A Model Transformation Semantics and Analysis Methodology for SecureUML (ADB, JD, BW), pp. 306–320.
MoDELS-2006-CuadradoM #empirical: A Plugin-Based Language to Experiment with Model Transformation (JSC, JGM), pp. 336–350.
MoDELS-2006-HearndenLR #evolution #incremental #modelling: Incremental Model Transformation for the Evolution of Model-Driven Systems (DH, ML, KR), pp. 321–335.
MoDELS-2006-Varro: Model Transformation by Example (DV), pp. 410–424.
MoDELS-2006-BezivinBGJKL #exclamation #modelling: Model Transformations? Transformation Models! (JB, FB, MG, FJ, IK, AL), pp. 440–453.
MoDELS-2006-BruckerDW #analysis #semantics: A Model Transformation Semantics and Analysis Methodology for SecureUML (ADB, JD, BW), pp. 306–320.
MoDELS-2006-CuadradoM #empirical: A Plugin-Based Language to Experiment with Model Transformation (JSC, JGM), pp. 336–350.
MoDELS-2006-HearndenLR #evolution #incremental #modelling: Incremental Model Transformation for the Evolution of Model-Driven Systems (DH, ML, KR), pp. 321–335.
MoDELS-2006-Varro: Model Transformation by Example (DV), pp. 410–424.
SAC-2006-AlanenLP #diagrams: Reconciling diagrams after executing model transformations (MA, TL, IP), pp. 1267–1272.
SAC-2006-BaloghV #framework #transformation language: Advanced model transformation language constructs in the VIATRA2 framework (AB, DV), pp. 1280–1287.
SAC-2006-BaloghVVP #compilation #plugin: Compiling model transformations to EJB3-specific transformer plugins (AB, GV, DV, AP), pp. 1288–1295.
SAC-2006-BezivinPV: Special track on model transformation (MT 2006) (JB, AP, AV), pp. 1186–1187.
SAC-2006-CaceresCVM #hypermedia #information management #modelling #web: Model transformations for hypertext modeling on web information systems (PC, VdC, JMV, EM), pp. 1232–1239.
SAC-2006-KurtevBJ #atl #composition #evaluation #rule-based #transformation language: Evaluation of rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 1202–1209.
SAC-2006-Tratt #transformation language: The MT model transformation language (LT), pp. 1296–1303.
LDTA-J-2004-Cordy #transformation language #txl: The TXL source transformation language (JRC), pp. 190–210.
FASE-2006-BoronatCR #algebra #specification: Algebraic Specification of a Model Transformation Engine (AB, JÁC, IR), pp. 262–277.
WICSA-2005-Matinlassi #architecture #quality: Quality-Driven Software Architecture Model Transformation (MM), pp. 199–200.
CAiSE-2005-RizopoulosM #approach #concept #generative: A General Approach to the Generation of Conceptual Model Transformations (NR, PM), pp. 326–341.
CAiSE-2005-RuscioP #data-driven #development #web: Model Transformations in the Development of Data-Intensive Web Applications (DDR, AP), pp. 475–490.
ECMDA-FA-2005-0003SAJ #semantics: Semantic Anchoring with Model Transformations (KC, JS, SA, EKJ), pp. 115–129.
ECMDA-FA-2005-Bloomfield #industrial #metamodelling: MDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry (TB), pp. 9–18.
ECMDA-FA-2005-GrunskeGL #graph grammar #specification #visual notation: A Graphical Specification of Model Transformations with Triple Graph Grammars (LG, LG, ML), pp. 284–298.
ASE-2005-LinG #approach #automation #evolution: A model transformation approach to automatic model construction and evolution (YL, JG), pp. 448–451.
ATEM-2004-GirbaFD05 #evolution #metamodelling #using: Using Meta-Model Transformation to Model Software Evolution (TG, JMF, SD), pp. 57–64.
FASE-2005-EhrigELTVV #termination: Termination Criteria for Model Transformation (HE, KE, JdL, GT, DV, SVG), pp. 49–63.
ICGT-2004-ClarkESW #design #metamodelling #transformation language: Transformation Language Design: A Metamodelling Foundation (TC, AE, PS, JSW), pp. 13–21.
CAiSE-2004-KovseH #named #workflow: MT-Flow — An Environment for Workflow-Supported Model Transformations in MDA (JK, TH), pp. 160–174.
UML-2004-RottgerZ #development #modelling #non-functional #refinement: Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation (SR, SZ), pp. 275–289.
UML-2004-VarroP: Generic and Meta-transformations for Model Transformation Engineering (DV, AP), pp. 290–304.
EDOC-2003-DuddyGLRS #approach #declarative #reuse: Model Transformation: A declarative, reusable patterns approach (KD, AG, ML, KR, JS), pp. 174–185.
CAiSE-2002-Saeki: Role of Model Transformation in Method Engineering (MS), pp. 626–642.
EDOC-2002-OldevikSEB #code generation #framework: Framework for Model Transformation and Code Generation (JO, AS, BE, AJB), pp. 181–189.
EDOC-2002-Peltier #domain-specific language: MTrans, a DSL for Model Transformation (MP), pp. 190–199.
ICLP-2002-BryS #declarative #query #semistructured data #simulation #towards #transformation language #unification #xml: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification (FB, SS), pp. 255–270.
TOOLS-USA-2001-Bezivin01a #composition: From Object Composition to Model Transformation with the MDA (JB), pp. 350–354.
CAiSE-2000-BehrensR #behaviour #code generation #named: StateLator — Behavioral Code Generation as an Instance of a Model Transformation (TB, SR), pp. 401–416.
CAiSE-1999-McBrienP #approach: A Uniform Approach to Inter-model Transformations (PM, AP), pp. 333–348.
WCRE-1996-BlahaP: A Catalog of Object Model Transformations (MRB, WJP), p. 87–?.
PLILP-1990-Ferdinand #functional #pattern matching #transformation language #using: Pattern Matching in a Functional Transformation Language using Treeparsing (CF), pp. 358–371.