 | 2009 |
|---|
| 284 |       | Fernando Orejas,
Esther Guerra,
Juan de Lara,
Hartmut Ehrig:
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.
CALCO 2009: 383-397 |
| 283 | | Frank Hermann,
Hartmut Ehrig,
Claudia Ermel:
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks.
FASE 2009: 325-339 |
| 282 | | 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: 241-255 |
| 281 | | Claudia Ermel,
Tony Modica,
Enrico Biermann,
Hartmut Ehrig,
Kathrin Hoffmann:
Modeling multicasting in communication spaces by reconfigurable high-level Petri nets.
VL/HCC 2009: 47-50 |
| 280 | | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Compositionality of Model Transformations.
Electr. Notes Theor. Comput. Sci. 236: 5-19 (2009) |
| 279 | | Hartmut Ehrig,
Kathrin Hoffmann,
K. Gabriel,
Julia Padberg:
Composition and Independence of High-Level Net Processes.
Electr. Notes Theor. Comput. Sci. 242(2): 59-71 (2009) |
| 2008 |
|---|
| 278 |  | Hartmut Ehrig,
Reiko Heckel,
Grzegorz Rozenberg,
Gabriele Taentzer:
Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Springer 2008 |
| 277 | | Ulrike Prange,
Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg:
Transformations in Reconfigurable Place/Transition Systems.
Concurrency, Graphs and Models 2008: 96-113 |
| 276 | | Fernando Orejas,
Hartmut Ehrig,
Ulrike Prange:
A Logic of Graph Constraints.
FASE 2008: 179-198 |
| 275 | | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Verification of Architectural Refactorings by Rule Extraction.
FASE 2008: 347-361 |
| 274 | | Leen Lambers,
Leonardo Mariani,
Hartmut Ehrig,
Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications.
FASE 2008: 392-406 |
| 273 | | Hartmut Ehrig,
Karsten Ehrig,
Claudia Ermel,
Ulrike Prange:
Consistent Integration of Models Based on Views of Visual Languages.
FASE 2008: 62-76 |
| 272 | | Guilherme Rangel,
Barbara König,
Hartmut Ehrig:
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions.
FoSSaCS 2008: 413-427 |
| 271 | | Leen Lambers,
Hartmut Ehrig,
Ulrike Prange,
Fernando Orejas:
Embedding and Confluence of Graph Transformations with Negative Application Conditions.
ICGT 2008: 162-177 |
| 270 | | Hartmut Ehrig,
Ulrike Prange:
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.
ICGT 2008: 178-193 |
| 269 | | Hartmut Ehrig,
Claudia Ermel:
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation.
ICGT 2008: 194-210 |
| 268 | | Guilherme Rangel,
Leen Lambers,
Barbara König,
Hartmut Ehrig,
Paolo Baldan:
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.
ICGT 2008: 242-256 |
| 267 | | Paolo Baldan,
Andrea Corradini,
Hartmut Ehrig,
Barbara König:
Open Petri Nets: Non-deterministic Processes and Compositionality.
ICGT 2008: 257-273 |
| 266 | | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Compositional Verification of Architectural Refactorings.
WADS 2008: 308-333 |
| 265 | | Ulrike Prange,
Hartmut Ehrig,
Leen Lambers:
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories.
Applied Categorical Structures 16(3): 365-388 (2008) |
| 264 | | Paolo Baldan,
Andrea Corradini,
Hartmut Ehrig,
Reiko Heckel,
Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
CoRR abs/0809.4115: (2008) |
| 263 | | Hartmut Ehrig,
Karsten Ehrig,
Frank Hermann:
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars.
ECEASST 10: (2008) |
| 262 | | Leen Lambers,
Hartmut Ehrig,
Gabriele Taentzer:
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences.
ECEASST 10: (2008) |
| 261 | | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Verification of Architectural Refactorings: Rule Extraction and Tool Support.
ECEASST 16: (2008) |
| 260 | | Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs.
Electr. Notes Theor. Comput. Sci. 211: 17-26 (2008) |
| 259 | | Frank Hermann,
Hartmut Ehrig,
Gabriele Taentzer:
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams.
Electr. Notes Theor. Comput. Sci. 211: 261-269 (2008) |
| 258 | | Claudia Ermel,
Hartmut Ehrig:
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations.
Electr. Notes Theor. Comput. Sci. 213(1): 55-74 (2008) |
| 257 | | Paolo Baldan,
Andrea Corradini,
Hartmut Ehrig,
Reiko Heckel,
Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
Logical Methods in Computer Science 4(4): (2008) |
| 2007 |
|---|
| 256 | | Leen Lambers,
Hartmut Ehrig,
Leonardo Mariani,
Mauro Pezzè:
Iterative model-driven development of adaptable service-based applications.
ASE 2007: 453-456 |
| 255 | | Ulrike Prange,
Hartmut Ehrig:
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems.
CAI 2007: 122-146 |
| 254 | | Paolo Baldan,
Andrea Corradini,
Hartmut Ehrig,
Reiko Heckel,
Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
CALCO 2007: 126-142 |
| 253 | | Julia Padberg,
Kathrin Hoffmann,
Hartmut Ehrig,
Tony Modica,
Enrico Biermann,
Claudia Ermel:
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks.
FASE 2007: 383-397 |
| 252 | | Hartmut Ehrig,
Karsten Ehrig,
Claudia Ermel,
Frank Hermann,
Gabriele Taentzer:
Information Preserving Bidirectional Model Transformations.
FASE 2007: 72-86 |
| 251 | | Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg,
Ulrike Prange,
Claudia Ermel:
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.
ICATPN 2007: 104-123 |
| 250 | | Guilherme Rangel,
Barbara König,
Hartmut Ehrig:
Bisimulation Verification for the DPO Approach with Borrowed.
ECEASST 6: (2007) |
| 249 | | Tihamer Levendovszky,
Ulrike Prange,
Hartmut Ehrig:
Termination Criteria for DPO Transformations with Injective Matches.
Electr. Notes Theor. Comput. Sci. 175(4): 87-100 (2007) |
| 248 | | 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): 139-163 (2007) |
| 2006 |
|---|
| 247 | | Andrea Corradini,
Hartmut Ehrig,
Ugo Montanari,
Leila Ribeiro,
Grzegorz Rozenberg:
Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Springer 2006 |
| 246 | | Hartmut Ehrig,
Ulrike Prange:
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations.
Essays Dedicated to Joseph A. Goguen 2006: 235-251 |
| 245 | | Paolo Baldan,
Hartmut Ehrig,
Barbara König:
Composition and Decomposition of DPO Transformations with Borrowed Context.
ICGT 2006: 153-167 |
| 244 | | Hartmut Ehrig,
Fernando Orejas,
Ulrike Prange:
Categorical Foundations of Distributed Graph Transformation.
ICGT 2006: 215-229 |
| 243 | | Dániel Varró,
Szilvia Varró-Gyapay,
Hartmut Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Termination Analysis of Model Transformations by Petri Nets.
ICGT 2006: 260-274 |
| 242 | | Paolo Baldan,
Hartmut Ehrig,
Julia Padberg,
Grzegorz Rozenberg:
Workshop on Petri Nets and Graph Transformations.
ICGT 2006: 467-469 |
| 241 | | Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Conflict Detection for Graph Transformation with Negative Application Conditions.
ICGT 2006: 61-76 |
| 240 | | Paolo Baldan,
Hartmut Ehrig,
Julia Padberg,
Grzegorz Rozenberg:
Foreword.
ECEASST 2: (2006) |
| 239 | | Claudia Ermel,
Hartmut Ehrig,
Karsten Ehrig:
Semantical Correctness of Simulation-to-Animation Model and Rule Transformation.
ECEASST 4: (2006) |
| 238 | | Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg:
Transformations of Petri Nets.
Electr. Notes Theor. Comput. Sci. 148(1): 151-172 (2006) |
| 237 | | Hartmut Ehrig,
Karsten Ehrig:
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation.
Electr. Notes Theor. Comput. Sci. 152: 3-22 (2006) |
| 236 | | Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Efficient Detection of Conflicts in Graph-based Model Transformation.
Electr. Notes Theor. Comput. Sci. 152: 97-109 (2006) |
| 235 | | Hartmut Ehrig,
Julia Padberg,
Ulrike Prange,
Annegret Habel:
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation.
Fundam. Inform. 74(1): 1-29 (2006) |
| 234 | | Hartmut Ehrig,
Karsten Ehrig,
Annegret Habel,
Karl-Heinz Pennemann:
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures.
Fundam. Inform. 74(1): 135-166 (2006) |
| 233 | | Hartmut Ehrig,
Karsten Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories.
Fundam. Inform. 74(1): 31-61 (2006) |
| 232 | | Julia Padberg,
Hartmut Ehrig:
Petri net modules in the transformation-based component framework.
J. Log. Algebr. Program. 67(1-2): 198-225 (2006) |
| 231 | | Hartmut Ehrig,
Barbara König:
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts.
Mathematical Structures in Computer Science 16(6): 1133-1163 (2006) |
| 2005 |
|---|
| 230 | | Hartmut Ehrig,
Karsten Ehrig,
Juan de Lara,
Gabriele Taentzer,
Dániel Varró,
Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation.
FASE 2005: 49-63 |
| 229 | | Kathrin Hoffmann,
Hartmut Ehrig,
Till Mossakowski:
High-Level Nets with Nets and Rules as Tokens.
ICATPN 2005: 268-288 |
| 228 | | Hartmut Ehrig,
Karsten Ehrig,
Gabriele Taentzer,
Juan de Lara,
Dániel Varró,
Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation.
Transformation Techniques in Software Engineering 2005 |
| 227 | | Hartmut Ehrig,
Karsten Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.
VL/HCC 2005: 71-78 |
| 226 | | Hartmut Ehrig,
Julia Padberg,
Grzegorz Rozenberg:
Preface.
Electr. Notes Theor. Comput. Sci. 127(2): 1-3 (2005) |
| 225 | | Hartmut Ehrig,
Benjamin Braatz,
Markus Klein,
Fernando Orejas,
Sonia Pérez,
Elvira Pino:
Object-Oriented Connector-Component Architectures.
Electr. Notes Theor. Comput. Sci. 141(3): 123-151 (2005) |
| 224 | | Hartmut Ehrig:
Behaviour and Instantiation of High-Level Petri Net Processes.
Fundam. Inform. 65(3): 211-247 (2005) |
| 223 | | Paolo Baldan,
Andrea Corradini,
Hartmut Ehrig,
Reiko Heckel:
Compositional semantics for open Petri nets based on deterministic processe.
Mathematical Structures in Computer Science 15(1): 1-35 (2005) |
| 222 | | Hartmut Ehrig,
Benjamin Braatz,
Markus Klein:
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 Softwarespezifikation für ingenieurwissenschaftliche Anwendungen").
it - Information Technology 47(1): 45-53 (2005) |
| 2004 |
|---|
| 221 | | Hartmut Ehrig,
Werner Damm,
Jörg Desel,
Martin Große-Rhode,
Wolfgang Reif,
Eckehard Schnieder,
Engelbert Westkämper:
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
Springer 2004 |
| 220 | | Hartmut Ehrig,
Gregor Engels,
Francesco Parisi-Presicce,
Grzegorz Rozenberg:
Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings
Springer 2004 |
| 219 | | Roswitha Bardohl,
Hartmut Ehrig,
Juan de Lara,
Gabriele Taentzer:
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation.
FASE 2004: 214-228 |
| 218 | | Hartmut Ehrig,
Barbara König:
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting.
FoSSaCS 2004: 151-166 |
| 217 | | Hartmut Ehrig,
Annegret Habel,
Julia Padberg,
Ulrike Prange:
Adhesive High-Level Replacement Categories and Systems.
ICGT 2004: 144-160 |
| 216 | | Hartmut Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Fundamental Theory for Typed Attributed Graph Transformation.
ICGT 2004: 161-177 |
| 215 | | Hartmut Ehrig,
Karsten Ehrig,
Annegret Habel,
Karl-Heinz Pennemann:
Constraints and Application Conditions: From Graphs to High-Level Structures.
ICGT 2004: 287-303 |
| 214 | | Hartmut Ehrig,
Julia Padberg,
Grzegorz Rozenberg:
Workshop on Petri Nets and Graph Transformations.
ICGT 2004: 442-444 |
| 213 | | Hartmut Ehrig:
Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results.
SoftSpez Final Report 2004: 1-8 |
| 212 | | Hartmut Ehrig:
Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification).
Bulletin of the EATCS 82: 175-190 (2004) |
| 211 | | Hartmut Ehrig:
Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification).
Bulletin of the EATCS 83: 156-158 (2004) |
| 210 | | Hartmut Ehrig,
Julia Padberg,
Benjamin Braatz,
Markus Klein,
Fernando Orejas,
Sonia Pérez,
Elvira Pino:
A Generic Framework for Connector Architectures based on Components and Transformations.
Electr. Notes Theor. Comput. Sci. 108: 53-67 (2004) |
| 209 | | Hartmut Ehrig,
Fernando Orejas,
Benjamin Braatz,
Markus Klein,
Martti Piirainen:
A component framework for system modeling based on high-level replacement systems.
Software and System Modeling 3(2): 114-135 (2004) |
| 2003 |
|---|
| 208 | | Hartmut Ehrig,
Wolfgang Reisig,
Grzegorz Rozenberg,
Herbert Weber:
Petri Net Technology for Communication-Based Systems - Advances in Petri Nets
Springer 2003 |
| 207 | | Hartmut Ehrig,
Julia Padberg:
Graph Grammars and Petri Net Transformations.
Lectures on Concurrency and Petri Nets 2003: 496-536 |
| 206 | | Herbert Weber,
Hartmut Ehrig,
Wolfgang Reisig,
Alexander Borusan,
Sabine Lembke,
Juliane Dehnert,
Michael Weber,
Axel Martens,
Julia Padberg,
Claudia Ermel,
Anilda Qemali:
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.
Petri Net Technology for Communication-Based Systems 2003: 1-21 |
| 205 | | Benjamin Braatz,
Hartmut Ehrig,
Milan Urbásek:
Petri Net Transformations in the "Petri Net Baukasten".
Petri Net Technology for Communication-Based Systems 2003: 37-65 |
| 204 | | Claudia Ermel,
Roswitha Bardohl,
Hartmut Ehrig:
Generation of Animation Views for Petri Nets in GenGED.
Petri Net Technology for Communication-Based Systems 2003: 83-108 |
| 203 | | Hartmut Ehrig:
On the relevance of high-level net processes, Formal Specification Column.
Bulletin of the EATCS 79: 64-68 (2003) |
| 202 | | Hartmut Ehrig,
Fernando Orejas,
Benjamin Braatz,
Markus Klein,
Martti Piirainen:
A Component Framework Based on High-Level Replacement Systems.
Electr. Notes Theor. Comput. Sci. 72(3): (2003) |
| 201 | | Hartmut Ehrig:
Behaviour and Instantiation of High-Level Net Processes.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
| 200 | | Fernando Orejas,
Hartmut Ehrig:
Components for Algebra Transformation Systems.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
| 199 | | Roswitha Bardohl,
Hartmut Ehrig:
Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
| 2002 |
|---|
| 198 | | Wilfried Brauer,
Hartmut Ehrig,
Juhani Karhumäki,
Arto Salomaa:
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Springer 2002 |
| 197 | | Andrea Corradini,
Hartmut Ehrig,
Hans-Jörg Kreowski,
Grzegorz Rozenberg:
Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
Springer 2002 |
| 196 | | Hartmut Ehrig,
Fernando Orejas,
Benjamin Braatz,
Markus Klein,
Martti Piirainen:
A Generic Component Framework for System Modeling.
FASE 2002: 33-48 |
| 195 | | Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg,
Paolo Baldan,
Reiko Heckel:
High-Level Net Processes.
Formal and Natural Computing 2002: 191-219 |
| 194 | | Hartmut Ehrig:
A Review of Algebraic Specification and Component Techniques at TU Berlin.
Bulletin of the EATCS 76: 84-87 (2002) |
| 193 | | Hartmut Ehrig:
Bigraphs meet Double Pushouts.
Bulletin of the EATCS 78: 72-85 (2002) |
| 192 | | Hartmut Ehrig,
Fernando Orejas:
Foreword Volume 72.
Electr. Notes Theor. Comput. Sci. 72: (2002) |
| 191 | | Reiko Heckel,
Mercè Llabrés,
Hartmut Ehrig,
Fernando Orejas:
Concurrency and Loose Semantics of Open Graph Transformation Systems.
Mathematical Structures in Computer Science 12(4): 349-376 (2002) |
| 2001 |
|---|
| 190 | | Hartmut Ehrig,
Gabriel Juhás,
Julia Padberg,
Grzegorz Rozenberg:
Unifying Petri Nets, Advances in Petri Nets
Springer 2001 |
| 189 | | Paolo Baldan,
Andrea Corradini,
Hartmut Ehrig,
Reiko Heckel:
Compositional Modeling of Reactive Systems Using Open Nets.
CONCUR 2001: 502-518 |
| 188 | | Julia Padberg,
Hartmut Ehrig:
Parameterized Net Classes: A Uniform Approach to Petri Net Classes.
Unifying Petri Nets 2001: 173-229 |
| 187 | | Julia Padberg,
Hartmut Ehrig,
Grzegorz Rozenberg:
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.
Unifying Petri Nets 2001: 230-249 |
| 186 | | Magdalena Gajewsky,
Hartmut Ehrig:
The »Petri Net Baukasten«: An Overview.
Unifying Petri Nets 2001: 26-53 |
| 185 | | Fernando Orejas,
Hartmut Ehrig,
Elvira Pino:
Tight and Loose Semantics for Transformation Systems.
WADT 2001: 238-255 |
| 184 | | Hartmut Ehrig,
Bernd Mahr:
Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997.
Current Trends in Theoretical Computer Science 2001: 118-130 |
| 183 | | Hartmut Ehrig:
On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000.
Current Trends in Theoretical Computer Science 2001: 131-133 |
| 182 | | Hartmut Ehrig,
Bernd Mahr:
Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties.
Current Trends in Theoretical Computer Science 2001: 134-152 |
| 181 | | Hartmut Ehrig,
Fernando Orejas:
Dynamic Abstract Data Types: An Informal Proposal in 1994.
Current Trends in Theoretical Computer Science 2001: 180-191 |
| 180 | | Hartmut Ehrig,
Fernando Orejas:
Integration Paradigm for Data Type and Process Specification Techniques.
Current Trends in Theoretical Computer Science 2001: 192-201 |
| 179 | | Hartmut Ehrig,
Julia Padberg,
Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms.
Current Trends in Theoretical Computer Science 2001: 202-214 |
| 178 | | Hartmut Ehrig,
Robert Geisler,
Martin Große-Rhode,
Marcus Klar,
Stefan Mann:
On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Current Trends in Theoretical Computer Science 2001: 226-232 |
| 177 | | Reiko Heckel,
Hartmut Ehrig,
Uwe Wolter,
Andrea Corradini:
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.
Applied Categorical Structures 9(1): 83-110 (2001) |
| 176 | | Hartmut Ehrig:
On the Roots, Birth and Childhood of ETAPS.
Bulletin of the EATCS 74: 58-60 (2001) |
| 175 | | Hartmut Ehrig:
A Review of Graph Grammars and Preview of ICGT 2002: The First International Conference on Graph Transformation.
Bulletin of the EATCS 75: 97 (2001) |
| 174 | | Hartmut Ehrig,
Claudia Ermel,
Julia Padberg:
Preface.
Electr. Notes Theor. Comput. Sci. 44(4): (2001) |
| 173 | | Hartmut Ehrig,
Fernando Orejas:
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques.
Electr. Notes Theor. Comput. Sci. 50(3): (2001) |
| 172 | | Hartmut Ehrig,
Annegret Habel,
Francesco Parisi-Presicce:
Basic Results for Two Types of High-Level Replacement Systems.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 171 | | Hartmut Ehrig,
Martin Große-Rhode:
Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen.
Inform., Forsch. Entwickl. 16(2): 110-117 (2001) |
| 2000 |
|---|
| 170 | | Hartmut Ehrig,
Gregor Engels,
Hans-Jörg Kreowski,
Grzegorz Rozenberg:
Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers
Springer 2000 |
| 169 | | Hartmut Ehrig,
Gabriele Taentzer:
A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components.
ICALP Satellite Workshops 2000: 427-434 |
| 168 | | Hartmut Ehrig,
Robert Geisler,
Martin Große-Rhode,
Marcus Klar,
Stefan Mann:
On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Bulletin of the EATCS 70: 77-81 (2000) |
| 167 | | Hartmut Ehrig:
On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000.
Bulletin of the EATCS 71: 90-91 (2000) |
| 166 | | Hartmut Ehrig,
Gunnar Schröter:
The Role of Mathematics and Formal Specification Techniques in Software System Development.
Bulletin of the EATCS 72: 77-83 (2000) |
| 1999 |
|---|
| 165 | | Herbert Weber,
Marcus Klar,
Stefan Mann,
Ralf-Detlef Kutsche,
Stefan Jähnichen,
Robert Büssow,
Hartmut Ehrig,
Robert Geisler,
Gabriel Baum,
Claudia Pons,
Miguel Felder,
Sergio Waldoke:
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
German-Argentinian Workshop on Information Technology 1999: 23-30 |
| 164 | | Hartmut Ehrig,
Gabriele Taentzer:
Graphical Represenation and Graph Transformation.
ACM Comput. Surv. 31(3es): 9 (1999) |
| 163 | | Hartmut Ehrig,
Julia Padberg,
Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms.
Bulletin of the EATCS 69: 98-109 (1999) |
| 162 | | Felix Cornelius,
Michael Baldamus,
Hartmut Ehrig,
Fernando Orejas:
Abstract and behaviour module specifications.
Mathematical Structures in Computer Science 9(1): 21-62 (1999) |
| 1998 |
|---|
| 161 | | Roswitha Bardohl,
Hartmut Ehrig:
Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages.
TAGT 1998: 252-266 |
| 160 | | Hartmut Ehrig,
Reiko Heckel,
Mercè Llabrés,
Fernando Orejas,
Julia Padberg,
Grzegorz Rozenberg:
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.
TAGT 1998: 85-102 |
| 159 | | Hartmut Ehrig,
Fernando Orejas:
Integration Paradigm for Data Type and Process Specification Techniques.
Bulletin of the EATCS 65: 90-97 (1998) |
| 158 | | Hartmut Ehrig:
EATCS Mini-Track of FM'99.
Bulletin of the EATCS 66: 83-84 (1998) |
| 157 | | Hartmut Ehrig,
Robert Geisler,
Marcus Klar:
DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen.
Inform., Forsch. Entwickl. 13(1): 43-46 (1998) |
| 1997 |
|---|
| 156 | | Hartmut Ehrig,
Robert Geisler,
Marcus Klar,
Julia Padberg:
Horizontal and Vertical Structuring Techniques for Statecharts.
CONCUR 1997: 181-195 |
| 155 | | Gregor Engels,
Reiko Heckel,
Gabriele Taentzer,
Hartmut Ehrig:
A View-Oriented Approach to System Modelling Based on Graph Transformation.
ESEC / SIGSOFT FSE 1997: 327-343 |
| 154 | | Hartmut Ehrig,
Julia Padberg:
A Uniform Approach to Petri Nets.
Foundations of Computer Science: Potential - Theory - Cognition 1997: 219-231 |
| 153 | | Hartmut Ehrig:
DFG-Schwerpunktprogramm "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen".
GI Jahrestagung 1997: 180-181 |
| 152 | | Andrea Corradini,
Ugo Montanari,
Francesca Rossi,
Hartmut Ehrig,
Reiko Heckel,
Michael Löwe:
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.
Handbook of Graph Grammars 1997: 163-246 |
| 151 | | Hartmut Ehrig,
Reiko Heckel,
Martin Korff,
Michael Löwe,
Leila Ribeiro,
Annika Wagner,
Andrea Corradini:
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach.
Handbook of Graph Grammars 1997: 247-312 |
| 150 | | Reiko Heckel,
Hartmut Ehrig,
Uwe Wolter,
Andrea Corradini:
Integrating the Specification Techniques of Graph Transformation and Temporal Logic.
MFCS 1997: 219-228 |
| 149 | | Hartmut Ehrig,
Bernd Mahr:
Future Trends of TAPSOFT.
TAPSOFT 1997: 6-10 |
| 148 | | Hartmut Ehrig,
Magdalena Gajewsky,
Uwe Wolter:
From abstract data types to algebraic development techniques: A shift of paradigms.
WADT 1997: 1-17 |
| 147 | | Hartmut Ehrig,
Wolfgang Reisig:
An Algebraic View on Petri Nets.
Bulletin of the EATCS 61: (1997) |
| 146 | | Hartmut Ehrig,
A. Merten,
Julia Padberg:
How to Transfer Concepts of Abstract Data Types to Petri Nets?
Bulletin of the EATCS 62: (1997) |
| 145 | | Gregor Engels,
Reiko Heckel,
Gabriele Taentzer,
Hartmut Ehrig:
A Combined Reference Model- and View-Based Approach to System Specification.
International Journal of Software Engineering and Knowledge Engineering 7(4): 457-477 (1997) |
| 144 | | Fernando Orejas,
Elvira Pino,
Hartmut Ehrig:
Institutions for Logic Programming.
Theor. Comput. Sci. 173(2): 485-511 (1997) |
| 1996 |
|---|
| 143 | | Janice E. Cuny,
Hartmut Ehrig,
Gregor Engels,
Grzegorz Rozenberg:
Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers
Springer 1996 |
| 142 | | Hartmut Ehrig,
Bernd Mahr:
Algebraic Techniques in Software Development.
Bulletin of the EATCS 58: (1996) |
| 141 | | Hartmut Ehrig,
Uwe Wolter:
The Impact and Future Role of Algebraic Specification.
Bulletin of the EATCS 60: 74-77 (1996) |
| 140 | | Reiko Heckel,
Andrea Corradini,
Hartmut Ehrig,
Michael Löwe:
Horizontal and Vertical Structuring of Typed Graph Transformation Systems.
Mathematical Structures in Computer Science 6(6): 613-648 (1996) |
| 1995 |
|---|
| 139 | | Hartmut Ehrig,
Martin Große-Rhode,
Uwe Wolter:
On the Role of Category Theory in the Area of Algebraic Specification.
COMPASS/ADT 1995: 17-48 |
| 138 | | Hartmut Ehrig,
Bernd Mahr:
A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development.
TAPSOFT 1995: 3-24 |
| 137 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Fernando Orejas:
Correctness of actualization for parameterized implementation concepts based on constructors and abstractors.
Bulletin of the EATCS 56: (1995) |
| 136 | | Hartmut Ehrig,
Bernd Mahr:
Theory and Practice of Software Development: A Review of Driving Forces and Expectations.
Bulletin of the EATCS 57: (1995) |
| 135 | | Hartmut Ehrig:
Introduction to COMPUGRAPH.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 134 | | Julia Padberg,
Hartmut Ehrig,
Leila Ribeiro:
Algebraic High-Level Net Transformation Systems.
Mathematical Structures in Computer Science 5(2): 217-256 (1995) |
| 133 | | Rosa M. Jiménez,
Fernando Orejas,
Hartmut Ehrig:
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages.
Mathematical Structures in Computer Science 5(2): 283-314 (1995) |
| 1994 |
|---|
| 132 | | Hans Jürgen Schneider,
Hartmut Ehrig:
Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings
Springer 1994 |
| 131 | | Hartmut Ehrig:
Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers
Springer 1994 |
| 130 | | Hartmut Ehrig,
Michael Löwe,
Fernando Orejas:
Dynamic Abstract Data Types Based on Algebraic Graph Transformations.
COMPASS/ADT 1994: 236-254 |
| 129 | | Fernando Orejas,
Elvira Pino,
Hartmut Ehrig:
Algebraic Methods in the Compositional Analysis of Logic Programs.
MFCS 1994: 112-126 |
| 128 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
An Event Structure Semantics for Safe Graph Grammars.
PROCOMET 1994: 423-444 |
| 127 | | Hartmut Ehrig,
Gregor Engels:
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems.
TAGT 1994: 137-154 |
| 126 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
An Event Structure Semantics for Graph Grammars with Parallel Productions.
TAGT 1994: 240-256 |
| 125 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Julia Padberg:
The Category of Typed Graph Grammars and its Adjunctions with Categories.
TAGT 1994: 56-74 |
| 124 | | Hartmut Ehrig:
FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS.
Bulletin of the EATCS 52: 188-202 (1994) |
| 123 | | Hartmut Ehrig,
Fernando Orejas:
Dynamic Abstract Data Types: An informal Proposal.
Bulletin of the EATCS 53: 162-169 (1994) |
| 122 | | Hartmut Ehrig,
Julia Padberg:
Linking Algebraic High level Nets and Dynamic Abstract Data.
Bulletin of the EATCS 54: 132-144 (1994) |
| 121 | | Hartmut Ehrig,
Martin Große-Rhode:
Functorial Theory of Parameterized Specifications in a General Specification Framework.
Theor. Comput. Sci. 135(2): 221-266 (1994) |
| 1993 |
|---|
| 120 | | Hartmut Ehrig,
Francesco Parisi-Presicce:
Interaction between Algebraic Specification Grammars and Modular System Design.
AMAST 1993: 217-224 |
| 119 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 119-137 |
| 118 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Gabriele Taentzer:
Canonical Derivaitons for High-Level Replacement Systems.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 153-169 |
| 117 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
Abstract Graph Derivations in the Double Pushout Approach.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 86-103 |
| 116 | | Hartmut Ehrig:
Combined Algebraic Specification Techniques for Concurrent and Distributed Systems.
GI Jahrestagung 1993: 528-533 |
| 115 | | Hartmut Ehrig,
Rosa M. Jiménez,
Fernando Orejas:
Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages.
TAPSOFT 1993: 31-45 |
| 114 | | Hartmut Ehrig,
Michael Löwe:
Categorical principles, techniques and results for high-level-replacement systems in computer science.
Applied Categorical Structures 1(1): 21-50 (1993) |
| 113 | | Hartmut Ehrig,
Michael Löwe:
Parallel and Distributed Derivations in the Single-Pushout Approach.
Theor. Comput. Sci. 109(1&2): 123-143 (1993) |
| 112 | | Hartmut Ehrig,
Michael Löwe:
The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey.
Theor. Comput. Sci. 109(1&2): 3-6 (1993) |
| 1992 |
|---|
| 111 | | Hartmut Ehrig,
Francesco Parisi-Presicce:
High-Level-Replacement Systems for Equational Algebraic Specifications.
ALP 1992: 3-20 |
| 110 | | Hartmut Ehrig,
Julia Padberg,
Leila Ribeiro:
Algebraic High-Level Nets: Petri Nets Revisited.
COMPASS/ADT 1992: 188-206 |
| 109 | | Hartmut Ehrig,
Michael Löwe:
From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach.
Informatik zwischen Wissenschaft und Gesellschaft 1992: 47-65 |
| 108 | | Martin Große-Rhode,
Hartmut Ehrig:
Restriction Constructions in Specification Logics.
Bulletin of the EATCS 46: 84-89 (1992) |
| 107 | | Hartmut Ehrig:
Some important new facts supporting the development of algebraic specifications.
Bulletin of the EATCS 47: 135-136 (1992) |
| 106 | | Hartmut Ehrig,
Bernd Mahr,
Ingo Claßen,
Fernando Orejas:
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.
Comput. J. 35(5): 460-467 (1992) |
| 105 | | Hartmut Ehrig,
Bernd Mahr,
Ingo Claßen,
Fernando Orejas:
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications.
Comput. J. 35(5): 468-477 (1992) |
| 1991 |
|---|
| 104 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Grzegorz Rozenberg:
Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings
Springer 1991 |
| 103 | | Hartmut Ehrig,
Klaus P. Jantke,
Fernando Orejas,
Horst Reichel:
Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990
Springer 1991 |
| 102 | | Hartmut Ehrig,
Michael Baldamus,
Felix Cornelius,
Fernando Orejas:
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.
AMAST 1991: 145-172 |
| 101 | | Hartmut Ehrig,
Michael Baldamus,
Fernando Orejas:
New Concepts of Amalgamation and Extension for a General Theory of Specifications.
COMPASS/ADT 1991: 199-221 |
| 100 | | Hartmut Ehrig,
Francesco Parisi-Presicce:
Non-Equivalence of Categories for Equational Algebraic Specifications.
COMPASS/ADT 1991: 222-235 |
| 99 | |
