Hartmut Ehrig - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 358

2015

Model synchronization based on triple graph grammars: correctness, completeness and invertibilityFrank Hermann 0001, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel. SoSyM, 14(1):241-269, 2015. [doi]

Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph TransformationAntonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Patrizio Pelliccione, Olga Runge. BIRTHDAY 2015: 582-601 [doi]

Graph and Model Transformation - General Framework and ApplicationsHartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann 0001. Monographs in Theoretical Computer Science. An EATCS Series, Springer, 2015. [doi]

Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and AggMaria Maximova, Hartmut Ehrig, Claudia Ermel. SCP, 104:44-70, 2015. [doi]

2014

Analysis of permutation equivalence in -adhesive transformation systems with negative application conditionsFrank Hermann 0001, Andrea Corradini, Hartmut Ehrig. mscs, 24(4), 2014. [doi]

Formal analysis of model transformations based on triple graph grammarsFrank Hermann 0001, Hartmut Ehrig, Ulrike Golas, Fernando Orejas. mscs, 24(4), 2014. [doi]

Triple Graph Grammars in the Large for Translating Satellite ProceduresFrank Hermann 0001, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel. ICMT 2014: 122-137 [doi]

-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamationHartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas. mscs, 24(4), 2014. [doi]

Finitary -adhesive categoriesKarsten Gabriel, Benjamin Braatz, Hartmut Ehrig, Ulrike Golas. mscs, 24(4), 2014. [doi]

Multi-amalgamation of rules with application conditions in -adhesive categoriesUlrike Golas, Annegret Habel, Hartmut Ehrig. mscs, 24(4), 2014. [doi]

2013

Propagation of constraints along model transformations using triple graph grammars and borrowed contextHartmut Ehrig, Frank Hermann 0001, Hanna Schölzel, Christoph Brandt. JCL (JVLC), 24(5):365-388, 2013. [doi]

Confluence in Data Reduction: Bridging Graph Transformation and KernelizationHartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge. computability, 2(1):31-49, 2013. [doi]

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph GrammarsSusann Gottmann, Frank Hermann 0001, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel. MoDELS 2013: [doi]

Analysis of Hypergraph Transformation Systems in AGG based on M-FunctorsMaria Maximova, Hartmut Ehrig, Claudia Ermel. eceasst, 58, 2013. [doi]

On Propagation-Based Concurrent Model SynchronizationFernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann 0001, Hanna Schölzel. eceasst, 57, 2013. [doi]

2012

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph GrammarsFrank Hermann 0001, Hartmut Ehrig, Claudia Ermel, Fernando Orejas. FASE 2012: 178-193 [doi]

Confluence in Data Reduction: Bridging Graph Transformation and KernelizationHartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge. CiE 2012: 193-202 [doi]

ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local ConfluenceHartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas. FUIN, 118(1-2):35-63, 2012. [doi]

Modelling of Communication Platforms Using Algebraic High-Level Nets and Their ProcessesKarsten Gabriel, Hartmut Ehrig. BIRTHDAY 2012: 10-25 [doi]

Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processesKarsten Gabriel, Hartmut Ehrig. TCS, 429:87-97, 2012. [doi]

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target ElementsUlrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese. gg 2012: 141-155 [doi]

Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairsUlrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas. TCS, 424:46-68, 2012. [doi]

Parallelism and Concurrency of Stochastic Graph TransformationsReiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann 0001. gg 2012: 96-110 [doi]

Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-FunctorsMaria Maximova, Hartmut Ehrig, Claudia Ermel. eceasst, 51, 2012. [doi]

2011

Correctness of Model Synchronization Based on Triple Graph GrammarsFrank Hermann 0001, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong. MoDELS 2011: 668-682 [doi]

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric CaseZinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann 0001, Fernando Orejas. MoDELS 2011: 304-318 [doi]

Propagation of Constraints along Model Transformations Based on Triple Graph GrammarsHartmut Ehrig, Frank Hermann 0001, Hanna Schölzel, Christoph Brandt. eceasst, 41, 2011. [doi]

Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication PlatformsHartmut Ehrig, Karsten Gabriel. ijsi, 5(1-2):207-229, 2011. [doi]

A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph ModificationsHartmut Ehrig, Claudia Ermel, Gabriele Taentzer. FASE 2011: 202-216 [doi]

Formal Specification of Model Transformations by Triple Graph Grammars with Application ConditionsUlrike Golas, Hartmut Ehrig, Frank Hermann 0001. eceasst, 39, 2011. [doi]

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph TransformationUlrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel. eceasst, 39, 2011. [doi]

ForewordJochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll. JSC, 46(3):219-221, 2011. [doi]

2010

