Follow
Reiko Heckel
Reiko Heckel
Professor of Software Engineering, Dept. of Computer Science, University of Leicester
Verified email at mcs.le.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
7561997
Graph grammars with negative application conditions
A Habel, R Heckel, G Taentzer
Fundamenta Informaticae 26 (3-4), 287-313, 1996
4881996
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
4411997
Confluence of typed attributed graph transformation systems
R Heckel, JM Küster, G Taentzer
International Conference on Graph Transformation, 161-176, 2002
3352002
Graph transformation in a nutshell
R Heckel
Electronic notes in theoretical computer science 148 (1), 187-198, 2006
2752006
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
2742000
Tutorial introduction to graph transformation: A software engineering perspective
L Baresi, R Heckel
International Conference on Graph Transformation, 402-429, 2002
2462002
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
2452001
Ensuring consistency of conditional graph grammars-a constructive approach
R Heckel, A Wagner
Electronic Notes in Theoretical Computer Science 2, 118-126, 1995
2341995
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
2262003
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
2132002
Towards contract-based testing of web services
R Heckel, M Lohmann
Electronic Notes in Theoretical Computer Science 116, 145-156, 2005
1862005
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
1722001
Automatic conformance testing of web services
R Heckel, L Mariani
Fundamental Approaches to Software Engineering: 8th International Conference …, 2005
1482005
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
1332006
Towards model-driven testing
R Heckel, M Lohmann
Electronic Notes in Theoretical Computer Science 82 (6), 33-43, 2003
1182003
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
1142002
Process modeling using UML
G Engels, A Förster, R Heckel, S Thöne
Process‐Aware Information Systems: Bridging People and Software through …, 2005
1002005
Model-based discovery of Web Services
JH Hausmann, R Heckel, M Lohmann
Proceedings. IEEE International Conference on Web Services, 2004., 324-331, 2004
972004
Compositional semantics for open Petri nets based on deterministic processes
P Baldan, A Corradini, H Ehrig, R Heckel
Mathematical Structures in Computer Science 15 (1), 1-35, 2005
922005
The system can't perform the operation now. Try again later.
Articles 1–20