International Conference on Model Transformation - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 218

2018

A Formal Framework for Prototyping Executable Semantics in ATLArtur Boronat. ICMT 2018: 157-172 [doi]

Model Transformation Reuse Across Metamodels - A Classification and Comparison of ApproachesJean-Michel Bruel, Benoît Combemale, Esther Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe. ICMT 2018: 92-109 [doi]

Scalable Queries and Model Transformations with the Mogwaï ToolGwendal Daniel, Gerson Sunyé, Jordi Cabot. ICMT 2018: 175-183 [doi]

NMF: A Multi-platform Modeling FrameworkGeorg Hinkel. ICMT 2018: 184-194 [doi]

Technical Debt in Model Transformation SpecificationsKevin Lano, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Hessa Alfraihi. ICMT 2018: 127-141 [doi]

Schema Transformations and Query Rewriting in Ontological Databases with a Faceted InterfaceTadeusz Pankowski. ICMT 2018: 76-91 [doi]

Theory and Practice of Model Transformation - 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, ProceedingsArend Rensink, Jesús Sánchez Cuadrado, editors, Volume 10888 of Lecture Notes in Computer Science, Springer, 2018. [doi]

Systematic Recovery of MDE Technology UsageJuri Di Rocco, Davide Di Ruscio, Johannes Härtel, Ludovico Iovino, Ralf Lämmel, Alfonso Pierantonio. ICMT 2018: 110-126 [doi]

CoqTL: An Internal DSL for Model Transformation in CoqMassimo Tisi, Zheng Cheng. ICMT 2018: 142-156 [doi]

Virtual Network Embedding: Reducing the Search Space by Model Transformation TechniquesStefan Tomaszek, Erhan Leblebici, Lin Wang, Andy Schürr. ICMT 2018: 59-75 [doi]

The Design, Evolution, and Use of KernelF - An Extensible and Embeddable Functional LanguageMarkus Voelter. ICMT 2018: 3-55 [doi]

2017

Generating Efficient Mutation Operators for Search-Based Model-Driven EngineeringDaniel Strüber 0001. ICMT 2017: 121-137 [doi]

Experimentation with a Big-Step Semantics for ATL Model TransformationsArtur Boronat. ICMT 2017: 3-18 [doi]

Testing Transformation Models Using Classifying TermsLoli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla. ICMT 2017: 69-85 [doi]

Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language FacilitiesChristopher Gerking, David Schubert, Ingo Budde. ICMT 2017: 19-34 [doi]

Theory and Practice of Model Transformation - 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, ProceedingsEsther Guerra, Mark van den Brand, editors, Volume 10374 of Lecture Notes in Computer Science, Springer, 2017. [doi]

BXE2E: A Bidirectional Transformation Approach for Medical Record ExchangeJeremy Ho, Jens H. Weber, Morgan Price. ICMT 2017: 155-170 [doi]

Automatic Inference of Rule-Based Specifications of Complex In-place Model TransformationsTimo Kehrer, Abdullah M. Alshanqiti, Reiko Heckel. ICMT 2017: 92-107 [doi]

Differencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model TransformationsTimo Kehrer, Christopher Pietsch, Daniel Strüber 0001. ICMT 2017: 86-91 [doi]

A Survey of Model Transformation Design Pattern UsageKevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani, Mohammadreza Sharbaf. ICMT 2017: 108-118 [doi]

Rule-Based Repair of EMF Models: An Automated Interactive ApproachNebras Nassar, Hendrik Radke, Thorsten Arendt. ICMT 2017: 171-181 [doi]

Graph Constraint Evaluation over Partial Models by Constraint RewritingOszkár Semeráth, Dániel Varró. ICMT 2017: 138-154 [doi]

Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph GrammarsFrank Trollmann, Sahin Albayrak. ICMT 2017: 35-50 [doi]

The Micromapping Model of Computation; The Foundation for Optimized Execution of Eclipse QVTc/QVTr/UMLXEdward D. Willink. ICMT 2017: 51-65 [doi]

2016

Clone Detection for Graph-Based Model Transformation LanguagesDaniel Strüber 0001, Jennifer Plöger, Vlad Acretoaie. ICMT 2016: 191-206 [doi]

Translatability and Translation of Updated Views in ModelJoinErik Burger, Oliver Schneider. ICMT 2016: 55-69 [doi]

