Search results for "transformations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Marcel Bennicke, Claus Lewerentz	Towards Managing Software Architectures with Ontologies.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
32	Mauro Caporuscio, Marco Funaro, Carlo Ghezzi	Architectural Issues of Adaptive Pervasive Systems.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
32	Stefan Leue, Tarja Systä (eds.)	Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers	Scenarios: Models, Transformations and Tools	2005	DBLP DOI BibTeX RDF
32	Barbara König 0001, Ugo Montanari, Philippa Gardner (eds.)	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2005	DBLP BibTeX RDF
32	Paolo Baldan, Barbara König 0001, Arend Rensink	Summary 2: Graph Grammar Verification through Abstraction.	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2004	DBLP BibTeX RDF
32	Pawel Sobocinski 0001	Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences.	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2004	DBLP BibTeX RDF
32	Roberto Bruni, Ivan Lanese	Summary 3: On Graph(ic) Encodings.	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2004	DBLP BibTeX RDF
32	Reiko Heckel, Tom Mens, Michel Wermelinger (eds.)	Workshop on Software Evolution Through Transformations 2002 - Toward Uniform Support Throughout the Software Life-Cycle, Barcelona, Spain, 2002	Software Evolution Through Transformations @ ICGT	2003	DBLP BibTeX RDF
32	Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen	Why Timed Sequence Diagrams Require Three-Event Semantics.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
32	Ferhat Khendek, Xiao-Jun Zhang	From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
32	Holger Giese, Florian Klein 0001	Autonomous Shuttle System Case Study.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
32	R. Geoff Dromey	Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
32	Piotr Kosiuczenko	Partial Order Semantics of Sequence Diagrams for Mobility.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
32	David Harel, Hillel Kugler, Gera Weiss	Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
32	Anca Muscholl, Doron A. Peled	Deciding Properties of Message Sequence Charts.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
32	Ira Diethelm, Leif Geiger, Albert Zündorf	Applying Story Driven Modeling to the Paderborn Shuttle System Case Study.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
32	Dorin Bogdan Petriu, Daniel Amyot, C. Murray Woodside, Bo Jiang	Traceability and Evaluation in Scenario Analysis by Use Case Maps.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
32	Cas Cremers, Sjouke Mauw	Operational Semantics of Security Protocols.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
32	Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens	Lightweight Formal Methods for Scenario-Based Software Engineering.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
32	Matthias Beyer, Winfried Dulz	Scenario-Based Statistical Testing of Quality of Service Requirements.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF	Markov Chain Usage Model, QoS, Software Testing, Automatic Test Generation, TTCN-3, MSC, UML Sequence Diagram
32	Holger Giese, Florian Klein 0001, Sven Burmester	Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
32	Ingolf H. Krüger, Reena Mathew	Component Synthesis from Service Specifications.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
32	Dirk Janssens, Serge Demeyer, Tom Mens	Case Study: Simulation of a LAN.	Software Evolution Through Transformations @ ICGT	2002	DBLP DOI BibTeX RDF
32	Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer	Coordinated Distributed Diagram Transformation for Software Evolution.	Software Evolution Through Transformations @ ICGT	2002	DBLP DOI BibTeX RDF
32	Nicolas Revault	Model transformation based on production rules.	Software Evolution Through Transformations @ ICGT	2002	DBLP DOI BibTeX RDF
32	Reiko Heckel, Tom Mens, Michel Wermelinger	Preface.	Software Evolution Through Transformations @ ICGT	2002	DBLP DOI BibTeX RDF
32	Markus Klein 0001, Mesut Özhan, Martti Piirainen	Agent-Based Material Flow.	Software Evolution Through Transformations @ ICGT	2002	DBLP DOI BibTeX RDF
32	Stuart Kent 0001	Model Driven Language Engineering.	Software Evolution Through Transformations @ ICGT	2002	DBLP DOI BibTeX RDF
32	Jennifer Pérez, Víctor Anaya, J. María Cubel, Isidro Ramos, José A. Carsí	Data Reverse Engineering of Legacy Databases to Object Oriented Conceptual Schemas.	Software Evolution Through Transformations @ ICGT	2002	DBLP DOI BibTeX RDF
32	Hans Jürgen Schneider, Hartmut Ehrig (eds.)	Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings	Dagstuhl Seminar on Graph Transformations in Computer Science	1994	DBLP DOI BibTeX RDF
32	Ewa Grabska	Graphs and Designing.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Stefan Arnborg	Decomposability Helps for Deciding Logics of Knowledge and Belief.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Martin Korff	Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Andrea Corradini 0001, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi 0001	Abstract Graph Derivations in the Double Pushout Approach.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Kunio Aizawa, Akira Nakamura	Path-Controlled Graph Grammars for Mutliresolution Image Processing and Analysis.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Hartmut Ehrig, Hans-Jörg Kreowski, Gabriele Taentzer	Canonical Derivaitons for High-Level Replacement Systems.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Manfred Nagl	Uniform-Modelling in Graph Grammar Specifications.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Marc Gemis, Jan Paredaens, Peter Peelman, Jan Van den Bussche	A Computational Model for Generic Graph Functions.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Jean-Claude Raoult, Frédéric Voisin	Set-Theoretic Graph Rewriting.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Ugo Montanari, Francesca Rossi 0001	Contextual Occurence Nets and Concurrent Constraint Programming.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Dirk Janssens	ESM Systems and the Composition of Their Computations.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Andy Schürr	Logic Based Structure Rewriting Systems.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Andrea Maggiolo-Schettini, Adriano Peron	Semantics of Full Statecharts Based on Graph Rewriting.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer	Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Marc Andries, Gregor Engels	Syntax and Semantics of Hybrid Database Languages.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Bruno Courcelle, Jens Lagergren	Recognizable Sets of Graphs of Bounded Tree-Width.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Klaus Barthelmann, Georg Schied	Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Erik Barendsen, Sjaak Smetsers	Extending Graph Rewriting with Copying.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Georg Schied	On Relating Rewriting Systems and Graph Grammars to Event Structures.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Andrea Corradini 0001, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi 0001	Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Yasuo Kawahara, Yoshihiro Mizoguchi	Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
32	Amit Manjhi, Charles Garrod, Bruce M. Maggs, Todd C. Mowry, Anthony Tomasic	Holistic Query Transformations for Dynamic Web Applications.	ICDE	2009	DBLP DOI BibTeX RDF
32	Roland Memisevic, Geoffrey E. Hinton	Unsupervised Learning of Image Transformations.	CVPR	2007	DBLP DOI BibTeX RDF
32	Jochen Malte Küster	Definition and validation of model transformations.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF
32	Andrew B. Kahng, Sherief Reda	Zero-Change Netlist Transformations: A New Technique for Placement Benchmarking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
32	Kunitoshi Komatsu, Kaoru Sezaki	Lossless rotation transformations with periodic structure.	ICIP (2)	2005	DBLP DOI BibTeX RDF
32	Andrew B. Kahng, Sherief Reda	Evaluation of placer suboptimality via zero-change netlist transformations.	ISPD	2005	DBLP DOI BibTeX RDF	placer suboptimality, benchmarking, wirelength
32	Martin P. Ward, Hussein Zedan	MetaWSL and Meta-Transformations in the FermaT Transformation System.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
32	Xiaolei Qian	Correct Schema Transformations.	EDBT	1996	DBLP DOI BibTeX RDF
31	István Ráth, Gergely Varró, Dániel Varró	Change-Driven Model Transformations.	MoDELS	2009	DBLP DOI BibTeX RDF	Incremental model transformation, change models, change-driven transformations
31	Iván García-Magariño, Jorge J. Gómez-Sanz, Rubén Fuentes-Fernández	Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF	model-transformation by-example, algorithm, model transformations, model-driven development, Model-driven engineering
31	Ozgur Sinanoglu	Scan-in and Scan-out Transition Co-optimization Through Modelling Generalized Serial Transformations.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Test power reduction, Scan power reduction, Serial transformations, Scan chain modification, Design for testability, Core-based testing
31	Yunsi Fei, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	Energy-optimizing source code transformations for operating system-driven embedded software.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	Linux, energy consumption, source code transformations
31	Richard Vincent Bennett, Alastair Colin Murray, Björn Franke, Nigel P. Topham	Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems.	LCTES	2007	DBLP DOI BibTeX RDF	source-level transformations, compilers, design space exploration, ASIPs, instruction set extension, customizable processors
31	Jochen Malte Küster, Mohamed Abd-El-Razik	Validation of Model Transformations - First Experiences Using a White Box Approach.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	Testing, Model transformations
31	Yun Bai 0001, Yan Zhang 0003, Vijay Varadharajan	On the sequence of authorization policy transformations.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Policy transformations, Formal language, Default logic, Authorization policy
31	Thomas Cleenewerck, Theo D'Hondt	Disentangling the implementation of local-to-global transformations in a rewrite rule transformation system.	SAC	2005	DBLP DOI BibTeX RDF	program transformations, maintainability, evolvability, rewrite rules
31	Patrick Felke	On the Affine Transformations of HFE-Cryptosystems and Systems with Branches.	WCC	2005	DBLP DOI BibTeX RDF	nonassociative algebra, mixed centralizer, finite fields, affine transformations, branches, HFE
31	Joonseok Park, Pedro C. Diniz, K. R. Shesha Shayee	Performance and Area Modeling of Complete FPGA Designs in the Presence of Loop Transformations.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Performance analysis and modeling, loop transformations and high-level synthesis, Field-Programmable-Gate-Arrays (FPGAs), configurable computing
31	Keith H. Bennett	Do Program Transformations Help Reverse Engineering?	ICSM	1998	DBLP DOI BibTeX RDF	reverse engineering, program transformations, program comprehension
31	Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß	Formal Verification of Transformations for Peephole Optimization.	FME	1997	DBLP DOI BibTeX RDF	reusability of specifications, formal verification, transformations, higher-order logic
31	Victor L. Winter, James M. Boyle	Proving refinement transformations for deriving high-assurance software.	HASE	1996	DBLP DOI BibTeX RDF	refinement transformation proving, high-assurance software engineering, refinement-based approach, TAMPR transformation system, automated refinement, semantic framework, automated reasoning system, software engineering, program transformations, program verification, stepwise refinement, high-level specification
31	Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens	Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design.	EUROMICRO	1996	DBLP DOI BibTeX RDF	SHE, behaviour-preserving transformations, POOSL, formal specification, architecture design, design framework, formal specification language, formal approach
31	David Hildum, Jacques Cohen	A Language for Specifying Program Transformations.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Prolog, program transformations, specification language, specification languages, language constructs
31	Zi-Cai Li, Tien Dai Bui, Ching Y. Suen, Yuan Yan Tang	Splitting-Shooting Methods for Nonlinear Transformations of Digitized Patterns.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	digitized patterns, splitting-shooting methods, pattern recognition, computer vision, computational complexity, computational complexity, image processing, computer graphics, computer graphics, computerised picture processing, computerised pattern recognition, error bounds, gray levels, nonlinear transformations
31	Jeffrey P. Buzen, Subhash C. Agrawal	State space transformations in queueing network modeling.	SIGMETRICS	1983	DBLP DOI BibTeX RDF	Aggregate server method, Serialization delays, Shadow CPU algorithm, State space transformations, Performance evaluation, Approximation, Metamodeling, Queueing networks, Product form, Preemptive priority, Operational analysis
31	Christian Hundt 0001, Maciej Liskiewicz	On the Complexity of Affine Image Matching.	STACS	2007	DBLP DOI BibTeX RDF
31	Shai Rubin, Somesh Jha, Barton P. Miller	On the Completeness of Attack Mutation Algorithms.	CSFW	2006	DBLP DOI BibTeX RDF
30	Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang 0001, Ying Hu 0003	Translation and Run-Time Validation of Loop Transformations.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	reordering transformations, run-time validation, speculative optimizations, global optimizations, optimizing compilers, loop transformations, translation validation, verification conditions
29	Rumen Andonov, Sanjay V. Rajopadhye	Knapsack on VLSI: from Algorithm to Optimal Circuit.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Application specific VLSI design, unbounded knapsack problem, space-time transformations, recurrence equations, dynamic dependencies, nonlinear discrete optimization, correctness preserving transformations, systolic arrays
29	Iman Poernomo	Proofs-as-Model-Transformations.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
29	Hartmut Ehrig, Ulrike Prange	Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.	ICGT	2008	DBLP DOI BibTeX RDF
29	Carsten Amelunxen, Elodie Legros, Andy Schürr, Ingo Stürmer	Checking and Enforcement of Modeling Guidelines with Graph Transformations.	AGTIVE	2007	DBLP DOI BibTeX RDF
29	Jon Whittle 0001	Transformations and Software Modeling Languages: Automating Transformations in UML.	UML	2002	DBLP DOI BibTeX RDF
29	Shengzong Zhou, Rob Gerth, Ruurd Kuiper 0001	Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract).	CONCUR	1993	DBLP DOI BibTeX RDF
28	Perdita Stevens	Bidirectional model transformations in QVT: semantic issues and open questions.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF	Bidirectional model transformation, Semantics, Model-driven development, QVT
28	Fernando Orejas, Martin Wirsing	On the Specification and Verification of Model Transformations.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
28	Hartmut Ehrig, Claudia Ermel, Frank Hermann 0001, Ulrike Prange	On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars.	MoDELS	2009	DBLP DOI BibTeX RDF	Model transformation, correctness, triple graph grammars
28	Arvind Arasu, Surajit Chaudhuri, Kris Ganjam, Raghav Kaushik	Incorporating string transformations in record matching.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	data cleaning, transformation rules, record matching
28	Keiichirou Kusakari, Masaki Nakamura 0001, Yoshihito Toyama	Elimination Transformations for Associative-Commutative Rewriting Systems.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	(AC-)termination, (AC-)dependency pair, argument filtering, elimination transformation
28	Luciano Baresi, Karsten Ehrig, Reiko Heckel	Verification of Model Transformations: A Case Study with BPEL.	TGC	2006	DBLP DOI BibTeX RDF
28	András Balogh, Gergely Varró, Dániel Varró, András Pataricza	Compiling model transformations to EJB3-specific transformer plugins.	SAC	2006	DBLP DOI BibTeX RDF	EJB 3.0, transformer plugins, model transformation, graph transformation, abstract state machines
28	John Derrick, Heike Wehrheim	Model Transformations Incorporating Multiple Views.	AMAST	2006	DBLP DOI BibTeX RDF
28	David G. Haigh	Analytic approach to or transformations for FET circuit synthesis. Part II. Nullator-norator re-pairing and cloning.	ISCAS	2006	DBLP DOI BibTeX RDF
28	J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt	Combinators for bi-directional tree transformations: a linguistic approach to the view update problem.	POPL	2005	DBLP DOI BibTeX RDF	bi-directional programming, XML, lenses, harmony, view update problem
28	Samar Abdi, Daniel Gajski	A formalism for functionality preserving system level transformations.	ASP-DAC	2005	DBLP DOI BibTeX RDF
28	Tobias Storch	On the impact of objective function transformations on evolutionary and black-box algorithms.	GECCO	2005	DBLP DOI BibTeX RDF
28	Xiaoyang Gao, Sriram Krishnamoorthy, Swarup Kumar Sahoo, Chi-Chung Lam, Gerald Baumgartner, J. Ramanujam, P. Sadayappan	Efficient Search-Space Pruning for Integrated Fusion and Tiling Transformations.	LCPC	2005	DBLP DOI BibTeX RDF
28	Howard Chivers, Richard F. Paige	XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
28	Zi-Cai Li, Huaiqing Wang, Stephen S. Y. Liao	Numerical algorithms for image geometric transformations and applications.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF