Hartmut Ehrig

Affiliations:
  • Technical University of Berlin, Department of Mathematics, Germany


According to our database1, Hartmut Ehrig authored at least 347 papers between 1973 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

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.
Softw. Syst. Model., 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.
Math. Struct. Comput. Sci., 2014

Finitary ℳ-adhesive categories.
Math. Struct. Comput. Sci., 2014

ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation.
Math. Struct. Comput. Sci., 2014

Formal analysis of model transformations based on triple graph grammars.
Math. Struct. Comput. Sci., 2014

Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions.
Math. Struct. Comput. Sci., 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.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Analysis of Hypergraph Transformation Systems in AGG based on M-Functors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Confluence in Data Reduction: Bridging Graph Transformation and Kernelization.
Comput., 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. Informaticae, 2012

Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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

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. Softw. Informatics, 2011

Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Propagation of Constraints along Model Transformations Based on Triple Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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. Informaticae, 2010

A Generic Approach to Connector Architectures Part I: The General Framework.
Fundam. Informaticae, 2010

Reasoning with graph constraints.
Formal Aspects Comput., 2010

Consistent integration of models based on views of meta models.
Formal Aspects Comput., 2010

Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Parallelism and Concurrency Theorems for Rules with Nested Application Conditions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach.
Bull. 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

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
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Refactoring of Model Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Cospan DPO Approach: An Alternative for DPO Graph Transformations.
Bull. EATCS, 2009

Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation.
Bull. 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.
Log. Methods Comput. Sci., 2008

Composition and Independence of High-Level Net Processes.
Proceedings of the First Workshop on Formal Methods for Wireless Systems, 2008

Compositionality of Model Transformations.
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Flexible Modeling of Emergency Scenarios using Reconfigurable Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Verification of Architectural Refactorings: Rule Extraction and Tool Support.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Process Definition using Subobject Transformation Systems.
Bull. EATCS, 2008

Flattening of Generalized Algebraic High-Level Nets.
Bull. EATCS, 2008

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories.
Appl. Categorical Struct., 2008

On the relationship of model transformations based on triple and plain graph grammars.
Proceedings of the Third International Workshop on Graph and Model Transformations, 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

Towards Component Verification in the Generic Component Framework.
Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions.
Proceedings of the Second Workshop on Applied and Computational Category Theory, 2007

Behavior-Preserving Simulation-to-Animation Model and Rule Transformations.
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007

Preface.
Proceedings of the Second Workshop on Applied and Computational Category Theory, 2007

Bisimulation Verification for the DPO Approach with Borrowed.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks.
Bull. EATCS, 2007

Model Transformations by Graph Transformation are Functors.
Bull. EATCS, 2007

Model Transformations should be Functors.
Bull. 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

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.
Math. Struct. Comput. Sci., 2006

Petri net modules in the transformation-based component framework.
J. Log. Algebraic Methods Program., 2006

Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation.
Fundam. Informaticae, 2006

Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories.
Fundam. Informaticae, 2006

Theory of Constraints and Application Conditions: From Graphs to High-Level Structures.
Fundam. Informaticae, 2006

Termination Criteria for DPO Transformations with Injective Matches.
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Semantical Correctness of Simulation-to-Animation Model and Rule Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Foreword.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Revie of Dines Bjørner's Textbooks Software Engineering 1-3.
Bull. EATCS, 2006

Report on ACCAT Workshop at ETAPS 2006: Applied and Computational Category Theory.
Bull. EATCS, 2006

Footprints of HR in Initial Algebra and Final Coalgebra.
Bull. 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.
Math. Struct. Comput. Sci., 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 Inf. Technol., 2005

Behaviour and Instantiation of High-Level Petri Net Processes.
Fundam. Informaticae, 2005

Efficient Detection of Conflicts in Graph-based Model Transformation.
Proceedings of the International Workshop on Graph and Model Transformation, 2005

Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation.
Proceedings of the International Workshop on Graph and Model Transformation, 2005

Object-Oriented Connector-Component Architectures.
Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 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 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.
Softw. Syst. Model., 2004

Preface.
Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004

A Generic Framework for Connector Architectures based on Components and Transformations.
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

Transformations of Petri Nets.
Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, 2004

Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification).
Bull. EATCS, 2004

Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification).
Bull. 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.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

Behaviour and Instantiation of High-Level Net Processes.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

On the relevance of high-level net processes, Formal Specification Column.
Bull. 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.
Math. Struct. Comput. Sci., 2002

Component-Based System Development.
Trans. SDPS, 2002

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique.
Trans. SDPS, 2002

A Component Framework Based on High-Level Replacement Systems.
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

Foreword Volume 72.
Electron. Notes Theor. Comput. Sci., 2002

A Review of Algebraic Specification and Component Techniques at TU Berlin.
Bull. EATCS, 2002

Bigraphs meet Double Pushouts.
Bull. 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.
Trans. SDPS, 2001

Integration and Collaboration Based on Graphical Techniques (Editorial).
Trans. 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.
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

Basic Results for Two Types of High-Level Replacement Systems.
Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

Preface.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

On the Roots, Birth and Childhood of ETAPS.
Bull. EATCS, 2001

A Review of Graph Grammars and Preview of ICGT 2002: The First International Conference on Graph Transformation.
Bull. EATCS, 2001

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.
Appl. Categorical Struct., 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.
Proceedings of the Current Trends in Theoretical Computer Science, 2001

