Hartmut Ehrig

and

Holger Giese

Proceedings of the Graph Transformations - 6th International Conference, 2012

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars.

(DOI)

and

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Confluence in Data Reduction: Bridging Graph Transformation and Kernelization.

(DOI)

Falk Hüffner

Rolf Niedermeier

and

Olga Runge

Proceedings of the How the World Computes, 2012

Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes.

(DOI)

and

Proceedings of the Software Service and Application Engineering, 2012

2011

Foreword.

(DOI)

Jochen Pfalzgraf

and

Thomas Soboll

J. Symb. Comput., 2011

Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms.

(DOI)

and

Int. J. Software and Informatics, 2011

Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions.

(DOI)

and

ECEASST, 2011

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation.

(DOI)

and

ECEASST, 2011

Propagation of Constraints along Model Transformations Based on Triple Graph Grammars.

(DOI)

Hanna Schölzel

and

Christoph Brandt

ECEASST, 2011

Correctness of Model Synchronization Based on Triple Graph Grammars.

(DOI)

Krzysztof Czarnecki

Zinovy Diskin

and

Yingfei Xiong

Proceedings of the Model Driven Engineering Languages and Systems, 2011

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.

(DOI)

Zinovy Diskin

Yingfei Xiong

Krzysztof Czarnecki

and

Proceedings of the Model Driven Engineering Languages and Systems, 2011

A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications.

(DOI)

and

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP.

(DOI)

Elvira Pino

and

Fundam. Inform., 2010

A Generic Approach to Connector Architectures Part I: The General Framework.

(DOI)

Elvira Pino

and

Fundam. Inform., 2010

Reasoning with graph constraints.

(DOI)

and

Formal Asp. Comput., 2010

Consistent integration of models based on views of meta models.

(DOI)

and

Formal Asp. Comput., 2010

Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories.

(DOI)

Maria Maximova

and

ECEASST, 2010

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets.

(DOI)

and

ECEASST, 2010

Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks.

(DOI)

Alexander Rein

and

ECEASST, 2010

International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface.

and

ECEASST, 2010

Parallelism and Concurrency Theorems for Rules with Nested Application Conditions.

(DOI)

and

ECEASST, 2010

From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement.

(DOI)

ECEASST, 2010

Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach.

(DOI)

and

Bulletin of the EATCS, 2010

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars.

(DOI)

and

Proceedings of the Graph Transformations - 5th International Conference, 2010

Multi-Amalgamation in Adhesive Categories.

(DOI)

and

Proceedings of the Graph Transformations - 5th International Conference, 2010

Local Confluence for Rules with Nested Application Conditions.

(DOI)

and

Proceedings of the Graph Transformations - 5th International Conference, 2010

Finitary M\mathcal{M}-Adhesive Categories.

(DOI)

and

Proceedings of the Graph Transformations - 5th International Conference, 2010

Formal Analysis and Verification of Self-Healing Systems.

(DOI)

Olga Runge

Antonio Bucchiarone

and

Patrizio Pelliccione

Proceedings of the Fundamental Approaches to Software Engineering, 2010

Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation.

(DOI)

and

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009

Towards Component Verification in the Generic Component Framework.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2009

Composition and Independence of High-Level Net Processes.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2009

Compositionality of Model Transformations.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2009

Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions.

(DOI)

and

Christoph Sartorius

ECEASST, 2009

Refactoring of Model Transformations.

(DOI)

and

ECEASST, 2009

Cospan DPO Approach: An Alternative for DPO Graph Transformations.

and

Bulletin of the EATCS, 2009

Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation.

and

Bulletin of the EATCS, 2009

Modeling multicasting in communication spaces by reconfigurable high-level Petri nets.

(DOI)

Tony Modica

and

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.

(DOI)

and

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks.

(DOI)

and

Proceedings of the Fundamental Approaches to Software Engineering, 2009

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.

(DOI)

Esther Guerra

and

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.

