Hartmut Ehrig
Affiliations:- Technical University of Berlin, Department of Mathematics, Germany
According to our database1,
Hartmut Ehrig
authored at least 348 papers
between 1973 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2015
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
Math. Struct. Comput. Sci., 2014
ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation.
Math. Struct. Comput. Sci., 2014
Math. Struct. Comput. Sci., 2014
Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions.
Math. Struct. Comput. Sci., 2014
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
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
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
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
Proceedings of the Model Driven Engineering Languages and Systems, 2011
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
Fundam. Informaticae, 2010
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
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
Proceedings of the Graph Transformations - 5th International Conference, 2010
Proceedings of the Graph Transformations - 5th International Conference, 2010
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
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
Log. Methods Comput. Sci., 2008
Proceedings of the First Workshop on Formal Methods for Wireless Systems, 2008
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
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
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
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
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
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
Proceedings of the Fundamental Approaches to Software Engineering, 2008
Proceedings of the Fundamental Approaches to Software Engineering, 2008
Proceedings of the Fundamental Approaches to Software Engineering, 2008
Proceedings of the Fundamental Approaches to Software Engineering, 2008
Proceedings of the Concurrency, 2008
2007
Theor. Comput. Sci., 2007
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
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007
Proceedings of the Second Workshop on Applied and Computational Category Theory, 2007
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
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Proceedings of the Fundamental Approaches to Software Engineering, 2007
Proceedings of the Fundamental Approaches to Software Engineering, 2007
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
An Approach Using Formally Well-founded Domain Languages for Secure Coarse-grained IT System Modelling in a Real-world Banking Scenario.
Proceedings of the Australasian Conference on Information Systems, 2007
2006
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
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
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
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
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
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
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
Fundam. Informaticae, 2005
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
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
Proceedings of the Fundamental Approaches to Software Engineering, 2005
Proceedings of the Applications and Theory of Petri Nets 2005, 2005
2004
Softw. Syst. Model., 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
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
Proceedings of the Graph Transformations, Second International Conference, 2004
Proceedings of the Graph Transformations, Second International Conference, 2004
Proceedings of the Graph Transformations, Second International Conference, 2004
Proceedings of the Graph Transformations, Second International Conference, 2004
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
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003
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
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
Math. Struct. Comput. Sci., 2002
A Transformation-Based Component Framework for a Generic Integrated Modeling Technique.
Trans. SDPS, 2002
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002
A Review of Algebraic Specification and Component Techniques at TU Berlin.
Bull. EATCS, 2002
Bigraphs meet Double Pushouts.
Bull. EATCS, 2002
Proceedings of the Fundamental Approaches to Software Engineering, 2002
2001
Trans. SDPS, 2001
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
Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001
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
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001
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
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001
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
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
Proceedings of the Algebraic Foundations of Systems Specification, 1999
From Basic Views and Aspects to Integration of Specification Formalisms.
Bull. EATCS, 1999
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
Proceedings of the German-Argentinian Workshop on Information Technology, 1999
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
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
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997
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
Proceedings of the Software Engineering, 1997
Proceedings of the CONCUR '97: Concurrency Theory, 1997
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997
1996
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
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages.
Math. Struct. Comput. Sci., 1995
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
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
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994
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
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994
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
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993
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
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993
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
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993
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
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
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993
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
Proceedings of the Recent Trends in Data Type Specification, 1992
Proceedings of the Informatik zwischen Wissenschaft und Gesellschaft, 1992
Proceedings of the Algebraic and Logic Programming, 1992
1991
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
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991
Proceedings of the Recent Trends in Data Type Specification, 1991
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
EATCS Monographs on Theoretical Computer Science 21, Springer, ISBN: 0387517995, 1990
Theor. Comput. Sci., 1990
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
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
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
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990
Proceedings of the Recent Trends in Data Type Specification, 1990
1989
Algebraic Specification of Modules and Configuration Families.
J. Inf. Process. Cybern., 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
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989
1988
The Algebraic Specification Column.
Bull. EATCS, 1988
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988
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
J. Comput. Syst. Sci., 1987
Proceedings of the Graph-Theoretic Concepts in Computer Science, International Workshop, 1987
Proceedings of the Recent Trends in Data Type Specification, 1987
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
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
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986
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
EATCS Monographs on Theoretical Computer Science 6, Springer, ISBN: 0387137181, 1985
1984
Proceedings of the Recent Trends in Data Type Specification, 1984
1983
Theor. Comput. Sci., 1983
Concurrent Transformations of Graphs and Relational Structures.
Proceedings of the WG '83, 1983
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
Concurrency of Node-Label-Controlled Graph Transformations.
Proceedings of the 8th Conference Graphtheoretic Concepts in Computer Science (WG '82), 1982
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982
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
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
Proceedings of the CAAP '81, 1981
1980
Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems.
Inf. Syst., 1980
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
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
Proceedings of the Automata, 1980
Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness.
Proceedings of the Automata, 1980
1979
RAIRO Theor. Informatics Appl., 1979
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
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978
Proceedings of the Automata, 1978
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978
1977
Proceedings of the Fundamentals of Computation Theory, 1977
1976
J. Comput. Syst. Sci., 1976
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976
1975
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
Proceedings of the Category Theory Applied to Computation and Control, 1974
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
Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973