No abstract available.
Cited By
- Boneva I, Groz B, Hidders J, Murlak F and Staworko S Static Analysis of Graph Database Transformations Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (251-261)
- Lieck R and Rohrmeier M Recursive Bayesian networks Proceedings of the 35th International Conference on Neural Information Processing Systems, (4370-4383)
- Schneider S, Lambers L and Orejas F (2021). A logic-based incremental approach to graph repair featuring delta preservation, International Journal on Software Tools for Technology Transfer (STTT), 23:3, (369-410), Online publication date: 1-Jun-2021.
- Bertolissi C, Fernandez M and Thuraisingham B Graph-Based Specification of Admin-CBAC Policies Proceedings of the Eleventh ACM Conference on Data and Application Security and Privacy, (173-184)
- El qortobi M, Rahj A, Bentahar J and Dssouli R Test Generation Tool for Modified Condition/Decision Coverage Proceedings of the 13th International Conference on Intelligent Systems: Theories and Applications, (1-6)
- Bruni R, Montanari U and Sammartino M Algebras for Tree Decomposable Graphs Graph Transformation, (203-220)
- Partabian J, Rafe V, Parvin H and Nejatian S (2019). An approach based on knowledge exploration for state space management in checking reachability of complex software systems, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 24:10, (7181-7196), Online publication date: 1-May-2020.
- Cimatti A, DeLong R, Stojic I and Tonetta S Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems Computer Safety, Reliability, and Security, (200-215)
- Wang K, Lin Y, Weissmann B, Savva M, Chang A and Ritchie D (2019). PlanIT, ACM Transactions on Graphics, 38:4, (1-15), Online publication date: 31-Aug-2019.
- Corradini A, Heindel T, König B, Nolte D and Rensink A Rewriting Abstract Structures: Materialization Explained Categorically Foundations of Software Science and Computation Structures, (169-188)
- Kluge R, Stein M, Varró G, Schürr A, Hollick M and Mühlhäuser M (2019). A systematic approach to constructing families of incremental topology control algorithms using graph transformation, Software and Systems Modeling (SoSyM), 18:1, (279-319), Online publication date: 1-Feb-2019.
- (2019). A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations, International Journal of Computational Vision and Robotics, 9:2, (172-191), Online publication date: 1-Jan-2019.
- Hoffman M, Johnson M and Tran D Autoconj Proceedings of the 32nd International Conference on Neural Information Processing Systems, (10739-10749)
- Schneider S, Lambers L and Orejas F (2018). Automated reasoning for attributed graph properties, International Journal on Software Tools for Technology Transfer (STTT), 20:6, (705-737), Online publication date: 1-Nov-2018.
- Szabó T, Bergmann G, Erdweg S and Voelter M (2018). Incrementalizing lattice-based program analyses in Datalog, Proceedings of the ACM on Programming Languages, 2:OOPSLA, (1-29), Online publication date: 24-Oct-2018.
- Szárnyas G, Izsó B, Ráth I and Varró D (2018). The Train Benchmark, Software and Systems Modeling (SoSyM), 17:4, (1365-1393), Online publication date: 1-Oct-2018.
- Wang X, Liu Y, Li J and Zhang K Generating Tractable Designs by Transforming Shape Grammars to Graph Grammars Proceedings of the 11th International Symposium on Visual Information Communication and Interaction, (41-48)
- Kreowski H and Rozenberg G Graph Surfing by Reaction Systems Graph Transformation, (45-62)
- Lambers L, Strüber D, Taentzer G, Born K and Huebert J Multi-granular conflict and dependency analysis in software engineering based on graph transformation Proceedings of the 40th International Conference on Software Engineering, (716-727)
- Liu Y, Zeng X and Zhang K Quantitative spatial semantics in a graph grammar formalism Proceedings of the 3rd International Workshop on Interactive and Spatial Computing, (1-7)
- Eichler C, Drira K, Monteil T and Stolf P Correctness by construction and style preserving reconfigurations of system of systems Proceedings of the 33rd Annual ACM Symposium on Applied Computing, (1680-1686)
- Jaïdi F, Labbene Ayachi F, Bouhoula A and Matteucci I (2018). A Methodology and Toolkit for Deploying Reliable Security Policies in Critical Infrastructures, Security and Communication Networks, 2018, Online publication date: 1-Jan-2018.
- Brandenburg F (2018). Recognizing Optimal 1-Planar Graphs in Linear Time, Algorithmica, 80:1, (1-28), Online publication date: 1-Jan-2018.
- Van Tendeloo Y and Vangheluwe H The modelverse Proceedings of the 2017 Winter Simulation Conference, (1-12)
- Laghouaouta Y, Anwar A, Nassar M and Coulette B (2017). A dedicated approach for model composition traceability, Information and Software Technology, 91:C, (142-159), Online publication date: 1-Nov-2017.
- Zou Y, Zeng X, Liu Y and Liu H Partial precedence of context-sensitive graph grammars Proceedings of the 10th International Symposium on Visual Information Communication and Interaction, (16-23)
- Sannier N, Adedjouma M, Sabetzadeh M and Briand L (2017). An automated framework for detection and resolution of cross references in legal texts, Requirements Engineering, 22:2, (215-237), Online publication date: 1-Jun-2017.
- Schneider S, Lambers L and Orejas F Symbolic Model Generation for Graph Properties Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering - Volume 10202, (226-243)
- Zschaler S and Durán F GTS Families for the Flexible Composition of Graph Transformation Systems Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering - Volume 10202, (208-225)
- Jäschke C, Herter U, Wolkober C, Schmitt C and Zoellin C Static netlist verification for IBM high-frequency processors using a tree-grammar Proceedings of the Conference on Design, Automation & Test in Europe, (1556-1561)
- Madeira A, Neves R, Barbosa L and Martins M (2016). A method for rigorous design of reconfigurable systems, Science of Computer Programming, 132:P1, (50-76), Online publication date: 15-Dec-2016.
- Chaoui A and Belghiat A (2016). Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation, International Journal of Intelligent Information Technologies, 12:4, (1-20), Online publication date: 1-Oct-2016.
- Bezerra J, Costa A, Ribeiro L and Cota É (2016). Formal Verification of Health Assessment Tools, Electronic Notes in Theoretical Computer Science (ENTCS), 324:C, (31-50), Online publication date: 30-Sep-2016.
- Higashino W, Eichler C, Capretz M, Bittencourt L and Monteil T (2016). Attributed Graph Rewriting for Complex Event Processing Self-Management, ACM Transactions on Autonomous and Adaptive Systems, 11:3, (1-39), Online publication date: 20-Sep-2016.
- Orłowski C, Ziółkowski A, Orłowski A, Kapłański P, Sitek T and Pokrzywnicki W Ontology of the Design Pattern Language for Smart Cities Systems Transactions on Computational Collective Intelligence XXV - Volume 9990, (76-100)
- Szabó T, Erdweg S and Voelter M IncA: a DSL for the definition of incremental program analyses Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, (320-331)
- Thaller W, Augsdörfer U and Fellner D (2016). Procedural mesh features applied to subdivision surfaces using graph grammars, Computers and Graphics, 58:C, (184-192), Online publication date: 1-Aug-2016.
- Varró D, Bergmann G, Hegedüs Á, Horváth Á, Ráth I and Ujhelyi Z (2016). Road to a reactive and incremental model transformation platform, Software and Systems Modeling (SoSyM), 15:3, (609-629), Online publication date: 1-Jul-2016.
- Eichler C, Monteil T, Stolf P, Grieco L and Drira K (2016). Enhanced graph rewriting systems for complex software domains, Software and Systems Modeling (SoSyM), 15:3, (685-705), Online publication date: 1-Jul-2016.
- Buneman P, Gascón A and Murray-Rust D Composition and substitution in provenance and workflows Proceedings of the 8th USENIX Conference on Theory and Practice of Provenance, (40-43)
- Sdziwy A and Kotulski L (2016). Multi-agent System Supporting Automated GIS-based Photometric Computations, Procedia Computer Science, 80:C, (824-833), Online publication date: 1-Jun-2016.
- Stegmaier M, Dausend M, Raschke A and Tichy M A Universal Control Construct for Abstract State Machines Proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z - Volume 9675, (37-53)
- Gonçalves R, Batory D and Sobral J (2016). ReFlO, Software and Systems Modeling (SoSyM), 15:2, (377-395), Online publication date: 1-May-2016.
- Durán F, Moreno-Delgado A and Álvarez-Palomo J Statistical Model Checking of e-Motions Domain-Specific Modeling Languages Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering - Volume 9633, (305-322)
- Bleikertz S, Vogel C, Groß T and Mödersheim S Proactive Security Analysis of Changes in Virtualized Infrastructures Proceedings of the 31st Annual Computer Security Applications Conference, (51-60)
- Bürger C Reference attribute grammar controlled graph rewriting: motivation and overview Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, (89-100)
- Mavridou A, Baranov E, Bliudze S and Sifakis J Configuration Logics Revised Selected Papers of the 12th International Conference on Formal Aspects of Component Software - Volume 9539, (256-274)
- Kotulski L, Sdziwy A and Strug B (2015). Conditional Synchronization in Multi-agent Graph-based Knowledge System, Procedia Computer Science, 51:C, (1043-1051), Online publication date: 1-Sep-2015.
- Kluge R, Varró G and Schürr A A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation Proceedings of the 8th International Conference on Theory and Practice of Model Transformations - Volume 9152, (199-213)
- Costa A, Cavalheiro S, Foss L and Ribeiro L From UML diagrams to simulink models Proceedings of the 30th Annual ACM Symposium on Applied Computing, (1547-1552)
- Kalbasi A, Krishnamurthy D, Rolia J and Singhal S Simulation by example for complex systems Proceedings of the 2014 Winter Simulation Conference, (974-985)
- Kupriyanov A and Finkbeiner B Causal Termination of Multi-threaded Programs Proceedings of the 16th International Conference on Computer Aided Verification - Volume 8559, (814-830)
- Lara J, Guerra E, Boronat A, Heckel R and Torrini P (2014). Domain-specific discrete event modelling and simulation using graph transformation, Software and Systems Modeling (SoSyM), 13:1, (209-238), Online publication date: 1-Feb-2014.
- Clerici S, Zoltan C and Prestigiacomo G (2013). Graphical and incremental type inference. A graph transformation approach, Higher-Order and Symbolic Computation, 26:1-4, (29-62), Online publication date: 1-Dec-2013.
- Avazpour I, Grundy J and Grunske L Tool support for automatic model transformation specification using concrete visualisations Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering, (718-721)
- Kupriyanov A and Finkbeiner B Causality-Based verification of multi-threaded programs Proceedings of the 24th international conference on Concurrency Theory, (257-272)
- Prountzos D, Manevich R and Pingali K (2012). Elixir, ACM SIGPLAN Notices, 47:10, (375-394), Online publication date: 15-Nov-2012.
- Prountzos D, Manevich R and Pingali K Elixir Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (375-394)
- Levendovszky T, Smyth K, Balasubramanian D, Shi F and Karsai G Evolution in a context of an model-integrated tool environment Proceedings of the 6th International Workshop on Models and Evolution, (33-38)
- da Costa Cavalheiro S, Foss L and Ribeiro L Specification patterns for properties over reachable states of graph grammars Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications, (83-98)
- Brosch P, Gabmeyer S, Kappel G and Seidl M (2012). On formalizing EMF modeling operations with graph transformations, ACM SIGSOFT Software Engineering Notes, 37:4, (1-8), Online publication date: 16-Jul-2012.
- Arrighi P and Dowek G Causal graph dynamics Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II, (54-66)
- Varró G, Anjorin A and Schürr A Unification of compiled and interpreter-based pattern matching techniques Proceedings of the 8th European conference on Modelling Foundations and Applications, (368-383)
- Sędziwy A Effective graph representation for agent-based distributed computing Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications, (638-647)
- Cadenhead T, Khadilkar V, Kantarcioglu M and Thuraisingham B A cloud-based RDF policy engine for assured information sharing Proceedings of the 17th ACM symposium on Access Control Models and Technologies, (113-116)
- Cho H, Gray J and Syriani E Creating visual domain-specific modeling languages from end-user demonstration Proceedings of the 4th International Workshop on Modeling in Software Engineering, (22-28)
- Varró G, Deckwerth F, Wieber M and Schürr A An algorithm for generating model-sensitive search plans for EMF models Proceedings of the 5th international conference on Theory and Practice of Model Transformations, (224-239)
- Dietrich J, McCartin C, Tempero E and Shah S On the existence of high-impact refactoring opportunities in programs Proceedings of the Thirty-fifth Australasian Computer Science Conference - Volume 122, (37-48)
- Ehrig H, Golas U, Habel A, Lambers L and Orejas F (2012). ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence, Fundamenta Informaticae, 118:1-2, (35-63), Online publication date: 1-Jan-2012.
- Gabriel K and Ehrig H Modelling of communication platforms using algebraic high-level nets and their processes Software Service and Application Engineering, (10-25)
- Grabska E, Palacz W, Strug B and Ślusarczyk G A graph-based generation of virtual grids Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part I, (451-460)
- Oláh J and Majzik I Search-based functional test data generation using data metamodel Proceedings of the Third international conference on Search based software engineering, (273-273)
- Priesterjahn C, Steenken D and Tichy M Component-based timed hazard analysis of self-healing systems Proceedings of the 8th workshop on Assurances for self-adaptive systems, (34-43)
- Yoshimura Y, Shoudai T, Suzuki Y, Uchida T and Miyahara T Polynomial time inductive inference of cograph pattern languages from positive data Proceedings of the 21st international conference on Inductive Logic Programming, (389-404)
- Inaba K, Hidaka S, Hu Z, Kato H and Nakano K Graph-transformation verification using monadic second-order logic Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming, (17-28)
- Hidaka S, Hu Z, Inaba K, Kato H, Matsuda K, Nakano K and Sasano I Marker-Directed optimization of UnCAL graph transformations Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation, (123-138)
- Dumitrescu S About graph and hypergraph context free grammars Proceedings of the 15th WSEAS international conference on Computers, (481-484)
- Joncheere N and Van Der Straeten R Uniform modularization of workflow concerns using unify Proceedings of the 4th international conference on Software Language Engineering, (77-96)
- Heinzemann C and Henkler S Reusing dynamic communication protocols in self-adaptive embedded component architectures Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering, (109-118)
- Cadenhead T, Khadilkar V, Kantarcioglu M and Thuraisingham B Transforming provenance using redaction Proceedings of the 16th ACM symposium on Access control models and technologies, (93-102)
- Jansen C, Heinen J, Katoen J and Noll T A local greibach normal form for hyperedge replacement grammars Proceedings of the 5th international conference on Language and automata theory and applications, (323-335)
- Strug B Genetic selection of subgraphs for automatic reasoning in design systems Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part I, (280-287)
- Langari Z and Trefler R Symmetry for the analysis of dynamic systems Proceedings of the Third international conference on NASA Formal methods, (252-266)
- Kotulski L and Sedziwy A Parallel graph transformations supported by replicated complementary graphs Proceedings of the 10th international conference on Adaptive and natural computing algorithms - Volume Part II, (254-264)
- Bonfante G, Guillaume B, Morey M and Perrier G Modular graph rewriting to compute semantics Proceedings of the Ninth International Conference on Computational Semantics, (65-74)
- Buchwald S and Zwinkau A Instruction selection by graph transformation Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems, (31-40)
- Bandener N, Soltenborn C and Engels G Extending DMM behavior specifications for visual execution and debugging Proceedings of the Third international conference on Software language engineering, (357-376)
- Vara J, Castro M, Fabro M and Marcos E (2010). Using weaving models to automate model-driven web engineering proposals, International Journal of Computer Applications in Technology, 39:4, (245-252), Online publication date: 1-Oct-2010.
- Zambon E Using graph transformations and graph abstractions for software verification Proceedings of the 5th international conference on Graph transformations, (416-418)
- Golas U, Ehrig H and Habel A Multi-amalgamation in adhesive categories Proceedings of the 5th international conference on Graph transformations, (346-361)
- Hagström Å and Parisi-Presicce F A model for distribution and revocation of certificates Proceedings of the 5th international conference on Graph transformations, (314-329)
- Braatz B, Ehrig H, Gabriel K and Golas U Finitary m-adhesive categories Proceedings of the 5th international conference on Graph transformations, (234-249)
- Löwe M Graph rewriting in span-categories Proceedings of the 5th international conference on Graph transformations, (218-233)
- Balbiani P, Echahed R and Herzig A A dynamic logic for termgraph rewriting Proceedings of the 5th international conference on Graph transformations, (59-74)
- Brandt C and Hermann F How far can enterprise modeling for banking be supported by graph transformation? Proceedings of the 5th international conference on Graph transformations, (3-26)
- Świderski R and Strug B Using parallel graph transformations in design support system Proceedings of the 2010 international conference on Computer vision and graphics: Part II, (309-316)
- Maxwell E, Back G and Ramakrishnan N Diagnosing memory leaks using graph mining on heap dumps Proceedings of the 16th ACM SIGKDD international conference on Knowledge discovery and data mining, (115-124)
- Drewes F, Hoffmann B, Janssens D and Minas M (2010). Adaptive star grammars and their languages, Theoretical Computer Science, 411:34-36, (3090-3109), Online publication date: 1-Jul-2010.
- Kreowski H, Kuske S and von Totth C Combining graph transformation and algebraic specification into model transformation Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques, (193-208)
- Corradini A, Gadducci F and Ribeiro L An institution for graph transformation Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques, (160-174)
- Schippers H, Molderez T and Janssens D A graph-based operational semantics for context-oriented programming Proceedings of the 2nd ACM International Workshop on Context-Oriented Programming, (1-6)
- Boronat A and Meseguer J (2010). An algebraic semantics for MOF, Formal Aspects of Computing, 22:3, (269-296), Online publication date: 1-May-2010.
- Orejas F, Ehrig H and Prange U (2010). Reasoning with graph constraints, Formal Aspects of Computing, 22:3, (385-422), Online publication date: 1-May-2010.
- García-Magariño I, Fuentes-Fernández R and Gómez-Sanz J (2010). A framework for the definition of metamodels for Computer-Aided Software Engineering tools, Information and Software Technology, 52:4, (422-435), Online publication date: 1-Apr-2010.
- Boronat A and Ölveczky P Formal real-time model transformations in MOMENT2 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering, (29-43)
- Karsai G Lessons learned from building a graph transformation system Graph transformations and model-driven engineering, (202-223)
- Kreowski H and Kuske S Autonomous units and their semantics - the concurrent case Graph transformations and model-driven engineering, (102-120)
- Minas M and Schneider H Graph transformation by computational category theory Graph transformations and model-driven engineering, (33-58)
- Rensink A The edge of graph transformation Graph transformations and model-driven engineering, (6-32)
- Velasco P and de Lara J (2010). Matrix Graph Grammars with Application Conditions, Fundamenta Informaticae, 99:1, (29-62), Online publication date: 1-Jan-2010.
- Naeem M, Heckel R and Orejas F Semi-automated service composition using visual contracts Proceedings of the 7th International Conference on Frontiers of Information Technology, (1-6)
- Bahri M, Hettab A, Chaoui A and Kerkouche E Transforming Mobile UML Statecharts Models to Nested Nets Models Using Graph Grammars Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods, (33-39)
- ElMansouri R, Chaoui A, Kerkouche E and Khalfaoui K From UML Statecharts and Collaboration Diagrams to Coloured Petri Nets Models Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods, (73-78)
- Rebout M, Féraud L, Marie-Magdeleine L and Soloviev S Computations in graph rewriting Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques, (150-163)
- Asztalos M, Lengyel L and Levendovszky T A formalism for describing modeling transformations for verification Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, (1-10)
- Clerici S and Zoltan C A dynamically customizable process-centered evaluation model Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, (37-48)
- Hölscher K, Kreowski H and Kuske S (2009). Autonomous Units to Model Interacting Sequential and Parallel Processes, Fundamenta Informaticae, 92:3, (233-257), Online publication date: 1-Aug-2009.
- Ren S, Wang X, Hu Z, Hu G and Wang G (2009). Graph transformation based reduction analysis of PID, ACM SIGSOFT Software Engineering Notes, 34:4, (1-5), Online publication date: 6-Jul-2009.
- Schäfer M and Dolog P Feature-Based Engineering of Compensations in Web Service Environment Proceedings of the 9th International Conference on Web Engineering, (197-204)
- Tomita K and Kurokawa H (2009). On the reachability of a version of graph-rewriting system, Information Processing Letters, 109:14, (777-782), Online publication date: 15-Jun-2009.
- Molhanec M A contribution to user interface modelling based on graph transformations approach Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation, (1-15)
- Hölscher K, Kreowski H and Kuske S (2009). Autonomous Units to Model Interacting Sequential and Parallel Processes, Fundamenta Informaticae, 92:3, (233-257), Online publication date: 5-Jun-2009.
- Hamdi-Cherif A and Kara-Mohammed C (2009). Grammatical inference methodology for control systems, WSEAS Transactions on Computers, 8:4, (610-619), Online publication date: 1-Apr-2009.
- Bucchiarone A, Dennis G and Gnesi S (2009). A Graph-based Design Framework for Global Computing Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 236, (117-130), Online publication date: 1-Apr-2009.
- Rivera J, Guerra E, Lara J and Vallecillo A Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude Software Language Engineering, (54-73)
- Hidaka S, Hu Z, Kato H and Nakano K Towards a compositional approach to model transformation for software development Proceedings of the 2009 ACM symposium on Applied Computing, (468-475)
- Staijen T and Rensink A Graph-based specification and simulation of featherweight Java with around advice Proceedings of the 2009 workshop on Foundations of aspect-oriented languages, (25-30)
- Cazzola W and Salvotelli S Recognizing join points from their context through graph grammars Proceedings of the 13th workshop on Aspect-oriented modeling, (37-42)
- Aksit M, Rensink A and Staijen T A graph-transformation-based simulation approach for analysing aspect interference on shared join points Proceedings of the 8th ACM international conference on Aspect-oriented software development, (39-50)
- Hamdi-Cherif A and Kara-Mohammed C Grammatical inference for robotic self-assembly Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases, (447-452)
- Langari Z and Trefler R Application of Graph Transformation in Verification of Dynamic Systems Proceedings of the 7th International Conference on Integrated Formal Methods, (261-276)
- Skoutas D, Simitsis A and Sellis T Ontology-Driven conceptual design of ETL processes using graph transformations Journal on Data Semantics XIII, (120-146)
- Becker B and Giese H Modeling of correct self-adaptive systems Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology, (508-516)
- Rodriguez I, Guennoun K, Drira K, Chassot C and Jmaiel M Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology, (484-491)
- Rensink A, Dotor A, Ermel C, Jurack S, Kniemeyer O, Lara J, Maier S, Staijen T and Zündorf A Ludo Applications of Graph Transformations with Industrial Relevance, (493-513)
- Varró G, Horváth Á and Varró D Recursive Graph Pattern Matching Applications of Graph Transformations with Industrial Relevance, (456-470)
- Kreowski H and Kuske S Communities of Autonomous Units for Pickup and Delivery Vehicle Routing Applications of Graph Transformations with Industrial Relevance, (281-296)
- Drewes F, Hoffmann B, Janssens D, Minas M and Eetvelde N Shaped Generic Graph Transformation Applications of Graph Transformations with Industrial Relevance, (201-216)
- Denninger O, Gelhausen T and Geiß R Applications and Rewriting of Omnigraphs --- Exemplified in the Domain of MDD Applications of Graph Transformations with Industrial Relevance, (168-183)
- Dumitrescu S (2008). Several aspects of context freeness for hyperedge replacement grammars, WSEAS Transactions on Computers, 7:10, (1594-1604), Online publication date: 1-Oct-2008.
- Bottoni P, Guerra E and de Lara J (2008). Enforced generative patterns for the specification of the syntax and semantics of visual languages, Journal of Visual Languages and Computing, 19:4, (429-455), Online publication date: 1-Aug-2008.
- Dumitrescu S About normal forms for hyperedge replacement grammars Proceedings of the 12th WSEAS international conference on Computers, (208-211)
- Courcelle B Graph Structure and Monadic Second-Order Logic Proceedings of the 35th international colloquium on Automata, Languages and Programming - Volume Part I, (1-13)
- Ekim T, Hell P, Stacho J and de Werra D (2008). Polarity of chordal graphs, Discrete Applied Mathematics, 156:13, (2469-2479), Online publication date: 1-Jul-2008.
- He H and Singh A Graphs-at-a-time Proceedings of the 2008 ACM SIGMOD international conference on Management of data, (405-418)
- Rebout M, Féraud L and Soloviev S A unified categorical approach for attributed graph rewriting Proceedings of the 3rd international conference on Computer science: theory and applications, (398-409)
- Rensink A Explicit State Model Checking for Graph Grammars Concurrency, Graphs and Models, (114-132)
- Kreowski H, Kuske S and Rozenberg G Graph Transformation Units --- An Overview Concurrency, Graphs and Models, (57-75)
- Varró G (2008). Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries, Electronic Notes in Theoretical Computer Science (ENTCS), 211, (121-132), Online publication date: 1-Apr-2008.
- Rensink A and Nederpel R (2008). Graph Transformation Semantics for a QVT Language, Electronic Notes in Theoretical Computer Science (ENTCS), 211, (51-62), Online publication date: 1-Apr-2008.
- Guerra E, Díaz P and de Lara J (2008). Visual Specification of Metrics for Domain Specific Visual Languages, Electronic Notes in Theoretical Computer Science (ENTCS), 211, (99-110), Online publication date: 1-Apr-2008.
- Darabos A, Pataricza A and Varró D (2008). Towards Testing the Implementation of Graph Transformations, Electronic Notes in Theoretical Computer Science (ENTCS), 211, (75-85), Online publication date: 1-Apr-2008.
- Baldan P, Corradini A, Dotti F, Foss L, Gadducci F and Ribeiro L (2008). Towards a Notion of Transaction in Graph Rewriting, Electronic Notes in Theoretical Computer Science (ENTCS), 211, (39-50), Online publication date: 1-Apr-2008.
- Orejas F, Ehrig H and Prange U A logic of graph constraints Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering, (179-198)
- Béchet D and Lippi S (2008). Universal Boolean Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 203:1, (19-30), Online publication date: 1-Mar-2008.
- Fischer E and Makowsky J Linear recurrence relations for graph polynomials Pillars of computer science, (266-279)
- Palacz W (2008). Hierarchical graph transformations with meta-rules, Annales UMCS, Informatica, 8:2, (89-96), Online publication date: 1-Jan-2008.
- Hölscher K, Klempien-Hinrichs R and Knirsch P (2008). Undecidable Control Conditions in Graph Transformation Units, Electronic Notes in Theoretical Computer Science (ENTCS), 195, (95-111), Online publication date: 1-Jan-2008.
- Kavimandan A and Gokhale A A parameterized model transformations approach for automating middleware QoS configurations in distributed real-time and embedded systems Proceedings of the 2007 workshop on Automating service quality: Held at the International Conference on Automated Software Engineering (ASE), (16-21)
- Levendovszky T, Rumpe B, Schätz B and Sprinkle J Model evolution and management Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems, (241-270)
- Tomita K, Murata S and Kurokawa H (2007). Self-Description for Construction and Computation on Graph-Rewriting Automata, Artificial Life, 13:4, (383-396), Online publication date: 1-Oct-2007.
- Jayaraman P, Whittle J, Elkhodary A and Gomaa H Model composition in product lines and feature interaction detection using critical pair analysis Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems, (151-165)
- Tomita K, Murata S and Kurokawa H Asynchronous graph-rewriting automata and simulation of synchronous execution Proceedings of the 9th European conference on Advances in artificial life, (865-875)
- Stuermer I, Conrad M, Doerr H and Pepper P (2007). Systematic Testing of Model-Based Code Generators, IEEE Transactions on Software Engineering, 33:9, (622-634), Online publication date: 1-Sep-2007.
- Bauer J and Wilhelm R Static analysis of dynamic communication systems by partner abstraction Proceedings of the 14th international conference on Static Analysis, (249-264)
- Gadducci F and Lafuente A Graphical encoding of a spatial logic for the π-calculus Proceedings of the 2nd international conference on Algebra and coalgebra in computer science, (209-225)
- König B Deriving bisimulation congruences with borrowed contexts Proceedings of the 2nd international conference on Algebra and coalgebra in computer science, (36-39)
- Brumar B and Popa E Advanced techniques for metamodelling Proceedings of the 11th WSEAS International Conference on Computers, (258-262)
- Stoica E and Brumar B Advanced modelling for e-learning platforms Proceedings of the 11th WSEAS International Conference on Computers, (163-167)
- Valderas P and Pelechano V Improving communication in requirements engineering activities for web applications Proceedings of the 7th international conference on Web engineering, (242-247)
- Segura S, Benavides D, Ruiz-Cortés A and Trinidad P Automated Merging of Feature Models Using Graph Transformations Generative and Transformational Techniques in Software Engineering II, (489-505)
- Huima A Implementing conformiq Qtronic Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems, (1-12)
- Ehrig H, Hoffmann K, Padberg J, Prange U and Ermel C Independence of net transformations and token firing in reconfigurable place/transition systems Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency, (104-123)
- Prange U and Ehrig H From algebraic graph transformation to adhesive HLR categories and systems Proceedings of the 2nd international conference on Algebraic informatics, (122-146)
- Farooq U, Lam C and Li H Transformation methodology for UML 2.0 activity diagram into colored Petri nets Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology, (128-133)
- Padberg J, Hoffmann K, Ehrig H, Modica T, Biermann E and Ermel C Maintaining consistency in layered architectures of mobile ad-hoc networks Proceedings of the 10th international conference on Fundamental approaches to software engineering, (383-397)
- Klein F and Giese H Joint structural and temporal property specification using timed story scenario diagrams Proceedings of the 10th international conference on Fundamental approaches to software engineering, (185-199)
- Blieberger J (2006). Average case analysis of DJ graphs, Journal of Discrete Algorithms, 4:4, (649-675), Online publication date: 1-Dec-2006.
- Drewes F, Hoffmann B, Janssens D, Minas M and Van Eetvelde N Adaptive star grammars Proceedings of the Third international conference on Graph Transformations, (77-91)
- Edelkamp S, Jabbar S and Lafuente A Heuristic search for the analysis of graph transition systems Proceedings of the Third international conference on Graph Transformations, (414-429)
- Geiß R, Batz G, Grund D, Hack S and Szalkowski A GrGen Proceedings of the Third international conference on Graph Transformations, (383-397)
- Varró D, Varró–Gyapay S, Ehrig H, Prange U and Taentzer G Termination analysis of model transformations by petri nets Proceedings of the Third international conference on Graph Transformations, (260-274)
- Hölscher K, Kreowski H and Kuske S Autonomous units and their semantics — the sequential case Proceedings of the Third international conference on Graph Transformations, (245-259)
- Bruni R and Melgratti H Dynamic graph transformation systems Proceedings of the Third international conference on Graph Transformations, (230-244)
- Baldan P, Corradini A, Foss L and Gadducci F Graph transactions as processes Proceedings of the Third international conference on Graph Transformations, (199-214)
- Velasco P and de Lara J Matrix approach to graph transformation Proceedings of the Third international conference on Graph Transformations, (122-137)
- Bruni R, Melgratti H and Montanari U Event structure semantics for nominal calculi Proceedings of the 17th international conference on Concurrency Theory, (295-309)
- Baar T and Whittle J On the usage of concrete syntax in model transformation rules Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics, (84-97)
- Gurevich Y and Wallace C Can abstract state machines be useful in language theory? Proceedings of the 10th international conference on Developments in Language Theory, (14-19)
- Kastenberg H, Kleppe A and Rensink A Defining object-oriented execution semantics using graph transformations Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, (186-201)
- Mens T and Straeten R Incremental resolution of model inconsistencies Proceedings of the 18th international conference on Recent trends in algebraic development techniques, (111-126)
- Kreowski H and Kuske S Autonomous units and their semantics Proceedings of the 18th international conference on Recent trends in algebraic development techniques, (56-73)
- Baldan P, Corradini A, König B and Lafuente A A temporal graph logic for verification of graph transformation systems Proceedings of the 18th international conference on Recent trends in algebraic development techniques, (1-20)
- Becker B, Beyer D, Giese H, Klein F and Schilling D Symbolic invariant verification for systems with dynamic structural adaptation Proceedings of the 28th international conference on Software engineering, (72-81)
- Whittle J, Araújo J and Moreira A Composing aspect models with graph transformations Proceedings of the 2006 international workshop on Early aspects at ICSE, (59-65)
- Rensink A and Distefano D (2006). Abstract Graph Transformation, Electronic Notes in Theoretical Computer Science (ENTCS), 157:1, (39-59), Online publication date: 1-May-2006.
- Kastenberg H and Rensink A Model checking dynamic states in GROOVE Proceedings of the 13th international conference on Model Checking Software, (299-305)
- Koch M and Pauls K Engineering self-protection for autonomous systems Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering, (33-47)
- König B and Kozioura V Counterexample-Guided abstraction refinement for the analysis of graph transformation systems Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems, (197-211)
- Baldan P, Haar S and König B Distributed unfolding of petri nets Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures, (126-141)
- Lengyel L, Levendovszky T, Mezei G and Charaf H A visual control flow language Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, (30-35)
- Baar T, Marković S, Fondement F and Strohmeier A Definition and correct refinement of operation specifications Dependable Systems, (127-144)
- König B (2005). A general framework for types in graph rewriting, Acta Informatica, 42:4-5, (349-388), Online publication date: 1-Dec-2005.
- Lluch-Lafuente A and Montanari U (2005). Quantitative μ-calculus and CTL defined over constraint semirings, Theoretical Computer Science, 346:1, (135-160), Online publication date: 23-Nov-2005.
- Lengyel L, Levendovszky T and Charaf H Weaving aspect-oriented constraints into metamodel-based model transformation steps Proceedings of the 10th Panhellenic conference on Advances in Informatics, (393-403)
- Fondement F and Baar T Making metamodels aware of concrete syntax Proceedings of the First European conference on Model Driven Architecture: foundations and Applications, (190-204)
- Ferrari G, Hirsch D, Lanese I, Montanari U and Tuosto E Synchronised hyperedge replacement as a model for service oriented computing Proceedings of the 4th international conference on Formal Methods for Components and Objects, (22-43)
- Dotti F, Mendizabal O and dos Santos O Verifying fault-tolerant distributed systems using object-based graph grammars Proceedings of the Second Latin-American conference on Dependable Computing, (80-100)
- Valderas P, Fons J and Pelechano V Transforming web requirements into navigational models Proceedings of the 24th international conference on Conceptual Modeling, (320-336)
- Yamamoto M, Tanabe Y, Takahashi K and Hagiya M Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification Verified Software: Theories, Tools, Experiments, (518-527)
- Baar T OCL and graph-transformations Proceedings of the 2005 international conference on Satellite Events at the MoDELS, (20-31)
- Schattkowsky T and Lohmann M UML model mappings for platform independent user interface design Proceedings of the 2005 international conference on Satellite Events at the MoDELS, (201-209)
- Giese H Modeling and verification of cooperative self-adaptive mechatronic systems Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms, (258-280)
- Grabska E and Strug B Applying cooperating distributed graph grammars in computer aided design Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics, (567-574)
- Strug B Hierarchical representation and operators in evolutionary design Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics, (447-454)
- Tomita K, Murata S, Kamimura A and Kurokawa H Self-description for construction and execution in graph rewriting automata Proceedings of the 8th European conference on Advances in Artificial Life, (705-715)
- Valderas P, Fons J and Pelechano V From web requirements to navigational design – a transformational approach Proceedings of the 5th international conference on Web Engineering, (506-511)
- Tichy M, Giese H, Schilling D and Pauls W (2005). Computing optimal self-repair actions, ACM SIGSOFT Software Engineering Notes, 30:4, (7-6), Online publication date: 1-Jul-2005.
- Koch M, Mancini L and Parisi-Presicce F (2005). Graph-based specification of access control policies, Journal of Computer and System Sciences, 71:1, (1-33), Online publication date: 1-Jul-2005.
- Koch M and Pauls K An access control language for dynamic systems – model-driven development and verification Proceedings of the 12th international conference on Model Driven, (16-31)
- Hoffmann K, Ehrig H and Mossakowski T High-level nets with nets and rules as tokens Proceedings of the 26th international conference on Applications and Theory of Petri Nets, (268-288)
- Tichy M, Giese H, Schilling D and Pauls W Computing optimal self-repair actions Proceedings of the 2005 workshop on Architecting dependable systems, (7-6)
- Reussner R, Happe J and Habel A Modelling parametric contracts and the state space of composite components by graph grammars Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering, (80-95)
- Ehrig H, Ehrig K, de Lara J, Taentzer G, Varró D and Varró-Gyapay S Termination criteria for model transformation Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering, (49-63)
- Heckel R and Mariani L Automatic conformance testing of web services Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering, (34-48)
- Xing C and Belkhouche B The movable point problem and its resolution in object type graphs Proceedings of the 43rd annual ACM Southeast Conference - Volume 2, (315-320)
- Rensink A (2005). Time and Space Issues in the Generation of Graph Transition Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 127:1, (127-139), Online publication date: 1-Mar-2005.
- Agrawal A, Vizhanyo A, Kalmar Z, Shi F, Narayanan A and Karsai G (2005). Reusable Idioms and Patterns in Graph Transformation Languages, Electronic Notes in Theoretical Computer Science (ENTCS), 127:1, (181-192), Online publication date: 1-Mar-2005.
- Varró G, Friedl K and Varró D (2005). Graph Transformation in Relational Databases, Electronic Notes in Theoretical Computer Science (ENTCS), 127:1, (167-180), Online publication date: 1-Mar-2005.
- Szuba J (2005). New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD, Electronic Notes in Theoretical Computer Science (ENTCS), 127:1, (141-156), Online publication date: 1-Mar-2005.
- Dotti F, Duarte L, Foss L, Ribeiro L, Russi D and dos Santos O (2005). An Environment for the Development of Concurrent Object-Based Applications, Electronic Notes in Theoretical Computer Science (ENTCS), 127:1, (3-13), Online publication date: 1-Mar-2005.
- Brandenburg F and Skodinis K (2005). Finite graph automata for linear and boundary graph languages, Theoretical Computer Science, 332:1-3, (199-232), Online publication date: 28-Feb-2005.
- Levendovszky T, Lengyel L and Charaf H A UML class diagram-based pattern language for model transformation systems Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems, (1-6)
- Levendovszky T, Lengyel L and Charaf H Extending the DPO approach for topological validation of metamodel-level graph rewriting rules Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems, (1-6)
- Lengyel L, Levendovszky T and Charaf H (2005). Constraint validation support in visual model transformation systems, Acta Cybernetica, 17:2, (339-357), Online publication date: 10-Jan-2005.
- Klein F and Giese H Separation of concerns for mechatronic multi-agent systems through dynamic communities Software Engineering for Multi-Agent Systems III, (272-289)
- Janssens D, Kreowski H and Rozenberg G Main concepts of networks of transformation units with interlinking semantics Formal Methods in Software and Systems Modeling, (325-342)
- Schneider H Changing labels in the double-pushout approach can be treated categorically Formal Methods in Software and Systems Modeling, (134-149)
- Hoffmann B Graph transformation with variables Formal Methods in Software and Systems Modeling, (101-115)
- Baldan P and Corradini A On the concurrent semantics of algebraic graph grammars Formal Methods in Software and Systems Modeling, (3-23)
- Pankratius V and Stucky W A formal foundation for workflow composition, workflow view definition, and workflow normalization based on petri nets Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43, (79-88)
- Courcelle B Recognizable sets of graphs, hypergraphs and relational structures Proceedings of the 8th international conference on Developments in Language Theory, (1-11)
- Lanese I and Montanari U (2004). A Graphical Fusion Calculus, Electronic Notes in Theoretical Computer Science (ENTCS), 104, (199-215), Online publication date: 1-Nov-2004.
- Guo P and Heckel R Modeling and Simulation of Context-Aware Mobile Systems Proceedings of the 19th IEEE international conference on Automated software engineering, (430-433)
- Holdsworth J (2004). Graph traversal and graph transformation, Theoretical Computer Science, 321:2-3, (215-231), Online publication date: 16-Aug-2004.
- Shan B Stochastic context-free graph grammars for glycoprotein modelling Proceedings of the 9th international conference on Implementation and Application of Automata, (247-258)
- Limbourg Q, Vanderdonckt J, Michotte B, Bouillon L and López-Jaquero V USIXML Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems, (200-220)
- Koch M, Mancini L and Parisi-Presicce F Administrative scope in the graph-based framework Proceedings of the ninth ACM symposium on Access control models and technologies, (97-104)
- Klein M and Bernstein A (2004). Toward High-Precision Service Retrieval, IEEE Internet Computing, 8:1, (30-36), Online publication date: 1-Jan-2004.
- Koch M and Parisi-Presicce F Formal access control analysis in the software development process Proceedings of the 2003 ACM workshop on Formal methods in security engineering, (67-76)
- Agrawal A Metamodel based model transformation language Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (386-387)
- Agrawal A Metamodel based model transformation language to facilitate domain specific model driven architecture Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (118-119)
- Agrawal A, Karsai G and Ledeczi A An end-to-end domain-driven software development framework Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (8-15)
- Agrawal A Graph rewriting and transformation (GReAT) Proceedings of the 18th IEEE International Conference on Automated Software Engineering, (364-368)
- Varró D and Pataricza A (2003). VPM, Software and Systems Modeling (SoSyM), 2:3, (187-210), Online publication date: 1-Oct-2003.
- Stein D, Hanenberg S and Unland R A graphical notation to specify model queries for MDA transformations on UML models Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications, (77-92)
- Burmester S, Giese H and Tichy M Model-driven development of reconfigurable mechatronic systems with MECHATRNOIC UML Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications, (47-61)
- Koch M and Parisi-Presicce F Visual specifications of policies and their verification Proceedings of the 6th international conference on Fundamental approaches to software engineering, (278-293)
- Heckel R and Lohmann M Model-based development of web applications using graphical reaction rules Proceedings of the 6th international conference on Fundamental approaches to software engineering, (170-183)
- Hoffmann B (2003). Abstraction and control for shapely nested graph transformation, Fundamenta Informaticae, 58:1, (39-65), Online publication date: 1-Mar-2003.
- Hoffmann B (2003). Abstraction and Control for Shapely Nested Graph Transformation, Fundamenta Informaticae, 58:1, (39-65), Online publication date: 1-Jan-2003.
- Koch M, Mancini L and Parisi-Presicce F (2002). A graph-based formalism for RBAC, ACM Transactions on Information and System Security, 5:3, (332-365), Online publication date: 1-Aug-2002.
- Niere J Fuzzy logic based interactive recovery of software design Proceedings of the 24th International Conference on Software Engineering, (727-728)
- Woodside M, Petriu D and Siddiqui K Performance-related completions for software specifications Proceedings of the 24th International Conference on Software Engineering, (22-32)
- Baldan P, Corradini A and Montanari U Bisimulation equivalences for graph grammars Formal and natural computing, (158-187)
- Zhang K, Zhang D and Deng Y (2001). Graphical Transformation of Multimedia XML Documents, Annals of Software Engineering, 12:1, (119-137), Online publication date: 28-Dec-2001.
- Bohnet B and Wanner L On using a parallel graph rewriting formalism in generation Proceedings of the 8th European workshop on Natural Language Generation - Volume 8, (1-11)
- Koch M, Mancini L and Parisi-Presicce F On the specification and evolution of access control policies Proceedings of the sixth ACM symposium on Access control models and technologies, (121-130)
- Tidswell J and Potter J A graphical definition of authorization schema in the DTAC model Proceedings of the sixth ACM symposium on Access control models and technologies, (109-120)
- Engels G, Hausmann J, Heckel R and Sauer S Dynamic meta modeling Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (323-337)
- Bottoni P, Koch M, Parisi-Presicce F and Taentzer G Consistency checking and visualization of OCL constraints Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (294-308)
- Köhler H, Nickel U, Niere J and Zündorf A Integrating UML diagrams for production control systems Proceedings of the 22nd international conference on Software engineering, (241-251)
- Engels G, Heckel R, Taentzer G and Ehrig H (1997). A view-oriented approach to system modelling based on graph transformation, ACM SIGSOFT Software Engineering Notes, 22:6, (327-343), Online publication date: 1-Nov-1997.
- Engels G, Heckel R, Taentzer G and Ehrig H A view-oriented approach to system modelling based on graph transformation Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering, (327-343)
- Giese H, Vogel T and Wätzoldt S Towards Smart Systems of Systems Fundamentals of Software Engineering, (1-29)
Index Terms
- Handbook of graph grammars and computing by graph transformation: volume I. foundations
Recommendations
Transformation graph G-+-
The transformation graph G^-^+^- of a graph G is the graph with vertex set V(G)@?E(G), in which two vertices u and v are joined by an edge if one of the following conditions holds: (i) u,v@?V(G) and they are not adjacent in G, (ii) u,v@?E(G) and they ...
The transformation graph Gxyz when xyz=-++
The transformation graph G^-^+^+ of G is the graph with vertex set V(G)@?E(G) in which the vertex x and y are joined by an edge if one of the following conditions holds: (i) x,y@?V(G), and x and y are not adjacent in G, (ii) x,y@?E(G), and x and y are ...
Collapsible subgraphs of a 4-edge-connected graph
AbstractJaeger in 1979 showed that every 4-edge-connected graph is supereulerian, graphs that have spanning eulerian subgraphs. Catlin in 1988 sharpened Jaeger’s result by showing that every 4-edge-connected graph is collapsible, graphs that ...