Search results for "Transformations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	James McKinna	Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal).	Bx@ETAPS	2016	DBLP BibTeX RDF
18	Max E. Kramer, Kirill Rakhman	Automated Inversion of Attribute Mappings in Bidirectional Model Transformations.	Bx@ETAPS	2016	DBLP BibTeX RDF
18	Anne Etien, Alexis Muller, Thomas Legrand, Richard F. Paige	Localized model transformations for building large-scale transformations.	Softw. Syst. Model.	2015	DBLP DOI BibTeX RDF
18	Wim Vanderbauwhede	Inferring Program Transformations from Type Transformations for Partitioning of Ordered Sets.	CoRR	2015	DBLP BibTeX RDF
18	Shagufta Scanlon	A comparative study of data transformations for efficient XML and JSON data compression: an in-depth analysis of data transformation techniques, including tag and capital conversions, character and word N-gram transformations, and domain-specific data transforms using SMILES data as a case study.		2015	RDF
18	Frédéric Jouault, Olivier Beaudoux, Matthias Brun 0001, Mickael Clavreul, Guillaume Savaton	Towards Functional Model Transformations with OCL.	ICMT	2015	DBLP DOI BibTeX RDF
18	Javier Criado, Salvador Martínez Perez, Luis Iribarne, Jordi Cabot	Enabling the Reuse of Stored Model Transformations Through Annotations.	ICMT	2015	DBLP DOI BibTeX RDF
18	Soichiro Hidaka, Martin Billes, Quang Minh Tran, Kazutaka Matsuda	Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations.	Bx@STAF	2015	DBLP BibTeX RDF
18	James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens	Towards a Principle of Least Surprise for Bidirectional Transformations.	Bx@STAF	2015	DBLP BibTeX RDF
18	Zheng Cheng, Rosemary Monahan, James F. Power	Verifying SimpleGT Transformations Using an Intermediate Verification Language.	VOLT@STAF	2015	DBLP BibTeX RDF
18	Sobhan Yassipour Tehrani, Kevin Lano	Temporal Logic Specification and Analysis for Model Transformations.	VOLT@STAF	2015	DBLP BibTeX RDF
18	Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum	Analysis of Source-to-Target Model Transformations in QueST.	AMT@MoDELS	2015	DBLP BibTeX RDF
18	Gehan M. K. Selim, James R. Cordy, Jürgen Dingel, Levi Lucio, Bentley J. Oakes	Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report.	AMT@MoDELS	2015	DBLP BibTeX RDF
18	Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner	Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations.	AMT@MoDELS	2015	DBLP BibTeX RDF
18	Jean-Christophe Bach	Un îlot formel pour les transformations de modèles qualifiables. (A formal Island for qualifiable model transformations).		2014	RDF
18	Aloïs Brunel	The monitoring power of forcing program transformations. (Transformations de forcing et algèbres de monitoring)		2014	RDF
18	Jokin García, Maider Azanza, Arantza Irastorza, Oscar Díaz	Testing MOFScript Transformations with HandyMOF.	ICMT	2014	DBLP DOI BibTeX RDF
18	Atif Aftab Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan	A Search Based Test Data Generation Approach for Model Transformations.	ICMT	2014	DBLP DOI BibTeX RDF
18	Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara	Reverse Engineering of Model Transformations for Reusability.	ICMT	2014	DBLP DOI BibTeX RDF
18	Pablo Inostroza, Tijs van der Storm, Sebastian Erdweg	Tracing Program Transformations with String Origins.	ICMT	2014	DBLP DOI BibTeX RDF
18	Carlos A. González, Jordi Cabot	Test Data Generation for Model Transformations Combining Partition and Constraint Analysis.	ICMT	2014	DBLP DOI BibTeX RDF
18	Nico Nachtigall, Frank Hermann 0001, Benjamin Braatz, Thomas Engel 0001	Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars.	VOLT@STAF	2014	DBLP BibTeX RDF
18	Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann 0001, Kevin Lano	Report on the Third Workshop on Verification of Model Transformations (VOLT 2014).	VOLT@STAF	2014	DBLP BibTeX RDF
18	Andreas Rentschler, Dominik Werle, Qais Noorshams, Lucia Happe, Ralf H. Reussner	Remodularizing Legacy Model Transformations with Automatic Clustering Techniques.	AMT@MoDELS	2014	DBLP BibTeX RDF
18	Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink	Towards Rigorously Faking Bidirectional Model Transformations.	AMT@MoDELS	2014	DBLP BibTeX RDF
18	Javier Troya, Manuel Wimmer, Loli Burgueño, Antonio Vallecillo	Towards Approximate Model Transformations.	AMT@MoDELS	2014	DBLP BibTeX RDF
18	Alessandro Tiso, Gianna Reggio, Maurizio Leotta	Unit Testing of Model to Text Transformations.	AMT@MoDELS	2014	DBLP BibTeX RDF
18	Romina Eramo, Romeo Marinelli, Alfonso Pierantonio, Gianni Rosa	Towards Analysing Non-Determinism in Bidirectional Transformations.	AMT@MoDELS	2014	DBLP BibTeX RDF
18	Karl Gmeiner, Naoki Nishida 0001	Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems.	WPTE@RTA/TLCA	2014	DBLP DOI BibTeX RDF
18	Yufeng Zhang, Zhong Han, Hon-Wah Tam	An integrable hierarchy and Darboux transformations, bilinear Bäcklund transformations of a reduced equation.	Appl. Math. Comput.	2013	DBLP DOI BibTeX RDF
18	Akram Ajouli	Vues et transformations de programmes pour la modularité des évolutions. (Views and program transformations for modular maintenances).		2013	RDF
18	Stéphane Garredu	Approche de méta-modélisation et transformations de modèles dans le contexte de la modélisation et simulation à évènements discrets : application au formalisme DEVS. (Meta-modeling approach and model transformations in the context of modeling and discrete event simulation : application DEVS formalism).		2013	RDF
18	Hoai Diem Phuc Ngo	Transformations rigides sur les images numériques 2D : analyse combinatoire et topologique. (Rigid transformations on 2D digital images : combinatorial and topological analysis).		2013	RDF
18	Andreas Rentschler, Qais Noorshams, Lucia Happe, Ralf H. Reussner	Interactive Visual Analytics for Efficient Maintenance of Model Transformations.	ICMT	2013	DBLP DOI BibTeX RDF
18	Martin Wieber, Andy Schürr	Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns.	ICMT	2013	DBLP DOI BibTeX RDF
18	Jesús Sánchez Cuadrado, Juan de Lara	Streaming Model Transformations: Scenarios, Challenges and Initial Solutions.	ICMT	2013	DBLP DOI BibTeX RDF
18	Christian Krause 0001, Johannes Dyck, Holger Giese	Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations.	ICMT	2013	DBLP DOI BibTeX RDF
18	Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio	A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations.	ICMT	2013	DBLP DOI BibTeX RDF
18	Daniel Calegari, Andrea Delgado 0001	Rule Chains Coverage for Testing QVT-Relations Transformations.	AMT@MoDELS	2013	DBLP BibTeX RDF
18	Matthias Tichy, Christian Krause 0001, Grischa Liebel	Detecting Performance Bad Smells for Henshin Model Transformations.	AMT@MoDELS	2013	DBLP BibTeX RDF
18	Alessandro Tiso, Gianna Reggio, Maurizio Leotta	A Method for Testing Model to Text Transformations.	AMT@MoDELS	2013	DBLP BibTeX RDF
18	Ekaterina Shemyakova	Laplace transformations as the only degenerate Darboux transformations of first order.	Program. Comput. Softw.	2012	DBLP DOI BibTeX RDF
18	Axel Schulze-Halberg	Higher-order Darboux transformations with foreign auxiliary equations and equivalence with generalized Darboux transformations.	Appl. Math. Lett.	2012	DBLP DOI BibTeX RDF
18	Michael Schlereth, Tina Krausser	Platform-Independent Specification of Model Transformations @ Runtime Using Higher-Order Transformations.	Modellierung	2012	DBLP BibTeX RDF
18	Mehdi Amini	Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators. (Transformations de programme automatiques et source-à-source pour accélérateurs matériels de type GPU).		2012	RDF
18	Gabriel Kerneis	Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language. (Continuation-Passing C : Transformations de programmes pour compiler la concurrence dans un langage impératif).		2012	RDF
18	Julien Jaeger	Transformations source-à-source pour l'optimisation de codes irréguliers et multithreads. (Source-to-source transformations for irregular and multithreaded code optimization).		2012	RDF
18	Esther Guerra	Specification-Driven Test Generation for Model Transformations.	ICMT@TOOLS	2012	DBLP DOI BibTeX RDF
18	James F. Terwilliger, Anthony Cleve, Carlo Curino	How Clean Is Your Sandbox? - Towards a Unified Theoretical Framework for Incremental Bidirectional Transformations.	ICMT@TOOLS	2012	DBLP DOI BibTeX RDF
18	Suzana Andova, Mark G. J. van den Brand, Luc Engelen	Reusable and Correct Endogenous Model Transformations.	ICMT@TOOLS	2012	DBLP DOI BibTeX RDF
18	Marcel van Amstel, Mark G. J. van den Brand, Alexander Serebrenik	Traceability Visualization in Model Transformations with TraceVis.	ICMT@TOOLS	2012	DBLP DOI BibTeX RDF
18	María Fernández-Ropero, Ricardo Pérez-Castillo, Barbara Weber, Mario Piattini	Empirical Assessment of Business Model Transformations Based on Model Simulation.	ICMT@TOOLS	2012	DBLP DOI BibTeX RDF
18	Antonio Vallecillo, Martin Gogolla	Typing Model Transformations Using Tracts.	ICMT@TOOLS	2012	DBLP DOI BibTeX RDF
18	Colin Atkinson 0001, Ralph Gerbig, Christian Tunjic	Towards Multi-level Aware Model Transformations.	ICMT@TOOLS	2012	DBLP DOI BibTeX RDF
18	Sagar Sen, Jean-Marie Mottu, Massimo Tisi, Jordi Cabot	Using Models of Partial Knowledge to Test Model Transformations.	ICMT@TOOLS	2012	DBLP DOI BibTeX RDF
18	Anne Etien, Vincent Aranega, Xavier Blanc 0001, Richard F. Paige	Chaining model transformations.	AMT@MoDELS	2012	DBLP DOI BibTeX RDF
18	Stephan Hildebrandt, Leen Lambers, Holger Giese	The MDELab tool framework for the development of correct model transformations with triple graph grammars.	AMT@MoDELS	2012	DBLP DOI BibTeX RDF
18	Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Dániel Varró	Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012).	AMT@MoDELS	2012	DBLP DOI BibTeX RDF
18	Bernhard Westfechtel, Manfred Nagl	Graph Transformations for Evolving Domain Knowledge.	ICGT	2012	DBLP DOI BibTeX RDF
18	Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann 0001	Parallelism and Concurrency of Stochastic Graph Transformations.	ICGT	2012	DBLP DOI BibTeX RDF
18	Traian-Florin Serbanuta, Grigore Rosu	A Truly Concurrent Semantics for the K Framework Based on Graph Transformations.	ICGT	2012	DBLP DOI BibTeX RDF
18	Matthias Tichy, Benjamin Klöpper	Planning Self-adaption with Graph Transformations.	AGTIVE	2011	DBLP DOI BibTeX RDF
18	Martin Strecker	Locality in Reasoning about Graph Transformations.	AGTIVE	2011	DBLP DOI BibTeX RDF
18	Thomas Buchmann, Bernhard Westfechtel, Sabine Winetzhammer	The Added Value of Programmed Graph Transformations - A Case Study from Software Configuration Management.	AGTIVE	2011	DBLP DOI BibTeX RDF
18	Olga Runge, Claudia Ermel, Gabriele Taentzer	AGG 2.0 - New Features for Specifying and Analyzing Algebraic Graph Transformations.	AGTIVE	2011	DBLP DOI BibTeX RDF
18	Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara	Generic Model Transformations: Write Once, Reuse Everywhere.	ICMT@TOOLS	2011	DBLP DOI BibTeX RDF
18	Marcel van Amstel, Steven Bosems, Ivan Kurtev, Luís Ferreira Pires	Performance in Model Transformations: Experiments with ATL and QVT.	ICMT@TOOLS	2011	DBLP DOI BibTeX RDF
18	Kevin Lano, Shekoufeh Kolahdouz Rahimi	Model-Driven Development of Model Transformations.	ICMT@TOOLS	2011	DBLP DOI BibTeX RDF
18	Yu Sun 0002, Jeff Gray 0001, Christoph Wienands, Michael Golm, Jules White	A Demonstration-based Approach to Support Live Transformations in a Model Editor.	ICMT@TOOLS	2011	DBLP DOI BibTeX RDF
18	Gabriele Taentzer	What Algebraic Graph Transformations Can Do For Model Transformations.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
18	Alexandru Plesco	Program Transformations and Memory Architecture Optimizations for High-Level Synthesis of Hardware Accelerators. (Transformations de programmes et optimisations de l'architecture mémoire pour la synthèse de haut niveau d'accélérateurs matériels).		2010	RDF
18	Mohamad Jaber 0001	Centralized and Distributed Implementations of Correct-by-construction Component-based Systems by using Source-to-source Transformations in BIP. (Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP).		2010	RDF
18	Larbi Mesbahi	Transformation automatique de la parole - Etude des transformations acoustiques. (Automatic voice transformation - Study of acoustic transformations).		2010	RDF
18	Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo	A Constructive Approach to Testing Model Transformations.	ICMT@TOOLS	2010	DBLP DOI BibTeX RDF
18	Zinovy Diskin, Yingfei Xiong 0001, Krzysztof Czarnecki 0001	From State- to Delta-Based Bidirectional Model Transformations.	ICMT@TOOLS	2010	DBLP DOI BibTeX RDF
18	Florian Heidenreich, Jan Kopcsek, Uwe Aßmann	Safe Composition of Transformations.	ICMT@TOOLS	2010	DBLP DOI BibTeX RDF
18	Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini	Implementing Business Process Recovery Patterns through QVT Transformations.	ICMT@TOOLS	2010	DBLP DOI BibTeX RDF
18	Massimo Tisi, Jordi Cabot, Frédéric Jouault	Improving Higher-Order Transformations Support in ATL.	ICMT@TOOLS	2010	DBLP DOI BibTeX RDF
18	Frédéric Jouault, Massimo Tisi	Towards Incremental Execution of ATL Transformations.	ICMT@TOOLS	2010	DBLP DOI BibTeX RDF
18	Eugene Syriani, Jörg Kienzle, Hans Vangheluwe	Exceptional Transformations.	ICMT@TOOLS	2010	DBLP DOI BibTeX RDF
18	Philip Langer, Manuel Wimmer, Gerti Kappel	Model-to-Model Transformations By Demonstration.	ICMT@TOOLS	2010	DBLP DOI BibTeX RDF
18	Eduardo Zambon	Using Graph Transformations and Graph Abstractions for Software Verification.	ICGT	2010	DBLP DOI BibTeX RDF
18	Frank Hermann 0001, Hartmut Ehrig, Fernando Orejas, Ulrike Golas	Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars.	ICGT	2010	DBLP DOI BibTeX RDF
18	Luis E. Garza, Francisco Marcellán	Szegő transformations and rational spectral transformations for associated polynomials.	J. Comput. Appl. Math.	2009	DBLP DOI BibTeX RDF
18	Mathieu Poudret	Transformations de graphes pour les opérations topologiques en modélisation géométrique - Application à l'étude de la dynamique de l'appareil de Golgi. (Graphs transformations for the topological operations of the geometric modeling - Application to the study of the Golgi apparatus dynamics).		2009	RDF
18	Andreas Petter, Alexander Behring, Max Mühlhäuser	Solving Constraints in Model Transformations.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF	model transformation, model driven engineering, constraint programming, constraint solving
18	Gábor Bergmann, Ákos Horváth 0001, István Ráth, Dániel Varró	Efficient Model Transformations by Combining Pattern Matching Strategies.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
18	Yingfei Xiong 0001, Hui Song, Zhenjiang Hu, Masato Takeichi	Supporting Parallel Updates with Bidirectional Model Transformations.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
18	Andrés Vignaga, Daniel Perovich, M. Cecilia Bastarrica	Extracting Object Interactions Out of Software Contracts Using Model Transformations.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
18	István Ráth, Gábor Bergmann, András Ökrös, Dániel Varró	Live Model Transformations Driven by Incremental Pattern Matching.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
18	Hartmut Ehrig, Claudia Ermel, Frank Hermann 0001	On the relationship of model transformations based on triple and plain graph grammars.	GRaMoT@ICSE	2008	DBLP DOI BibTeX RDF
18	Anantha Narayanan, Gabor Karsai	Specifying the correctness properties of model transformations.	GRaMoT@ICSE	2008	DBLP DOI BibTeX RDF
18	Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas	Embedding and Confluence of Graph Transformations with Negative Application Conditions.	ICGT	2008	DBLP DOI BibTeX RDF
18	Anne-Laure George-Molland	La collaboration au cœur du processus de création des œuvres audiovisuelles numériques : analyse des transformations apportées par le développement des technologies et par l'évolution des savoir-faire. (Collaborative work during the making process of CG movies : analysis of the transformations brought by the development of technology and the evolution of know-how).		2007	RDF
18	Florent Jousse 0002	Transformations d'Arbres XML avec des Modèles Probabilistes pour l'Annotation. (XML Tree Transformations with Probabilistic Models).		2007	RDF
18	Christopher Kumar Anand, Wolfram Kahl	Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code.	AGTIVE	2007	DBLP DOI BibTeX RDF
18	Erhard Weinell	Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database.	AGTIVE	2007	DBLP DOI BibTeX RDF
18	Thomas Buchmann, Alexander Dotor, Sabrina Uhrig, Bernhard Westfechtel	Model-Driven Software Development with Graph Transformations: A Comparative Case Study.	AGTIVE	2007	DBLP DOI BibTeX RDF
18	Jean-Marie Favre, Reiko Heckel, Tom Mens	3rd International Workshop on Software Evolution Through Transformations: Embracing Change.	ICGT	2006	DBLP DOI BibTeX RDF
18	Olivier Pantalé	Plateforme de prototypage virtuel pour la simulation numérique en grandes transformations thermomécaniques rapides. (Virtual prototyping platform for numerical simulation in Large Thermomechanical Transformations).		2005	RDF