(DOI)

and

Logical Methods in Computer Science, 2008

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2008

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2008

A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2008

Behavior-Preserving Simulation-to-Animation Model and Rule Transformations.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2008

Preface.

(DOI)

Jochen Pfalzgraf

and

Electr. Notes Theor. Comput. Sci., 2008

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences.

(DOI)

and

ECEASST, 2008

Flexible Modeling of Emergency Scenarios using Reconfigurable Systems.

(DOI)

and

ECEASST, 2008

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars.

(DOI)

and

ECEASST, 2008

Verification of Architectural Refactorings: Rule Extraction and Tool Support.

(DOI)

and

ECEASST, 2008

Process Definition using Subobject Transformation Systems.

and

Bulletin of the EATCS, 2008

Flattening of Generalized Algebraic High-Level Nets.

and

Bulletin of the EATCS, 2008

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

(DOI)

and

CoRR, 2008

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories.

(DOI)

and

Applied Categorical Structures, 2008

Compositional Verification of Architectural Refactorings.

(DOI)

and

Proceedings of the Architecting Dependable Systems VI, 2008

Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.

(DOI)

Guilherme Rangel

and

Proceedings of the Graph Transformations, 4th International Conference, 2008

Embedding and Confluence of Graph Transformations with Negative Application Conditions.

(DOI)

and

Proceedings of the Graph Transformations, 4th International Conference, 2008

Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.

(DOI)

and

Proceedings of the Graph Transformations, 4th International Conference, 2008

Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation.

(DOI)

and

Proceedings of the Graph Transformations, 4th International Conference, 2008

Open Petri Nets: Non-deterministic Processes and Compositionality.

(DOI)

and

Proceedings of the Graph Transformations, 4th International Conference, 2008

Deriving Bisimulation Congruences in the Presence of Negative Application Conditions.

(DOI)

Guilherme Rangel

and

Proceedings of the Foundations of Software Science and Computational Structures, 2008

A Logic of Graph Constraints.

(DOI)

and

Proceedings of the Fundamental Approaches to Software Engineering, 2008

A Formal Framework for Developing Adaptable Service-Based Applications.

(DOI)

Leonardo Mariani

and

Mauro Pezzè

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Consistent Integration of Models Based on Views of Visual Languages.

(DOI)

and

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Verification of Architectural Refactorings by Rule Extraction.

(DOI)

and

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Transformations in Reconfigurable Place/Transition Systems.

(DOI)

and

Proceedings of the Concurrency, 2008

2007

Attributed graph transformation with node type inheritance.

(DOI)

and

Theor. Comput. Sci., 2007

Termination Criteria for DPO Transformations with Injective Matches.

(DOI)

Tihamer Levendovszky

and

Electr. Notes Theor. Comput. Sci., 2007

Bisimulation Verification for the DPO Approach with Borrowed.

(DOI)

Guilherme Rangel

and

ECEASST, 2007

Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks.

and

Bulletin of the EATCS, 2007

Model Transformations by Graph Transformation are Functors.

and

Bulletin of the EATCS, 2007

Model Transformations should be Functors.

Don S. Batory

Oscar Díaz

and

Bulletin of the EATCS, 2007

Iterative model-driven development of adaptable service-based applications.

(DOI)

Leonardo Mariani

and

Mauro Pezzè

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.

(DOI)

Tony Modica

and

Proceedings of the Fundamental Approaches to Software Engineering, 2007

Information Preserving Bidirectional Model Transformations.

(DOI)

and

Proceedings of the Fundamental Approaches to Software Engineering, 2007

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.

(DOI)

and

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

From Algebraic Graph Transformation to Adhesive HLR Categories and Systems.

(DOI)

and

Proceedings of the Algebraic Informatics, Second International Conference, 2007

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.

(DOI)

and

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Fundamentals of Algebraic Graph Transformation

(DOI)

and

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.

(DOI)

and

Mathematical Structures in Computer Science, 2006

