People
Professor Reiko Heckel
Professor of Software Engineering
School/Department: Computing and Mathematical Sciences, School of
Telephone: +44 (0)116 252 3406
Email: rh122@leicester.ac.uk
Web:
Profile
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.
Research
Reiko is an expert in graph rewriting and its applications in modelling complex systems. He coauthored the only textbook on Graph Transformation for Software Engineers (resources and free pdf available on our author site) and chairs the steering committee of the International Conference on Graph Transformation. Current research explores the relation of graph rewriting and AI, graph neural networks and LLMs.
Reiko has experience in interdisciplinary and industrial projects as academic lead for Data Science in the Leicester Innovation Hub and through several KTPs including most recently with rradar Limited, an innovative legal enterprise, on the automatic identification and quantification of business risk scenarios using AI.
Reiko is the 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.
The book on "Graph Transformation for Software Engineers" co-authored with Gabriele Taentzer appeared at Springer and is available at our author site.
Publications
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)
Supervision
Social network analysis
Reverse and re-engineering
Model-based development of blockchain / smart contracts applications