Reiko Heckel

Marc Lohmann

Proceedings of the Fundamental Approaches to Software Engineering, 2003

Open Petri Nets as Semantic Model for Workflow Integration.

[BibT_eX]

[DOI]

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

Modelling and Analysis of Agents' Goal-Driven Behavior.

[BibT_eX]

[DOI]

Proceedings of the Objects, 2003

Towards Automatic Selection of Web Services Using Graph Transformation Rules.

[BibT_eX]

Marc Lohmann

Proceedings of the Berliner XML Tage 2003, 13.-15. Oktober 2003 in Berlin, 2003

Design of an Agent-Oriented Modeling Language Based on Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

Model-Based Development of Executable Business Processes for Web Services.

[BibT_eX]

[DOI]

Hendrik Voigt

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

Compositional SOS and beyond: a coalgebraic view of open systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Relating functional requirements and software architecture: separation and consistency of concerns.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 2002

Formal agent-oriented modeling with UML and graph transformation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2002

Concurrency and Loose Semantics of Open Graph Transformation Systems.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2002

Control Synthesis for discrete Event Systems: a Semantic Framework Based on Open Petri Nets.

[BibT_eX]

[DOI]

Mourad Chouikha

Trans. SDPS, 2002

Preface.

[BibT_eX]

[DOI]

Tom Mens

Michel Wermelinger

Proceedings of the Workshop on Software Evolution Through Transformations 2002, 2002

Software Evolution through Transformations.

[BibT_eX]

[DOI]

Tom Mens

Michel Wermelinger

Proceedings of the Workshop on Software Evolution Through Transformations 2002, 2002

Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

Consistency-Preserving Model Evolution through Transformations.

[BibT_eX]

[DOI]

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

Towards consistency-preserving model evolution.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Principles of Software Evolution, 2002

Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation.

[BibT_eX]

[DOI]

Gabriele Taentzer

Proceedings of the 24th International Conference on Software Engineering, 2002

Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle.

[BibT_eX]

[DOI]

Tom Mens

Michel Wermelinger

Proceedings of the Graph Transformation, First International Conference, 2002

Confluence of Typed Attributed Graph Transformation Systems.

[BibT_eX]

[DOI]

Gabriele Taentzer

Proceedings of the Graph Transformation, First International Conference, 2002

Graph Transformation with Time: Causality and Logical Clocks.

[BibT_eX]

[DOI]

Szilvia Gyapay

Dániel Varró

Proceedings of the Graph Transformation, First International Conference, 2002

High-Level Net Processes.

[BibT_eX]

[DOI]

Proceedings of the Formal and Natural Computing, 2002

2001

A Coalgebraic presentation of structured transition systems.

[BibT_eX]

[DOI]

Martin Große-Rhode

Theor. Comput. Sci., 2001

Bericht über die ETAPS 2001 vom 02. - 06. April 2001 in Genua.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2001

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

[BibT_eX]

[DOI]

Trans. SDPS, 2001

Roles in Agent-Oriented Modeling.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2001

How to Specify a Graph Transformation Approach - A Meta Model for Fujaba.

[BibT_eX]

[DOI]

Albert Zündorf

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

Behavioral Constraints for Visual Models.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

Towards a Formal Framework for Inter-Enterprise Application Integration.

[BibT_eX]

[DOI]

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2001

Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2001, 2001

A methodology for specifying and analyzing consistency of object-oriented behavioral models.

[BibT_eX]

[DOI]

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Use Cases as Views: A formal approach to Requirements Engineering in the United Process.

[BibT_eX]

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

Strengthening UML Collaboration Diagrams by State Transformations.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2001

Graph Transformation as Meta Language for Dynamic Modeling and Model Evolution.

[BibT_eX]

Proceedings of the 2001 International Workshop on Formal Foundations of Software Evolution, 2001

Compositional Modeling of Reactive Systems Using Open Nets.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

Improving the agent-oriented modeling process by roles.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000

Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo.

[BibT_eX]

Bull. EATCS, 2000

Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2000, 2000

From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation.

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Formalizing the Development of Agent-Based Systems Using Graph Processes.

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

Graphical Operational Semantics.

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

Introduction: Graph Transformation and Visual Modeling Techniques.

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

UML - A Universal Modeling Language?

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 2000, 2000

Agent-Oriented Modeling with Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

Integrating visual modeling of agent-based and object-oriented systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Autonomous Agents, 2000

1999

A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.

[BibT_eX]

[DOI]

Fabio Gadducci

Mercè Llabrés

Proceedings of the Conference on Category Theory and Computer Science, 1999

From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 1999

Tile Transition Systems as Structured Coalgebras.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1998

Open graph transformation systems: a new approach to the compositional modelling of concurrent and reactive systems.

[BibT_eX]

[DOI]

PhD thesis, 1998

Structured Transition Systems as Lax Coalgebras.

[BibT_eX]

[DOI]

Martin Große-Rhode

Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories.

[BibT_eX]

[DOI]

Martin Große-Rhode

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Simple Modules for GRACE.

[BibT_eX]

[DOI]

Proceedings of the Theory and Application of Graph Transformations, 1998

A Fully Abstract Model for Graph-Interpreted Temporal Logic.

[BibT_eX]

[DOI]

Fabio Gadducci

Manuel Koch

Proceedings of the Theory and Application of Graph Transformations, 1998

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

[BibT_eX]

[DOI]

Proceedings of the Theory and Application of Graph Transformations, 1998

Compositional Verification of Reactive Systems Specified by Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997

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

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1997

An inductive view of graph transformation.

[BibT_eX]

[DOI]

Fabio Gadducci

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Integrating the Specification Techniques of Graph Transformation and Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

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

[BibT_eX]

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.

[BibT_eX]

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

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

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1997

1996

Horizontal and Vertical Structuring of Typed Graph Transformation Systems.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1996

Graph Grammars with Negative Application Conditions.

[BibT_eX]

[DOI]

Annegret Habel

Gabriele Taentzer

Fundam. Informaticae, 1996

1995

Ensuring consistency of conditional graph rewriting - a constructive approach.

[BibT_eX]

[DOI]

Annika Wagner

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

A compositional approach to structuring and refinement of typed graph grammars.

[BibT_eX]

[DOI]