Person: Hartmut Ehrig

DBLP: Ehrig:Hartmut

Facilitated 20 volumes:

Ed

Ed

Ed

Ed

Ed

Ed

Ed

Ed

Ed

Ed

Ed

Ed

Ed

Ed

Ed

Ed

Ed

Ed

Ed

Ed

Contributed to:

2014

2013

2013

2013

2012

2012

2011

2011

2011

2011

2015

2010

2011

2010

2010

2009

2009

2009

2008

2008

2008

2008

2007

2007

2008

2007

2008

2006

2005

2004

2004

2004

2002

1998

1997

1997

1994

1992

1990

1989

1986

1983

1982

1981

1980

1980

1978

1978

1978

1977

1991

1993

1995

1997

2001

Wrote 92 papers:

ICMT-2014-HermannGNEBMPEE #graph grammar #in the large

Triple Graph Grammars in the Large for Translating Satellite Procedures (FH, SG, NN, HE, BB, GM, AP, TE, CE), pp. 122–137.

AMT-2013-Gottmann0NBEEE #concurrent #correctness #graph grammar

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars (SG, FH, NN, BB, CE, HE, TE), pp. 62–71.

BX-2013-OrejasBE0S #concurrent #on the

On Propagation-Based Concurrent Model Synchronization (FO, AB, HE, FH, HS), pp. 18–36.

GT-VMT-2013-MaximovaEE #analysis #graph transformation

Analysis of Hypergraph Transformation Systems in AGG based on M-Functors (MM, HE, CE).

FASE-2012-HermannEEO #concurrent #graph grammar

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars (FH, HE, CE, FO), pp. 178–193.

ICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.

ICGT-2012-HeckelEGH #concurrent #graph transformation #parallel #probability

Parallelism and Concurrency of Stochastic Graph Transformations (RH, HE, UG, FH), pp. 96–110.

BX-2011-Ehrig #constraints #model transformation

Propagation of Constraints along Model Transformations (HE), p. 56.

FASE-2011-EhrigET #graph #using #version control

A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications (HE, CE, GT), pp. 202–216.

GT-VMT-2011-EhrigHSB #constraints #graph grammar #model transformation

Propagation of Constraints along Model Transformations Based on Triple Graph Grammars (HE, FH, HS, CB).

MoDELS-2011-DiskinXCEHO #bidirectional #model transformation #symmetry

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.

MoDELS-2011-HermannEOCDX #correctness #graph grammar

Correctness of Model Synchronization Based on Triple Graph Grammars (FH, HE, FO, KC, ZD, YX), pp. 668–682.

MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar

Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.

FASE-2010-EhrigERBP #analysis #formal method #self #verification

Formal Analysis and Verification of Self-Healing Systems (HE, CE, OR, AB, PP), pp. 139–153.

GCM-2010-GolasBEE11 #graph transformation #interpreter #semantics #visual notation

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation (UG, EB, HE, CE).

GCM-2010-GolasEH11 #graph grammar #model transformation #specification

Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions (UG, HE, FH).

GT-VMT-2010-HermannCEK #analysis #equivalence #graph #performance #permutation #petri net

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets (FH, AC, HE, BK).

ICGT-2010-BraatzEGG #category theory

Finitary M-Adhesive Categories (BB, HE, KG, UG), pp. 234–249.

ICGT-2010-EhrigHLOG #confluence

Local Confluence for Rules with Nested Application Conditions (HE, AH, LL, FO, UG), pp. 330–345.

ICGT-2010-GolasEH #category theory #multi

Multi-Amalgamation in Adhesive Categories (UG, HE, AH), pp. 346–361.

ICGT-2010-HermannEOG #analysis #behaviour #formal method #functional #graph grammar #model transformation

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (FH, HE, FO, UG), pp. 155–170.

FASE-2009-HermannEE #graph #inheritance #network #security

Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (FH, HE, CE), pp. 325–339.

GT-VMT-2009-EhrigEE #model transformation #refactoring

Refactoring of Model Transformations (HE, KE, CE), pp. 128–146.

GT-VMT-2009-EhrigHS #correctness #graph grammar #model transformation

Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (HE, FH, CS), pp. 67–84.

MoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly

On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.

FASE-2008-BisztrayHE #architecture #refactoring #verification

Verification of Architectural Refactorings by Rule Extraction (DB, RH, HE), pp. 347–361.

FASE-2008-EhrigEEP #consistency #integration #modelling #visual notation

Consistent Integration of Models Based on Views of Visual Languages (HE, KE, CE, UP), pp. 62–76.

FASE-2008-LambersMEP #adaptation #framework

A Formal Framework for Developing Adaptable Service-Based Applications (LL, LM, HE, MP), pp. 392–406.

FASE-2008-OrejasEP #constraints #graph #logic

A Logic of Graph Constraints (FO, HE, UP), pp. 179–198.

