Hartmut Ehrig - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

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

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

2010

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]

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

Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. ProceedingsHartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr, editors, Volume 6372 of Lecture Notes in Computer Science, Springer, 2010. [doi]

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

Parallelism and Concurrency Theorems for Rules with Nested Application ConditionsHartmut Ehrig, Annegret Habel, Leen Lambers. eceasst, 26, 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]

Local Confluence for Rules with Nested Application ConditionsHartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas. gg 2010: 330-345 [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]

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 Analysis of Functional Behaviour for Model Transformations Based on Triple Graph GrammarsFrank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas. gg 2010: 155-170 [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]

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

Refactoring of Model TransformationsHartmut Ehrig, Karsten Ehrig, Claudia Ermel. eceasst, 18, 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]

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]

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

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

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

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

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

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

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

Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. ProceedingsHartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer, editors, Volume 5214 of Lecture Notes in Computer Science, Springer, 2008.

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

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

Formal Analysis of Model Transformations Based on Triple Graph Rules with KernelsHartmut Ehrig, Ulrike Prange. gg 2008: 178-193 [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]

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]

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]

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

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

A Logic of Graph ConstraintsFernando Orejas, Hartmut Ehrig, Ulrike Prange. FASE 2008: 179-198 [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]

Transformations in Reconfigurable Place/Transition SystemsUlrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg. birthday 2008: 96-113 [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]

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]

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]

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

ForewordPaolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg. eceasst, 2, 2006. [doi]

Composition and Decomposition of DPO Transformations with Borrowed ContextPaolo Baldan, Hartmut Ehrig, Barbara König. gg 2006: 153-167 [doi]

Workshop on Petri Nets and Graph TransformationsPaolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg. gg 2006: 467-469 [doi]

Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, ProceedingsAndrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg, editors, Volume 4178 of Lecture Notes in Computer Science, Springer, 2006.

Transformations of Petri NetsHartmut Ehrig, Kathrin Hoffmann, Julia Padberg. ENTCS, 148(1):151-172, 2006. [doi]

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

Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net TransformationsHartmut Ehrig, Ulrike Prange. BIRTHDAY 2006: 235-251 [doi]

Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contextsHartmut Ehrig, Barbara König. mscs, 16(6):1133-1163, 2006. [doi]

Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph TransformationHartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel. FUIN, 74(1):1-29, 2006. [doi]

Theory of Constraints and Application Conditions: From Graphs to High-Level StructuresHartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann. FUIN, 74(1):135-166, 2006. [doi]

Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR CategoriesHartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. FUIN, 74(1):31-61, 2006. [doi]

Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph TransformationHartmut Ehrig, Karsten Ehrig. ENTCS, 152:3-22, 2006. [doi]

Semantical Correctness of Simulation-to-Animation Model and Rule TransformationClaudia Ermel, Hartmut Ehrig, Karsten Ehrig. eceasst, 4, 2006. [doi]

Conflict Detection for Graph Transformation with Negative Application ConditionsLeen Lambers, Hartmut Ehrig, Fernando Orejas. gg 2006: 61-76 [doi]

Efficient Detection of Conflicts in Graph-based Model TransformationLeen Lambers, Hartmut Ehrig, Fernando Orejas. ENTCS, 152:97-109, 2006. [doi]

Petri net modules in the transformation-based component frameworkJulia Padberg, Hartmut Ehrig. jlp, 67(1-2):198-225, 2006. [doi]

Termination Analysis of Model Transformations by Petri NetsDániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer. gg 2006: 260-274 [doi]

2005

Compositional semantics for open Petri nets based on deterministic processePaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel. mscs, 15(1):1-35, 2005. [doi]

PrefaceHartmut Ehrig, Julia Padberg, Grzegorz Rozenberg. ENTCS, 127(2):1-3, 2005. [doi]

Behaviour and Instantiation of High-Level Petri Net ProcessesHartmut Ehrig. FUIN, 65(3):211-247, 2005. [doi]

Priority Program SoftSpez and the International INT Workshops Integration of Software Specification Techniques for Applications in Engineering (DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops Integration von Techniken der SoftwarHartmut Ehrig, Benjamin Braatz, Markus Klein. it, 47(1):45-53, 2005. [doi]

Termination Criteria for Model TransformationHartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay. dagstuhl 2006: [doi]

Termination Criteria for Model TransformationHartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay. FASE 2005: 49-63 [doi]

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model ManipulationHartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. vl 2005: 71-78 [doi]

Object-Oriented Connector-Component ArchitecturesHartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino. ENTCS, 141(3):123-151, 2005. [doi]

High-Level Nets with Nets and Rules as TokensKathrin Hoffmann, Hartmut Ehrig, Till Mossakowski. apn 2005: 268-288 [doi]

2004

Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model ManipulationRoswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer. FASE 2004: 214-228 [doi]

Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification)Hartmut Ehrig. eatcs, 83:156-158, 2004.

Adhesive High-Level Replacement Categories and SystemsHartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange. gg 2004: 144-160 [doi]

Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final ReportHartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper, editors, Volume 3147 of Lecture Notes in Computer Science, Springer, 2004.

Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of ResultsHartmut Ehrig. dfg 2004: 1-8 [doi]

Deriving Bisimulation Congruences in the DPO Approach to Graph RewritingHartmut Ehrig, Barbara König. fossacs 2004: 151-166 [doi]

Fundamental Theory for Typed Attributed Graph TransformationHartmut Ehrig, Ulrike Prange, Gabriele Taentzer. gg 2004: 161-177 [doi]

Workshop on Petri Nets and Graph TransformationsHartmut Ehrig, Julia Padberg, Grzegorz Rozenberg. gg 2004: 442-444 [doi]

Constraints and Application Conditions: From Graphs to High-Level StructuresHartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann. gg 2004: 287-303 [doi]

Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, ProceedingsHartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg, editors, Volume 3256 of Lecture Notes in Computer Science, Springer, 2004.

Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification)Hartmut Ehrig. eatcs, 82:175-190, 2004.

A component framework for system modeling based on high-level replacement systemsHartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen. SoSyM, 3(2):114-135, 2004. [doi]

A Generic Framework for Connector Architectures based on Components and TransformationsHartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino. ENTCS, 108:53-67, 2004. [doi]

PreviousNext