Hartmut Ehrig

Publication Activity (10 Years)

Years Active: 1973-2015
Publications (10 Years): 3

Top Venues

Math. Struct. Comput. Sci.

Software, Services, and Systems

Sci. Comput. Program.

Softw. Syst. Model.

Publications

Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel
Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14 (1) (2015)
Maria Maximova, Hartmut Ehrig, Claudia Ermel
Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg. Sci. Comput. Program. 104 (2015)
Antonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Patrizio Pelliccione, Olga Runge
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation. Software, Services, and Systems (2015)
Frank Hermann, Andrea Corradini, Hartmut Ehrig
Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions. Math. Struct. Comput. Sci. 24 (4) (2014)
Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel
Triple Graph Grammars in the Large for Translating Satellite Procedures. ICMT (2014)
Karsten Gabriel, Benjamin Braatz, Hartmut Ehrig, Ulrike Golas
Finitary ℳ-adhesive categories. Math. Struct. Comput. Sci. 24 (4) (2014)
Ulrike Golas, Annegret Habel, Hartmut Ehrig
Multi-amalgamation of rules with application conditions in ℳ-adhesive categories. Math. Struct. Comput. Sci. 24 (4) (2014)
Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas
ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. 24 (4) (2014)
Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas
Formal analysis of model transformations based on triple graph grammars. Math. Struct. Comput. Sci. 24 (4) (2014)
Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel
Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. AMT@MoDELS (2013)
Maria Maximova, Hartmut Ehrig, Claudia Ermel
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt
Propagation of constraints along model transformations using triple graph grammars and borrowed context. J. Vis. Lang. Comput. 24 (5) (2013)
Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. Comput. 2 (1) (2013)
Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel
On Propagation-Based Concurrent Model Synchronization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. ICGT (2012)
Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. Fundam. Informaticae 118 (1-2) (2012)
Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann
Parallelism and Concurrency of Stochastic Graph Transformations. ICGT (2012)
Maria Maximova, Hartmut Ehrig, Claudia Ermel
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51 (2012)
Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE (2012)
Karsten Gabriel, Hartmut Ehrig
Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes. Software Service and Application Engineering (2012)
Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Gabriel, Frank Hermann
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories ACCAT (2012)
Karsten Gabriel, Hartmut Ehrig
Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes. Theor. Comput. Sci. 429 (2012)
Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. CiE (2012)
Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci. 424 (2012)
Jochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll
Foreword. J. Symb. Comput. 46 (3) (2011)
Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. FASE (2011)
Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011)
Hartmut Ehrig, Karsten Gabriel
Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms. Int. J. Softw. Informatics 5 (1-2) (2011)
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. MoDELS (2011)
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong
Correctness of Model Synchronization Based on Triple Graph Grammars. MoDELS (2011)
Ulrike Golas, Hartmut Ehrig, Frank Hermann
Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011)
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
Consistent integration of models based on views of meta models. Formal Aspects Comput. 22 (3-4) (2010)
Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. Fundam. Informaticae 99 (1) (2010)
Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation. Graph Transformations and Model-Driven Engineering (2010)
Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione
Formal Analysis and Verification of Self-Healing Systems. FASE (2010)
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. ICGT (2010)
Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Hartmut Ehrig
From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer
International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Ulrike Golas, Hartmut Ehrig, Annegret Habel
Multi-Amalgamation in Adhesive Categories. ICGT (2010)
Hartmut Ehrig, Annegret Habel, Leen Lambers
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas
Finitary ℳ-Adhesive Categories. ICGT (2010)
Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez
A Generic Approach to Connector Architectures Part I: The General Framework. Fundam. Informaticae 99 (1) (2010)
Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg
Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010)
Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. MDI@MoDELS (2010)
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
Reasoning with graph constraints. Formal Aspects Comput. 22 (3-4) (2010)
Hartmut Ehrig, Ulrike Golas, Frank Hermann
Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. Bull. EATCS 102 (2010)
Maria Maximova, Hartmut Ehrig, Claudia Ermel
Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010)
Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas
Local Confluence for Rules with Nested Application Conditions. ICGT (2010)
Julia Padberg, Hartmut Ehrig, Fernando Orejas
Towards Component Verification in the Generic Component Framework. Electron. Notes Theor. Comput. Sci. 203 (7) (2009)
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
Compositionality of Model Transformations. Electron. Notes Theor. Comput. Sci. 236 (2009)
Frank Hermann, Hartmut Ehrig, Claudia Ermel
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE (2009)
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel
Refactoring of Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO (2009)
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. Bull. EATCS 97 (2009)
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. MoDELS (2009)
Claudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann
Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. VL/HCC (2009)
Hartmut Ehrig, Frank Hermann, Ulrike Prange
Cospan DPO Approach: An Alternative for DPO Graph Transformations. Bull. EATCS 98 (2009)
Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg
Composition and Independence of High-Level Net Processes. Electron. Notes Theor. Comput. Sci. 242 (2) (2009)
Hartmut Ehrig, Frank Hermann, Christoph Sartorius
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
Consistent Integration of Models Based on Views of Visual Languages. FASE (2008)
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
Verification of Architectural Refactorings by Rule Extraction. FASE (2008)
Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT (2008)
Leen Lambers, Hartmut Ehrig, Gabriele Taentzer
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Hartmut Ehrig, Karsten Ehrig, Frank Hermann
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè
A Formal Framework for Developing Adaptable Service-Based Applications. FASE (2008)
Hartmut Ehrig, Claudia Ermel, Frank Hermann
On the relationship of model transformations based on triple and plain graph grammars. GRaMoT@ICSE (2008)
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
Compositional Verification of Architectural Refactorings. WADS (2008)
Hartmut Ehrig, Claudia Ermel
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. ICGT (2008)
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
Verification of Architectural Refactorings: Rule Extraction and Tool Support. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008)
Frank Hermann, Hartmut Ehrig
Process Definition using Subobject Transformation Systems. Bull. EATCS 95 (2008)
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
A Logic of Graph Constraints. FASE (2008)
Guilherme Rangel, Barbara König, Hartmut Ehrig
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. FoSSaCS (2008)
Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models (2008)
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Log. Methods Comput. Sci. 4 (4) (2008)
Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. ICGT (2008)
Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange
Preface. Electron. Notes Theor. Comput. Sci. 203 (6) (2008)
Hartmut Ehrig, Ulrike Prange
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. ICGT (2008)
Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008)
Leen Lambers, Hartmut Ehrig, Fernando Orejas
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. Electron. Notes Theor. Comput. Sci. 211 (2008)
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets CoRR (2008)
Hartmut Ehrig, Ulrike Prange
Flattening of Generalized Algebraic High-Level Nets. Bull. EATCS 94 (2008)
Claudia Ermel, Hartmut Ehrig
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. Electron. Notes Theor. Comput. Sci. 213 (1) (2008)
Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. Electron. Notes Theor. Comput. Sci. 203 (6) (2008)
Ulrike Prange, Hartmut Ehrig, Leen Lambers
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. Appl. Categorical Struct. 16 (3) (2008)
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König
Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT (2008)
Frank Hermann, Hartmut Ehrig, Gabriele Taentzer
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams. Electron. Notes Theor. Comput. Sci. 211 (2008)
Ulrike Prange, Hartmut Ehrig
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. CAI (2007)
Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer
Model Transformations should be Functors. Bull. EATCS 92 (2007)
Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. FASE (2007)
Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
Attributed graph transformation with node type inheritance. Theor. Comput. Sci. 376 (3) (2007)
Guilherme Rangel, Barbara König, Hartmut Ehrig
Bisimulation Verification for the DPO Approach with Borrowed. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007)
Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè
Iterative model-driven development of adaptable service-based applications. ASE (2007)
Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann
Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. Bull. EATCS 91 (2007)
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
Model Transformations by Graph Transformation are Functors. Bull. EATCS 93 (2007)
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO (2007)
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. ICATPN (2007)
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer
Information Preserving Bidirectional Model Transformations. FASE (2007)
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
Termination Criteria for DPO Transformations with Injective Matches. Electron. Notes Theor. Comput. Sci. 175 (4) (2007)

Hartmut Ehrig.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hartmut Ehrig