FoSSaCS-2008-RangelKE #bisimulation

Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (GR, BK, HE), pp. 413–427.

GT-VMT-2008-EhrigEH #algebra #approach #graph grammar #integration #model transformation

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars (HE, KE, FH).

GT-VMT-2008-LambersET #sequence

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences (LL, HE, GT).

ICGT-2008-BaldanCEK #composition #nondeterminism #petri net #process

Open Petri Nets: Non-deterministic Processes and Compositionality (PB, AC, HE, BK), pp. 257–273.

ICGT-2008-EhrigE #correctness #graph #model transformation #semantics #using

Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation (HE, CE), pp. 194–210.

ICGT-2008-EhrigP #analysis #formal method #graph #kernel #model transformation

Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (HE, UP), pp. 178–193.

ICGT-2008-LambersEPO #confluence #graph transformation

Embedding and Confluence of Graph Transformations with Negative Application Conditions (LL, HE, UP, FO), pp. 162–177.

ICGT-2008-RangelLKEB #behaviour #refactoring #using

Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (GR, LL, BK, HE, PB), pp. 242–256.

ASE-2007-LambersEMP #adaptation #development #modelling

Iterative model-driven development of adaptable service-based applications (LL, HE, LM, MP), pp. 453–456.

FASE-2007-EhrigEEHT #bidirectional #model transformation

Information Preserving Bidirectional Model Transformations (HE, KE, CE, FH, GT), pp. 72–86.

FASE-2007-PadbergHEMBE #ad hoc #architecture #consistency #maintenance #mobile #network

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks (JP, KH, HE, TM, EB, CE), pp. 383–397.

GT-VC-2007-ErmelE08 #animation #behaviour

Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (CE, HE), pp. 55–74.

GT-VMT-2007-RangelKE #approach #bisimulation #verification

Bisimulation Verification for the DPO Approach with Borrowed (GR, BK, HE).

GT-VMT-2006-HermannET08 #diagrams #graph grammar #inheritance #sequence chart #syntax #uml

A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (FH, HE, GT), pp. 261–269.

GT-VMT-2006-LambersEO08 #detection #graph transformation #performance

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (LL, HE, FO), pp. 17–26.

ICGT-2006-BaldanEK #composition

Composition and Decomposition of DPO Transformations with Borrowed Context (PB, HE, BK), pp. 153–167.

ICGT-2006-EhrigOP #category theory #distributed #graph transformation

Categorical Foundations of Distributed Graph Transformation (HE, FO, UP), pp. 215–229.

ICGT-2006-LambersEO #detection #graph transformation

Conflict Detection for Graph Transformation with Negative Application Conditions (LL, HE, FO), pp. 61–76.

ICGT-2006-VarroVEPT #analysis #model transformation #petri net #termination

Termination Analysis of Model Transformations by Petri Nets (DV, SVG, HE, UP, GT), pp. 260–274.

FASE-2005-EhrigELTVV #model transformation #termination

Termination Criteria for Model Transformation (HE, KE, JdL, GT, DV, SVG), pp. 49–63.

FASE-2004-BardohlELT #aspect-oriented #graph transformation #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.

FoSSaCS-2004-EhrigK #approach #bisimulation #graph grammar

Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting (HE, BK), pp. 151–166.

ICGT-2004-EhrigEHP #constraints #graph

Constraints and Application Conditions: From Graphs to High-Level Structures (HE, KE, AH, KHP), pp. 287–303.

ICGT-2004-EhrigHPP #category theory

Adhesive High-Level Replacement Categories and Systems (HE, AH, JP, UP), pp. 144–160.

ICGT-2004-EhrigPT #graph transformation

Fundamental Theory for Typed Attributed Graph Transformation (HE, UP, GT), pp. 161–177.

FASE-2002-EhrigOBKP #component #framework #modelling

A Generic Component Framework for System Modeling (HE, FO, BB, MK, MP), pp. 33–48.

TAGT-1998-BardohlE #concept #editing #visual notation

Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages (RB, HE), pp. 252–266.

TAGT-1998-EhrigHLOPR #framework #graph #rule-based

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information (HE, RH, ML, FO, JP, GR), pp. 85–102.

ESEC-FSE-1997-EngelsHTE #approach #graph transformation #modelling

A View-Oriented Approach to System Modelling Based on Graph Transformation (GE, RH, GT, HE), pp. 327–343.

GG-Handbook-Vol1-CorradiniMREHL #algebra #approach #category theory #concept #graph transformation

Algebraic Approaches to Graph Transformation — Part I: Basic Concepts and Double Pushout Approach (AC, UM, FR, HE, RH, ML), pp. 163–246.

GG-Handbook-Vol1-EhrigHKLRWC #algebra #approach #category theory #comparison #graph transformation

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.

TAGT-1994-CorradiniELMP #category theory #graph grammar

The Category of Typed Graph Grammars and its Adjunctions with Categories (AC, HE, ML, UM, JP), pp. 56–74.