Petri net modules in the transformation-based component framework.

(DOI)

and

J. Log. Algebr. Program., 2006

Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation.

(DOI)

and

Fundam. Inform., 2006

Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories.

(DOI)

and

Fundam. Inform., 2006

Theory of Constraints and Application Conditions: From Graphs to High-Level Structures.

(DOI)

and

Karl-Heinz Pennemann

Fundam. Inform., 2006

Efficient Detection of Conflicts in Graph-based Model Transformation.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2006

Transformations of Petri Nets.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2006

Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2006

Semantical Correctness of Simulation-to-Animation Model and Rule Transformation.

(DOI)

and

ECEASST, 2006

Foreword.

(DOI)

and

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.

(DOI)

Dániel Varró

Szilvia Varró-Gyapay

and

Proceedings of the Graph Transformations, Third International Conference, 2006

Conflict Detection for Graph Transformation with Negative Application Conditions.

(DOI)

and

Proceedings of the Graph Transformations, Third International Conference, 2006

Categorical Foundations of Distributed Graph Transformation.

(DOI)

and

Proceedings of the Graph Transformations, Third International Conference, 2006

Workshop on Petri Nets and Graph Transformations.

(DOI)

and

Proceedings of the Graph Transformations, Third International Conference, 2006

Composition and Decomposition of DPO Transformations with Borrowed Context.

(DOI)

and

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.

(DOI)

and

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Compositional semantics for open Petri nets based on deterministic processe.

(DOI)

and

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").

(DOI)

and

it - Information Technology, 2005

Behaviour and Instantiation of High-Level Petri Net Processes.

(DOI)

Fundam. Inform., 2005

Preface.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2005

Object-Oriented Connector-Component Architectures.

(DOI)

and

Elvira Pino

Electr. Notes Theor. Comput. Sci., 2005

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.

(DOI)

and

Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Termination Criteria for Model Transformation.

(DOI)

Dániel Varró

and

Szilvia Varró-Gyapay

Proceedings of the Fundamental Approaches to Software Engineering, 2005

Termination Criteria for Model Transformation.

(DOI)

Dániel Varró

and

Szilvia Varró-Gyapay

Proceedings of the Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005

High-Level Nets with Nets and Rules as Tokens.

(DOI)

and

Till Mossakowski

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

A component framework for system modeling based on high-level replacement systems.

(DOI)

and

Software and System Modeling, 2004

A Generic Framework for Connector Architectures based on Components and Transformations.

(DOI)

and

Elvira Pino

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.

(DOI)

and

Proceedings of the Graph Transformations, Second International Conference, 2004

Workshop on Petri Nets and Graph Transformations.

(DOI)

and

Proceedings of the Graph Transformations, Second International Conference, 2004

Adhesive High-Level Replacement Categories and Systems.

(DOI)

and

Proceedings of the Graph Transformations, Second International Conference, 2004

Constraints and Application Conditions: From Graphs to High-Level Structures.

(DOI)

and

Karl-Heinz Pennemann

Proceedings of the Graph Transformations, Second International Conference, 2004

Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting.

(DOI)

and

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.

(DOI)

and

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results.

(DOI)

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

Components for Algebra Transformation Systems.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2003

A Component Framework Based on High-Level Replacement Systems.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2003

Behaviour and Instantiation of High-Level Net Processes.

(DOI)

Electr. Notes Theor. Comput. Sci., 2003

Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques.

(DOI)

and

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.

(DOI)

Wolfgang Reisig

Alexander Borusan

Sabine Lembke

Juliane Dehnert

Michael Weber

Axel Martens

and

Anilda Qemali

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Generation of Animation Views for Petri Nets in GenGED.

(DOI)

and

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Petri Net Transformations in the "Petri Net Baukasten".

(DOI)

and

Milan Urbásek

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Graph Grammars and Petri Net Transformations.

(DOI)

and

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

Concurrency and Loose Semantics of Open Graph Transformation Systems.

