Hartmut Ehrig
According to our database1,
Hartmut Ehrig
authored at least 350 papers
between 1973 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:
-
at zbmath.org
-
at dl.acm.org
On csauthors.net:
Bibliography
2015
Graph and Model Transformation - General Framework and Applications
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-47980-3, 2015
Model synchronization based on triple graph grammars: correctness, completeness and invertibility.
Software and System Modeling, 2015
Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg.
Sci. Comput. Program., 2015
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation.
Proceedings of the Software, 2015
2014
Multi-amalgamation of rules with application conditions in -adhesive categories.
Mathematical Structures in Computer Science, 2014
Finitary -adhesive categories.
Mathematical Structures in Computer Science, 2014
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation.
Mathematical Structures in Computer Science, 2014
Formal analysis of model transformations based on triple graph grammars.
Mathematical Structures in Computer Science, 2014
Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions.
Mathematical Structures in Computer Science, 2014
Triple Graph Grammars in the Large for Translating Satellite Procedures.
Proceedings of the Theory and Practice of Model Transformations, 2014
2013
Propagation of constraints along model transformations using triple graph grammars and borrowed context.
J. Vis. Lang. Comput., 2013
On Propagation-Based Concurrent Model Synchronization.
ECEASST, 2013
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors.
ECEASST, 2013
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization.
Computability, 2013
Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars.
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013
2012
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs.
Theor. Comput. Sci., 2012
Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes.
Theor. Comput. Sci., 2012
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence.
Fundam. Inform., 2012
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors.
ECEASST, 2012
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories
Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012
Parallelism and Concurrency of Stochastic Graph Transformations.
Proceedings of the Graph Transformations - 6th International Conference, 2012
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements.
Proceedings of the Graph Transformations - 6th International Conference, 2012
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars.
Proceedings of the Fundamental Approaches to Software Engineering, 2012
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization.
Proceedings of the How the World Computes, 2012
Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes.
Proceedings of the Software Service and Application Engineering, 2012
2011
Foreword.
J. Symb. Comput., 2011
Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms.
Int. J. Software and Informatics, 2011
Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions.
ECEASST, 2011
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation.
ECEASST, 2011
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars.
ECEASST, 2011
Correctness of Model Synchronization Based on Triple Graph Grammars.
Proceedings of the Model Driven Engineering Languages and Systems, 2011
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.
Proceedings of the Model Driven Engineering Languages and Systems, 2011
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2011
2010
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP.
Fundam. Inform., 2010
A Generic Approach to Connector Architectures Part I: The General Framework.
Fundam. Inform., 2010
Reasoning with graph constraints.
Formal Asp. Comput., 2010
Consistent integration of models based on views of meta models.
Formal Asp. Comput., 2010
Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories.
ECEASST, 2010
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets.
ECEASST, 2010
Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks.
ECEASST, 2010
International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface.
ECEASST, 2010
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions.
ECEASST, 2010
From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement.
ECEASST, 2010
Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach.
Bulletin of the EATCS, 2010
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars.
Proceedings of the First International Workshop on Model-Driven Interoperability, 2010
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars.
Proceedings of the Graph Transformations - 5th International Conference, 2010
Multi-Amalgamation in Adhesive Categories.
Proceedings of the Graph Transformations - 5th International Conference, 2010
Local Confluence for Rules with Nested Application Conditions.
Proceedings of the Graph Transformations - 5th International Conference, 2010
Finitary M\mathcal{M}-Adhesive Categories.
Proceedings of the Graph Transformations - 5th International Conference, 2010
Formal Analysis and Verification of Self-Healing Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2010
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010
2009
Towards Component Verification in the Generic Component Framework.
Electr. Notes Theor. Comput. Sci., 2009
Composition and Independence of High-Level Net Processes.
Electr. Notes Theor. Comput. Sci., 2009
Compositionality of Model Transformations.
Electr. Notes Theor. Comput. Sci., 2009
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions.
ECEASST, 2009
Refactoring of Model Transformations.
ECEASST, 2009
Cospan DPO Approach: An Alternative for DPO Graph Transformations.
Bulletin of the EATCS, 2009
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation.
Bulletin of the EATCS, 2009
Modeling multicasting in communication spaces by reconfigurable high-level Petri nets.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars.
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks.
Proceedings of the Fundamental Approaches to Software Engineering, 2009
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
2008
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
Logical Methods in Computer Science, 2008
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions.
Electr. Notes Theor. Comput. Sci., 2008
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs.
Electr. Notes Theor. Comput. Sci., 2008
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams.
Electr. Notes Theor. Comput. Sci., 2008
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations.
Electr. Notes Theor. Comput. Sci., 2008
Preface.
Electr. Notes Theor. Comput. Sci., 2008
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences.
ECEASST, 2008
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems.
ECEASST, 2008
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars.
ECEASST, 2008
Verification of Architectural Refactorings: Rule Extraction and Tool Support.
ECEASST, 2008
Process Definition using Subobject Transformation Systems.
Bulletin of the EATCS, 2008
Flattening of Generalized Algebraic High-Level Nets.
Bulletin of the EATCS, 2008
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
CoRR, 2008
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories.
Applied Categorical Structures, 2008
Compositional Verification of Architectural Refactorings.
Proceedings of the Architecting Dependable Systems VI, 2008
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.
Proceedings of the Graph Transformations, 4th International Conference, 2008
Embedding and Confluence of Graph Transformations with Negative Application Conditions.
Proceedings of the Graph Transformations, 4th International Conference, 2008
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.
Proceedings of the Graph Transformations, 4th International Conference, 2008
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation.
Proceedings of the Graph Transformations, 4th International Conference, 2008
Open Petri Nets: Non-deterministic Processes and Compositionality.
Proceedings of the Graph Transformations, 4th International Conference, 2008
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions.
Proceedings of the Foundations of Software Science and Computational Structures, 2008
A Logic of Graph Constraints.
Proceedings of the Fundamental Approaches to Software Engineering, 2008
A Formal Framework for Developing Adaptable Service-Based Applications.
Proceedings of the Fundamental Approaches to Software Engineering, 2008
Consistent Integration of Models Based on Views of Visual Languages.
Proceedings of the Fundamental Approaches to Software Engineering, 2008
Verification of Architectural Refactorings by Rule Extraction.
Proceedings of the Fundamental Approaches to Software Engineering, 2008
Transformations in Reconfigurable Place/Transition Systems.
Proceedings of the Concurrency, 2008
2007
Attributed graph transformation with node type inheritance.
Theor. Comput. Sci., 2007
Termination Criteria for DPO Transformations with Injective Matches.
Electr. Notes Theor. Comput. Sci., 2007
Bisimulation Verification for the DPO Approach with Borrowed.
ECEASST, 2007
Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks.
Bulletin of the EATCS, 2007
Model Transformations by Graph Transformation are Functors.
Bulletin of the EATCS, 2007
Model Transformations should be Functors.
Bulletin of the EATCS, 2007
Iterative model-driven development of adaptable service-based applications.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks.
Proceedings of the Fundamental Approaches to Software Engineering, 2007
Information Preserving Bidirectional Model Transformations.
Proceedings of the Fundamental Approaches to Software Engineering, 2007
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems.
Proceedings of the Algebraic Informatics, Second International Conference, 2007
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007
2006
Fundamentals of Algebraic Graph Transformation
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-31188-1, 2006
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts.
Mathematical Structures in Computer Science, 2006
Petri net modules in the transformation-based component framework.
J. Log. Algebr. Program., 2006
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation.
Fundam. Inform., 2006
Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories.
Fundam. Inform., 2006
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures.
Fundam. Inform., 2006
Efficient Detection of Conflicts in Graph-based Model Transformation.
Electr. Notes Theor. Comput. Sci., 2006
Transformations of Petri Nets.
Electr. Notes Theor. Comput. Sci., 2006
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation.
Electr. Notes Theor. Comput. Sci., 2006
Semantical Correctness of Simulation-to-Animation Model and Rule Transformation.
ECEASST, 2006
Foreword.
ECEASST, 2006
Revie of Dines Bjørner's Textbooks Software Engineering 1-3.
Bulletin of the EATCS, 2006
Report on ACCAT Workshop at ETAPS 2006: Applied and Computational Category Theory.
Bulletin of the EATCS, 2006
Footprints of HR in Initial Algebra and Final Coalgebra.
Bulletin of the EATCS, 2006
Termination Analysis of Model Transformations by Petri Nets.
Proceedings of the Graph Transformations, Third International Conference, 2006
Conflict Detection for Graph Transformation with Negative Application Conditions.
Proceedings of the Graph Transformations, Third International Conference, 2006
Categorical Foundations of Distributed Graph Transformation.
Proceedings of the Graph Transformations, Third International Conference, 2006
Workshop on Petri Nets and Graph Transformations.
Proceedings of the Graph Transformations, Third International Conference, 2006
Composition and Decomposition of DPO Transformations with Borrowed Context.
Proceedings of the Graph Transformations, Third International Conference, 2006
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations.
Proceedings of the Algebra, Meaning, and Computation, 2006
2005
Compositional semantics for open Petri nets based on deterministic processe.
Mathematical Structures in Computer Science, 2005
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, 2005
Behaviour and Instantiation of High-Level Petri Net Processes.
Fundam. Inform., 2005
Preface.
Electr. Notes Theor. Comput. Sci., 2005
Object-Oriented Connector-Component Architectures.
Electr. Notes Theor. Comput. Sci., 2005
Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005
Termination Criteria for Model Transformation.
Proceedings of the Fundamental Approaches to Software Engineering, 2005
Termination Criteria for Model Transformation.
Proceedings of the Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005
High-Level Nets with Nets and Rules as Tokens.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005
2004
A component framework for system modeling based on high-level replacement systems.
Software and System Modeling, 2004
A Generic Framework for Connector Architectures based on Components and Transformations.
Electr. Notes Theor. Comput. Sci., 2004
Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification).
Bulletin of the EATCS, 2004
Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification).
Bulletin of the EATCS, 2004
Fundamental Theory for Typed Attributed Graph Transformation.
Proceedings of the Graph Transformations, Second International Conference, 2004
Workshop on Petri Nets and Graph Transformations.
Proceedings of the Graph Transformations, Second International Conference, 2004
Adhesive High-Level Replacement Categories and Systems.
Proceedings of the Graph Transformations, Second International Conference, 2004
Constraints and Application Conditions: From Graphs to High-Level Structures.
Proceedings of the Graph Transformations, Second International Conference, 2004
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting.
Proceedings of the Foundations of Software Science and Computation Structures, 2004
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation.
Proceedings of the Fundamental Approaches to Software Engineering, 2004
Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
2003
Components for Algebra Transformation Systems.
Electr. Notes Theor. Comput. Sci., 2003
A Component Framework Based on High-Level Replacement Systems.
Electr. Notes Theor. Comput. Sci., 2003
Behaviour and Instantiation of High-Level Net Processes.
Electr. Notes Theor. Comput. Sci., 2003
Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques.
Electr. Notes Theor. Comput. Sci., 2003
On the relevance of high-level net processes, Formal Specification Column.
Bulletin of the EATCS, 2003
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003
Generation of Animation Views for Petri Nets in GenGED.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003
Petri Net Transformations in the "Petri Net Baukasten".
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003
Graph Grammars and Petri Net Transformations.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
Concurrency and Loose Semantics of Open Graph Transformation Systems.
Mathematical Structures in Computer Science, 2002
Component-Based System Development.
Transactions of the SDPS, 2002
A Transformation-Based Component Framework for a Generic Integrated Modeling Technique.
Transactions of the SDPS, 2002
Foreword Volume 72.
Electr. Notes Theor. Comput. Sci., 2002
A Review of Algebraic Specification and Component Techniques at TU Berlin.
Bulletin of the EATCS, 2002
Bigraphs meet Double Pushouts.
Bulletin of the EATCS, 2002
A Generic Component Framework for System Modeling.
Proceedings of the Fundamental Approaches to Software Engineering, 2002
High-Level Net Processes.
Proceedings of the Formal and Natural Computing, 2002
2001
Cooperability in Train Control Systems: Specification of Scenarios using Open Nets.
Transactions of the SDPS, 2001
Integration and Collaboration Based on Graphical Techniques (Editorial).
Transactions of the SDPS, 2001
Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen.
Inform., Forsch. Entwickl., 2001
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques.
Electr. Notes Theor. Comput. Sci., 2001
Basic Results for Two Types of High-Level Replacement Systems.
Electr. Notes Theor. Comput. Sci., 2001
Preface.
Electr. Notes Theor. Comput. Sci., 2001
On the Roots, Birth and Childhood of ETAPS.
Bulletin of the EATCS, 2001
A Review of Graph Grammars and Preview of ICGT 2002: The First International Conference on Graph Transformation.
Bulletin of the EATCS, 2001
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.
Applied Categorical Structures, 2001
Tight and Loose Semantics for Transformation Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001
Compositional Modeling of Reactive Systems Using Open Nets.
Proceedings of the CONCUR 2001, 2001
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001
Parameterized Net Classes: A Uniform Approach to Petri Net Classes.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001
The »Petri Net Baukasten«: An Overview.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001
From Basic Views and Aspects to Integration of Specification Formalisms.
Current Trends in Theoretical Computer Science, 2001
Integration Paradigm for Data Type and Process Specification Techniques.
Current Trends in Theoretical Computer Science, 2001
Dynamic Abstract Data Types: An Informal Proposal in 1994.
Current Trends in Theoretical Computer Science, 2001
Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties.
Current Trends in Theoretical Computer Science, 2001
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
On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Current Trends in Theoretical Computer Science, 2001
On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000.
Current Trends in Theoretical Computer Science, 2001
2000
The Role of Mathematics and Formal Specification Techniques in Software System Development.
Bulletin of the EATCS, 2000
On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Bulletin of the EATCS, 2000
On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000.
Bulletin of the EATCS, 2000
A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components.
ICALP Satellite Workshops, 2000
1999
Refinement and Implementation.
Proceedings of the Algebraic Foundations of Systems Specification, 1999
Abstract and behaviour module specifications.
Mathematical Structures in Computer Science, 1999
From Basic Views and Aspects to Integration of Specification Formalisms.
Bulletin of the EATCS, 1999
Graphical Represenation and Graph Transformation.
ACM Comput. Surv., 1999
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
German-Argentinian Workshop on Information Technology, 1999
1998
DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen.
Inform., Forsch. Entwickl., 1998
Integration Paradigm for Data Type and Process Specification Techniques.
Bulletin of the EATCS, 1998
EATCS Mini-Track of FM'99.
Bulletin of the EATCS, 1998
Applications of Category Theory to the Area of Algebraic Specification in Computer Science.
Applied Categorical Structures, 1998
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.
Proceedings of the Theory and Application of Graph Transformations, 1998
Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages.
Proceedings of the Theory and Application of Graph Transformations, 1998
1997
Institutions for Logic Programming.
Theor. Comput. Sci., 1997
A Combined Reference Model- and View-Based Approach to System Specification.
International Journal of Software Engineering and Knowledge Engineering, 1997
An Algebraic View on Petri Nets.
Bulletin of the EATCS, 1997
How to Transfer Concepts of Abstract Data Types to Petri Nets?
Bulletin of the EATCS, 1997
From abstract data types to algebraic development techniques: A shift of paradigms.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997
Future Trends of TAPSOFT.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997
Integrating the Specification Techniques of Graph Transformation and Temporal Logic.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997
DFG-Schwerpunktprogramm "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen".
Proceedings of the Informatik '97, 1997
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach.
Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.
Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997
A View-Oriented Approach to System Modelling Based on Graph Transformation.
Proceedings of the Software Engineering, 1997
Horizontal and Vertical Structuring Techniques for Statecharts.
Proceedings of the CONCUR '97: Concurrency Theory, 1997
A Uniform Approach to Petri Nets.
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997
1996
Horizontal and Vertical Structuring of Typed Graph Transformation Systems.
Mathematical Structures in Computer Science, 1996
The Impact and Future Role of Algebraic Specification.
Bulletin of the EATCS, 1996
Algebraic Techniques in Software Development.
Bulletin of the EATCS, 1996
1995
Algebraic High-Level Net Transformation Systems.
Mathematical Structures in Computer Science, 1995
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages.
Mathematical Structures in Computer Science, 1995
Introduction to COMPUGRAPH.
Electr. Notes Theor. Comput. Sci., 1995
Theory and Practice of Software Development: A Review of Driving Forces and Expectations.
Bulletin of the EATCS, 1995
Correctness of actualization for parameterized implementation concepts based on constructors and abstractors.
Bulletin of the EATCS, 1995
A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
On the Role of Category Theory in the Area of Algebraic Specification.
Proceedings of the Recent Trends in Data Type Specification, 1995
1994
Functorial Theory of Parameterized Specifications in a General Specification Framework.
Theor. Comput. Sci., 1994
Linking Algebraic High level Nets and Dynamic Abstract Data.
Bulletin of the EATCS, 1994
Dynamic Abstract Data Types: An informal Proposal.
Bulletin of the EATCS, 1994
FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS.
Bulletin of the EATCS, 1994
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994
An Event Structure Semantics for Graph Grammars with Parallel Productions.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994
The Category of Typed Graph Grammars and its Adjunctions with Categories.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994
An Event Structure Semantics for Safe Graph Grammars.
Proceedings of the Programming Concepts, 1994
Algebraic Methods in the Compositional Analysis of Logic Programs.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994
Dynamic Abstract Data Types Based on Algebraic Graph Transformations.
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994
1993
Restriction Constructions in Specification Logics.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993
On the potential Role of Algebraic Specification within Computer Science.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993
Overview of Algebraic Specification Languages, Environments and Tools, and Algebraic Specifications of Software Systems.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993
New Concepts for Amalgamation and Extension in the Framework of Specification Logics.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993
New Compatibility Results for Implementations within the Initial Algebraic Approach.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993
Linking Schemas and Module Specifications: a Proposal.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993
Concepts and Compatibility Requirements for Implementations and Transformations of Specifications.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993
ESF-Concepts Linked with Algebraic Module Specifications.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993
Algebraic Specification.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993
Algebraic Specification Techniques and Tools for Software Development: The Act Approach
AMAST Series in Computing 1, World Scientific, ISBN: 978-981-02-1227-8, 1993
Parallel and Distributed Derivations in the Single-Pushout Approach.
Theor. Comput. Sci., 1993
The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey.
Theor. Comput. Sci., 1993
Categorical principles, techniques and results for high-level-replacement systems in computer science.
Applied Categorical Structures, 1993
Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
Combined Algebraic Specification Techniques for Concurrent and Distributed Systems.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993
Canonical Derivaitons for High-Level Replacement Systems.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993
Abstract Graph Derivations in the Double Pushout Approach.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993
Interaction between Algebraic Specification Grammars and Modular System Design.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993
1992
Restriction Constructions in Specification Logics.
Bulletin of the EATCS, 1992
Some important new facts supporting the development of algebraic specifications.
Bulletin of the EATCS, 1992
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications.
Comput. J., 1992
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.
Comput. J., 1992
Algebraic High-Level Nets: Petri Nets Revisited.
Proceedings of the Recent Trends in Data Type Specification, 1992
From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach.
Proceedings of the Informatik zwischen Wissenschaft und Gesellschaft, 1992
High-Level-Replacement Systems for Equational Algebraic Specifications.
Proceedings of the Algebraic and Logic Programming, 1992
1991
Parallelism and Concurrency in High-Level Replacement Systems.
Mathematical Structures in Computer Science, 1991
New Compatibility Results for Implementations within the Initial Algebraic Approach.
Bulletin of the EATCS, 1991
Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms.
Bulletin of the EATCS, 1991
On the Relationship Between Algebraic Module Specifications and Program Modules.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991
Non-Equivalence of Categories for Equational Algebraic Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1991
New Concepts of Amalgamation and Extension for a General Theory of Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1991
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991
1990
Fundamentals of Algebraic Specification 2
EATCS Monographs on Theoretical Computer Science 21, Springer, ISBN: 0387517995, 1990
Combining Data Type and Recursive Process Specifications Using Projection Algebras.
Theor. Comput. Sci., 1990
Compatibility Problems in the Development of Algebraic Module Specifications.
Theor. Comput. Sci., 1990
Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems.
Bulletin of the EATCS, 1990
Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3).
Bulletin of the EATCS, 1990
Linking Schemas and Module Specifications: A Proposal.
Bulletin of the EATCS, 1990
ESF-concepts linked with algebraic module specifications.
Bulletin of the EATCS, 1990
Algebraic Approach to Graph Transformation Based on Single Pushout Derivations.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1990
Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990
Computing by Graph Transformation: Overall Aims and New Results.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990
Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990
From Graph Grammars to High Level Replacement Systems.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990
Graph Grammars and Logic Programming.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990
A Match Operation for Rule-Based Modular System Design.
Proceedings of the Recent Trends in Data Type Specification, 1990
1989
Algebraic Specification of Modules and Configuration Families.
Elektronische Informationsverarbeitung und Kybernetik, 1989
Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems.
Bulletin of the EATCS, 1989
The Algebraic Specification Column.
Bulletin of the EATCS, 1989
Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag).
Proceedings of the Software-Entwicklung: Konzepte, 1989
Transformation of Combined Data Type and Process Specifications Using Projection Algebras.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989
On Recent Trends in Algebraic Specification.
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989
Algebraic Software Development Concepts for Module and Configuration Families.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989
1988
The Algebraic Specification Column.
Bulletin of the EATCS, 1988
The Algebraic Specification Column.
Bulletin of the EATCS, 1988
The Algebraic Specification Column.
Bulletin of the EATCS, 1988
Semantical Constructions for Categories of Behavioural Specifications.
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988
The Construct PRO of Projection Spaces: Its Internal Structure.
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988
Categories for the Development of Algebraic Module Specifications.
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988
Categorical Concept of Constraints for Algebraic Specifications.
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988
Algebraic Theory of Modular Specification Development.
ADT, 1988
1987
Canonical Constraints for Parameterized Data Types.
Theor. Comput. Sci., 1987
Algebraic Specification of Modules and Their Basic Interconnections.
J. Comput. Syst. Sci., 1987
The Algebraic Specification Column.
Bulletin of the EATCS, 1987
The Algebraic Specification Column.
Bulletin of the EATCS, 1987
Distributed Parallelism of Graph Transformations.
Proceedings of the Graph-Theoretic Concepts in Computer Science, International Workshop, 1987
Algebraic Data Type and Process Specifications based on Projection Spaces.
Proceedings of the Recent Trends in Data Type Specification, 1987
1986
Specification of Modular Systems.
IEEE Trans. Software Eng., 1986
A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets.
Bulletin of the EATCS, 1986
Towards algebraic data types grammars: a junction between algebraic specification and graph grammars.
Bulletin of the EATCS, 1986
Algebraic Theory of Module Specification with Constraints.
Proceedings of the Mathematical Foundations of Computer Science 1986, 1986
Programming in the Large with Algebraic Module Specifications (Invited Paper).
IFIP Congress, 1986
Graph rewriting with unification and composition.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986
Tutorial introduction to the algebraic approach of graph grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986
Towards distributed graph grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986
Towards an Algebraic Semantics of the ISO Specification Language LOTOS.
ADT, 1986
1985
Fundamentals of Algebraic Specification 1: Equations und Initial Semantics
EATCS Monographs on Theoretical Computer Science 6, Springer, ISBN: 0387137181, 1985
1984
Parameter Passing in Algebraic Specification Languages.
Theor. Comput. Sci., 1984
Towards Abstract User Interfaces for Formal System Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1984
1983
Compatibility of Parameter Passing and Implementation of Parameterized Data Types.
Theor. Comput. Sci., 1983
Algebraic Specifications with Generating Constraints.
Proceedings of the Automata, 1983
ACT ONE - An Algebraic Specification Language with two Levels of Semantics.
ADT, 1983
1982
Algebraic Implementation of Abstract Data Types.
Theor. Comput. Sci., 1982
Church-Rosser properties for graph replacement systems with unique splitting.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982
Aspects of concurrency in graph grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982
Parameterized Data Types and Parameter Passing.
ADT, 1982
ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems.
ADT, 1982
1981
Transformations of Structures: an Algebraic Approach.
Mathematical Systems Theory, 1981
Complexity of Algebraic Implementations for Abstract Data Types.
J. Comput. Syst. Sci., 1981
A Graph-Theoretical Model for Multi-Pass Parsing.
Proceedings of the 7th Conference Graphtheoretic Concepts in Computer Science (WG '81), 1981
Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications.
Proceedings of the GI, 1981
KWIC-index generation.
Proceedings of the Program Specification, 1981
Parameter Passing in Algebraic Specification Languages.
Proceedings of the Program Specification, 1981
Algebraic Theory of Parameterized Specifications with Requirements.
Proceedings of the CAAP '81, 1981
1980
Parallelism and Concurrency of Graph Manipulations.
Theor. Comput. Sci., 1980
The Mathematics of Record Handling.
SIAM J. Comput., 1980
On an equivalence of system-theoretical and categorical concepts.
Kybernetika, 1980
Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems.
Inf. Syst., 1980
Complexity of Implementations on the Level of Algebraic Specifications
Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980
Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie.
Proceedings of the Software Engineering, 1980
A Case Study of Abstract Implementations and Their Correctness.
Proceedings of the International Symposium on Programming, 1980
Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980
Parameterized Data Types in Algebraic Specification Languages (Short Version).
Proceedings of the Automata, 1980
Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness.
Proceedings of the Automata, 1980
1979
Categorial approach to nonlinear constant continuous-time systems.
ITA, 1979
Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme.
Formale Modelle für Informationssysteme, 1979
1978
Algebraic Specification Schemes for Data Base Systems.
Proceedings of the Fourth International Conference on Very Large Data Bases, 1978
Concurrency of Manipulations in Multidimensional Information Structures.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978
Deriving Structures from Structures.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978
Stepwise Specification and Implementation of Abstract Data Types.
Proceedings of the Automata, 1978
Decomposition of Graph Grammar Productions and Derivations.
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978
Locally Star Sluing Formulas for a Class of Parallel Graph Grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978
Introduction to the Algebraic Theory of Graph Grammars (A Survey).
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978
1977
The Mathematics of Record Handling.
Proceedings of the Automata, 1977
Embedding Theorem in the Algebraic Theory of Graph Grammars.
FCT, 1977
1976
Systematic Approach to Reduction and Minimization in Automata and System Theory.
J. Comput. Syst. Sci., 1976
Grammars on Partial Graphs.
Acta Inf., 1976
Parallelism of Manipulations in Multidimensional Information Structures.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976
1975
Graph Grammars and Applications to Specialization and Evolution in Biology.
J. Comput. Syst. Sci., 1975
1974
Diagram characterization.
Proceedings of the Category Theory Applied to Computation and Control, 1974
Power and initial automata in pseudoclosed categories.
Proceedings of the Category Theory Applied to Computation and Control, 1974
Universal theory of automata - a categorial approach.
Teubner Studienbücher, Teubner, ISBN: 978-3-519-02054-7, 1974
1973
Graph-Grammars: An Algebraic Approach
Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973