TAGT-1994-CorradiniELMR #graph grammar #parallel #semantics

An Event Structure Semantics for Graph Grammars with Parallel Productions (AC, HE, ML, UM, FR), pp. 240–256.

TAGT-1994-EhrigE #aspect-oriented #concept #graph transformation #semantics

Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems (HE, GE), pp. 137–154.

ALP-1992-EhrigP #algebra #equation #specification

High-Level-Replacement Systems for Equational Algebraic Specifications (HE, FPP), pp. 3–20.

GG-1990-CorradiniMREL #graph grammar #logic programming

Graph Grammars and Logic Programming (AC, UM, FR, HE, ML), pp. 221–237.

GG-1990-EhrigHKP #graph grammar

From Graph Grammars to High Level Replacement Systems (HE, AH, HJK, FPP), pp. 269–291.

GG-1990-EhrigKL #algebra #approach #category theory #graph grammar #tutorial

Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts (HE, MK, ML), pp. 24–37.

GG-1990-EhrigL #graph transformation

Computing by Graph Transformation: Overall Aims and New Results (HE, ML), pp. 688–703.

GG-1990-EhringP #algebra #graph grammar #specification

Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars (HE, FPP), pp. 292–310.

ICALP-1989-EhrigPO #algebra #on the #roadmap #specification

On Recent Trends in Algebraic Specification (HE, PP, FO), pp. 263–288.

GG-1986-BoehmEHL #distributed #graph grammar #towards

Towards distributed graph grammars (PB, HE, UH, ML), pp. 86–98.

GG-1986-Ehrig #algebra #approach #graph grammar #tutorial

Tutorial introduction to the algebraic approach of graph grammars (HE), pp. 3–14.

GG-1986-Parisi-PresicceEM #composition #graph grammar #unification

Graph rewriting with unification and composition (FPP, HE, UM), pp. 496–514.

ICALP-1983-EhrigWT #algebra #constraints #generative #specification

Algebraic Specifications with Generating Constraints (HE, EGW, JWT), pp. 188–202.

GG-1982-Ehrig #aspect-oriented #concurrent #graph grammar

Aspects of concurrency in graph grammars (HE), pp. 58–81.

GG-1982-EhrigS #graph transformation

Church-Rosser properties for graph replacement systems with unique splitting (HE, JS), pp. 82–101.

PS-1981-EhrigKTWW #algebra #parametricity #specification

Parameter Passing in Algebraic Specification Languages (HE, HJK, JWT, EGW, JBW), pp. 322–369.

PS-1981-Steensgaard-MadsenHPEKNASGCG #generative

KWIC-index generation (JSM, JWH, MSP, HE, HJK, LSN, JRA, IHS, RMG, DC, JAG), pp. 47–117.

ICALP-1980-EhrigKP #algebra #concept #correctness #data type #implementation #semantics #syntax

Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness (HE, HJK, PP), pp. 142–156.

ICALP-1980-EhrigKTWW #algebra #data type #specification

Parameterized Data Types in Algebraic Specification Languages (HE, HJK, JWT, EGW, JBW), pp. 157–168.

STOC-1980-EhrigM #algebra #complexity #implementation #specification

Complexity of Implementations on the Level of Algebraic Specifications (HE, BM), pp. 281–293.

GG-1978-Ehrig #algebra #graph grammar #overview

Introduction to the Algebraic Theory of Graph Grammars (A Survey) (HE), pp. 1–69.

GG-1978-EhrigL #graph grammar #parallel

Locally Star Sluing Formulas for a Class of Parallel Graph Grammars (HE, AL), pp. 206–223.

GG-1978-EhrigR #composition #graph grammar

Decomposition of Graph Grammar Productions and Derivations (HE, BKR), pp. 192–205.

ICALP-1978-EhrigKP #data type #implementation #specification

Stepwise Specification and Implementation of Abstract Data Types (HE, HJK, PP), pp. 205–226.

VLDB-1978-EhrigKW #algebra #database #specification

Algebraic Specification Schemes for Data Base Systems (HE, HJK, HW), pp. 427–440.

ICALP-1977-EhrigR

The Mathematics of Record Handling (HE, BKR), pp. 206–220.

CCPSD-1991-LoweEFJ #algebra #on the #specification

On the Relationship Between Algebraic Module Specifications and Program Modules (ML, HE, WF, DJ), pp. 83–98.

TAPSOFT-1993-EhrigJO #composition #parametricity #specification

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages (HE, RMJ, FO), pp. 31–45.

TAPSOFT-1995-EhrigM #aspect-oriented #development #process #theory and practice

A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development (HE, BM), pp. 3–24.

TAPSOFT-1997-EhrigM #roadmap

Future Trends of TAPSOFT (HE, BM), pp. 6–10.

GT-VMT-2001-EhrigO #concept #data type #framework #integration #modelling #process

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (HE, FO), pp. 199–226.