Sesqui-Pushout Rewriting. - Andrea Corradini 001; Tobias Heindel; Frank Hermann 001; Barbara König 001 (ICGT, 2006)

Towards Translating Graph Transformation Approaches by Model Transformations. - Frank Hermann 001; Harmen Kastenberg; Tony Modica (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams. - Frank Hermann 001; Hartmut Ehrig; Gabriele Taentzer (GT-VMT@ETAPS, 2006)

An Approach Using Formally Well-founded Domain Languages for Secure Coarse-grained IT System Modelling in a Real-world Banking Scenario. - Christoph Brandt; Thomas Engel 001; Benjamin Braatz; Frank Hermann 001; Hartmut Ehrig (ACIS, 2007)

Information Preserving Bidirectional Model Transformations. - Hartmut Ehrig; Karsten Ehrig; Claudia Ermel; Frank Hermann 001; Gabriele Taentzer (FASE, 2007)

Simulating Multigraph Transformations Using Simple Graphs. - Iovka Boneva; Frank Hermann 001; Harmen Kastenberg; Arend Rensink (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions. - Frank Hermann 001 (ICGT, 2008)

On the relationship of model transformations based on triple and plain graph grammars. - Hartmut Ehrig; Claudia Ermel; Frank Hermann 001 (GRaMoT@ICSE, 2008)

Subobject Transformation Systems. - Andrea Corradini 001; Frank Hermann 001; Pawel Sobocinski 001 (Appl. Categorical Struct., 2008)

Process Definition using Subobject Transformation Systems. - Frank Hermann 001; Hartmut Ehrig (Bull. EATCS, 2008)

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. - Hartmut Ehrig; Karsten Ehrig; Frank Hermann 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems. - Frank Hermann 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Security and Consistency of IT and Business Models at Credit Suisse Realized by Graph Constraints, Transformation and Integration Using Algebraic Graph Theory. - Christoph Brandt; Frank Hermann 001; Thomas Engel 001 (BMMDS/EMMSAD, 2009)

Modeling and reconfiguration of critical business processes for the purpose of a Business Continuity Management respecting security, risk and compliance requirements at Credit Suisse using algebraic graph transformation. - Christoph Brandt; Frank Hermann 001; Thomas Engel 001 (EDOCW, 2009)

Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. - Frank Hermann 001; Hartmut Ehrig; Claudia Ermel (FASE, 2009)

On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. - Hartmut Ehrig; Claudia Ermel; Frank Hermann 001; Ulrike Prange (MoDELS, 2009)

Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. - Hartmut Ehrig; Claudia Ermel; Frank Hermann 001; Barbara König 001 (Bull. EATCS, 2009)

Cospan DPO Approach: An Alternative for DPO Graph Transformations. - Hartmut Ehrig; Frank Hermann 001; Ulrike Prange (Bull. EATCS, 2009)

Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. - Hartmut Ehrig; Frank Hermann 001; Christoph Sartorius (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Incremental Service Composition Based on Partial Matching of Visual Contracts. - Muhammad Naeem 002; Reiko Heckel; Fernando Orejas; Frank Hermann 001 (FASE, 2010)

How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? - Christoph Brandt; Frank Hermann 001 (ICGT, 2010)

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. - Frank Hermann 001; Hartmut Ehrig; Fernando Orejas; Ulrike Golas (ICGT, 2010)

Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. - Frank Hermann 001; Hartmut Ehrig; Ulrike Golas; Fernando Orejas (MDI@MoDELS, 2010)

Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. - Hartmut Ehrig; Ulrike Golas; Frank Hermann 001 (Bull. EATCS, 2010)

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. - Frank Hermann 001; Andrea Corradini 001; Hartmut Ehrig; Barbara König 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Specification and Verification of Model Transformations. - Frank Hermann 001; Mathias Hülsbusch; Barbara König 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. - Zinovy Diskin; Yingfei Xiong 001; Krzysztof Czarnecki 001; Hartmut Ehrig; Frank Hermann 001; Fernando Orejas (MoDELS, 2011)

Correctness of Model Synchronization Based on Triple Graph Grammars. - Frank Hermann 001; Hartmut Ehrig; Fernando Orejas; Krzysztof Czarnecki 001; Zinovy Diskin; Yingfei Xiong 001 (MoDELS, 2011)

Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra. - Christoph Brandt; Frank Hermann 001; Jan Friso Groote (J. Res. Pract. Inf. Technol., 2011)

Propagation of Constraints along Model Transformations Based on Triple Graph Grammars. - Hartmut Ehrig; Frank Hermann 001; Hanna Schölzel; Christoph Brandt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. - Ulrike Golas; Hartmut Ehrig; Frank Hermann 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Analysis and Optimization of Visual Enterprise Models: Based on Graph and Model Transformation. - Frank Hermann 001 (2011)

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. - Frank Hermann 001; Hartmut Ehrig; Claudia Ermel; Fernando Orejas (FASE, 2012)

Parallelism and Concurrency of Stochastic Graph Transformations. - Reiko Heckel; Hartmut Ehrig; Ulrike Golas; Frank Hermann 001 (ICGT, 2012)

Transformation Systems with Incremental Negative Application Conditions. - Andrea Corradini 001; Reiko Heckel; Frank Hermann 001; Susann Gottmann; Nico Nachtigall (WADT, 2012)

Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories - Hanna Schölzel; Hartmut Ehrig; Maria Maximova; Karsten Gabriel; Frank Hermann 001 (ACCAT, 2012)

Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars. - Claudia Ermel; Frank Hermann 001; Jürgen Gall; Daniel Binanzer (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

First International Workshop on Bidirectional Transformations (BX 2012): Preface. - Frank Hermann 001; Janis Voigtländer (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Automated source code extension for debugging of OpenFlow based networks. - Stefan Hommes; Frank Hermann 001; Radu State; Thomas Engel 001 (CNSM, 2013)

On an Automated Translation of Satellite Procedures Using Triple Graph Grammars. - Frank Hermann 001; Susann Gottmann; Nico Nachtigall; Benjamin Braatz; Gianluigi Morelli; Alain Pierre; Thomas Engel 001 (ICMT, 2013)

Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars. - Susann Gottmann; Frank Hermann 001; Claudia Ermel; Thomas Engel 001; Gianluigi Morelli (MPM@MoDELS, 2013)

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. - Susann Gottmann; Frank Hermann 001; Nico Nachtigall; Benjamin Braatz; Claudia Ermel; Hartmut Ehrig; Thomas Engel 001 (AMT@MoDELS, 2013)

On Propagation-Based Concurrent Model Synchronization. - Fernando Orejas; Artur Boronat; Hartmut Ehrig; Frank Hermann 001; Hanna Schölzel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Conformance Analysis of Organizational Models: A New Enterprise Modeling Framework using Algebraic Graph Transformation. - Christoph Brandt; Frank Hermann 001 (Int. J. Inf. Syst. Model. Des., 2013)

Propagation of constraints along model transformations using triple graph grammars and borrowed context. - Hartmut Ehrig; Frank Hermann 001; Hanna Schölzel; Christoph Brandt (J. Vis. Lang. Comput., 2013)

BenchmarX. - Anthony Anjorin; Alcino Cunha; Holger Giese; Frank Hermann 001; Arend Rensink; Andy Schürr (EDBT/ICDT Workshops, 2014)

Triple Graph Grammars in the Large for Translating Satellite Procedures. - Frank Hermann 001; Susann Gottmann; Nico Nachtigall; Hartmut Ehrig; Benjamin Braatz; Gianluigi Morelli; Alain Pierre; Thomas Engel 001; Claudia Ermel (ICMT, 2014)

Solving the FIXML2Code-case Study with HenshinTGG. - Frank Hermann 001; Nico Nachtigall; Benjamin Braatz; Thomas Engel 001; Susann Gottmann (TTC@STAF, 2014)

Report on the Third Workshop on Verification of Model Transformations (VOLT 2014). - Moussa Amrani; Eugene Syriani; Manuel Wimmer; Robert Bill; Martin Gogolla; Frank Hermann 001; Kevin Lano (VOLT@STAF, 2014)

Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars. - Nico Nachtigall; Frank Hermann 001; Benjamin Braatz; Thomas Engel 001 (VOLT@STAF, 2014)

13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014): Preface. - Frank Hermann 001; Stefan Sauer 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions. - Frank Hermann 001; Andrea Corradini 001; Hartmut Ehrig (Math. Struct. Comput. Sci., 2014)

Formal analysis of model transformations based on triple graph grammars. - Frank Hermann 001; Hartmut Ehrig; Ulrike Golas; Fernando Orejas (Math. Struct. Comput. Sci., 2014)

Model synchronization based on triple graph grammars: correctness, completeness and invertibility. - Frank Hermann 001; Hartmut Ehrig; Fernando Orejas; Krzysztof Czarnecki 001; Zinovy Diskin; Yingfei Xiong 001; Susann Gottmann; Thomas Engel 001 (Softw. Syst. Model., 2015)

Graph and Model Transformation - General Framework and Applications - Hartmut Ehrig; Claudia Ermel; Ulrike Golas; Frank Hermann 001 (Springer, 2015)

Towards the Propagation of Model Updates along different Views in Multi-View Models. - Susann Gottmann; Nico Nachtigall; Claudia Ermel; Frank Hermann 001; Thomas Engel 001 (Bx@ETAPS, 2016)