Integration Paradigm for Data Type and Process Specification Techniques.
Proceedings of the Current Trends in Theoretical Computer Science, 2001

Dynamic Abstract Data Types: An Informal Proposal in 1994.
Proceedings of the Current Trends in Theoretical Computer Science, 2001

Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties.
Proceedings of the 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.
Proceedings of the Current Trends in Theoretical Computer Science, 2001

On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Proceedings of the Current Trends in Theoretical Computer Science, 2001

On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000.
Proceedings of the Current Trends in Theoretical Computer Science, 2001

Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage
Springer-Lehrbuch, Springer, ISBN: 978-3-540-41923-5, 2001

2000
The Role of Mathematics and Formal Specification Techniques in Software System Development.
Bull. EATCS, 2000

On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Bull. EATCS, 2000

On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000.
Bull. EATCS, 2000

A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components.
Proceedings of the ICALP Workshops 2000, 2000

1999
Refinement and Implementation.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

Abstract and behaviour module specifications.
Math. Struct. Comput. Sci., 1999

From Basic Views and Aspects to Integration of Specification Formalisms.
Bull. EATCS, 1999

Graphical Represenation and Graph Transformation.
ACM Comput. Surv., 1999

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
Proceedings of the German-Argentinian Workshop on Information Technology, 1999

Mathematisch-strukturelle Grundlagen der Informatik
Springer-Lehrbuch, Springer, ISBN: 978-3-540-63865-0, 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.
Bull. EATCS, 1998

EATCS Mini-Track of FM'99.
Bull. EATCS, 1998

Applications of Category Theory to the Area of Algebraic Specification in Computer Science.
Appl. Categorical Struct., 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.
Int. J. Softw. Eng. Knowl. Eng., 1997

An Algebraic View on Petri Nets.
Bull. EATCS, 1997

How to Transfer Concepts of Abstract Data Types to Petri Nets?
Bull. 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.
Math. Struct. Comput. Sci., 1996

The Impact and Future Role of Algebraic Specification.
Bull. EATCS, 1996

Algebraic Techniques in Software Development.
Bull. EATCS, 1996

1995
Algebraic High-Level Net Transformation Systems.
Math. Struct. Comput. Sci., 1995

Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages.
Math. Struct. Comput. Sci., 1995

Introduction to COMPUGRAPH.
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

Theory and Practice of Software Development: A Review of Driving Forces and Expectations.
Bull. EATCS, 1995

Correctness of actualization for parameterized implementation concepts based on constructors and abstractors.
Bull. 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.
Bull. EATCS, 1994

Dynamic Abstract Data Types: An informal Proposal.
Bull. EATCS, 1994

FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS.
Bull. 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.
Appl. Categorical Struct., 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

Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations.
Proceedings of the 7th Brazilian Symposium on Software Engineering, 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.
Bull. EATCS, 1992

Some important new facts supporting the development of algebraic specifications.
Bull. 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.
Math. Struct. Comput. Sci., 1991

New Compatibility Results for Implementations within the Initial Algebraic Approach.
Bull. EATCS, 1991

Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms.
Bull. 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.
Bull. EATCS, 1990

Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3).
Bull. EATCS, 1990

Linking Schemas and Module Specifications: A Proposal.
Bull. EATCS, 1990

ESF-concepts linked with algebraic module specifications.
Bull. 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.
J. Inf. Process. Cybern., 1989

The Algebraic Specification Column.
Bull. 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
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.
Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 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

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.
Bull. EATCS, 1986

Towards algebraic data types grammars: a junction between algebraic specification and graph grammars.
Bull. 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).
Proceedings of the Information Processing 86, 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.
Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985
Fundamentals of Algebraic Specification 1: Equations and 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

Concurrent Transformations of Graphs and Relational Structures.
Proceedings of the WG '83, 1983

Algebraic Specifications with Generating Constraints.
Proceedings of the Automata, 1983

ACT ONE - An Algebraic Specification Language with two Levels of Semantics.
Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982
Algebraic Implementation of Abstract Data Types.
Theor. Comput. Sci., 1982

Concurrency of Node-Label-Controlled Graph Transformations.
Proceedings of the 8th Conference Graphtheoretic Concepts in Computer Science (WG '82), 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.
Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982

ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems.
Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982

1981
Transformations of Structures: an Algebraic Approach.
Math. Syst. 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


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
Algebraic implementation of abstract data types: an announcement.
SIGACT News, 1979

Categorial approach to nonlinear constant continuous-time systems.
RAIRO Theor. Informatics Appl., 1979

Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme.
Proceedings of the 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
Embedding Theorem in the Algebraic Theory of Graph Grammars.
Proceedings of the Fundamentals of Computation Theory, 1977

1976
Systematic Approach to Reduction and Minimization in Automata and System Theory.
J. Comput. Syst. Sci., 1976

Grammars on Partial Graphs.
Acta Informatica, 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

Some Definitional Suggestions for Parallel Graph Grammars.
Proceedings of the Automata, Languages, Development: At the crossroads of biology, mathematics and computer science, result of an international conference held at Noordwijkerhout, The Netherlands, March 31, 1975

Parallel Graph Grammers.
Proceedings of the Automata, Languages, Development: At the crossroads of biology, mathematics and computer science, result of an international conference held at Noordwijkerhout, The Netherlands, March 31, 1975

1974
Topological automata.
RAIRO Theor. Informatics Appl., 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


  Loading...