Efficient analysis and execution of correct and complete model transformations based on triple graph grammarsFrank Hermann 0001, Hartmut Ehrig, Ulrike Golas, Fernando Orejas. MoDELS 2010: 22-31 [doi]

Parallel Independence of Amalgamated Graph Transformations Applied to Model TransformationEnrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer. BIRTHDAY 2010: 121-140 [doi]

Finitary ::::M::::/mathcal{M}-Adhesive CategoriesBenjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas. gg 2010: 234-249 [doi]

Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO ApproachHartmut Ehrig, Ulrike Golas, Frank Hermann 0001. eatcs, 102:111-121, 2010. [doi]

From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position StatementHartmut Ehrig. eceasst, 30, 2010. [doi]

Consistent integration of models based on views of meta modelsHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange. fac, 22(3-4):327-344, 2010. [doi]

Formal Analysis and Verification of Self-Healing SystemsHartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione. FASE 2010: 139-153 [doi]

Local Confluence for Rules with Nested Application ConditionsHartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas. gg 2010: 330-345 [doi]

Parallelism and Concurrency Theorems for Rules with Nested Application ConditionsHartmut Ehrig, Annegret Habel, Leen Lambers. eceasst, 26, 2010. [doi]

International Colloquium on Graph and Model Transformation (GraMoT) 2010: PrefaceClaudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer. eceasst, 30, 2010.

Multi-Amalgamation in Adhesive CategoriesUlrike Golas, Hartmut Ehrig, Annegret Habel. gg 2010: 346-361 [doi]

Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc NetworksUlrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg. eceasst, 40, 2010. [doi]

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph GrammarsFrank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas. gg 2010: 155-170 [doi]

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri NetsFrank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König. eceasst, 29, 2010. [doi]

Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive CategoriesMaria Maximova, Hartmut Ehrig, Claudia Ermel. eceasst, 40, 2010. [doi]

Reasoning with graph constraintsFernando Orejas, Hartmut Ehrig, Ulrike Prange. fac, 22(3-4):385-422, 2010. [doi]

A Generic Approach to Connector Architectures Part I: The General FrameworkFernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez. FUIN, 99(1):63-93, 2010. [doi]

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSPFernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez. FUIN, 99(1):95-124, 2010. [doi]

2009

Compositionality of Model TransformationsDénes Bisztray, Reiko Heckel, Hartmut Ehrig. ENTCS, 236:5-19, 2009. [doi]

Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application ConditionsHartmut Ehrig, Frank Hermann, Christoph Sartorius. eceasst, 18, 2009. [doi]

Composition and Independence of High-Level Net ProcessesHartmut Ehrig, Kathrin Hoffmann, K. Gabriel, Julia Padberg. ENTCS, 242(2):59-71, 2009. [doi]

Cospan DPO Approach: An Alternative for DPO Graph TransformationsHartmut Ehrig, Frank Hermann 0001, Ulrike Prange. eatcs, 98:139-149, 2009.

On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph GrammarsHartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange. MoDELS 2009: 241-255 [doi]

Behaviour Simulation and Equivalence of Systems Modelled by Graph TransformationHartmut Ehrig, Claudia Ermel, Frank Hermann 0001, Barbara König. eatcs, 97:117-125, 2009.

Refactoring of Model TransformationsHartmut Ehrig, Karsten Ehrig, Claudia Ermel. eceasst, 18, 2009. [doi]

Modeling multicasting in communication spaces by reconfigurable high-level Petri netsClaudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann. vl 2009: 47-50 [doi]

Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government NetworksFrank Hermann, Hartmut Ehrig, Claudia Ermel. FASE 2009: 325-339 [doi]

Correctness, Completeness and Termination of Pattern-Based Model-to-Model TransformationFernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig. calco 2009: 383-397 [doi]

Towards Component Verification in the Generic Component FrameworkJulia Padberg, Hartmut Ehrig, Fernando Orejas. ENTCS, 203(7):37-53, 2009. [doi]

2008

Process Definition using Subobject Transformation SystemsFrank Hermann 0001, Hartmut Ehrig. eatcs, 95:153-163, 2008.

Open Petri Nets: Non-deterministic Processes and CompositionalityPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König. gg 2008: 257-273 [doi]

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri NetsPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara KÃ¶nig. lmcs, 4(4), 2008. [doi]

Compositional Verification of Architectural RefactoringsDÃ©nes Bisztray, Reiko Heckel, Hartmut Ehrig. ICSE 2009: 308-333 [doi]

Verification of Architectural Refactorings by Rule ExtractionDénes Bisztray, Reiko Heckel, Hartmut Ehrig. FASE 2008: 347-361 [doi]

