Professor Reiko Heckel

I joined the University of Leicester in 2004 as Reader, was appointed Professor in Software Engineering in 2007 and served as Head of Department 2014-2018. Currently I am the Director of Postgraduate Teaching for Computing degrees and the Data Analytics Lead of the Leicester Innovation Hub, the university's shop window to local industry. 

Before coming to Leicester, I held academic positions in Paderborn and Dortmund. I studied Computer Science at the Technical Universities of Dresden and Berlin and received my PhD (Dr.-Ing.) from the TU Berlin in 1998. 

I work on the application of graph transformations in software engineering, including model-based development, reengineering, testing, model transformation and the semantics of modelling languages. I am also contributing to the theory of graph transformations, their concurrency, timed and stochastic variants, modularity and refinement. 

I am the chair of the Steering Committee the International Conference on Graph Transformation (ICGT) and president of the European Association for Software Science and Technology (EASST), member of the IFIP WG 1.3 - Foundations of System Specification and the steering committees of the STAF, ETAPS and FASE conferences.

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. ICSE 2002

Architectural transformations: From legacy to three-tier and services
R Heckel, R Correia, C Matos, M El-Ramly, G Koutsoukos, L Andrade
Software Evolution, 139-170

A model-driven approach to discovery, testing and monitoring of web services
M Lohmann, L Mariani, R Heckel
Test and Analysis of Web Services, 173-204

Stochastic graph transformation systems
R Heckel, G Lajios, S Menge
Fundamenta Informaticae 74 (1), 63-84

Stochastic analysis of graph transformation systems: A case study in P2P networks
R Heckel
International Colloquium on Theoretical Aspects of Computing, 53-69

Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
R Machado, L Ribeiro, R Heckel
Theoretical Computer Science 594, 1-23

Uncertainty reasoning for probabilistic petri nets via Bayesian networks
R Bernemann, B Cabrera, R Heckel, B König
arXiv preprint arXiv:2009.14817

Graph transformation for software engineers: With applications to model-based development and domain-specific language engineering
R Heckel, G Taentzer
Springer

Unfolding Symbolic Attributed Graph Grammars
MG Saadat, R Heckel, F Orejas
International Conference on Graph Transformation, 75-90

Extracting Visual Contracts from Java Programs (T)
A Alshanqiti, R Heckel
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Graph and model transformations
Social network analysis 
Reverse and re-engineering
Model-based development of blockchain / smart contracts applications 

I'm teaching a module CO7214: Service-Oriented Architectures. This is offered in most of our Computing MSc courses. It covers the principles of SOA, their implementation by Web service technology, and the model-driven development of services.

I am also the course director for the MSc courses in Computing.

software engineering