Search-Based Model Transformations with MOMoTMartin Fleck, Javier Troya, Manuel Wimmer. ICMT 2016: 79-87 [doi]

Theory and Practice of Model Transformations - 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, ProceedingsPieter Van Gorp, Gregor Engels, editors, Volume 9765 of Lecture Notes in Computer Science, Springer, 2016. [doi]

A Domain Specific Transformation Language to Bridge Concrete and Abstract SyntaxAdolfo Sánchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige. ICMT 2016: 3-18 [doi]

GECO: A Generator Composition Approach for Aspect-Oriented DSLsReiner Jung, Robert Heinrich, Wilhelm Hasselbring. ICMT 2016: 141-156 [doi]

Automatically Deriving the Specification of Model Editing Operations from Meta-ModelsTimo Kehrer, Gabriele Taentzer, Michaela Rindt, Udo Kelter. ICMT 2016: 173-188 [doi]

Model Transformation with Immutable DataPaul Klint, Tijs van der Storm. ICMT 2016: 19-35 [doi]

Industrial Software Rejuvenation Using Open-Source ParsersArjan J. Mooij, M. M. Joy, Gernot Eggen, P. Janson, A. Radulescu. ICMT 2016: 157-172 [doi]

EMG: A Domain-Specific Transformation Language for Synthetic Model GenerationSaheed Popoola, Dimitrios S. Kolovos, Horacio Hoyos Rodriguez. ICMT 2016: 36-51 [doi]

Using ATL Transformation Services in the MDEForge Collaborative Modeling PlatformJuri Di Rocco, Davide Di Ruscio, Alfonso Pierantonio, Jesús Sánchez Cuadrado, Juan de Lara, Esther Guerra. ICMT 2016: 70-78 [doi]

Correct Reuse of Transformations is Hard to GuaranteeRick Salay, Steffen Zschaler, Marsha Chechik. ICMT 2016: 107-122 [doi]

Requirements Engineering in Model-Transformation Development: An Interview-Based StudySobhan Yassipour Tehrani, Steffen Zschaler, Kevin Lano. ICMT 2016: 123-137 [doi]

Extending Model Synchronization Results from Triple Graph Grammars to Multiple ModelsFrank Trollmann, Sahin Albayrak. ICMT 2016: 91-106 [doi]

2015

Transparent Model Transformation: Turning Your Favourite Model Editor into a Transformation ToolVlad Acretoaie, Harald Störrle, Daniel Strüber. ICMT 2015: 121-130 [doi]

Viatra 3: A Reactive Model Transformation PlatformGábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró. ICMT 2015: 101-110 [doi]

A Sound Execution Semantics for ATL via Translation Validation - Research PaperZheng Cheng, Rosemary Monahan, James F. Power. ICMT 2015: 133-148 [doi]

Enabling the Reuse of Stored Model Transformations Through AnnotationsJavier Criado, Salvador Martínez Perez, Luis Iribarne, Jordi Cabot. ICMT 2015: 43-58 [doi]

Reusable Model Transformation Components with bentōJesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT 2015: 59-65 [doi]

Migrating Automotive Product Lines: A Case StudyMichalis Famelis, Levi Lucio, Gehan M. K. Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik, James R. Cordy, Jürgen Dingel, Hans Vangheluwe, Ramesh S.. ICMT 2015: 82-97 [doi]

F-Alloy: An Alloy Based Model Transformation LanguageLoïc Gammaitoni, Pierre Kelsen. ICMT 2015: 166-180 [doi]

CoWolf - A Generic Framework for Multi-view Co-evolution and Evaluation of ModelsSinem Getir, Lars Grunske, Christian Karl Bernasko, Verena Käfer, Tim Sanwald, Matthias Tichy. ICMT 2015: 34-40 [doi]

From UML/OCL to Base Models: Transformation Concepts for Generic Validation and VerificationFrank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille. ICMT 2015: 149-165 [doi]

Change Propagation in an Internal Model Transformation LanguageGeorg Hinkel. ICMT 2015: 3-17 [doi]

Towards Functional Model Transformations with OCLFrédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickael Clavreul, Guillaume Savaton. ICMT 2015: 111-120 [doi]

A Methodology for Designing Dynamic Topology Control Algorithms via Graph TransformationRoland Kluge, Gergely Varró, Andy Schürr. ICMT 2015: 199-213 [doi]

