Search results for "Graph-transformations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	Gabor Karsai, Aditya Agrawal	Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk).	AGTIVE	2003	DBLP DOI BibTeX RDF	formal specifications, model-driven architecture, graph transformations, Graph grammars, Model-Integrated Computing, domain-specific modeling languages
57	Gabriele Taentzer, Martin Beyer	Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
54	Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel	Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
54	Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer	Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
54	Barbara König 0001, Ugo Montanari, Philippa Gardner	04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems.	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2004	DBLP BibTeX RDF
49	Ansgar Schleicher	Formalizing UML-Based Process Models Using Graph Transformations.	AGTIVE	1999	DBLP DOI BibTeX RDF	Unified Modeling Language, Process Modeling, Graph Transformations, Process Enactment
46	Maciej Paszynski, Anna Paszynska	Graph Transformations for Modeling Parallel hp-Adaptive Finite Element Method.	PPAM	2007	DBLP DOI BibTeX RDF	CP-graph grammar, Parallel computations, Finite Element Method, graph transformations, hp adaptivity
44	Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg	Workshop on Petri Nets and Graph Transformations.	ICGT	2004	DBLP DOI BibTeX RDF
42	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
41	Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel (eds.)	Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Wilhelm Schäfer, Heike Wehrheim	Model-Driven Development with Mechatronic UML.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Peter Klein	The Architecture Description Language MoDeL.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Holger Giese, Stephan Hildebrandt, Stefan Neumann 0002	Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Adam Borkowski, Barbara Siemiatkowska, Jacek Szklarski	Towards Semantic Navigation in Mobile Robotics.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Roberto Bruni, Andrea Corradini 0001, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari	On GS-Monoidal Theories for Graphs with Nesting.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Luca Zanolin, Cecilia Mascolo, Wolfgang Emmerich	Model Checking Programmable Router Configurations.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Reiko Heckel, Paolo Torrini	Stochastic Modelling and Simulation of Mobile Systems.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Gabor Karsai	Lessons Learned from Building a Graph Transformation System.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Gregor Engels, Stefan Sauer 0001	A Meta-Method for Defining Software Engineering Methods.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	André Marburger, Bernhard Westfechtel	Graph-Based Structural Analysis for Telecommunication Systems.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Arend Rensink	The Edge of Graph Transformation - Graphs for Behavioural Specification.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Felix Klar, Marius Lauder, Alexander Königs, Andy Schürr	Extended Triple Graph Grammars with Efficient and Compatible Graph Translators.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Matthias Jarke, Ralf Klamma, Klaus Pohl, Ernst Sikora	Requirements Engineering in Complex Domains.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Ri Hai, Manfred Theißen, Wolfgang Marquardt	An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Josée Tassé, Nazim H. Madhavji, Amandeep Azad	Techniques for Merging Views of Software Processes.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Esther Guerra, Juan de Lara, Fernando Orejas	Controlling Reuse in Pattern-Based Model-to-Model Transformations.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Simon M. Becker, Anne-Thérèse Körtgen	Integration Tools for Consistency Management between Design Documents in Development Processes.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Mark Minas, Hans Jürgen Schneider	Graph Transformation by Computational Category Theory.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Ulrich Epple	Model Driven Engineering in Operative Industrial Process Control Environments - - Overview -.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Jürgen Börstler	Using Role-Play Diagrams to Improve Scenario Role-Play.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Thomas Heer, Markus Heller, Bernhard Westfechtel, René Wörzberger	Tool Support for Dynamic Development Processes.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Albert Zündorf, Leif Geiger, Ralf Gemmerich, Ruben Jubeh, Jürgen Leohold, Dieter Müller, Carsten Reckord, Christian Schneider 0001, Sven Semmelrodt	Using Graph Grammars for Modeling Wiring Harnesses - An Experience Report.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Jürgen Ebert, Daniel Bildhauer	Reverse Engineering Using Graph Queries.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Stefan Jablonski	Do We Really Know How to Support Processes? Considerations and Reconstruction.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Aditya A. Shah, Aleksandr A. Kerzhner, Dirk Schaefer, Christiaan J. J. Paredis	Multi-view Modeling to Support Embedded Systems Engineering in SysML.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Hans-Jörg Kreowski, Sabine Kuske	Autonomous Units and Their Semantics - The Concurrent Case.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	András Balogh, Gábor Bergmann, György Csertán, László Gönczy, Ákos Horváth 0001, István Majzik, András Pataricza, Balázs Polgár, István Ráth, Dániel Varró, Gergely Varró	Workflow-Driven Tool Integration Using Model Transformations.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Marcel Bennicke, Claus Lewerentz	Towards Managing Software Architectures with Ontologies.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	Mauro Caporuscio, Marco Funaro, Carlo Ghezzi	Architectural Issues of Adaptive Pervasive Systems.	Graph Transformations and Model-Driven Engineering	2010	DBLP DOI BibTeX RDF
41	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
41	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
41	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
41	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
41	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
41	Ewa Grabska	Graphs and Designing.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
41	Stefan Arnborg	Decomposability Helps for Deciding Logics of Knowledge and Belief.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
41	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
41	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
41	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
41	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
41	Manfred Nagl	Uniform-Modelling in Graph Grammar Specifications.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
41	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
41	Jean-Claude Raoult, Frédéric Voisin	Set-Theoretic Graph Rewriting.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
41	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
41	Dirk Janssens	ESM Systems and the Composition of Their Computations.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
41	Andy Schürr	Logic Based Structure Rewriting Systems.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
41	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
41	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
41	Marc Andries, Gregor Engels	Syntax and Semantics of Hybrid Database Languages.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
41	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
41	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
41	Erik Barendsen, Sjaak Smetsers	Extending Graph Rewriting with Copying.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
41	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
41	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
41	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
40	Bruno Courcelle, David Janin	Workshop on Logic, Graph Transformations, Finite and Infinite Structures.	ICGT	2004	DBLP DOI BibTeX RDF
40	Mark Minas	AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications.	AGTIVE	2003	DBLP DOI BibTeX RDF
39	Bruno Courcelle	Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas.	RTA	1999	DBLP DOI BibTeX RDF
38	Anna Paszynska, Maciej Paszynski, Ewa Grabska	Graph Transformations for Modeling hp-Adaptive Finite Element Method with Triangular Elements.	ICCS (3)	2008	DBLP DOI BibTeX RDF
38	Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski	High-Level Nets with Nets and Rules as Tokens.	ICATPN	2005	DBLP DOI BibTeX RDF	High-level net models, algebraic high-level nets, nets and rules as tokens, integration of net theory and graph transformations, case study: House of Philosophers, graph grammars and Petri net transformations, algebraic specifications
36	Paolo Baldan, Barbara König 0001	Workshop on Petri Nets and Graph Transformations.	ICGT	2008	DBLP DOI BibTeX RDF
36	Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg	Workshop on Petri Nets and Graph Transformations.	ICGT	2006	DBLP DOI BibTeX RDF
36	Fabian Büttner, Martin Gogolla	Realizing Graph Transformations by Pre- and Postconditions and Command Sequences.	ICGT	2006	DBLP DOI BibTeX RDF
36	Tobias Rötschke	Re-engineering a Medical Imaging System Using Graph Transformations.	AGTIVE	2003	DBLP DOI BibTeX RDF
36	Gregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim	Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.	AGTIVE	2007	DBLP DOI BibTeX RDF	UML Activities, visual contracts, web services, Business processes, graph transformations
36	Boris Böhlen	Specific Graph Models and Their Mappings to a Common Model.	AGTIVE	2003	DBLP DOI BibTeX RDF
36	Gabriele Taentzer	AGG: A Graph Transformation Environment for Modeling and Validation of Software.	AGTIVE	2003	DBLP DOI BibTeX RDF
36	Anna Paszynska, Maciej Paszynski, Ewa Grabska	Graph Transformations for Modeling hp-Adaptive Finite Element Method with Mixed Triangular and Rectangular Elements.	ICCS (2)	2009	DBLP DOI BibTeX RDF
35	Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 0001	Towards a compositional approach to model transformation for software development.	SAC	2009	DBLP DOI BibTeX RDF
34	Ion Petre, Grzegorz Rozenberg	Summary of the Workshop on Natural Computing and Graph Transformations.	ICGT	2008	DBLP DOI BibTeX RDF
34	Mark Heffernan, Kent D. Wilken	Data-Dependency Graph Transformations for Instruction Scheduling.	J. Sched.	2005	DBLP DOI BibTeX RDF	compiler scheduling, graph transformation, instruction scheduling, optimal scheduling
34	Tom Mens	On the Use of Graph Transformations for Model Refactoring.	GTTSE	2005	DBLP DOI BibTeX RDF
33	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
33	Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer	Specifying Integrated Refactoring with Distributed Graph Transformations.	AGTIVE	2003	DBLP DOI BibTeX RDF
33	Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam	Planning Geometric Constraint Decomposition via Optimal Graph Transformations.	AGTIVE	1999	DBLP DOI BibTeX RDF
32	Francesc Rosselló, Gabriel Valiente	Analysis of Metabolic Pathways by Graph Transformation.	ICGT	2004	DBLP DOI BibTeX RDF
32	G. N. Mangalam, Sanjiv Narayan, Paul van Besouw, LaNae J. Avra, Anmol Mathur, Sanjeev Saluja	Graph Transformations for Improved Tree Height Reduction.	VLSI Design	2003	DBLP DOI BibTeX RDF
32	Mark Heffernan, Kent D. Wilken, Ghassan Shobaki	Data-Dependency Graph Transformations for Superblock Scheduling.	MICRO	2006	DBLP DOI BibTeX RDF
32	Bruno Courcelle	The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic.	Handbook of Graph Grammars	1997	DBLP BibTeX RDF
31	Hartmut Ehrig, Julia Padberg	Graph Grammars and Petri Net Transformations.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
31	Hoda Fahmy, Richard C. Holt	Using Graph Rewriting to Specify Software Architectural Transformations.	ASE	2000	DBLP DOI BibTeX RDF
30	Maneesh K. Yadav, Brian P. Kelley, Steven M. Silverman	The Potential of a Chemical Graph Transformation System.	ICGT	2004	DBLP DOI BibTeX RDF
30	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
29	Ulrike Ranger, Thorsten Hermes	Ensuring Consistency Within Distributed Graph Transformation Systems.	FASE	2007	DBLP DOI BibTeX RDF
29	Peter Vanbekbergen, Bill Lin 0001, Gert Goossens, Hugo De Man	A generalized state assignment theory for transformations on signal transition graphs.	J. VLSI Signal Process.	1994	DBLP DOI BibTeX RDF
29	Leszek Kotulski, Barbara Strug	Using Graph Transformations in Distributed Adaptive Design System.	ICCVG	2008	DBLP DOI BibTeX RDF	adaptive design, distributed grammar systems, computer aided design, graph transformations
28	Eduardo Zambon	Using Graph Transformations and Graph Abstractions for Software Verification.	ICGT	2010	DBLP DOI BibTeX RDF
28	Hawley K. Rising	MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia (Invited Talk).	AGTIVE	2003	DBLP DOI BibTeX RDF
28	Gabor Karsai, Gabriele Taentzer	Third international workshop on graph and model transformations.	ICSE Companion	2008	DBLP DOI BibTeX RDF	model transformations, model-driven development, graph transformations
28	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