Search results for "transformations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Anthony Danalis, Lori L. Pollock, D. Martin Swany, John Cavazos	MPI-aware compiler optimizations for improving communication-computation overlap.	ICS	2009	DBLP DOI BibTeX RDF	mpi-aware compiler optimizations, data flow analysis, communication-computation overlap
20	Raphaël Chenouard, Frédéric Jouault	Automatically Discovering Hidden Transformation Chaining Constraints.	MoDELS	2009	DBLP DOI BibTeX RDF
20	Bertrand Anckaert, Matias Madou, Bjorn De Sutter, Bruno De Bus, Koen De Bosschere, Bart Preneel	Program obfuscation: a quantitative approach.	QoP	2007	DBLP DOI BibTeX RDF	program obfuscation, metrics, quantification
20	Ulrike Ranger, Thorsten Hermes	Ensuring Consistency Within Distributed Graph Transformation Systems.	FASE	2007	DBLP DOI BibTeX RDF
20	Franz Winkler 0001, Ekaterina Shemyakova	Symbolic and Algebraic Methods for Linear Partial Differential Operators.	CASC	2007	DBLP DOI BibTeX RDF
20	Lee Pike, Mark Shields, John Matthews	A verifying core for a cryptographic language compiler.	ACL2	2006	DBLP DOI BibTeX RDF	cryptography, certification, optimizing compiler, ACL2, high-assurance, certifying compiler, verifying compiler
20	Dennis Wagelaar, Viviane Jonckers	Explicit Platform Models for MDA.	MoDELS	2005	DBLP DOI BibTeX RDF
20	Jon Oldevik	Transformation Composition Modelling Framework.	DAIS	2005	DBLP DOI BibTeX RDF
20	Heike Wehrheim	Refinement and Consistency in Component Models with Multiple Views.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
20	Jean Bézivin, Nicolas Farcet, Jean-Marc Jézéquel, Benoît Langlois, Damien Pollet	Reflective Model Driven Engineering.	UML	2003	DBLP DOI BibTeX RDF	model transformation, model-driven engineering
20	Lukasz Masko	Atomic Operations for Task Scheduling for Systems Based on Communication On-The-Fly Between SMP Clusters.	ISPDC	2003	DBLP DOI BibTeX RDF
20	Gary E. Christensen	Minimizing sources of errors in medical image registration.	ISBI	2002	DBLP DOI BibTeX RDF
20	Mahmut T. Kandemir, Ibrahim Kolcu, Ismail Kadayif	Influence of Loop Optimizations on Energy Consumption of Multi-bank Memory Systems.	CC	2002	DBLP DOI BibTeX RDF
20	Alan M. Frisch, Ian Miguel, Toby Walsh	CGRASS: A System for Transforming Constraint Satisfaction Problems.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
20	Mahmut T. Kandemir	A compiler technique for improving whole-program locality.	POPL	2001	DBLP DOI BibTeX RDF	static optimizations, optimizing compilers, data reuse, cache locality, memory layouts
20	Davood Rafiei, Alberto O. Mendelzon	Querying Time Series Data Based on Similarity.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	time series retrieval, indexing time series, Fourier transform, Similarity queries
20	Christoph Ambühl, Samarjit Chakraborty, Bernd Gärtner	Computing Largest Common Point Sets under Approximate Congruence.	ESA	2000	DBLP DOI BibTeX RDF
20	Somnath Ghosh, Margaret Martonosi, Sharad Malik	Cache miss equations: a compiler framework for analyzing and tuning memory behavior.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	optimization, compilation, program transformation, cache memories
20	Chen Ding, Ken Kennedy	Improving Cache Performance in Dynamic Applications through Data and Computation Reorganization at Run Time.	PLDI	1999	DBLP DOI BibTeX RDF
20	Tom Drummond, Roberto Cipolla	Visual Tracking and Control using Lie Algebras.	CVPR	1999	DBLP DOI BibTeX RDF
20	Rémi Douence, Pascal Fradet	A Systematic Study of Functional Language Implementations.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	compilers, program transformation, functional programming, combinators, abstract machines
20	Harpreet S. Sawhney, Rakesh Kumar 0001	True Multi-Image Alignment and its Application to Mosaicing and Lens Distortion Correction.	CVPR	1997	DBLP DOI BibTeX RDF
20	Simon L. Peyton Jones, Will Partain, André L. M. Santos	Let-floating: Moving Bindings to Give Faster Programs.	ICFP	1996	DBLP DOI BibTeX RDF
20	Amitabh Srivastava, David W. Wall	Link-Time Optimization of Address Calculation on a 64-bit Architecture.	PLDI	1994	DBLP DOI BibTeX RDF
20	Richard Cleve	Complexity Theoretic Issues Concerning Block Ciphers Related to D.E.S.	CRYPTO	1990	DBLP DOI BibTeX RDF
20	Andrew Cheese	Multi-Moded Relations in Parlog.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	PARLOG, PARLOG
20	Hartmut Ehrig, Barry K. Rosen	The Mathematics of Record Handling.	ICALP	1977	DBLP DOI BibTeX RDF
20	Ehud Gudes, Harvey S. Koch, Fred A. Stahl	The application of cryptography for data base security.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
19	Parag Agrawal, Arvind Arasu, Raghav Kaushik	On indexing error-tolerant set containment.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	jaccard containment, indexing, transformations, data cleaning
19	Alastair Colin Murray, Richard Vincent Bennett, Björn Franke, Nigel P. Topham	Code transformation and instruction set extension.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	source-level transformations, compilers, design space exploration, ASIPs, instruction set extension, Customizable processors
19	Leon Bobrowski	Ranked linear models and sequential patterns recognition.	Pattern Anal. Appl.	2009	DBLP DOI BibTeX RDF	Ranked linear transformations, Convex and piecewise linear (CPL) criterion functions, Linear separability of data sets, Feature selection, Sequential patterns
19	Parikshit Gopalan, Venkatesan Guruswami, Prasad Raghavendra	List decoding tensor products and interleaved codes.	STOC	2009	DBLP DOI BibTeX RDF	Johnson bound, generalized hamming weights, interleaved codes, linear transformations, list decoding, tensor products
19	Slavisa Markovic, Thomas Baar	Semantics of OCL specified with QVT.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	OCL Semantics, Graph-transformations, DSL, QVT
19	Florin Balasa, Per Gunnar Kjeldsberg, Arnout Vandecappelle, Martin Palkovic, Qubo Hu, Hongwei Zhu 0001, Francky Catthoor	Storage Estimation and Design Space Exploration Methodologies for the Memory Management of Signal Processing Applications.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	Memory size evaluation, Digital signal processing, Memory management, Loop transformations
19	Marat Boshernitsan, Susan L. Graham, Marti A. Hearst	Aligning development tools with the way programmers think about code changes.	CHI	2007	DBLP DOI BibTeX RDF	transformations, visual languages, cognitive dimensions
19	Peizhong Lu, Dan Wang	A Geometrical Robust Image Data Hiding Scheme Using FCA-Based Resynchronization.	Information Hiding	2007	DBLP DOI BibTeX RDF	data hiding, affine transformations, fast correlation attacks, geometrical attacks
19	Cássio V. S. Prazeres, César A. C. Teixeira	A structured document-based approach for Weblab configuration.	WebMedia	2006	DBLP DOI BibTeX RDF	XSLT transformations, weblabs, specification, XML schemas
19	Walter Binder	A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting.	APLAS	2005	DBLP DOI BibTeX RDF	Java, program transformations, Profiling, JVM, bytecode instrumentation, dynamic metrics
19	Roman Kolpakov	Polynomial Time Checking for Generation of Finite Distributions of Rational Probabilities.	SAGA	2005	DBLP DOI BibTeX RDF	probabilistic transformations, generation of randomness, Stochastic automata
19	Raul Silaghi, Alfred Strohmeier	Model-Driven Engineering of Middleware-Mediated Distributed Systems.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF	Middleware Concerns, AOP, MDA, Model Transformations, AspectJ, UML Profiles, Eclipse Plug-ins, Parallax, Enterprise Fondue
19	Walter Binder, Jarle Hulaas	Extending Standard Java Runtime Systems for Resource Management.	SEM	2004	DBLP DOI BibTeX RDF	Bytecode rewriting, JDK, Java, program transformations, resource management
19	Dmitry Pavlov, Ramnath Balasubramanyan, Byron Dom, Shyam Kapur, Jignashu Parikh	Document preprocessing for naive Bayes classification and clustering with mixture of multinomials.	KDD	2004	DBLP DOI BibTeX RDF	mixture of multinomials, clustering, performance, classification, Naive Bayes, data transformations
19	Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanujam, Prithviraj Banerjee	Reducing False Sharing and Improving Spatial Locality in a Unified Compilation Framework.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	loop and memory layout transformations, shared-memory multiprocessors, Data reuse, cache locality, false sharing
19	Stefano Bistarelli, Giandomenico Boffi, Fabio Rossi	Computer Algebra for Fingerprint Matching.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF	zero-dimensional ideals, Gröbner basis, non-linear polynomial systems, Sturm sequences, affine transformations, Fingerprint matching, point pattern matching
19	Nicolas Sklavos 0001, Alexander A. Moldovyan, Odysseas G. Koufopavlou	Encryption and Data Dependent Permutations: Implementation Cost and Performance Evaluation.	MMM-ACNS	2003	DBLP DOI BibTeX RDF	DDP Transformations, CIKS-1, Block Cipher, Hardware Implementations, SPECTR-H64
19	Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce	A graph-based formalism for RBAC.	ACM Trans. Inf. Syst. Secur.	2002	DBLP DOI BibTeX RDF	Access control in information systems, decentralized administration, permission management, role-based access control, correctness, graph transformations
19	Mahmut T. Kandemir, J. Ramanujam	Data Relation Vectors: A New Abstraction for Data Optimizations.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	compiler optimizations for memory hierarchy, reuse vectors, data relation vectors, loop transformations, Data reuse, cache locality, memory layouts
19	Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary, Prithviraj Banerjee	A Layout-Conscious Iteration Space Transformation Technique.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	program optimization, loop transformations, Data reuse, cache locality, memory layouts
19	Robert B. France, James M. Bieman	Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software.	ICSM	2001	DBLP DOI BibTeX RDF	Design transformations, software evolution, object-oriented design, design evaluation
19	Christian H. Bischof, Bruno Lang, Xiaobai Sun	A framework for symmetric band reduction.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	blocked Householder transformations, symmetric matrices, FORTRAN 77, tridiagonalization
19	Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanujam, Meenakshi A. Kandaswamy	A Unified Framework for Optimizing Locality, Parallelism, and Communication in Out-of-Core Computations.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	I/O-intensive codes, loop and data transformations, file layouts, optimizing compilers, out-of-core computations
19	Lindsay Groves	A formal approach to program modification.	APSEC	2000	DBLP DOI BibTeX RDF	semantically based transformations, program conjunction operator, software maintenance, software maintenance, software reuse, software reusability, refinement calculus, refinement calculus, program modification
19	Marcelo Mendoza, Claudio Moraga, Luis Salinas	Design of a System for Image Registration and Compensation based on Spectral Analysis.	SCCC	2000	DBLP DOI BibTeX RDF	image compensation, crosspower spectrum, parameter estimation, parameter estimation, image registration, image registration, image database, spectral analysis, spectral analysis, visual databases, affine transformations, complex analysis, Fourier analysis, Fourier analysis, image acquisition
19	Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary	Improving Cache Locality by a Combination of Loop and Data Transformation.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	loop and data transformations, Caches, locality, optimizing compilers, data reuse
19	Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanujam, Prithviraj Banerjee	On Reducing False Sharing while Improving Locality on Shared Memory Multiprocessors.	IEEE PACT	1999	DBLP DOI BibTeX RDF	loop and memory layout transformations, shared-memory multiprocessors, data reuse, cache locality, false sharing
19	Yun Bai 0001, Vijay Varadharajan	A High Level Language for Conventional Access Control Models.	ACISP	1998	DBLP DOI BibTeX RDF	Policy Transformations, Formal Language, Access Control Model, Authorization Policies
19	Christian S. Collberg, Clark D. Thomborson, Douglas Low	Breaking Abstractions and Unstructuring Data Structures.	ICCL	1998	DBLP DOI BibTeX RDF	obfuscation, intellectual property protection, code transformations
19	Annalisa Bossi, Nicoletta Cocco	Success in Logic Programs.	LOPSTR	1998	DBLP DOI BibTeX RDF	pure Prolog programs, failure/success analysis, program transformations
19	Yu-Hua Gu, Vasile Gui, Tardi Tjahjadi	Joint segmentation and B-spline object contour modelling for object tracking and motion compensation in image sequences.	ICIP (3)	1997	DBLP DOI BibTeX RDF	B-spline object contour modelling, multi-stage algorithm, merging thresholds, local image property, fast gradient-based B-spline contour matching algorithm, robust knot re-assignment method, mage frames, tool movements, screwdriver, segmentation, image sequences, image sequence, deformation, object tracking, moving objects, motion compensation, motion compensation, affine transformations, motion parameters, video frames, hand movements
19	Hyuk-Jae Lee, José A. B. Fortes	Automatic generation of injective modular mappings.	ICPP	1997	DBLP DOI BibTeX RDF	injective modular mappings, systolic array design, loop iteration spaces, rectangular index sets, program index set, modular mappings, bounded search scheme, complexity, linear programming, integer linear programming, parallelizing compilers, optimizing compilers, linear transformations, automatic generation
19	E. J. Younger, Keith H. Bennett, Z. Luo	A Formal Transformation and Refinement Method for Concurrent Programs.	ICSM	1997	DBLP DOI BibTeX RDF	Concurrency, program transformations, re-engineering
19	E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull	Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis.	WCRE	1996	DBLP DOI BibTeX RDF	transformation based approach, core kernel language, formal program transformations, type proof tools, parallel programming, reverse engineering, software maintenance, concurrent programs, formal modelling, safety critical systems, type theory, formal analysis, type checking, WSL, sequential systems
19	Corrie Huijs	A Graph Rewriting Approach for Transformational Design of Digital Systems.	EUROMICRO	1996	DBLP DOI BibTeX RDF	graph rewriting approach, behaviour preserving transformations, compositional formal semantics, semantic aspects, attribute algebra, table algebra, database theory, visualisation, relation algebra, rewriting systems, digital systems, graph representations, correctness by construction, attributed graphs, transformational design
19	E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull	Reverse Engineering Concurrent Programs using Formal Modelling and Analysis.	ICSM	1996	DBLP DOI BibTeX RDF	Formal methods, concurrency, reverse engineering, program transformations, type theory
19	Benoît Simon	Explicit link between local fractal transform and multiresolution transform.	ICIP	1995	DBLP DOI BibTeX RDF	multiresolution transform, local fractal transform, self similarity relationships, spatial transformations, shrinking, orthogonal multiresolution, multiresolution decomposition space, high frequency coefficients interpolation, low pass information, multiresolution decomposition coefficients, parameter estimation, image coding, image coding, interpretation, translation, scaling, fractals, image resolution, transform coding, fractal coding, isometries
19	Michael F. P. O'Boyle	A hierarchical locality algorithm for NUMA compilation.	PDP	1995	DBLP DOI BibTeX RDF	hierarchical locality algorithm, NUMA compilation, latency overhead, parallel hierarchical memory machines, nonlocal accesses, compound sequenc, complex array accesses, general iteration spaces, strip mining, parallel machines, program compilers, storage management, distributed memory systems, memory structure, program locality, unimodular transformations, data alignment, compiler algorithm
19	Mahesh Mehendale, Sunil D. Sherlekar, G. Venkatesh 0001	Synthesis of multiplier-less FIR filters with minimum number of additions.	ICCAD	1995	DBLP DOI BibTeX RDF	MCM based structures, iterative elimination, low pass FIR filters, circuit CAD, FIR filters, network synthesis, optimizing transformations, binary representations
19	Tomasz Kozlowski, Erik L. Dagless, Jonathan Saul	An enhanced algorithm for the minimization of exclusive-OR sum-of-products for incompletely specified functions.	ICCD	1995	DBLP DOI BibTeX RDF	minimization algorithm, exclusive-OR sum-of-products, rule-based heuristics, initial circuit description, MINT, multiple-product-term transformations, multiple-valued input two-valued multiple-output functions, knowledge based systems, logic design, heuristic programming, minimisation of switching nets, incompletely specified functions
19	Tim M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo	Bylands: reverse engineering safety-critical systems.	ICSM	1995	DBLP DOI BibTeX RDF	safety-critical software maintenance, Bylands, real-time existing code, high level design extraction, formal transformations, abstract representation, requirements analyses, very-high-level domain languages, real-time systems, reverse engineering, reverse engineering, software maintenance, systems analysis, safety-critical systems, high level languages, safety-critical software, temporal constraints
19	Hongji Yang, Keith H. Bennett	Acquisition of ERA models from data intensive code.	ICSM	1995	DBLP DOI BibTeX RDF	entity relationship attribute diagram acquisition, data-intensive source code, data items, imperative code, formal transformations, imperative constructs, ERA models, industrial COBOL programs, code-embedded relations, designs, data structures, data structures, reverse engineering, reverse engineering, software maintenance, systems analysis, diagrams, entity-relationship modelling
19	Hirobumi Nishida	Automatic construction of structural models for unconstrained handwritten characters.	ICDAR	1995	DBLP DOI BibTeX RDF	unconstrained handwritten characters, discontinuous structural transformation, stroke connections, deformed patterns, pattern recognition, handwriting, shape transformations
19	Alexander Filatov, Alexander Gitis, Igor Kil	Graph-based handwritten digit string recognition.	ICDAR	1995	DBLP DOI BibTeX RDF	graph based handwritten digit string recognition, handwritten digit string recognition algorithm, input subgraph matching, prototype symbol graphs, acceptable graph transformations, handwritten symbols, structure recognition methods, handwritten symbol topology, handwritten digit string recognition system, handwriting recognition
19	Ueli M. Maurer, Pierre E. Schmid	A Calculus for Secure Channel Establishment in Open Networks.	ESORICS	1994	DBLP DOI BibTeX RDF	Security transformations, Cryptography, Network security, Key management, Formal models
19	William G. Griswold, David Notkin	Automated Assistance for Program Restructuring.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	meaning-preserving transformations, source-level restructuring, software engineering, software maintenance, software evolution, CASE, flow analysis, software restructuring
19	Michael E. Wolf, Monica S. Lam	A Loop Transformation Theory and an Algorithm to Maximize Parallelism.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	loop transformation theory, general loops, dependence vectors, lexicographically positive, compound transformations, coarsest fully permutable loop nests, fully permutable nests, parallel algorithm, parallel algorithms, parallel programming, heuristics, program compilers, precedence constraints, legality, code transformation, fine-grain parallelism, canonical form, wavefront, coarse grain parallelism, loop iterations, maximum degree
19	Shimon Ullman, Ronen Basri	Recognition by Linear Combinations of Models.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	image combination, visual object recognition, sharp edges, smooth bounding contours, computerised picture processing, computerised pattern recognition, linear combinations, model combination, rigid transformations
19	Tony Lindeberg	Scale-Space for Discrete Signals.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	nonnegative kernels, unimodal kernels, discrete signals, discrete scale-space theory, diffusion equation, discrete smoothing transformations, signal processing, signal processing, frequency domain, spatial domain, Gaussian kernel, discrete systems
19	Jayantha A. Herath, Yoshinori Yamaguchi, Nobuo Saito, Toshitsugu Yuba	Dataflow Computing Models, Languages, and Machines for Intelligence Computations.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	intelligence computations, dataflow computing models, dataflow computing machines, high-level-language-graph transformations, dataflow computing environment, DCBL, benchmark programs, EM-3, performance evaluation, performance evaluation, parallel programming, parallel programming, functional programming, parallel machines, Lisp, LISP, high level languages, ETL, dataflow languages
18	Guillaume Ambal	Skeletal semantics transformations. (Transformations de sémantiques squelettiques).		2022	RDF
18	Florian Renkin	Transformations d'ω-automates pour la synthèse de systèmes réactifs. (Transformations of ω-automata for the synthesis of reactive systems).		2022	RDF
18	Pierre Lermusiaux	Analyse statique de transformations pour l'élimination de motifs. (Static analysis of pattern eliminating transformations).		2022	RDF
18	Thomas Buchmann, Bernhard Westfechtel	Engineering Bidirectional Model Transformations (Short Paper).	STAF Workshops	2022	DBLP BibTeX RDF
18	Anthony Anjorin, Nils Weidmann, Katharina Artic	Bidirectional Transformations in Practice: An Automotive Perspective on Traceability Maintenance (Short Paper).	STAF Workshops	2022	DBLP BibTeX RDF
18	José Saúl González-Campos, Joan Arnedo-Moreno, Jórdi Sánchez-Navarro	GTCards: A Video Game for Learning Geometric Transformations: A cards-based video game for learning geometric transformations in higher education.	TEEM	2021	DBLP DOI BibTeX RDF
18	Nicolas Jeannerod	Verification of Shell Scripts Performing File Hierarchy Transformations. (Vérification de scripts Shell effectuant des transformations de système de fichiers hiérarchiques).		2021	RDF
18	Timur Saglam, Heiko Klare	Classifying and Avoiding Compatibility Issues in Networks of Bidirectional Transformations.	STAF Workshops	2021	DBLP BibTeX RDF
18	Rita Hijazi	Transformations syntaxiques entre niveaux de simplification dans le corpus Newsela (Syntactic transformations between simplification levels in the Newsela corpus).	JEP-TALN-RECITAL (3)	2020	DBLP BibTeX RDF
18	Lynda Ait Oubelli	Transformations sémantiques pour l'évolution des modèles de données. (Semantic transformations for data model evolution).		2020	RDF
18	Youenn Lebras	Code optimization based on source to source transformations using profile guided metrics. (Optimisation de code basée sur des transformations source-à-source guidées par des métriques issues de profilages).		2019	RDF
18	Amani Makhlouf	Environnement d'assistance au développement de transformations de graphes correctes. (Assistance framework for writing correct graph transformations).		2019	RDF
18	Patryk Kiepas	Performance analyses and code transformations for MATLAB applications. (Analyses de performances et transformations de code pour les applications MATLAB).		2019	RDF
18	David Sabel	Automating the Diagram Method to Prove Correctness of Program Transformations.	WPTE@FSCD	2018	DBLP DOI BibTeX RDF
18	Maris Jukss, Clark Verbrugge, Hans Vangheluwe	Transformations Debugging Transformations.	MoDELS (Satellite Events)	2017	DBLP BibTeX RDF
18	Gustavo Jansen de Souza Santos	Assessing and Improving Code Transformations to Support Software Evolution. (Evaluation et amélioration des transformations de code pour soutenir l'évolution logicielle).		2017	RDF
18	Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, Bernhard Westfechtel	BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations.	BX@ETAPS	2017	DBLP BibTeX RDF
18	Camille Gallet	Étude de transformations et d'optimisations de code parallèle statique ou dynamique pour architecture "many-core". (Study of transformations and static or dynamic parallel code optimization for manycore architecture).		2016	RDF
18	Karl Gmeiner	Confluence of Conditional Term Rewrite Systems via Transformations.	WPTE@FSCD	2016	DBLP DOI BibTeX RDF
18	Rick Salay, Steffen Zschaler, Marsha Chechik	Correct Reuse of Transformations is Hard to Guarantee.	ICMT	2016	DBLP DOI BibTeX RDF
18	Martin Fleck, Javier Troya, Manuel Wimmer	Search-Based Model Transformations with MOMoT.	ICMT	2016	DBLP DOI BibTeX RDF
18	Zinovy Diskin, Romina Eramo, Alfonso Pierantonio, Krzysztof Czarnecki 0001	Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization.	Bx@ETAPS	2016	DBLP BibTeX RDF