(DOI)

Mercè Llabrés

and

Mathematical Structures in Computer Science, 2002

Component-Based System Development.

(DOI)

and

Transactions of the SDPS, 2002

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique.

(DOI)

and

Transactions of the SDPS, 2002

Foreword Volume 72.

(DOI)

and

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.

(DOI)

and

Proceedings of the Fundamental Approaches to Software Engineering, 2002

High-Level Net Processes.

(DOI)

and

Proceedings of the Formal and Natural Computing, 2002

2001

Cooperability in Train Control Systems: Specification of Scenarios using Open Nets.

(DOI)

L. Jansen

Eckehard Schnieder

and

Transactions of the SDPS, 2001

Integration and Collaboration Based on Graphical Techniques (Editorial).

(DOI)

Michael Goedicke

and

Transactions of the SDPS, 2001

Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen.

(DOI)

and

Inform., Forsch. Entwickl., 2001

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2001

Basic Results for Two Types of High-Level Replacement Systems.

(DOI)

and

Electr. Notes Theor. Comput. Sci., 2001

Preface.

(DOI)

and

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.

(DOI)

Uwe Wolter

and

Applied Categorical Structures, 2001

Tight and Loose Semantics for Transformation Systems.

(DOI)

and

Elvira Pino

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Compositional Modeling of Reactive Systems Using Open Nets.

(DOI)

and

Proceedings of the CONCUR 2001, 2001

Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.

(DOI)

and

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

Parameterized Net Classes: A Uniform Approach to Petri Net Classes.

(DOI)

and

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

The »Petri Net Baukasten«: An Overview.

(DOI)

Magdalena Gajewsky

and

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

From Basic Views and Aspects to Integration of Specification Formalisms.

and

Current Trends in Theoretical Computer Science, 2001

Integration Paradigm for Data Type and Process Specification Techniques.

and

Current Trends in Theoretical Computer Science, 2001

Dynamic Abstract Data Types: An Informal Proposal in 1994.

and

Current Trends in Theoretical Computer Science, 2001

Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties.

and

Bernd Mahr

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.

and

Bernd Mahr

Current Trends in Theoretical Computer Science, 2001

On Formal Semantics and Integration of Object-Oriented Modeling Languages.

Marcus Klar

and

Stefan Mann

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.

and

Gunnar Schröter

Bulletin of the EATCS, 2000

On Formal Semantics and Integration of Object-Oriented Modeling Languages.

Marcus Klar

and

Stefan Mann

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.

and

ICALP Satellite Workshops, 2000

1999

Refinement and Implementation.

(DOI)

and

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Abstract and behaviour module specifications.

(DOI)

Felix Cornelius

and

Mathematical Structures in Computer Science, 1999

From Basic Views and Aspects to Integration of Specification Formalisms.

and

Bulletin of the EATCS, 1999

Graphical Represenation and Graph Transformation.

(DOI)

and

ACM Comput. Surv., 1999

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.

Marcus Klar

Stefan Mann

Ralf-Detlef Kutsche

Stefan Jähnichen

Robert Büssow

Gabriel Baum

Claudia Pons

Miguel Felder

and

Sergio Waldoke

German-Argentinian Workshop on Information Technology, 1999

1998

DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen.

(DOI)

and

Marcus Klar

Inform., Forsch. Entwickl., 1998

Integration Paradigm for Data Type and Process Specification Techniques.

and

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.

(DOI)

and

Uwe Wolter

Applied Categorical Structures, 1998

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.

(DOI)

Mercè Llabrés

and

Proceedings of the Theory and Application of Graph Transformations, 1998

Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages.

(DOI)

and

Proceedings of the Theory and Application of Graph Transformations, 1998

1997

Institutions for Logic Programming.

(DOI)

Elvira Pino

and

Theor. Comput. Sci., 1997

A Combined Reference Model- and View-Based Approach to System Specification.

(DOI)

Gregor Engels

and

