Search results for "graph transformation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Stefan Jurack, Gabriele Taentzer	Towards Composite Model Transformations Using Distributed Graph Transformation Concepts.	MoDELS	2009	DBLP DOI BibTeX RDF	Eclipse, graph transformation, Distributed modeling
3	Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall	Graph Transformation for Topology Modelling.	ICGT	2008	DBLP DOI BibTeX RDF	topology-based geometric modelling, graph transformation, generalized map
3	Vahid Rafe, Adel Torkaman Rahmani	Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems.	ICTAC	2008	DBLP DOI BibTeX RDF	Verification, Workflow, Graph Transformation, Activity Diagram, Dynamic Semantics
3	Enrico Biermann, Claudia Ermel, Gabriele Taentzer	Precise Semantics of EMF Model Transformations by Graph Transformation.	MoDELS	2008	DBLP DOI BibTeX RDF	Eclipse Modeling Framework, model transformation, graph transformation, Model-driven software development
3	Tom Mens, Gabriele Taentzer, Olga Runge	Analysing refactoring dependencies using graph transformation.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	Critical pair analysis, AGG, Refactoring, Graph transformation, Dependency analysis
3	Gergely Varró, Katalin Friedl, Dániel Varró	Implementing a Graph Transformation Engine in Relational Databases.	Software and System Modeling	2006	DBLP DOI BibTeX RDF	Relational databases, Pattern matching, Tool support, Graph transformation
3	Zheng-guang Wang, Xiaohui Liang, Qinping Zhao	A Graph Transformation System Model of Dynamic Reorganization in Multi-agent Systems.	IDEAL	2006	DBLP DOI BibTeX RDF	Dynamic reorganization, multi-level graph, multi-agent system, graph transformation
3	Timothy W. O'Neil, Edwin Hsing-Mean Sha	Combining Extended Retiming and Unfolding for Rate-Optimal Graph Transformation.	VLSI Signal Processing	2005	DBLP DOI BibTeX RDF	scheduling, graph transformation, retiming, unfolding, data-flow graphs, timing optimization
3	Juan de Lara, Gabriele Taentzer	Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation.	ACSD	2005	DBLP DOI BibTeX RDF	Distributed Graph Transformation, Protocols, Discrete Event Simulation, Distributed Simulation
3	Luciano Baresi, Elisa Quintarelli	Graph transformation to infer schemata from XML documents.	SAC	2005	DBLP DOI BibTeX RDF	XML, graph transformation, semistructured data, DTD
3	Mario Michele Gala, Elisa Quintarelli, Letizia Tanca	Graph Transformation for Merging User Navigation Histories.	AGTIVE	2003	DBLP DOI BibTeX RDF	User Navigation History, Web Mining, Graph Transformation, Semistructured Data
3	Luciano Baresi, Reiko Heckel	Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.	ICGT	2002	DBLP DOI BibTeX RDF
3	Annegret Habel, Detlef Plump	Relabelling in Graph Transformation.	ICGT	2002	DBLP DOI BibTeX RDF
3	Peter Knirsch, Sabine Kuske	Distributed Graph Transformation Units.	ICGT	2002	DBLP DOI BibTeX RDF
3	Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer	Confluence of Typed Attributed Graph Transformation Systems.	ICGT	2002	DBLP DOI BibTeX RDF
3	Szilvia Gyapay, Reiko Heckel, Dániel Varró	Graph Transformation with Time: Causality and Logical Clocks.	ICGT	2002	DBLP DOI BibTeX RDF
3	Berthold Hoffmann	Abstraction and Control for Shapely Nested Graph Transformation.	ICGT	2002	DBLP DOI BibTeX RDF
3	Paolo Baldan, Barbara König	Approximating the Behaviour of Graph Transformation Systems.	ICGT	2002	DBLP DOI BibTeX RDF
3	Julia Padberg, Bettina Enders	Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems.	ICGT	2002	DBLP DOI BibTeX RDF
3	Jan Hendrik Hausmann, Reiko Heckel, Gabriele Taentzer	Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation.	ICSE	2002	DBLP DOI BibTeX RDF	UML, use cases, requirements specification, graph transformation, unified process
3	Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini	Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.	Applied Categorical Structures	2001	DBLP DOI BibTeX RDF	concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints
3	Gregor Engels, Reiko Heckel	Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution.	ICALP	2000	DBLP DOI BibTeX RDF	typed graph transformation, system modeling, model evolution, hierarchical graphs
3	Hans-Jörg Kreowski, Sabine Kuske	Graph Transformation Units with Interleaving Semantics.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Transformation unit, Formal methods, Structuring, Graph transformation, Interleaving semantics
3	Gabriele Taentzer	Distributed Graphs and Graph Transformation.	Applied Categorical Structures	1999	DBLP DOI BibTeX RDF	distributed systems, formal specification, graph transformation
3	Michael Goedicke, Torsten Meyer, Gabriele Taentzer	ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies. (PDF / PS)	RE	1999	DBLP DOI BibTeX RDF	Integration of Software Architecture and Performance Evaluation, Requirements Engineering, Graph Transformation, ViewPoints, Inconsistency Management
2	Zarrin Langari, Richard J. Trefler	Application of Graph Transformation in Verification of Dynamic Systems.	IFM	2009	DBLP DOI BibTeX RDF
2	Roy Grønmo, Stein Krogdahl, Birger Møller-Pedersen	A Collection Operator for Graph Transformation.	ICMT	2009	DBLP DOI BibTeX RDF
2	Dominique Duval, Rachid Echahed, Frédéric Prost	A Heterogeneous Pushout Approach to Term-Graph Transformation.	RTA	2009	DBLP DOI BibTeX RDF
2	Carlo Ghezzi, Andrea Mocci, Mattia Monga	Synthesizing intensional behavior models by graph transformation.	ICSE	2009	DBLP DOI BibTeX RDF
2	Hauke Tönnies	An Evolutionary Graph Transformation System as a Modelling Framework for Evolutionary Algorithms.	KI	2009	DBLP DOI BibTeX RDF
2	Zekai Demirezen	Semantic framework for DSLs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	model checking, domain-specific languages, operational semantics, activity diagram, graph transformation systems
2	Ákos Horváth, Dániel Varró	CSP(M): Constraint Satisfaction Problem over Models.	MoDELS	2009	DBLP DOI BibTeX RDF	Constraint satisfaction programming, graph transformation
2	Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann	Towards an integrated graph-based semantics for UML.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Keyword UML diagram, Formal semantics, Graph transformation
2	Barbara König, Vitali Kozioura	Towards the Verification of Attributed Graph Transformation Systems.	ICGT	2008	DBLP DOI BibTeX RDF
2	Reiko Heckel	Tutorial Introduction to Graph Transformation.	ICGT	2008	DBLP DOI BibTeX RDF
2	Ákos Horváth	Towards a Two Layered Verification Approach for Compiled Graph Transformation.	ICGT	2008	DBLP DOI BibTeX RDF
2	Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró	A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation.	ICGT	2008	DBLP DOI BibTeX RDF	incremental graph pattern matching, RETE, benchmarking
2	Enrico Biermann, Claudia Ermel, Jonas Hurrelmann, Karsten Ehrig	Flexible visualization of automatic simulation based on structured graph transformation.	VL/HCC	2008	DBLP DOI BibTeX RDF
2	Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara	Analysing Graph Transformation Rules through OCL.	ICMT	2008	DBLP DOI BibTeX RDF
2	Andrea Corradini, Luciana Foss, Leila Ribeiro	Graph Transformation with Dependencies for the Specification of Interactive Systems.	WADT	2008	DBLP DOI BibTeX RDF
2	Thomas Buchmann, Alexander Dotor, Bernhard Westfechtel	Triple Graph Grammars or Triple Graph Transformation Systems?.	MoDELS Workshops	2008	DBLP DOI BibTeX RDF
2	Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg	Graph Transformation Units - An Overview.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
2	Paolo Baldan, Andrea Corradini, Barbara König	Unfolding Graph Transformation Systems: Theory and Applications to Verification.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
2	Salil Joshi, Barbara König	Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems.	CAV	2008	DBLP DOI BibTeX RDF
2	Basil Becker, Holger Giese	Modeling of correct self-adaptive systems: a graph transformation system based approach.	CSTST	2008	DBLP DOI BibTeX RDF	invariant checking, modeling, correctness, graph transformations, self-adaptive systems
2	Mate' Sztipanovits	Web service composition process verification methods.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	web services, composition, graph transformation, model integrated computing
2	Reiko Heckel, Marc Lohmann	Model-driven development of reactive information systems: from graph transformation rules to JML contracts.	STTT	2007	DBLP DOI BibTeX RDF
2	Ulrike Prange, Hartmut Ehrig	From Algebraic Graph Transformation to Adhesive HLR Categories and Systems.	CAI	2007	DBLP DOI BibTeX RDF
2	Leszek Kotulski, Barbara Strug	Distributed Adaptive Design with Hierarchical Autonomous Graph Transformation Systems.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	grammar systems, design, Graph transformations
2	Frank Raiser	Graph Transformation Systems in CHR.	ICLP	2007	DBLP DOI BibTeX RDF
2	Ulrike Ranger, Thorsten Hermes	Ensuring Consistency Within Distributed Graph Transformation Systems.	FASE	2007	DBLP DOI BibTeX RDF
2	Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde	Shaped Generic Graph Transformation.	AGTIVE	2007	DBLP DOI BibTeX RDF
2	Gabriele Taentzer, Dirk Müller 0002, Tom Mens	Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation.	AGTIVE	2007	DBLP DOI BibTeX RDF
2	Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horvath, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk	Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.	AGTIVE	2007	DBLP DOI BibTeX RDF
2	Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell	Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools.	AGTIVE	2007	DBLP DOI BibTeX RDF
2	Pieter De Leenheer, Tom Mens	Using Graph Transformation to Support Collaborative Ontology Evolution.	AGTIVE	2007	DBLP DOI BibTeX RDF
2	Christian Fuss, Verena E. Tuttlies	Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages.	AGTIVE	2007	DBLP DOI BibTeX RDF
2	Arend Rensink, Gabriele Taentzer	AGTIVE 2007 Graph Transformation Tool Contest.	AGTIVE	2007	DBLP DOI BibTeX RDF
2	Chunying Zhao, Jun Kong, Kang Zhang	Design Pattern Evolution and Verification Using Graph Transformation.	HICSS	2007	DBLP DOI BibTeX RDF
2	Juan M. Vara, Belén Vela, José María Cavero, Esperanza Marcos	Model transformation for object-relational database development.	SAC	2007	DBLP DOI BibTeX RDF	model transformation, graph transformation, formalization, object-relational databases
2	Paolo Bottoni, Juan de Lara, Esther Guerra	Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages.	VL/HCC	2007	DBLP DOI BibTeX RDF	Visual Languages, Meta-Modelling, Operational Semantics, Graph Transformation
2	Gernot Veit Batz, Moritz Kroll, Rubino Geiß	A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching.	AGTIVE	2007	DBLP DOI BibTeX RDF	graph pattern matching, subgraph isomorphism problem, search plan driven, host-graph-sensitive, model-sensitive, experiment, Graph transformation, heuristic optimization
2	Claudia Ermel, Karsten Ehrig	Visualization, Simulation and Analysis of Reconfigurable Systems.	AGTIVE	2007	DBLP DOI BibTeX RDF	simulation, visualization, analysis, model transformation, Graph transformation, reconfigurable system
2	László Gönczy, Reiko Heckel, Dániel Varró	Model-Based Testing of Service Infrastructure Components.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	Fault-Tolerant Services, Model Checking, Model-based testing, Graph Transformation
2	Simon M. Becker, Sebastian Herold, Sebastian Lohmann, Bernhard Westfechtel	A graph-based algorithm for consistency maintenance in incremental and interactive integration tools.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	Incremental consistency maintenance, Graph transformation, Triple graph grammars
2	Esther Guerra, Juan de Lara	Event-driven grammars: relating abstract and concrete levels of visual languages.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	Triple Graph Transformation, UML, Consistency, Visual Languages, Meta-Modelling, Graph Grammars
2	Mike Dodds, Detlef Plump	Graph Transformation in Constant Time.	ICGT	2006	DBLP DOI BibTeX RDF
2	Arend Rensink	Nested Quantification in Graph Transformation Rules.	ICGT	2006	DBLP DOI BibTeX RDF
2	Leen Lambers, Hartmut Ehrig, Fernando Orejas	Conflict Detection for Graph Transformation with Negative Application Conditions.	ICGT	2006	DBLP DOI BibTeX RDF
2	Karsten Ehrig, Reiko Heckel, Georgios Lajios	Molecular Analysis of Metabolic Pathway with Graph Transformation.	ICGT	2006	DBLP DOI BibTeX RDF
2	Reiko Heckel	Introductory Tutorial on Foundations and Applications of Graph Transformation.	ICGT	2006	DBLP DOI BibTeX RDF
2	Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel	Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.	ICGT	2006	DBLP DOI BibTeX RDF
2	Pedro Pablo Pérez Velasco, Juan de Lara	Matrix Approach to Graph Transformation: Matching and Sequences.	ICGT	2006	DBLP DOI BibTeX RDF
2	Esther Guerra, Juan de Lara	Model View Management with Triple Graph Transformation Systems.	ICGT	2006	DBLP DOI BibTeX RDF
2	Hartmut Ehrig, Fernando Orejas, Ulrike Prange	Categorical Foundations of Distributed Graph Transformation.	ICGT	2006	DBLP DOI BibTeX RDF
2	Luciano Baresi, Paola Spoletini	On the Use of Alloy to Analyze Graph Transformation Systems.	ICGT	2006	DBLP DOI BibTeX RDF
2	Barbara König, Vitali Kozioura	Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems.	TACAS	2006	DBLP DOI BibTeX RDF
2	Leszek Kotulski	Supporting Software Agents by the Graph Transformation Systems.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
2	Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente	A Temporal Graph Logic for Verification of Graph Transformation Systems.	WADT	2006	DBLP DOI BibTeX RDF
2	Zarrin Langari, Richard J. Trefler	Formal Modeling of Communication Protocols by Graph Transformation.	FM	2006	DBLP DOI BibTeX RDF
2	Yin Hua Li, Hye-Young Paik, Boualem Benatallah	Formal consistency verification between BPEL process and privacy policy.	PST	2006	DBLP DOI BibTeX RDF	consistency verification, business process, graph transformation, privacy policy
2	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
2	Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer	Termination Analysis of Model Transformations by Petri Nets.	ICGT	2006	DBLP DOI BibTeX RDF	Petri nets, model transformation, termination, graph transformation
2	Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró	Style-based modeling and refinement of service-oriented architectures.	Software and System Modeling	2006	DBLP DOI BibTeX RDF	Architecture refinement, Service-oriented architecture, Graph transformation, Architectural style
2	Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann	Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation.	VL/HCC	2005	DBLP DOI BibTeX RDF
2	Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer	Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.	VL/HCC	2005	DBLP DOI BibTeX RDF
2	Gergely Varró, Andy Schürr, Dániel Varró	Benchmarking for Graph Transformation.	VL/HCC	2005	DBLP DOI BibTeX RDF
2	Reiko Heckel	Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks.	ICTAC	2005	DBLP DOI BibTeX RDF
2	Dorothea Blostein	Graph Transformation in Document Image Analysis: Approaches and Challenges.	GbRPR	2005	DBLP DOI BibTeX RDF
2	Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya	Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
2	Francesc Rosselló, Gabriel Valiente	Graph Transformation in Molecular Biology.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Luciano Baresi, Mauro Pezzè	From Graph Transformation to Software Engineering and Back.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Berthold Hoffmann	Graph Transformation with Variables.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl	Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Gregor Engels, Reiko Heckel, Alexey Cherchago	Flexible Interconnection of Graph Transformation Modules.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer	Generation of visual editors as eclipse plug-ins.	ASE	2005	DBLP DOI BibTeX RDF	visual editor plug-in, generation, eclipse, graph transformation
2	Luciano Baresi, Sebastiano Colazzo, Luca Mainetti	First experiences on constraining consistency and adaptivity of W2000 models.	SAC	2005	DBLP DOI BibTeX RDF	web applications, meta-modeling, graph transformation
2	László Lengyel, Tihamer Levendovszky, Hassan Charaf	Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps.	Panhellenic Conference on Informatics	2005	DBLP DOI BibTeX RDF	Metamodel-Based Graph Transformation Steps, Aspect-Oriented Constraints, Crosscutting Constraints, Weaving AO Constraints, VMTS, OCL
2	Simon M. Becker, Thomas Haase, Bernhard Westfechtel	Model-based a-posteriori integration of engineering tools for incremental development processes.	Software and System Modeling	2005	DBLP DOI BibTeX RDF	A-posteriori integration, Incremental consistency management, UML, Software architecture, Graph transformation, Wrapping
2	Boris Böhlen, Ulrike Ranger	Concepts for Specifying Complex Graph Transformation Systems.	ICGT	2004	DBLP DOI BibTeX RDF