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
6831997
Graph grammars with negative application conditions
A Habel, R Heckel, G Taentzer
Fundamenta Informaticae 26 (3, 4), 287-313, 1996
4461996
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
3931997
Confluence of typed attributed graph transformation systems
R Heckel, JM Küster, G Taentzer
International Conference on Graph Transformation, 161-176, 2002
3102002
Tutorial introduction to graph transformation: A software engineering perspective
L Baresi, R Heckel
International Conference on Graph Transformation, 402-429, 2002
2592002
Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML
G Engels, JH Hausmann, R Heckel, S Sauer
International Conference on the Unified Modeling Language, 323-337, 2000
2572000
Graph transformation in a nutshell
R Heckel
Electronic notes in theoretical computer science 148 (1), 187-198, 2006
2402006
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
2302001
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
2272003
Ensuring consistency of conditional graph grammars-a constructive approach
R Heckel, A Wagner
Electronic Notes in Theoretical Computer Science 2, 118-126, 1995
2221995
Detection of conflicting functional requirements in a use case-driven approach
JH Hausmann, R Heckel, G Taentzer
Proceedings of the 24th International Conference on Software Engineering …, 2002
1862002
Towards contract-based testing of web services
R Heckel, M Lohmann
Electronic Notes in Theoretical Computer Science 116, 145-156, 2005
1762005
Rule-based specification of behavioral consistency based on the UML meta-model
G Engels, R Heckel, JM Küster
International Conference on the Unified Modeling Language, 272-286, 2001
1652001
Automatic conformance testing of web services
R Heckel, L Mariani
International Conference on Fundamental Approaches to Software Engineering …, 2005
1442005
Style-based modeling and refinement of service-oriented architectures
L Baresi, R Heckel, S Thöne
Software & Systems Modeling 5 (2), 187-207, 2006
1292006
Towards model-driven testing
R Heckel, M Lohmann
Electronic Notes in Theoretical Computer Science 82 (6), 33-43, 2003
1152003
Consistency-preserving model evolution through transformations
G Engels, R Heckel, JM Küster, L Groenewegen
International Conference on the Unified Modeling Language, 212-227, 2002
1112002
Model-based discovery of Web Services
JH Hausmann, R Heckel, M Lohmann
Proceedings. IEEE International Conference on Web Services, 2004., 324-331, 2004
942004
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
922004
Rewriting logic semantics and verification of model transformations
A Boronat, R Heckel, J Meseguer
International Conference on Fundamental Approaches to Software Engineering …, 2009
872009
The system can't perform the operation now. Try again later.
Articles 1–20