International Journal of Software Engineering and Knowledge Engineering, 1997

An Algebraic View on Petri Nets.

and

Wolfgang Reisig

Bulletin of the EATCS, 1997

How to Transfer Concepts of Abstract Data Types to Petri Nets?

A. Merten

and

Bulletin of the EATCS, 1997

From abstract data types to algebraic development techniques: A shift of paradigms.

(DOI)

Magdalena Gajewsky

and

Uwe Wolter

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Future Trends of TAPSOFT.

(DOI)

and

Bernd Mahr

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Integrating the Specification Techniques of Graph Transformation and Temporal Logic.

(DOI)

Uwe Wolter

and

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

DFG-Schwerpunktprogramm "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen".

(DOI)

Proceedings of the Informatik '97, 1997

Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach.

Martin Korff

Leila Ribeiro

Annika Wagner

and

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.

and

Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997

A View-Oriented Approach to System Modelling Based on Graph Transformation.

(DOI)

Gregor Engels

and

Proceedings of the Software Engineering, 1997

Horizontal and Vertical Structuring Techniques for Statecharts.

(DOI)

Marcus Klar

and

Proceedings of the CONCUR '97: Concurrency Theory, 1997

A Uniform Approach to Petri Nets.

(DOI)

and

Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1996

Horizontal and Vertical Structuring of Typed Graph Transformation Systems.

and

Mathematical Structures in Computer Science, 1996

The Impact and Future Role of Algebraic Specification.

and

Uwe Wolter

Bulletin of the EATCS, 1996

Algebraic Techniques in Software Development.

and

Bernd Mahr

Bulletin of the EATCS, 1996

1995

Algebraic High-Level Net Transformation Systems.

(DOI)

and

Leila Ribeiro

Mathematical Structures in Computer Science, 1995

Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages.

(DOI)

Rosa M. Jiménez

and

Mathematical Structures in Computer Science, 1995

Introduction to COMPUGRAPH.

(DOI)

Electr. Notes Theor. Comput. Sci., 1995

Theory and Practice of Software Development: A Review of Driving Forces and Expectations.

and

Bernd Mahr

Bulletin of the EATCS, 1995

Correctness of actualization for parameterized implementation concepts based on constructors and abstractors.

and

Bulletin of the EATCS, 1995

A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development.

(DOI)

and

Bernd Mahr

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

On the Role of Category Theory in the Area of Algebraic Specification.

(DOI)

and

Uwe Wolter

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Functorial Theory of Parameterized Specifications in a General Specification Framework.

(DOI)

and

Theor. Comput. Sci., 1994

Linking Algebraic High level Nets and Dynamic Abstract Data.

and

Bulletin of the EATCS, 1994

Dynamic Abstract Data Types: An informal Proposal.

and

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.

(DOI)

and

Gregor Engels

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

An Event Structure Semantics for Graph Grammars with Parallel Productions.

(DOI)

and

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

The Category of Typed Graph Grammars and its Adjunctions with Categories.

(DOI)

and

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

An Event Structure Semantics for Safe Graph Grammars.

and

Proceedings of the Programming Concepts, 1994

Algebraic Methods in the Compositional Analysis of Logic Programs.

(DOI)

Elvira Pino

and

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

Dynamic Abstract Data Types Based on Algebraic Graph Transformations.

(DOI)

and

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.

(DOI)

and

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

On the potential Role of Algebraic Specification within Computer Science.

(DOI)

and

Peter Pepper

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.

(DOI)

and

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.

(DOI)

and

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

New Compatibility Results for Implementations within the Initial Algebraic Approach.

(DOI)

and

Helmut Adametz

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Linking Schemas and Module Specifications: a Proposal.

(DOI)

and

Michael A. Arbib

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Concepts and Compatibility Requirements for Implementations and Transformations of Specifications.

(DOI)

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

ESF-Concepts Linked with Algebraic Module Specifications.

(DOI)

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Algebraic Specification.

