World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
41
Citations
8292
World Ranking
8745
National Ranking
532

Overview

Reiko Heckel is affiliated with the University of Leicester in the United Kingdom and has a research focus primarily in Computer Science. Their work extensively covers areas such as Software, Artificial Intelligence, and Information Systems, with additional contributions in Computational Theory and Mathematics as well as Management Information Systems.

Their research topics include Model-Driven Software Engineering Techniques, Service-Oriented Architecture and Web Services, Advanced Software Engineering Methodologies, Software Testing and Debugging Techniques, Business Process Modeling and Analysis, Formal Methods in Verification, and Graph Theory and Algorithms.

Heckel's publication record features contributions predominantly in the following venues:

  • Technische Universität Berlin - Universitätsbibliothek
  • Electronic Proceedings in Theoretical Computer Science
  • arXiv (Cornell University)
  • IEEE Transactions on Image Processing
  • Software Quality Journal

Recent papers by Heckel include:

  • "Rule-Level Verification of Business Process Transformations using CSP" (2024), published by Technische Universität Berlin - Universitätsbibliothek
  • "Migrating Legacy Systems to Service-Oriented Architectures" (2024), published by Technische Universität Berlin - Universitätsbibliothek
  • "Test Case Generation Using Visual Contracts" (2024), published by Technische Universität Berlin - Universitätsbibliothek
  • "Verification of Architectural Refactorings: Rule Extraction and Tool Support" (2024), published by Technische Universität Berlin - Universitätsbibliothek
  • "Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems" (2024), published by Technische Universität Berlin - Universitätsbibliothek

Frequent co-authors of Heckel include Tamim Ahmed Khan, Rebecca Bernemann, Barbara König, Issam Al-Azzoni, and Adwoa Donyina, each collaborating on multiple projects.

Best Publications

  • Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach

    A. Corradini;U. Montanari;F. Rossi;H. Ehrig

  • GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONS

    Annegret Habel;Reiko Heckel;Gabriele Taentzer

  • 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

  • Confluence of Typed Attributed Graph Transformation Systems

    Reiko Heckel;Reiko Heckel;Jochen Malte Küster;Jochen Malte Küster;Gabriele Taentzer

  • Graph Transformation in a Nutshell

    Reiko Heckel

  • Tutorial Introduction to Graph Transformation: A Software Engineering Perspective

    Luciano Baresi;Reiko Heckel

  • Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML

    Gregor Engels;Jan Hendrik Hausmann;Reiko Heckel;Stefan Sauer

  • A methodology for specifying and analyzing consistency of object-oriented behavioral models

    Gregor Engels;Jochem M. Küster;Reiko Heckel;Luuk Groenewegen

  • Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach -

    Reiko Heckel;Annika Wagner

  • Modeling and validation of service-oriented architectures: application vs. style

    Luciano Baresi;Reiko Heckel;Sebastian Thöne;Dániel Varró

  • Towards Contract-based Testing of Web Services

    Reiko Heckel;Marc Lohmann

  • Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model

    Gregor Engels;Reiko Heckel;Jochen Malte Küster

  • Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation

    Jan Hendrik Hausmann;Reiko Heckel;Gabi Taentzer

  • An inductive view of graph transformation

    F. Gadducci;R. Heckel

  • Automatic conformance testing of web services

    Reiko Heckel;Leonardo Mariani

  • Style-based modeling and refinement of service-oriented architectures

    Luciano Baresi;Reiko Heckel;Sebastian Thöne;Dániel Varró

  • Towards Model-Driven Testing

    Reiko Heckel;Marc Lohmann

  • Consistency-Preserving Model Evolution through Transformations

    Gregor Engels;Reiko Heckel;Jochen Malte Küster;Luuk Groenewegen

  • Model-based discovery of Web services

    J.H. Hausmann;R. Heckel;M. Lohmann

  • Style-based refinement of dynamic software architectures

    L. Baresi;R. Heckel;S. Thone;D. Varro

  • Detection of conflicting functional requirements in a use case-driven approach

    J.H. Hausmann;R. Heckel;G. Taentzer

Frequent Co-Authors

Hartmut Ehrig
Hartmut Ehrig Technical University of Berlin
Gregor Engels
Gregor Engels University of Paderborn
Andrea Corradini
Andrea Corradini University of Pisa
Gabriele Taentzer
Gabriele Taentzer Philipp University of Marburg
Luciano Baresi
Luciano Baresi Polytechnic University of Milan
Dániel Varró
Dániel Varró Linköping University
Ugo Montanari
Ugo Montanari University of Pisa
Jean Bézivin
Jean Bézivin University of Nantes
Tom Mens
Tom Mens University of Mons
Juan de Lara
Juan de Lara Autonomous University of Madrid

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science studies in the USA naturally leads to other attractive online degrees and career paths. Many students consider pursuing online mba programs affordable as an option to blend business skills with technical expertise, broadening job prospects in tech management and leadership roles.

Fast-tracked learning is another growing trend. For example, online masters programs offer rigorous specialization in just 12 months, allowing graduates to upskill quickly and remain competitive. Likewise, those looking for the quickest entry into the workforce may seek short careers that pay well, which can provide strong earning potential without long years of study.

For those with a deep interest in cutting-edge technologies, pursuing an online ai degree can open doors to fields such as machine learning, data science, and robotics. These related online degrees and career pathways can complement your Computer Science base, offering flexibility and diverse options for a thriving career in the digital age.

Best Scientists Citing Reiko Heckel

Trending Scientists

Recently Published Articles