Reputation-based Reliability Prediction of Service Compositions.
Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2011
Entwicklungsprozess von Web-Anwendungen.
Proceedings of the Web Engineering: Systematische Entwicklung von Web-Anwendungen, 2003
Visualizing the Synchronization of Java-Threads with UML.
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000
Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen.
Inform. Forsch. Entwickl., 1999
UML Collaboration Diagrams and their Transformation to Java.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999
On the Role of Method Families for Aspect-Oriented Programming.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
A Framework for Adding Packages to Graph Transformation Approaches.
Proceedings of the Theory and Application of Graph Transformations, 1998
A formal object specification technique using rule-based transformation of partial algebras.
PhD thesis, 1997
A Formal Object Specification Technique Integrating Object and Functional Model.
Int. J. Softw. Eng. Knowl. Eng., 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
Defining Operational Behavior of Object Specifications by Attributed Graph Transformations.
Fundam. Informaticae, 1996
Ensuring consistency of conditional graph rewriting - a constructive approach.
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995
On the Expressive Power of Algebraic Graph Grammars with Application Conditions.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995