BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
graph transformation
Google graph transformation

Tag #graph transformation

258 papers:

KDDKDD-2019-Do0V #network #policy #predict
Graph Transformation Policy Network for Chemical Reaction Prediction (KD, TT0, SV), pp. 750–760.
ECMFAECMFA-2018-RutleIKD #automation #co-evolution #modelling #traceability #using
Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation (AR, LI, HK, ZD), pp. 80–96.
ICSE-2018-Lambers0TBH #analysis #dependence #multi #re-engineering
Multi-granular conflict and dependency analysis in software engineering based on graph transformation (LL, DS0, GT, KB, JH), pp. 716–727.
PEPMPEPM-2017-MatsudaA #functional #reduction
A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction (KM, KA), pp. 71–82.
FASEFASE-2017-ZschalerD #composition #flexibility #product line
GTS Families for the Flexible Composition of Graph Transformation Systems (SZ, FD), pp. 208–225.
TAPTAP-2016-GabmeyerS #hardware #lightweight #model checking #off the shelf #verification
Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers (SG, MS), pp. 94–111.
TAPTAP-2016-MakhloufTPS #static analysis
Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations (AM, HNT, CP, MS), pp. 183–190.
GaMGaM-2015-KulcsarDLVS #detection
Improved Conflict Detection for Graph Transformation with Attributes (GK, FD, ML, GV, AS), pp. 97–112.
GCMGCM-2015-MaignanS
Global Graph Transformations (LM, AS), pp. 34–49.
ICGTICGT-2015-Bruggink0NZ #graph #proving #termination #using
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (HJSB, BK, DN, HZ), pp. 52–68.
ICGTICGT-2015-MachadoRH #evolution
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (RM, LR, RH), pp. 171–186.
ICGTICGT-2015-Oliveira #reachability #slicing
Reachability in Graph Transformation Systems and Slice Languages (MdOO), pp. 121–137.
ICGTICGT-2015-Stuckrath #analysis #named #using #verification
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems (JS), pp. 266–274.
ICGTICGT-2015-TaentzerG #analysis #confluence #towards
Towards Local Confluence Analysis for Amalgamated Graph Transformation (GT, UG), pp. 69–86.
ICGTICGT-2015-WeberDP #formal method #monitoring #using
Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence (JHW, SD, MP), pp. 205–220.
BXBX-2015-HidakaBTM #analysis #approach #bidirectional
Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations (SH, MB, QMT, KM), pp. 51–65.
ICMTICMT-2015-KlugeVS #algorithm #design
A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation (RK, GV, AS), pp. 199–213.
ICMTICMT-2015-RichaBP #algebra #atl #model transformation
Translating ATL Model Transformations to Algebraic Graph Transformations (ER, EB, LP), pp. 183–198.
VMCAIVMCAI-2015-BackesR #abstraction #analysis #clustering #infinity
Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction (PB, JR), pp. 135–152.
GRAPHITEGRAPHITE-2014-Ziegert #abstraction
Graph Transformation Planning via Abstraction (SZ), pp. 71–83.
GT-VMTGT-VMT-2014-DeckwerthV #constraints #generative #higher-order
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation (FD, GV).
ICGTICGT-2014-BelhaouariAGB #geometry #library #modelling #named
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling (HB, AA, PLG, TB), pp. 269–284.
ICGTICGT-2014-Bruggink #mining #process #towards
Towards Process Mining with Graph Transformation Systems (HJSB), pp. 253–268.
ICGTICGT-2014-KonigLSW
Van Kampen Squares for Graph Transformation (HK, ML, CS, UW), pp. 222–236.
ICGTICGT-2014-KreowskiKLL #evaluation #generative #synthesis
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis (HJK, SK, AL, ML), pp. 237–252.
AMTAMT-2014-RichaBPBR #algebra #model transformation #testing #towards #using
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
FASEFASE-2014-KrauseTG #implementation #parallel
Implementing Graph Transformations in the Bulk Synchronous Parallel Model (CK, MT, HG), pp. 325–339.
FASEFASE-2014-LoweKS #category theory #polymorphism
Polymorphic Single-Pushout Graph Transformation (ML, HK, CS), pp. 355–369.
SEFMSEFM-2013-PerceboisST #invariant #transitive #verification
Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure (CP, MS, HNT), pp. 106–121.
GCMGCM-J-2012-ErmlerKLT #reduction
A Graph Transformational View on Reductions in NP (ME, SK, ML, CvT).
GCMGCM-J-2012-KniemeyerK #model transformation #named #transformation language
XL4C4D — Adding the Graph Transformation Language XL to CINEMA 4D (OK, WK).
GT-VMTGT-VMT-2013-AlshanqitiHK #learning
Learning Minimal and Maximal Rules from Observations of Graph Transformations (AMA, RH, TAK).
GT-VMTGT-VMT-2013-Giese #behaviour #probability
Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior (HG).
GT-VMTGT-VMT-2013-MaximovaEE #analysis
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors (MM, HE, CE).
ICMTICMT-2013-KrauseDG #co-evolution #evolution #metamodelling
Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations (CK, JD, HG), pp. 76–91.
ICMTICMT-2013-WieberS #approach #testing
Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns (MW, AS), pp. 205–220.
PEPMPEPM-2013-Hu #aspect-oriented #bidirectional
Practical aspects of bidirectional graph transformations (ZH), pp. 1–2.
PPDPPPDP-2013-AsadaHKHN #branch #calculus #finite #graph #monad
A parameterized graph transformation calculus for finite graphs with monadic branches (KA, SH, HK, ZH, KN), pp. 73–84.
FASEFASE-2013-BapodraH #abstraction #probability
Abstraction and Training of Stochastic Graph Transformation Systems (MB, RH), pp. 312–326.
FoSSaCSFoSSaCS-2013-OrejasBGM #similarity
Checking Bisimilarity for Attributed Graph Transformation (FO, AB, UG, NM), pp. 113–128.
RTARTA-2012-BertrandDKSS #decidability #on the #reachability
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems (NB, GD, BK, AS, JS), pp. 101–116.
SFMSFM-2012-GieseLBHNVW #adaptation #modelling #runtime
Graph Transformations for MDE, Adaptation, and Models at Runtime (HG, LL, BB, SH, SN, TV, SW), pp. 137–191.
GT-VMTGT-VMT-2012-AnjorinOZS #modelling #optimisation #product line #testing
Optimizing Model-Based Software Product Line Testing with Graph Transformations (AA, SO, IZ, AS).
GT-VMTGT-VMT-2012-ArijoH #generative #modelling
View-based Modelling and State-Space Generation for Graph Transformation Systems (NA, RH).
GT-VMTGT-VMT-2012-GhamarianR
Graph Passing in Graph Transformation (AHG, AR).
GT-VMTGT-VMT-2012-NatschlagerS #algebra #approach #graph #inheritance
A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation (CN, KDS).
ICGTICGT-2012-BergmannHH #database #incremental #modelling #relational
Applying Incremental Graph Transformation to Existing Models in Relational Databases (GB, DH, ÁH), pp. 371–385.
ICGTICGT-2012-DuvalEP
Graph Transformation with Focus on Incident Edges (DD, RE, FP), pp. 156–171.
ICGTICGT-2012-GhamarianR #composition
Generalised Compositionality in Graph Transformation (AHG, AR), pp. 234–248.
ICGTICGT-2012-HeckelEGH #concurrent #parallel #probability
Parallelism and Concurrency of Stochastic Graph Transformations (RH, HE, UG, FH), pp. 96–110.
ICGTICGT-2012-KonigS
Well-Structured Graph Transformation Systems with Negative Application Conditions (BK, JS), pp. 81–95.
ICGTICGT-2012-KrauseG #probability
Probabilistic Graph Transformation Systems (CK, HG), pp. 311–325.
ICGTICGT-2012-Lowe #algebra #framework #graph grammar
Refined Graph Rewriting in Span-Categories — A Framework for Algebraic Graph Transformation (ML), pp. 111–125.
ICGTICGT-2012-Ong #multi #programming language #rule-based #using
Multi-scale Rule-Based Graph Transformation Using the Programming Language XL (YO), pp. 417–419.
ICGTICGT-2012-SerbanutaR #concurrent #framework #semantics #𝕂
A Truly Concurrent Semantics for the 𝕂 Framework Based on Graph Transformations (TFS, GR), pp. 294–310.
ICGTICGT-2012-WestfechtelN #evolution
Graph Transformations for Evolving Domain Knowledge (BW, MN), pp. 341–355.
EDOCEDOC-2012-BinzLNS #analysis #enterprise #segmentation
Improving the Manageability of Enterprise Topologies Through Segmentation, Graph Transformation, and Analysis Strategies (TB, FL, AN, DS), pp. 61–70.
ICSTICST-2012-MeszarosL
Verified Operational Patterns with Graph Transformation (TM, TL), pp. 954–961.
ICSTICST-2012-TranP #framework #towards #verification
Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations (HNT, CP), pp. 946–953.
GCMGCM-2010-GolasBEE11 #interpreter #semantics #visual notation
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation (UG, EB, HE, CE).
AGTIVEAGTIVE-2011-BuchmannWW #case study #configuration management
The Added Value of Programmed Graph Transformations — A Case Study from Software Configuration Management (TB, BW, SW), pp. 198–209.
AGTIVEAGTIVE-2011-ErmlerKKT
From Graph Transformation Units via MiniSat to GrGen.NET (ME, HJK, SK, CvT), pp. 153–168.
AGTIVEAGTIVE-2011-LaraG #reuse
Reusable Graph Transformation Templates (JdL, EG), pp. 35–50.
AGTIVEAGTIVE-2011-MantzJT #concept #consistency #evolution #metamodelling #migration
Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration (FM, SJ, GT), pp. 3–18.
AGTIVEAGTIVE-2011-RossiniLGRL #metamodelling #semantics
A Graph Transformation-Based Semantics for Deep Metamodelling (AR, JdL, EG, AR, YL), pp. 19–34.
AGTIVEAGTIVE-2011-RungeET #algebra #specification
AGG 2.0 — New Features for Specifying and Analyzing Algebraic Graph Transformations (OR, CE, GT), pp. 81–88.
AGTIVEAGTIVE-2011-Strecker #locality #reasoning
Locality in Reasoning about Graph Transformations (MS), pp. 169–181.
AGTIVEAGTIVE-2011-StroblM #diagrams #editing #generative #state machine
Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors (TS, MM), pp. 65–80.
AGTIVEAGTIVE-2011-TichyK #adaptation #self
Planning Self-adaption with Graph Transformations (MT, BK), pp. 137–152.
GT-VMTGT-VMT-2011-DuvalEP #category theory #term rewriting
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation (DD, RE, FP).
ICMTICMT-J-2010-GronmoM11 #diagrams #sequence chart #state machine #uml
From UML 2 Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 182–203.
BXBX-2011-Hidaka #bidirectional #recursion
Bidirectional Graph Transformations based on Structural Recursion (SH), p. 59.
LOPSTRLOPSTR-2011-HidakaHIKMNS #optimisation
Marker-Directed Optimization of UnCAL Graph Transformations (SH, ZH, KI, HK, KM, KN, IS), pp. 123–138.
ICALPICALP-v2-2010-Rensink #composition
Compositionality in Graph Transformation (AR), pp. 309–320.
ICFPICFP-2010-HidakaHIKMN #bidirectional
Bidirectionalizing graph transformations (SH, ZH, KI, HK, KM, KN), pp. 205–216.
GT-VMTGT-VMT-2010-TorriniHRB #probability
Stochastic Graph Transformation with Regions (PT, RH, IR, GB).
ICGTICGT-2010-Biermann #emf #formal method #model transformation
EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment (EB), pp. 381–383.
ICGTICGT-2010-BrandtH #enterprise #how #modelling #question
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? (CB, FH), pp. 3–26.
ICGTICGT-2010-Hulsbusch #bisimulation
Bisimulation Theory for Graph Transformation Systems (MH), pp. 391–393.
ICGTICGT-2010-Kahl #category theory
Amalgamating Pushout and Pullback Graph Transformation in Collagories (WK), pp. 362–378.
ICGTICGT-2010-KonigE #specification #verification
Verification of Graph Transformation Systems with Context-Free Specifications (BK, JE), pp. 107–122.
ICGTICGT-2010-KreowskiKW #satisfiability
Graph Transformation Units Guided by a SAT Solver (HJK, SK, RW), pp. 27–42.
ICGTICGT-2010-LaraGBHT #simulation
Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.
ICGTICGT-2010-OrejasL #constraints #theorem proving
Delaying Constraint Solving in Symbolic Graph Transformation (FO, LL), pp. 43–58.
ICGTICGT-2010-Qayum #automation #refactoring #search-based #using
Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems (FQ), pp. 407–409.
ICGTICGT-2010-Zambon #abstraction #using #verification
Using Graph Transformations and Graph Abstractions for Software Verification (EZ), pp. 416–418.
EDOCEDOC-2010-Gronmo #aspect-oriented #question
Can Graph Transformation Make Aspect Languages for BPEL Redundant? (RG), pp. 153–162.
ICMTICMT-2010-CabotCGL #ocl #synthesis
Synthesis of OCL Pre-conditions for Graph Transformation Rules (JC, RC, EG, JdL), pp. 45–60.
ICMTICMT-2010-GronmoM #diagrams #sequence chart #state machine
From Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 93–107.
SLESLE-2010-BraatzB #algebra #domain-specific language #modelling #rdf
Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF (BB, CB), pp. 82–101.
FASEFASE-2010-TorriniHR #probability #simulation
Stochastic Simulation of Graph Transformation Systems (PT, RH, IR), pp. 154–157.
IFMIFM-2009-LangariT #verification
Application of Graph Transformation in Verification of Dynamic Systems (ZL, RJT), pp. 261–276.
RTARTA-2009-DuvalEP #approach #category theory
A Heterogeneous Pushout Approach to Term-Graph Transformation (DD, RE, FP), pp. 194–208.
GT-VMTGT-VMT-2009-BergmannRV #incremental #parallel #pattern matching
Parallelization of Graph Transformation Based on Incremental Pattern Matching (GB, IR, DV), pp. 100–114.
GT-VMTGT-VMT-2009-RensinkK
Repotting the Geraniums: On Nested Graph Transformation Rules (AR, JHK), pp. 23–37.
GT-VMTGT-VMT-2009-WestK #editing #framework #haskell #visualisation
A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell (SW, WK), pp. 171–188.
ICMLICML-2009-KunegisL #learning #predict
Learning spectral graph transformations for link prediction (JK, AL), pp. 561–568.
SEKESEKE-2009-MomeniRSR #approach #network
A Graph Transformation-based Approach to Task Allocation in Wireless Sensor Actor Networks (HM, VR, MS, ATR), pp. 609–612.
ICMTICMT-2009-GronmoKM
A Collection Operator for Graph Transformation (RG, SK, BMP), pp. 67–82.
MODELSMoDELS-2009-JurackT #concept #distributed #model transformation #towards #using
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
MODELSMoDELS-2009-JurackT #concept #distributed #model transformation #towards #using
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
ICSEICSE-2009-GhezziMM #behaviour #modelling
Synthesizing intensional behavior models by graph transformation (CG, AM, MM), pp. 430–440.
PDPPDP-2009-ZhaoMLHH #approach #architecture #evolution #runtime
A Graph Transformation based Approach for Runtime Constrained Evolution of Service-Oriented Architectures (YZ, DM, ML, CH, YH), pp. 203–209.
ICLPICLP-2009-Raiser #constraints #using
Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules (FR), pp. 540–541.
GT-VMTGT-VMT-2006-DarabosPV08 #implementation #testing #towards
Towards Testing the Implementation of Graph Transformations (AD, AP, DV), pp. 75–85.
GT-VMTGT-VMT-2006-KonigK08 #analysis
Augur 2 — A New Version of a Tool for the Analysis of Graph Transformation Systems (BK, VK), pp. 201–210.
GT-VMTGT-VMT-2006-LambersEO08 #detection #performance
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (LL, HE, FO), pp. 17–26.
GT-VMTGT-VMT-2006-Lanese08
Exploiting User-definable Synchronizations in Graph Transformation (IL), pp. 27–38.
GT-VMTGT-VMT-2006-MinasH08 #programming
An Example of Cloning Graph Transformation Rules for Programming (MM, BH), pp. 241–250.
GT-VMTGT-VMT-2006-RensinkN08 #qvt #semantics
Graph Transformation Semantics for a QVT Language (AR, RN), pp. 51–62.
GT-VMTGT-VMT-2006-Varro08 #database #implementation #independence #plugin #query #using
Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries (GV), pp. 121–132.
GT-VCGT-VC-2007-BaresiRRS08 #model checking #performance
An Efficient Solution for Model Checking Graph Transformation Systems (LB, VR, ATR, PS), pp. 3–21.
GT-VCGT-VC-2007-Bruggink08 #proving #termination #towards
Towards a Systematic Method for Proving Termination of Graph Transformation Systems (HJSB), pp. 23–38.
GT-VMTGT-VMT-2008-BaresiGMM #abstraction #using #verification
Using Graph Transformation Systems to Specify and Verify Data Abstractions (LB, CG, AM, MM).
GT-VMTGT-VMT-2008-BraatzB #framework
Graph Transformations for the Resource Description Framework (BB, CB).
GT-VMTGT-VMT-2008-GrabskaSL #design #reasoning #using #visual notation
Visual Design and Reasoning with the Use of Hypergraph Transformations (EG, GMS, TLL).
GT-VMTGT-VMT-2008-Gruner #mobile #network
Graph Transformation Model of a Triangulated Network of Mobile Units (SG).
ICGTICGT-2008-BergmannHRV #benchmark #evaluation #incremental #metric #pattern matching
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation (GB, ÁH, IR, DV), pp. 396–410.
ICGTICGT-2008-Heckel #tutorial
Tutorial Introduction to Graph Transformation (RH), pp. 458–459.
ICGTICGT-2008-Horvath #approach #towards #verification
Towards a Two Layered Verification Approach for Compiled Graph Transformation (ÁH), pp. 499–501.
ICGTICGT-2008-Khan #analysis #configuration management #modelling #network #using
Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems (AK), pp. 502–504.
ICGTICGT-2008-KonigK #towards #verification
Towards the Verification of Attributed Graph Transformation Systems (BK, VK), pp. 305–320.
ICGTICGT-2008-LambersEPO #confluence
Embedding and Confluence of Graph Transformations with Negative Application Conditions (LL, HE, UP, FO), pp. 162–177.
ICGTICGT-2008-Pennemann08a #development
Development of Correct Graph Transformation Systems (KHP), pp. 508–510.
ICGTICGT-2008-PoudretACG #modelling
Graph Transformation for Topology Modelling (MP, AA, JPC, PLG), pp. 147–161.
ICGTICGT-2008-YuH #query #semantics #web
Graph Transformation for the Semantic Web: Queries and Inference Rules (HY, YH), pp. 511–513.
SEKESEKE-2008-AltahatET #analysis #detection #diagrams #interactive #uml
Applying Critical Pair Analysis in Graph Transformation Systems to Detect Syntactic Aspect Interaction in UML State Diagrams (ZA, TE, LT), pp. 905–911.
BXBX-2008-Hidaka1 #bidirectional #using
Bidirectional Graph Transformation using UnCAL (SH), p. 43.
ICMTICMT-2008-CabotCGL #ocl
Analysing Graph Transformation Rules through OCL (JC, RC, EG, JdL), pp. 229–244.
MODELSMoDELS-2008-BiermannET #emf #model transformation #precise #semantics
Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
MODELSMoDELS-2008-BiermannET #emf #model transformation #precise #semantics
Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
CAVCAV-2008-JoshiK #theorem #verification
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems (SJ, BK), pp. 214–226.
AGTIVEAGTIVE-2007-AmelunxenLSS #guidelines #modelling
Checking and Enforcement of Modeling Guidelines with Graph Transformations (CA, EL, AS, IS), pp. 313–328.
AGTIVEAGTIVE-2007-AnandK #assembly #generative
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code (CKA, WK), pp. 217–232.
AGTIVEAGTIVE-2007-BuchmannDUW #case study #comparative #development #modelling
Model-Driven Software Development with Graph Transformations: A Comparative Case Study (TB, AD, SU, BW), pp. 345–360.
AGTIVEAGTIVE-2007-DrewesHJME
Shaped Generic Graph Transformation (FD, BH, DJ, MM, NVE), pp. 201–216.
AGTIVEAGTIVE-2007-FussT #algorithm #model transformation #simulation #transformation language
Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages (CF, VET), pp. 442–455.
AGTIVEAGTIVE-2007-GogollaBD #ocl #using
From Graph Transformation to OCL Using USE (MG, FB, DHD), pp. 585–586.
AGTIVEAGTIVE-2007-KniemeyerBHK #approach #architecture #biology #parallel #relational
Relational Growth Grammars — A Parallel Graph Transformation Approach with Applications in Biology and Architecture (OK, GB, RH, WK), pp. 152–167.
AGTIVEAGTIVE-2007-LeenheerM #collaboration #evolution #ontology #using
Using Graph Transformation to Support Collaborative Ontology Evolution (PDL, TM), pp. 44–58.
AGTIVEAGTIVE-2007-RensinkDEJKLMSZ #case study #named #tool support
Ludo: A Case Study for Graph Transformation Tools (AR, AD, CE, SJ, OK, JdL, SM, TS, AZ), pp. 493–513.
AGTIVEAGTIVE-2007-RensinkT #contest
AGTIVE 2007 Graph Transformation Tool Contest (AR, GT), pp. 487–492.
AGTIVEAGTIVE-2007-TaentzerBBBBBGGHKMNPV #case study #generative #tool support
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools (GT, EB, DB, BB, IB, AB, LG, RG, ÁH, OK, TM, BN, DP, TV), pp. 514–539.
AGTIVEAGTIVE-2007-TaentzerMM #refactoring #specification
Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation (GT, DM, TM), pp. 104–119.
AGTIVEAGTIVE-2007-VarroABBDGGGKNRW #case study #csp #modelling #tool support #uml
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools (DV, MA, DB, AB, DHD, RG, JG, PVG, OK, AN, ER, EW), pp. 540–565.
GT-VMTGT-VMT-2007-BalasubramanianNNSTK #model transformation #transformation language
A Subgraph Operator for Graph Transformation Languages (DB, AN, SN, FS, RT, GK).
GT-VMTGT-VMT-2007-BonevaHKR #multi #simulation #using
Simulating Multigraph Transformations Using Simple Graphs (IB, FH, HK, AR).
GT-VMTGT-VMT-2007-GuerraL #recursion
Adding Recursion to Graph Transformation (EG, JdL).
GT-VMTGT-VMT-2007-Paun
Membrane computing [and graph transformation] (GP).
SEKESEKE-2007-KoskerB #refactoring #uml
Synchronization of UML Based Refactoring with Graph Transformation (YK, ABB), pp. 232–237.
GTTSEGTTSE-2007-SeguraBCT #automation #feature model #modelling #using
Automated Merging of Feature Models Using Graph Transformations (SS, DB, ARC, PT), pp. 489–505.
FASEFASE-2007-RangerH #consistency #distributed
Ensuring Consistency Within Distributed Graph Transformation Systems (UR, TH), pp. 368–382.
ICLPICLP-2007-Raiser
Graph Transformation Systems in CHR (FR), pp. 240–254.
FMFM-2006-LangariT #communication #formal method #modelling #protocol
Formal Modeling of Communication Protocols by Graph Transformation (ZL, RJT), pp. 348–363.
ICGTICGT-2006-BaresiS #alloy #on the #using
On the Use of Alloy to Analyze Graph Transformation Systems (LB, PS), pp. 306–320.
ICGTICGT-2006-BruniM
Dynamic Graph Transformation Systems (RB, HCM), pp. 230–244.
ICGTICGT-2006-ButtnerG #sequence
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (FB, MG), pp. 398–413.
ICGTICGT-2006-DoddsP #constant
Graph Transformation in Constant Time (MD, DP), pp. 367–382.
ICGTICGT-2006-EhrigHL #analysis
Molecular Analysis of Metabolic Pathway with Graph Transformation (KE, RH, GL), pp. 107–121.
ICGTICGT-2006-EhrigOP #category theory #distributed
Categorical Foundations of Distributed Graph Transformation (HE, FO, UP), pp. 215–229.
ICGTICGT-2006-EngelsLSH #contract #design #modelling #monitoring
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract (GE, ML, SS, RH), pp. 336–350.
ICGTICGT-2006-GuerraL
Model View Management with Triple Graph Transformation Systems (EG, JdL), pp. 351–366.
ICGTICGT-2006-Heckel #tutorial
Introductory Tutorial on Foundations and Applications of Graph Transformation (RH), pp. 461–462.
ICGTICGT-2006-LambersEO #detection
Conflict Detection for Graph Transformation with Negative Application Conditions (LL, HE, FO), pp. 61–76.
ICGTICGT-2006-Rensink #quantifier
Nested Quantification in Graph Transformation Rules (AR), pp. 1–13.
ICGTICGT-2006-VelascoL #approach #matrix #sequence
Matrix Approach to Graph Transformation: Matching and Sequences (PPPV, JdL), pp. 122–137.
ECMFAECMDA-FA-2006-AmelunxenKRS #framework #metamodelling #named #standard
MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations (CA, AK, TR, AS), pp. 361–375.
TACASTACAS-2006-KonigK #abstraction #analysis #refinement
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems (BK, VK), pp. 197–211.
GTTSEGTTSE-2005-Mens #on the #refactoring #using
On the Use of Graph Transformations for Model Refactoring (TM), pp. 219–257.
SACSAC-2005-BaresiQ #documentation #xml
Graph transformation to infer schemata from XML documents (LB, EQ), pp. 642–646.
ICGTICGT-2004-BaldanKS #code generation #generative #testing
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems (PB, BK, IS), pp. 194–209.
ICGTICGT-2004-BaresiH #perspective #re-engineering #tutorial
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 431–433.
ICGTICGT-2004-BohlenR #concept #specification
Concepts for Specifying Complex Graph Transformation Systems (BB, UR), pp. 96–111.
ICGTICGT-2004-CherchagoH #specification #using #web #web service
Specification Matching of Web Services Using Conditional Graph Transformation Rules (AC, RH), pp. 304–318.
ICGTICGT-2004-CorradiniDFR #java
Translating Java Code to Graph Transformation Systems (AC, FLD, LF, LR), pp. 383–398.
ICGTICGT-2004-EhrigPT
Fundamental Theory for Typed Attributed Graph Transformation (HE, UP, GT), pp. 161–177.
ICGTICGT-2004-GuerraL #integration #metamodelling #towards
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation (EG, JdL), pp. 54–69.
ICGTICGT-2004-HabelH #independence #parallel
Parallel Independence in Hierarchical Graph Transformation (AH, BH), pp. 178–193.
ICGTICGT-2004-HarjuPR #tutorial
Tutorial on DNA Computing and Graph Transformation (TH, IP, GR), pp. 434–436.
ICGTICGT-2004-HeckelLM #probability
Stochastic Graph Transformation Systems (RH, GL, SM), pp. 210–225.
ICGTICGT-2004-Klempien-HinrichsKK #type system
Typing of Graph Transformation Units (RKH, HJK, SK), pp. 112–127.
ICGTICGT-2004-RensinkSV #comparison #model checking
Model Checking Graph Transformations: A Comparison of Two Approaches (AR, ÁS, DV), pp. 226–241.
ICGTICGT-2004-RosselloV #analysis
Analysis of Metabolic Pathways by Graph Transformation (FR, GV), pp. 70–82.
ICGTICGT-2004-YadavKS
The Potential of a Chemical Graph Transformation System (MKY, BPK, SMS), pp. 83–95.
FASEFASE-2004-BardohlELT #aspect-oriented #metamodelling #performance #visual notation
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation (RB, HE, JdL, GT), pp. 214–228.
AGTIVEAGTIVE-2003-AmselJ #aspect-oriented #component
Expressing Component-Relating Aspects with Graph Transformations (AA, DJ), pp. 149–162.
AGTIVEAGTIVE-2003-BottoniPT #distributed #refactoring #specification
Specifying Integrated Refactoring with Distributed Graph Transformations (PB, FPP, GT), pp. 220–235.
AGTIVEAGTIVE-2003-DepkeHH #design #modelling
Design of an Agent-Oriented Modeling Language Based on Graph Transformation (RD, JHH, RH), pp. 106–119.
AGTIVEAGTIVE-2003-GalaQT #navigation
Graph Transformation for Merging User Navigation Histories (MMG, EQ, LT), pp. 1–14.
AGTIVEAGTIVE-2003-Gatzemeier #authoring
Authoring Support Based on User-Serviceable Graph Transformation (FHG), pp. 170–185.
AGTIVEAGTIVE-2003-GeigerZ #testing
Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests (LG, AZ), pp. 61–74.
AGTIVEAGTIVE-2003-KarsaiA #architecture #modelling
Graph Transformations in OMG’s Model-Driven Architecture: (GK, AA), pp. 243–259.
AGTIVEAGTIVE-2003-LaraGV #analysis #hybrid #metamodelling #model checking
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems (JdL, EG, HV), pp. 292–298.
AGTIVEAGTIVE-2003-MarburgerW #analysis #behaviour
Behavioral Analysis of Telecommunication Systems by Graph Transformations (AM, BW), pp. 202–219.
AGTIVEAGTIVE-2003-QemaliT #towards #validation #web
Towards Validation of Session Management in Web Applications based on Graph Transformation (AQ, GT), pp. 15–29.
AGTIVEAGTIVE-2003-Rising #graph grammar #multi #semantics
MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia (HKR), pp. 369–382.
AGTIVEAGTIVE-2003-Rotschke #re-engineering #using
Re-engineering a Medical Imaging System Using Graph Transformations (TR), pp. 185–201.
AGTIVEAGTIVE-2003-Taentzer #modelling #named #validation
AGG: A Graph Transformation Environment for Modeling and Validation of Software (GT), pp. 446–453.
SASSAS-2003-BaldanKK #abstraction #logic
A Logic for Analyzing Abstractions of Graph Transformation Systems (PB, BK, BK), pp. 255–272.
CBSECBSE-2003-BaresiHTV #analysis #architecture #modelling
Modeling and Analysis of Architectural Styles Based on Graph Transformation (LB, RH, ST, DV), p. 12.
SCAMSCAM-2002-BunusF #combinator #declarative #equation #semantics
Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages (PB, PF), pp. 163–172.
IFMIFM-2002-KuskeGKK #diagrams #semantics #uml
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation (SK, MG, RK, HJK), pp. 11–28.
ICGTICGT-2002-BaldanK #approximate #behaviour
Approximating the Behaviour of Graph Transformation Systems (PB, BK), pp. 14–29.
ICGTICGT-2002-BaresiH #perspective #re-engineering #tutorial
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 402–429.
ICGTICGT-2002-BeckPS #problem #scheduling
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems (JCB, PP, ES), pp. 60–74.
ICGTICGT-2002-GyapayHV #logic
Graph Transformation with Time: Causality and Logical Clocks (SG, RH, DV), pp. 120–134.
ICGTICGT-2002-HabelP
Relabelling in Graph Transformation (AH, DP), pp. 135–147.
ICGTICGT-2002-HarjuPR #assembly #tutorial
Tutorial on DNA Computing and Graph Transformation — Computational Nature of Gene Assembly in Ciliates (TH, IP, GR), pp. 430–434.
ICGTICGT-2002-HeckelKT #confluence
Confluence of Typed Attributed Graph Transformation Systems (RH, JMK, GT), pp. 161–176.
ICGTICGT-2002-Hoffmann #abstraction
Abstraction and Control for Shapely Nested Graph Transformation (BH), pp. 177–191.
ICGTICGT-2002-KnirschK #distributed
Distributed Graph Transformation Units (PK, SK), pp. 207–222.
ICGTICGT-2002-PadbergE #invariant #safety
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems (JP, BE), pp. 334–350.
ICGTICGT-2002-ReisRASN #execution #process #semantics #using
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment (CALR, RQR, MMdA, HS, DJN), pp. 254–269.
ICSEICSE-2002-HausmannHT #approach #case study #detection #functional #requirements #static analysis
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation (JHH, RH, GT), pp. 105–115.
GT-VMTGT-VMT-2001-BaresiPT #modelling #visual notation
Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001 (LB, MP, GT), pp. 325–326.
GT-VMTGT-VMT-2001-BusattoH
Comparing Notions of Hierarchical Graph Transformation (GB, BH), pp. 310–317.
GT-VMTGT-VMT-2001-CorradiniDR #mobile #specification #using
A Graph Transformation View on the Specification of Applications using Mobile Code (AC, FLD, LR0), pp. 238–246.
UMLUML-2001-Kuske #semantics #state machine #uml
A Formal Semantics of UML State Machines Based on Structured Graph Transformation (SK), pp. 241–256.
DATEDATE-2001-ThorntonD #diagrams #using
Spectral decision diagrams using graph transformations (MAT, RD), pp. 713–719.
FoSSaCSFoSSaCS-2001-HabelP #programming language
Computational Completeness of Programming Languages Based on Graph Transformation (AH, DP), pp. 230–245.
ICALPICALP-2000-EngelsH #concept #evolution #framework #modelling
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution (GE, RH), pp. 127–150.
FASEFASE-2000-Parisi-PresicceW #configuration management #policy #using
Foundations for Software Configuration Management Policies Using Graph Transformations (FPP, ALW), pp. 304–318.
FoSSaCSFoSSaCS-2000-DrewesHP
Hierarchical Graph Transformation (FD, BH, DP), pp. 98–113.
TACASTACAS-2000-GoedickeEMT #development #distributed #multi #tool support
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation (MG, BE, TM, GT), pp. 43–47.
AGTIVEAGTIVE-1999-DrewesKKK #composition
Graph Transformation Modules and Their Composition (FD, PK, HJK, SK), pp. 15–30.
AGTIVEAGTIVE-1999-GoedickeEMT #development #distributed #integration #multi #tool support #towards
Tool Support for ViewPoint-Oriented Software Development: Towards Integration of Multiple Perspectives by Distributed Graph Transformation (MG, BE, TM, GT), pp. 369–377.
AGTIVEAGTIVE-1999-Grosse-RhodePST #composition #distributed #modelling #refinement
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions (MGR, FPP, MS, GT), pp. 31–45.
AGTIVEAGTIVE-1999-Hoffmann #diagrams #programming #rule-based
From Graph Transformation to Rule-Based Programming with Diagrams (BH), pp. 165–180.
AGTIVEAGTIVE-1999-HoffmannLS #composition #constraints #geometry
Planning Geometric Constraint Decomposition via Optimal Graph Transformations (CMH, AL, MS), pp. 309–324.
AGTIVEAGTIVE-1999-KnirschK #modelling
A Note on Modeling Agent Systems by Graph Transformation (PK, HJK), pp. 79–86.
AGTIVEAGTIVE-1999-Radermacher #design pattern #tool support
Support for Design Patterns Through Graph Transformation Tools (AR), pp. 111–126.
AGTIVEAGTIVE-1999-Schleicher #formal method #modelling #process #uml #using
Formalizing UML-Based Process Models Using Graph Transformations (AS), pp. 341–357.
AGTIVEAGTIVE-1999-Taentzer #algebra #named
AGG: A Tool Environment for Algebraic Graph Transformation (GT), pp. 481–488.
RERE-1999-GoedickeMT #consistency #development #distributed #nondeterminism #towards
ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies (MG, TM, GT), pp. 92–99.
ICGTTAGT-1998-BusattoEMW #framework
A Framework for Adding Packages to Graph Transformation Approaches (GB, GE, KM, AW), pp. 352–367.
ICGTTAGT-1998-Faulstich #using
Using Graph Transformation Techniques for Integrating Information from the WWW (LF), pp. 426–441.
ICGTTAGT-1998-Grosse-RhodePS
Refinements of Graph Transformation Systems via Rule Expressions (MGR, FPP, MS), pp. 368–382.
ICGTTAGT-1998-PetriuW #design pattern #modelling #performance
Deriving Software Performance Models from Architectural Patterns by Graph Transformations (DCP, XW), pp. 475–488.
ICGTTAGT-1998-Schuster #information management #representation
Knowledge Representation and Graph Transformation (SS), pp. 228–237.
ICGTTAGT-1998-TaentzerGM #configuration management #distributed #towards
Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems (GT, MG, TM), pp. 179–193.
SACSAC-1998-KangH #algorithm #problem #search-based #using
Solving the rural postman problem using a genetic algorithm with a graph transformation (MJK, CGH), pp. 356–360.
FASEFASE-1998-Heckel #composition #verification
Compositional Verification of Reactive Systems Specified by Graph Transformation (RH), pp. 138–153.
ICGTGG-Handbook-Vol1-CorradiniMREHL #algebra #approach #category theory #concept
Algebraic Approaches to Graph Transformation — Part I: Basic Concepts and Double Pushout Approach (AC, UM, FR, HE, RH, ML), pp. 163–246.
ICGTGG-Handbook-Vol1-Courcelle #higher-order #logic #monad
The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic (BC), pp. 313–400.
ICGTGG-Handbook-Vol1-EhrigHKLRWC #algebra #approach #category theory #comparison
Algebraic Approaches to Graph Transformation — Part II: Single Pushout Approach and Comparison with Double Pushout Approach (HE, RH, MK, ML, LR, AW, AC), pp. 247–312.
ICGTGG-Handbook-Vol1-Schurr
Programmed Graph Replacement Systems (AS), pp. 479–546.
ESECESEC-FSE-1997-EngelsHTE #approach #modelling
A View-Oriented Approach to System Modelling Based on Graph Transformation (GE, RH, GT, HE), pp. 327–343.
ICGTTAGT-1994-AlberichBRVW #algebra #approach
A Partial Algebras Approach to Graph Transformation (RA, PB, FR, GV, BW), pp. 1–15.
ICGTTAGT-1994-EhrenfeuchtHR #graph
Group Based Graph Transformations and Hierarchical Representations of Graphs (AE, TH, GR), pp. 502–520.
ICGTTAGT-1994-EhrigE #aspect-oriented #concept #semantics
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems (HE, GE), pp. 137–154.
ICGTTAGT-1994-Schurr
Programmed Graph Transformations and Graph Transformation Units in GRACE (AS), pp. 122–136.
ICGTTAGT-1994-Taentzer #distributed
Hierarchically Distributed Graph Transformation (GT), pp. 304–320.
DATEEDAC-1994-BanerjeeRCP
Signal Transition Graph Transformations for Initializability (SB, RKR, STC, DKP), p. 670.
ICGTGG-1990-EhrigL
Computing by Graph Transformation: Overall Aims and New Results (HE, ML), pp. 688–703.
ICGTGG-1990-Kreowski
Applied Graph Transformation (HJK), pp. 51–52.
TAPSOFTCAAP-1985-BoehmFH
Amalgamation of Graph Transformations with Applications to Synchronization (PB, HRF, AH), pp. 267–283.
TAPSOFTCAAP-1985-Lichtblau #decompiler
Decompilation of Control Structures by Means of Graph Transformations (UL), pp. 284–297.
ICGTGG-1982-EhrigS
Church-Rosser properties for graph replacement systems with unique splitting (HE, JS), pp. 82–101.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.