(DOI)

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Algebraic Specification Techniques and Tools for Software Development: The Act Approach

(DOI)

and

Dietmar Wolz

AMAST Series in Computing 1, World Scientific, ISBN: 978-981-02-1227-8, 1993

Parallel and Distributed Derivations in the Single-Pushout Approach.

(DOI)

and

Theor. Comput. Sci., 1993

The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey.

(DOI)

and

Theor. Comput. Sci., 1993

Categorical principles, techniques and results for high-level-replacement systems in computer science.

(DOI)

and

Applied Categorical Structures, 1993

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages.

(DOI)

Rosa M. Jiménez

and

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Combined Algebraic Specification Techniques for Concurrent and Distributed Systems.

(DOI)

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

Canonical Derivaitons for High-Level Replacement Systems.

(DOI)

and

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine.

(DOI)

and

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Abstract Graph Derivations in the Double Pushout Approach.

(DOI)

and

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Interaction between Algebraic Specification Grammars and Modular System Design.

and

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Restriction Constructions in Specification Logics.

and

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.

(DOI)

Bernd Mahr

and

Comput. J., 1992

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.

(DOI)

Bernd Mahr

and

Comput. J., 1992

Algebraic High-Level Nets: Petri Nets Revisited.

(DOI)

and

Leila Ribeiro

Proceedings of the Recent Trends in Data Type Specification, 1992

From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach.

(DOI)

and

Proceedings of the Informatik zwischen Wissenschaft und Gesellschaft, 1992

High-Level-Replacement Systems for Equational Algebraic Specifications.

(DOI)

and

Proceedings of the Algebraic and Logic Programming, 1992

1991

Parallelism and Concurrency in High-Level Replacement Systems.

(DOI)

and

Mathematical Structures in Computer Science, 1991

New Compatibility Results for Implementations within the Initial Algebraic Approach.

and

Helmut Adametz

Bulletin of the EATCS, 1991

Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms.

and

Bulletin of the EATCS, 1991

On the Relationship Between Algebraic Module Specifications and Program Modules.

(DOI)

Werner Fey

and

Dean Jacobs

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.

(DOI)

and

Proceedings of the Recent Trends in Data Type Specification, 1991

New Concepts of Amalgamation and Extension for a General Theory of Specifications.

(DOI)

and

Proceedings of the Recent Trends in Data Type Specification, 1991

Theory of Algebraic Module Specification including Behavioral Semantics and Constraints.

Felix Cornelius

and

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Fundamentals of Algebraic Specification 2

(DOI)

and

Bernd Mahr

EATCS Monographs on Theoretical Computer Science 21, Springer, ISBN: 0387517995, 1990

Combining Data Type and Recursive Process Specifications Using Projection Algebras.

(DOI)

Paul Boehm

Catharina Rieckhoff

Christian Dimitrovici

and

Theor. Comput. Sci., 1990

Compatibility Problems in the Development of Algebraic Module Specifications.

(DOI)

Werner Fey

Dean Jacobs

and

Theor. Comput. Sci., 1990

Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems.

and

Bulletin of the EATCS, 1990

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

and

Bulletin of the EATCS, 1990

Linking Schemas and Module Specifications: A Proposal.

and

Michael A. Arbib

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.

(DOI)

and

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1990

Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars.

(DOI)

and

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

Computing by Graph Transformation: Overall Aims and New Results.

(DOI)

and

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.

(DOI)

Martin Korff

and

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

From Graph Grammars to High Level Replacement Systems.

(DOI)

and

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

Graph Grammars and Logic Programming.

(DOI)

and

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

A Match Operation for Rule-Based Modular System Design.

(DOI)

and

Proceedings of the Recent Trends in Data Type Specification, 1990

1989

Algebraic Specification of Modules and Configuration Families.

Werner Fey

Dean Jacobs

Anno Langen

and

Elektronische Informationsverarbeitung und Kybernetik, 1989

Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems.

