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
Travelled to:
1 × Brazil
1 × Cyprus
1 × Denmark
1 × Estonia
1 × Finland
1 × France
1 × New Zealand
1 × Portugal
1 × Switzerland
1 × The Netherlands
2 × Hungary
3 × Spain
4 × United Kingdom
5 × Italy
6 × USA
8 × Germany
Collaborated with:
F.Orejas F.Hermann C.Ermel U.Prange L.Lambers G.Täntzer M.Löwe B.König U.Golas H.Kreowski F.Parisi-Presicce K.Ehrig B.Mahr A.Corradini R.Heckel A.Habel U.Montanari B.K.Rosen G.Rangel P.Baldan J.Padberg R.Bardohl G.Engels E.G.Wagner J.W.Thatcher B.Braatz P.Padawitz F.Rossi L.Mariani M.Pezzè J.Staples A.Liedtke M.Korff Z.Diskin Y.Xiong K.Czarnecki H.Schölzel E.Biermann J.d.Lara J.B.Wright S.Gottmann T.Engel D.Varró S.Varró-Gyapay M.Maximova C.Sartorius D.Bisztray P.Pepper H.Weber R.M.Jiménez N.Nachtigall H.Giese C.Brandt K.Gabriel K.Pennemann P.Boehm U.Hummert W.Fey D.Jacobs A.Boronat O.Runge A.Bucchiarone P.Pelliccione M.Klein M.Piirainen K.Hoffmann T.Modica M.Llabrés G.Rozenberg L.Ribeiro A.Wagner G.Morelli A.Pierre J.Steensgaard-Madsen J.W.Hughes M.S.Powell L.S.Nielsen J.Abrial I.H.Sørensen R.M.Gallimore D.Coleman J.A.Goguen
Talks about:
graph (49) transform (33) model (31) grammar (26) base (23) algebra (16) specif (13) tripl (13) approach (11) system (11)

Person: Hartmut Ehrig

DBLP DBLP: Ehrig:Hartmut

Facilitated 20 volumes:

ICGT 2012Ed
ICGT 2010Ed
ICGT 2008Ed
ICGT 2006Ed
ICGT 2004Ed
ICGT 2002Ed
TAGT 1998Ed
TAGT 1994Ed
GG 1990Ed
GG 1986Ed
GG 1982Ed
GG 1978Ed
TAPSOFT, Vol.1: AS 1985Ed
TAPSOFT, Vol.2: AS 1985Ed
TAPSOFT, Vol.1: CAAP 1985Ed
TAPSOFT, Vol.2: CSE 1985Ed
TAPSOFT, Vol.1: AS 1987Ed
TAPSOFT, Vol.2: AS 1987Ed
TAPSOFT, Vol.1: CAAP 1987Ed
TAPSOFT, Vol.2: CFLP 1987Ed

Contributed to:

ICMT 20142014
AMT 20132013
BX 20132013
GT-VMT 20132013
FASE 20122012
ICGT 20122012
BX 20112011
FASE 20112011
GT-VMT 20112011
MoDELS 20112011
MODELS 20112015
FASE 20102010
GCM 20102011
GT-VMT 20102010
ICGT 20102010
FASE 20092009
GT-VMT 20092009
MoDELS 20092009
FASE 20082008
FoSSaCS 20082008
GT-VMT 20082008
ICGT 20082008
ASE 20072007
FASE 20072007
GT-VC 20072008
GT-VMT 20072007
GT-VMT 20062008
ICGT 20062006
FASE 20052005
FASE 20042004
FoSSaCS 20042004
ICGT 20042004
FASE 20022002
TAGT 19981998
ESEC/FSE 19971997
Handbook of Graph Grammars 19971997
TAGT 19941994
ALP 19921992
GG 19901990
ICALP 19891989
GG 19861986
ICALP 19831983
GG 19821982
PS 19811981
ICALP 19801980
STOC 19801980
GG 19781978
ICALP 19781978
VLDB 19781978
ICALP 19771977
TAPSOFT, Vol.2: CCPSD 19911991
TAPSOFT CAAP/FASE 19931993
TAPSOFT CAAP/FASE 19951995
TAPSOFT CAAP/FASE 19971997
GT-VMT 20012001

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.

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.