Verification of Architectural Refactorings: Rule Extraction and Tool SupportDÃ©nes Bisztray, Reiko Heckel, Hartmut Ehrig. eceasst, 16, 2008. [doi]

Formal Analysis of Model Transformations Based on Triple Graph Rules with KernelsHartmut Ehrig, Ulrike Prange. gg 2008: 178-193 [doi]

PrefaceHartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange. ENTCS, 203(6):1, 2008. [doi]

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph GrammarsHartmut Ehrig, Karsten Ehrig, Frank Hermann. eceasst, 10, 2008. [doi]

Flattening of Generalized Algebraic High-Level NetsHartmut Ehrig, Ulrike Prange. eatcs, 94:151-160, 2008.

On the relationship of model transformations based on triple and plain graph grammarsHartmut Ehrig, Claudia Ermel, Frank Hermann 0001. ICSE 2008: 9-16 [doi]

Consistent Integration of Models Based on Views of Visual LanguagesHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange. FASE 2008: 62-76 [doi]

Semantical Correctness and Completeness of Model Transformations Using Graph and Rule TransformationHartmut Ehrig, Claudia Ermel. gg 2008: 194-210 [doi]

Behavior-Preserving Simulation-to-Animation Model and Rule TransformationsClaudia Ermel, Hartmut Ehrig. ENTCS, 213(1):55-74, 2008. [doi]

A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence DiagramsFrank Hermann, Hartmut Ehrig, Gabriele Taentzer. ENTCS, 211:261-269, 2008. [doi]

Flexible Modeling of Emergency Scenarios using Reconfigurable SystemsKathrin Hoffmann, Hartmut Ehrig, Julia Padberg. eceasst, 12, 2008. [doi]

A Formal Framework for Developing Adaptable Service-Based ApplicationsLeen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè. FASE 2008: 392-406 [doi]

Embedding and Confluence of Graph Transformations with Negative Application ConditionsLeen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas. gg 2008: 162-177 [doi]

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical PairsLeen Lambers, Hartmut Ehrig, Fernando Orejas. ENTCS, 211:17-26, 2008. [doi]

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application ConditionsLeen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas. ENTCS, 203(6):43-66, 2008. [doi]

Sufficient Criteria for Applicability and Non-Applicability of Rule SequencesLeen Lambers, Hartmut Ehrig, Gabriele Taentzer. eceasst, 10, 2008. [doi]

A Logic of Graph ConstraintsFernando Orejas, Hartmut Ehrig, Ulrike Prange. FASE 2008: 179-198 [doi]

Transformations in Reconfigurable Place/Transition SystemsUlrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg. birthday 2008: 96-113 [doi]

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement CategoriesUlrike Prange, Hartmut Ehrig, Leen Lambers. acs, 16(3):365-388, 2008. [doi]

Deriving Bisimulation Congruences in the Presence of Negative Application ConditionsGuilherme Rangel, Barbara König, Hartmut Ehrig. fossacs 2008: 413-427 [doi]

Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed ContextsGuilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan. gg 2008: 242-256 [doi]

2007

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri NetsPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König. calco 2007: 126-142 [doi]

Model Transformations should be FunctorsDon S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer. eatcs, 92:75-81, 2007.

Attributed graph transformation with node type inheritanceJuan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. TCS, 376(3):139-163, 2007. [doi]

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition SystemsHartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel. apn 2007: 104-123 [doi]

Model Transformations by Graph Transformation are FunctorsHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange. eatcs, 93:134-142, 2007.

Information Preserving Bidirectional Model TransformationsHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer. FASE 2007: 72-86 [doi]

Iterative model-driven development of adaptable service-based applicationsLeen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè. ASE 2007: 453-456 [doi]

Termination Criteria for DPO Transformations with Injective MatchesTihamer Levendovszky, Ulrike Prange, Hartmut Ehrig. ENTCS, 175(4):87-100, 2007. [doi]

Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc NetworksJulia Padberg, Hartmut Ehrig, Kathrin Hoffmann. eatcs, 91:120-124, 2007.

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc NetworksJulia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel. FASE 2007: 383-397 [doi]

From Algebraic Graph Transformation to Adhesive HLR Categories and SystemsUlrike Prange, Hartmut Ehrig. cai 2007: 122-146 [doi]

Bisimulation Verification for the DPO Approach with BorrowedGuilherme Rangel, Barbara König, Hartmut Ehrig. eceasst, 6, 2007. [doi]

2006

Categorical Foundations of Distributed Graph TransformationHartmut Ehrig, Fernando Orejas, Ulrike Prange. gg 2006: 215-229 [doi]

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Hartmut Ehrig'

Viewing Publication 1 - 100 from 358

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Hartmut Ehrig'

Viewing Publication 1 - 100 from 358

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1