and

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).

(DOI)

Paul Boehm

Werner Fey

Martin Korff

and

Proceedings of the Software-Entwicklung: Konzepte, 1989

Transformation of Combined Data Type and Process Specifications Using Projection Algebras.

(DOI)

and

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

On Recent Trends in Algebraic Specification.

(DOI)

Peter Pepper

and

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

Algebraic Software Development Concepts for Module and Configuration Families.

(DOI)

Werner Fey

and

Dean Jacobs

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.

(DOI)

Pilar Nivela

and

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

The Construct PRO of Projection Spaces: Its Internal Structure.

(DOI)

Horst Herrlich

and

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Categories for the Development of Algebraic Module Specifications.

(DOI)

Werner Fey

and

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Categorical Concept of Constraints for Algebraic Specifications.

(DOI)

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Algebraic Theory of Modular Specification Development.

Werner Fey

and

ADT, 1988

1987

Canonical Constraints for Parameterized Data Types.

(DOI)

and

Theor. Comput. Sci., 1987

Algebraic Specification of Modules and Their Basic Interconnections.

(DOI)

Edward K. Blum

and

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.

(DOI)

Proceedings of the Graph-Theoretic Concepts in Computer Science, International Workshop, 1987

Algebraic Data Type and Process Specifications based on Projection Spaces.

(DOI)

Paul Boehm

Catharina Rieckhoff

Christian Dimitrovici

and

Proceedings of the Recent Trends in Data Type Specification, 1987

1986

Specification of Modular Systems.

(DOI)

and

IEEE Trans. Software Eng., 1986

A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets.

Jacques Loeckx

and

Bernd Mahr

Bulletin of the EATCS, 1986

Towards algebraic data types grammars: a junction between algebraic specification and graph grammars.

Udo Hummert

and

Paul Boehm

Bulletin of the EATCS, 1986

Algebraic Theory of Module Specification with Constraints.

(DOI)

Werner Fey

and

Edward K. Blum

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

Programming in the Large with Algebraic Module Specifications (Invited Paper).

and

IFIP Congress, 1986

Graph rewriting with unification and composition.

(DOI)

and

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

Tutorial introduction to the algebraic approach of graph grammars.

(DOI)

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

Towards distributed graph grammars.

(DOI)

Paul Boehm

Udo Hummert

and

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

(DOI)

and

Bernd Mahr

EATCS Monographs on Theoretical Computer Science 6, Springer, ISBN: 0387137181, 1985

1984

Parameter Passing in Algebraic Specification Languages.

(DOI)

and

Jesse B. Wright

Theor. Comput. Sci., 1984

Towards Abstract User Interfaces for Formal System Specifications.

(DOI)

Werner Fey

and

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

Compatibility of Parameter Passing and Implementation of Parameterized Data Types.

(DOI)

and

Theor. Comput. Sci., 1983

Algebraic Specifications with Generating Constraints.

(DOI)

and

Proceedings of the Automata, 1983

ACT ONE - An Algebraic Specification Language with two Levels of Semantics.

Werner Fey

and

ADT, 1983

1982

Algebraic Implementation of Abstract Data Types.

(DOI)

Bernd Mahr

and

Theor. Comput. Sci., 1982

Church-Rosser properties for graph replacement systems with unique splitting.

(DOI)

and

John Staples

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

Aspects of concurrency in graph grammars.

(DOI)

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.

(DOI)

Andrea Maggiolo-Schettini

and

Józef Winkowski

Mathematical Systems Theory, 1981

Complexity of Algebraic Implementations for Abstract Data Types.

(DOI)

and

Bernd Mahr

J. Comput. Syst. Sci., 1981

A Graph-Theoretical Model for Multi-Pass Parsing.

Berthold Hoffmann

and

Ilse Schmiedecke

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.

(DOI)

and

Werner Fey

Proceedings of the GI, 1981

KWIC-index generation.

(DOI)

Jørgen Steensgaard-Madsen