Theory and Practice of Model Transformations - 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. ProceedingsDimitris S. Kolovos, Manuel Wimmer, editors, Volume 9152 of Lecture Notes in Computer Science, Springer, 2015. [doi]

Cost-Effective Industrial Software Rejuvenation Using Domain-Specific ModelsArjan J. Mooij, Gernot Eggen, Jozef Hooman, Hans van Wezep. ICMT 2015: 66-81 [doi]

Translating ATL Model Transformations to Algebraic Graph TransformationsElie Richa, Etienne Borde, Laurent Pautet. ICMT 2015: 183-198 [doi]

Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple ModelsFrank Trollmann, Sahin Albayrak. ICMT 2015: 214-229 [doi]

Origin Tracking + + Text Differencing = = Textual Model DifferencingRiemer van Rozen, Tijs van der Storm. ICMT 2015: 18-33 [doi]

2014

Triple Graph Grammars in the Large for Translating Satellite ProceduresFrank Hermann 0001, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel. ICMT 2014: 122-137 [doi]

Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience ReportDominique Blouin, Alain Plantec, Pierre Dissaux, Frank Singhoff, Jean-Philippe Diguet. ICMT 2014: 106-121 [doi]

Reverse Engineering of Model Transformations for ReusabilityJesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT 2014: 186-201 [doi]

Towards a Rational Taxonomy for Increasingly Symmetric Model SynchronizationZinovy Diskin, Arif Wider, Hamid Gholizadeh, Krzysztof Czarnecki. ICMT 2014: 57-73 [doi]

Towards a Language for Graph-Based Model Transformation Design PatternsHüseyin Ergin, Eugene Syriani. ICMT 2014: 91-105 [doi]

Testing MOFScript Transformations with HandyMOFJokin García, Maider Azanza, Arantza Irastorza, Oscar Díaz. ICMT 2014: 42-56 [doi]

Test Data Generation for Model Transformations Combining Partition and Constraint AnalysisCarlos A. González, Jordi Cabot. ICMT 2014: 25-41 [doi]

ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation EnvironmentsVictor Guana, Eleni Stroulia. ICMT 2014: 146-153 [doi]

Transformation of UML and OCL Models into Filmstrip ModelsFrank Hilken, Lars Hamann, Martin Gogolla. ICMT 2014: 170-185 [doi]

Tracing Program Transformations with String OriginsPablo Inostroza, Tijs van der Storm, Sebastian Erdweg. ICMT 2014: 154-169 [doi]

A Search Based Test Data Generation Approach for Model TransformationsAtif Aftab Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan. ICMT 2014: 17-24 [doi]

Developing eMoflon with eMoflonErhan Leblebici, Anthony Anjorin, Andy Schürr. ICMT 2014: 138-145 [doi]

Correctness of Incremental Model Synchronization with Triple Graph GrammarsFernando Orejas, Elvira Pino. ICMT 2014: 74-90 [doi]

Theory and Practice of Model Transformations - 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. ProceedingsDavide Di Ruscio, Dániel Varró, editors, Volume 8568 of Lecture Notes in Computer Science, Springer, 2014. [doi]

On the Usage of TGGs for Automated Model Transformation TestingMartin Wieber, Anthony Anjorin, Andy Schürr. ICMT 2014: 1-16 [doi]

2013

On an Automated Translation of Satellite Procedures Using Triple Graph GrammarsFrank Hermann 0001, Susann Gottmann, Nico Nachtigall, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel. ICMT 2013: 50-51 [doi]

Walk Your Tree Any Way You WantAnya Helene Bagge, Ralf Lämmel. ICMT 2013: 33-49 [doi]

Checking Model Transformation RefinementFabian Büttner, Marina Egea, Esther Guerra, Juan de Lara. ICMT 2013: 158-173 [doi]

Streaming Model Transformations: Scenarios, Challenges and Initial SolutionsJesús Sánchez Cuadrado, Juan de Lara. ICMT 2013: 1-16 [doi]

Theory and Practice of Model Transformations - 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. ProceedingsKeith Duddy, Gerti Kappel, editors, Volume 7909 of Lecture Notes in Computer Science, Springer, 2013. [doi]

Genetic-Programming Approach to Learn Model Transformation Rules from ExamplesMartin Faunes, Houari A. Sahraoui, Mounir Boukadoum. ICMT 2013: 17-32 [doi]

