Algebraic approaches to graph transformation–part i: Basic concepts and double pushout approach A Corradini, U Montanari, F Rossi, H Ehrig, R Heckel, M Löwe Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1 …, 1997 | 755 | 1997 |
Graph grammars with negative application conditions A Habel, R Heckel, G Taentzer Fundamenta Informaticae 26 (3-4), 287-313, 1996 | 485 | 1996 |
Algebraic approaches to graph transformation–part II: Single pushout approach and comparison with double pushout approach H Ehrig, R Heckel, M Korff, M Löwe, L Ribeiro, A Wagner, A Corradini Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1 …, 1997 | 440 | 1997 |
Confluence of typed attributed graph transformation systems R Heckel, JM Küster, G Taentzer International Conference on Graph Transformation, 161-176, 2002 | 335 | 2002 |
Graph transformation in a nutshell R Heckel Electronic notes in theoretical computer science 148 (1), 187-198, 2006 | 274 | 2006 |
Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML G Engels, JH Hausmann, R Heckel, S Sauer ≪ UML≫ 2000—The Unified Modeling Language: Advancing the Standard Third …, 2000 | 274 | 2000 |
Tutorial introduction to graph transformation: A software engineering perspective L Baresi, R Heckel International Conference on Graph Transformation, 402-429, 2002 | 245 | 2002 |
A methodology for specifying and analyzing consistency of object-oriented behavioral models G Engels, JM Küster, R Heckel, L Groenewegen ACM SIGSOFT software engineering notes 26 (5), 186-195, 2001 | 244 | 2001 |
Ensuring consistency of conditional graph grammars-a constructive approach R Heckel, A Wagner Electronic Notes in Theoretical Computer Science 2, 118-126, 1995 | 234 | 1995 |
Modeling and validation of service-oriented architectures: Application vs. style L Baresi, R Heckel, S Thöne, D Varró ACM SIGSOFT Software Engineering Notes 28 (5), 68-77, 2003 | 225 | 2003 |
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation JH Hausmann, R Heckel, G Taentzer Proceedings of the 24th international conference on software engineering …, 2002 | 212 | 2002 |
Towards contract-based testing of web services R Heckel, M Lohmann Electronic Notes in Theoretical Computer Science 116, 145-156, 2005 | 185 | 2005 |
Rule-based specification of behavioral consistency based on the UML meta-model G Engels, R Heckel, JM Küster ≪ UML≫ 2001—The Unified Modeling Language. Modeling Languages, Concepts …, 2001 | 172 | 2001 |
Automatic conformance testing of web services R Heckel, L Mariani Fundamental Approaches to Software Engineering: 8th International Conference …, 2005 | 147 | 2005 |
Style-based modeling and refinement of service-oriented architectures: a graph transformation-based approach L Baresi, R Heckel, S Thöne, D Varr´ o Software & Systems Modeling 5, 187-207, 2006 | 132 | 2006 |
Towards model-driven testing R Heckel, M Lohmann Electronic Notes in Theoretical Computer Science 82 (6), 33-43, 2003 | 118 | 2003 |
Consistency-preserving model evolution through transformations G Engels, R Heckel, JM Küster, L Groenewegen ≪ UML≫ 2002—The Unified Modeling Language: Model Engineering, Concepts …, 2002 | 114 | 2002 |
Process modeling using UML G Engels, A Förster, R Heckel, S Thöne Process‐Aware Information Systems: Bridging People and Software through …, 2005 | 99 | 2005 |
Model-based discovery of Web Services JH Hausmann, R Heckel, M Lohmann Proceedings. IEEE International Conference on Web Services, 2004., 324-331, 2004 | 97 | 2004 |
Style-based refinement of dynamic software architectures L Baresi, R Heckel, S Thone, D Varró Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture …, 2004 | 92 | 2004 |