Jane W. Hughes

Malcolm S. Powell

Leif Sandegaard Nielsen

Jean-Raymond Abrial

Ib Holm Sørensen

Robin M. Gallimore

Derek Coleman

and

Joseph A. Goguen

Proceedings of the Program Specification, 1981

Parameter Passing in Algebraic Specification Languages.

(DOI)

and

Jesse B. Wright

Proceedings of the Program Specification, 1981

Algebraic Theory of Parameterized Specifications with Requirements.

(DOI)

Proceedings of the CAAP '81, 1981

1980

Parallelism and Concurrency of Graph Manipulations.

(DOI)

and

Theor. Comput. Sci., 1980

The Mathematics of Record Handling.

(DOI)

and

SIAM J. Comput., 1980

On an equivalence of system-theoretical and categorical concepts.

(DOI)

Jirí Adámek

and

Vera Trnková

Kybernetika, 1980

Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems.

(DOI)

and

Inf. Syst., 1980

Complexity of Implementations on the Level of Algebraic Specifications

(DOI)

and

Bernd Mahr

Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980

Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie.

Werner Fey

and

Proceedings of the Software Engineering, 1980

A Case Study of Abstract Implementations and Their Correctness.

(DOI)

and

Proceedings of the International Symposium on Programming, 1980

Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems.

(DOI)

Bernd Mahr

and

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

Parameterized Data Types in Algebraic Specification Languages (Short Version).

(DOI)

and

Jesse B. Wright

Proceedings of the Automata, 1980

Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness.

(DOI)

and

Proceedings of the Automata, 1980

1979

Categorial approach to nonlinear constant continuous-time systems.

and

Wolfgang Kühnel

ITA, 1979

Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme.

(DOI)

and

Formale Modelle für Informationssysteme, 1979

1978

Algebraic Specification Schemes for Data Base Systems.

and

Proceedings of the Fourth International Conference on Very Large Data Bases, 1978

Concurrency of Manipulations in Multidimensional Information Structures.

(DOI)

and

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Deriving Structures from Structures.

(DOI)

Andrea Maggiolo-Schettini

and

Józef Winkowski

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Stepwise Specification and Implementation of Abstract Data Types.

(DOI)

and

Proceedings of the Automata, 1978

Decomposition of Graph Grammar Productions and Derivations.

(DOI)

and

Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, October 30, 1978

Locally Star Sluing Formulas for a Class of Parallel Graph Grammars.

(DOI)

and

Axel Liedtke

Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, October 30, 1978

Introduction to the Algebraic Theory of Graph Grammars (A Survey).

(DOI)

Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, October 30, 1978

1977

The Mathematics of Record Handling.

(DOI)

and

Proceedings of the Automata, 1977

Embedding Theorem in the Algebraic Theory of Graph Grammars.

(DOI)

FCT, 1977

1976

Systematic Approach to Reduction and Minimization in Automata and System Theory.

(DOI)

and

J. Comput. Syst. Sci., 1976

Grammars on Partial Graphs.

(DOI)

Hans Jürgen Schneider

and

Acta Inf., 1976

Parallelism of Manipulations in Multidimensional Information Structures.

(DOI)

and

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975

Graph Grammars and Applications to Specialization and Evolution in Biology.

(DOI)

and

Karl Wilhelm Tischer

J. Comput. Syst. Sci., 1975

1974

Diagram characterization.

(DOI)

Wolfgang Kühnel

and

Michael Pfender

Proceedings of the Category Theory Applied to Computation and Control, 1974

Power and initial automata in pseudoclosed categories.

(DOI)

and

Proceedings of the Category Theory Applied to Computation and Control, 1974

Universal theory of automata - a categorial approach.

Klaus-Dieter Kiermeier

and

Wolfgang Kühnel

Teubner Studienbücher, Teubner, ISBN: 978-3-519-02054-7, 1974

1973

Graph-Grammars: An Algebraic Approach

(DOI)