Partial Test Oracle in Model Transformation TestingOlivier Finot, Jean-Marie Mottu, Gerson Sunyé, Christian Attiogbé. ICMT 2013: 189-204 [doi]

Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG ImplementationsStephan Hildebrandt, Leen Lambers, Holger Giese. ICMT 2013: 174-188 [doi]

Model Querying with FunnyQT - (Extended Abstract)Tassilo Horn. ICMT 2013: 56-57 [doi]

Achieving Practical Genericity in Model Weaving through ExtensibilityMax E. Kramer, Jacques Klein, Jim R. H. Steel, Brice Morin, Jörg Kienzle, Olivier Barais, Jean-Marc Jézéquel. ICMT 2013: 108-124 [doi]

Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph TransformationsChristian Krause, Johannes Dyck, Holger Giese. ICMT 2013: 76-91 [doi]

Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract)Markus Lepper, Baltasar Trancón-y-Widemann. ICMT 2013: 54-55 [doi]

The Graph Grammar Library - A Generic Framework for Chemical Graph Rewrite SystemsMartin Mann, Heinz Ekker, Christoph Flamm. ICMT 2013: 52-53 [doi]

Interactive Visual Analytics for Efficient Maintenance of Model TransformationsAndreas Rentschler, Qais Noorshams, Lucia Happe, Ralf Reussner. ICMT 2013: 141-157 [doi]

A Methodological Approach for the Coupled Evolution of Metamodels and ATL TransformationsDavide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio. ICMT 2013: 60-75 [doi]

Robust Real-Time Synchronization between Textual and Graphical EditorsOskar van Rest, Guido Wachsmuth, Jim R. H. Steel, Jörn Guy Süß, Eelco Visser. ICMT 2013: 92-107 [doi]

A Rete Network Construction Algorithm for Incremental Pattern MatchingGergely Varró, Frederik Deckwerth. ICMT 2013: 125-140 [doi]

Systematic Testing of Graph Transformations: A Practical Approach Based on Graph PatternsMartin Wieber, Andy Schürr. ICMT 2013: 205-220 [doi]

Yet Another Three QVT LanguagesEdward D. Willink, Horacio Hoyos, Dimitris S. Kolovos. ICMT 2013: 58-59 [doi]

2012

Reusable and Correct Endogenous Model TransformationsSuzana Andova, Mark G. J. van den Brand, Luc Engelen. ICMT 2012: 72-88 [doi]

Towards Multi-level Aware Model TransformationsColin Atkinson, Ralph Gerbig, Christian Tunjic. ICMT 2012: 208-223 [doi]

Towards a Family of Model Transformation LanguagesJesús Sánchez Cuadrado. ICMT 2012: 176-191 [doi]

Type-Safe Model Transformation Languages as Internal DSLs in ScalaLars George, Arif Wider, Markus Scheidgen. ICMT 2012: 160-175 [doi]

The Impact of Class Model Redesign on State MachinesPiotr Kosiuczenko. ICMT 2012: 264-279 [doi]

Multifocal: A Strategic Bidirectional Transformation Language for XML SchemasHugo Pacheco, Alcino Cunha. ICMT 2012: 89-104 [doi]

Paisley: Pattern Matching à la CarteBaltasar Trancón-y-Widemann, Markus Lepper. ICMT 2012: 240-247 [doi]

Typing Model Transformations Using TractsAntonio Vallecillo, Martin Gogolla. ICMT 2012: 56-71 [doi]

Domain-Specific Optimization in Digital ForensicsJeroen van den Bos, Tijs van der Storm. ICMT 2012: 121-136 [doi]

An Algorithm for Generating Model-Sensitive Search Plans for EMF ModelsGergely Varró, Frederik Deckwerth, Martin Wieber, Andy Schürr. ICMT 2012: 224-239 [doi]

Fact or Fiction - Reuse in Rule-Based Model-to-Model Transformation LanguagesManuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger. ICMT 2012: 280-295 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Tags

International Conference on Model Transformation (ICMT)

Viewing Publication 1 - 100 from 218

2018

2017

2016

2015

2014

2013

2012

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Tags

International Conference on Model Transformation (ICMT)

Viewing Publication 1 - 100 from 218

2018

2017

2016

2015

2014

2013

2012

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1