A compositional approach to structuring and refinement of typed graph grammars. - Andrea Corradini 001; Reiko Heckel (SEGRAGRA, 1995)

Ensuring consistency of conditional graph rewriting - a constructive approach. - Reiko Heckel; Annika Wagner (SEGRAGRA, 1995)

Graph Grammars with Negative Application Conditions. - Annegret Habel; Reiko Heckel; Gabriele Taentzer (Fundam. Informaticae, 1996)

Horizontal and Vertical Structuring of Typed Graph Transformation Systems. - Reiko Heckel; Andrea Corradini 001; Hartmut Ehrig; Michael Löwe (Math. Struct. Comput. Sci., 1996)

A View-Oriented Approach to System Modelling Based on Graph Transformation. - Gregor Engels; Reiko Heckel; Gabriele Taentzer; Hartmut Ehrig (ESEC / SIGSOFT FSE, 1997)

Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. - Andrea Corradini 001; Ugo Montanari; Francesca Rossi 001; Hartmut Ehrig; Reiko Heckel; Michael Löwe (Handbook of Graph Grammars, 1997)

Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. - Hartmut Ehrig; Reiko Heckel; Martin Korff; Michael Löwe; Leila Ribeiro 001; Annika Wagner; Andrea Corradini 001 (Handbook of Graph Grammars, 1997)

Integrating the Specification Techniques of Graph Transformation and Temporal Logic. - Reiko Heckel; Hartmut Ehrig; Uwe Wolter; Andrea Corradini 001 (MFCS, 1997)

An inductive view of graph transformation. - Fabio Gadducci; Reiko Heckel (WADT, 1997)

A Combined Reference Model- and View-Based Approach to System Specification. - Gregor Engels; Reiko Heckel; Gabriele Taentzer; Hartmut Ehrig (Int. J. Softw. Eng. Knowl. Eng., 1997)

Compositional Verification of Reactive Systems Specified by Graph Transformation. - Reiko Heckel (FASE, 1998)

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. - Hartmut Ehrig; Reiko Heckel; Mercè Llabrés; Fernando Orejas; Julia Padberg; Grzegorz Rozenberg (TAGT, 1998)

A Fully Abstract Model for Graph-Interpreted Temporal Logic. - Fabio Gadducci; Reiko Heckel; Manuel Koch (TAGT, 1998)

Simple Modules for GRACE. - Reiko Heckel; Berthold Hoffmann; Peter Knirsch 001; Sabine Kuske (TAGT, 1998)

An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. - Andrea Corradini 001; Martin Große-Rhode; Reiko Heckel (WADT, 1998)

Structured Transition Systems as Lax Coalgebras. - Andrea Corradini 001; Martin Große-Rhode; Reiko Heckel (CMCS, 1998)

Open graph transformation systems: a new approach to the compositional modelling of concurrent and reactive systems. - Reiko Heckel (1998)

Tile Transition Systems as Structured Coalgebras. - Andrea Corradini 001; Reiko Heckel; Ugo Montanari (FCT, 1999)

From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. - Andrea Corradini 001; Reiko Heckel; Ugo Montanari (CMCS, 1999)

A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. - Fabio Gadducci; Reiko Heckel; Mercè Llabrés (CTCS, 1999)

Integrating visual modeling of agent-based and object-oriented systems. - Ralph Depke; Reiko Heckel; Jochen Malte Küster (Agents, 2000)

Agent-Oriented Modeling with Graph Transformation. - Ralph Depke; Reiko Heckel; Jochen Malte Küster (AOSE, 2000)

UML - A Universal Modeling Language? - Gregor Engels; Reiko Heckel; Stefan Sauer 001 (ICATPN, 2000)

Introduction: Graph Transformation and Visual Modeling Techniques. - Andrea Corradini 001; Reiko Heckel (ICALP Satellite Workshops, 2000)

Graphical Operational Semantics. - Andrea Corradini 001; Reiko Heckel; Ugo Montanari (ICALP Satellite Workshops, 2000)

Formalizing the Development of Agent-Based Systems Using Graph Processes. - Ralph Depke; Reiko Heckel (ICALP Satellite Workshops, 2000)

Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. - Gregor Engels; Reiko Heckel (ICALP, 2000)

From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. - Gregor Engels; Reiko Heckel (ICALP Satellite Workshops, 2000)

Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. - Gregor Engels; Jan Hendrik Hausmann; Reiko Heckel; Stefan Sauer 001 (UML, 2000)

Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. - Andrea Corradini 001; Reiko Heckel (Bull. EATCS, 2000)

Improving the agent-oriented modeling process by roles. - Ralph Depke; Reiko Heckel; Jochen Malte Küster (Agents, 2001)

Compositional Modeling of Reactive Systems Using Open Nets. - Paolo Baldan; Andrea Corradini 001; Hartmut Ehrig; Reiko Heckel (CONCUR, 2001)

Graph Transformation as Meta Language for Dynamic Modeling and Model Evolution. - Reiko Heckel; Gregor Engels (FFSE@CSMR, 2001)

Strengthening UML Collaboration Diagrams by State Transformations. - Reiko Heckel; Stefan Sauer 001 (FASE, 2001)

Use Cases as Views: A formal approach to Requirements Engineering in the United Process. - Jan Hendrik Hausmann; Reiko Heckel (GI Jahrestagung (1), 2001)

A methodology for specifying and analyzing consistency of object-oriented behavioral models. - Gregor Engels; Jochen Malte Küster; Reiko Heckel; Luuk Groenewegen (ESEC / SIGSOFT FSE, 2001)

Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. - Gregor Engels; Reiko Heckel; Jochen Malte Küster (UML, 2001)

Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams. - Jan Hendrik Hausmann; Reiko Heckel; Stefan Sauer 001 (HCC, 2001)

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. - Reiko Heckel; Hartmut Ehrig; Uwe Wolter; Andrea Corradini 001 (Appl. Categorical Struct., 2001)

Towards a Formal Framework for Inter-Enterprise Application Integration. - Reiko Heckel; Gregor Engels (GETGRATS Closing Workshop, 2001)

Behavioral Constraints for Visual Models. - Reiko Heckel; Jochen Malte Küster (GT-VMT@ICALP, 2001)

How to Specify a Graph Transformation Approach - A Meta Model for Fujaba. - Reiko Heckel; Albert Zündorf (UNIGRA, 2001)

Roles in Agent-Oriented Modeling. - Ralph Depke; Reiko Heckel; Jochen Malte Küster (Int. J. Softw. Eng. Knowl. Eng., 2001)

Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. - Julia Padberg; L. Jansen; Hartmut Ehrig; Eckehard Schnieder; Reiko Heckel (Trans. SDPS, 2001)

Bericht über die ETAPS 2001 vom 02. - 06. April 2001 in Genua. - Stefan Sauer 001; Reiko Heckel (Softwaretechnik-Trends, 2001)

A Coalgebraic presentation of structured transition systems. - Andrea Corradini 001; Martin Große-Rhode; Reiko Heckel (Theor. Comput. Sci., 2001)

High-Level Net Processes. - Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg; Paolo Baldan; Reiko Heckel (Formal and Natural Computing, 2002)

Graph Transformation with Time: Causality and Logical Clocks. - Szilvia Gyapay; Reiko Heckel; Dániel Varró (ICGT, 2002)

Confluence of Typed Attributed Graph Transformation Systems. - Reiko Heckel; Jochen Malte Küster; Gabriele Taentzer (ICGT, 2002)

Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle. - Reiko Heckel; Tom Mens; Michel Wermelinger (ICGT, 2002)

Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation. - Jan Hendrik Hausmann; Reiko Heckel; Gabriele Taentzer (ICSE, 2002)

Towards consistency-preserving model evolution. - Gregor Engels; Jochen Malte Küster; Reiko Heckel; Luuk Groenewegen (IWPSE, 2002)

Consistency-Preserving Model Evolution through Transformations. - Gregor Engels; Reiko Heckel; Jochen Malte Küster; Luuk Groenewegen (UML, 2002)

Software Evolution through Transformations. - Reiko Heckel; Tom Mens; Michel Wermelinger (Software Evolution Through Transformations @ ICGT, 2002)

Preface. - Reiko Heckel; Tom Mens; Michel Wermelinger (Software Evolution Through Transformations @ ICGT, 2002)

Control Synthesis for discrete Event Systems: a Semantic Framework Based on Open Petri Nets. - Reiko Heckel; Mourad Chouikha (Trans. SDPS, 2002)

Concurrency and Loose Semantics of Open Graph Transformation Systems. - Reiko Heckel; Mercè Llabrés; Hartmut Ehrig; Fernando Orejas (Math. Struct. Comput. Sci., 2002)

Formal agent-oriented modeling with UML and graph transformation. - Ralph Depke; Reiko Heckel; Jochen Malte Küster (Sci. Comput. Program., 2002)

Relating functional requirements and software architecture: separation and consistency of concerns. - Reiko Heckel; Gregor Engels (J. Softw. Maintenance Res. Pract., 2002)

Compositional SOS and beyond: a coalgebraic view of open systems. - Andrea Corradini 001; Reiko Heckel; Ugo Montanari (Theor. Comput. Sci., 2002)

Model-Based Development of Executable Business Processes for Web Services. - Reiko Heckel; Hendrik Voigt (Lectures on Concurrency and Petri Nets, 2003)

Design of an Agent-Oriented Modeling Language Based on Graph Transformation. - Ralph Depke; Jan Hendrik Hausmann; Reiko Heckel (AGTIVE, 2003)

Towards Automatic Selection of Web Services Using Graph Transformation Rules. - Jan Hendrik Hausmann; Reiko Heckel; Marc Lohmann (Berliner XML Tage, 2003)

Modelling and Analysis of Agents' Goal-Driven Behavior. - Ralph Depke; Reiko Heckel (Objects, Agents, and Features, 2003)

Open Petri Nets as Semantic Model for Workflow Integration. - Reiko Heckel (Petri Net Technology for Communication-Based Systems, 2003)

Model-Based Development of Web Applications Using Graphical Reaction Rules. - Reiko Heckel; Marc Lohmann (FASE, 2003)

Modeling and validation of service-oriented architectures: application vs. style. - Luciano Baresi; Reiko Heckel; Sebastian Thöne; Dániel Varró (ESEC / SIGSOFT FSE, 2003)

The Consistency Workbench: A Tool for Consistency Management in UML-Based Development. - Gregor Engels; Reiko Heckel; Jochen Malte Küster (UML, 2003)

Defining and validating transformations of UML models. - Jochen Malte Küster; Reiko Heckel; Gregor Engels (HCC, 2003)

Model-Based Verification and Validation of Properties. - Gregor Engels; Jochen Malte Küster; Reiko Heckel; Marc Lohmann (UNIGRA, 2003)

Towards Model-Driven Testing. - Reiko Heckel; Marc Lohmann (TACoS, 2003)

Graph Transformation with Time. - Szilvia Gyapay; Dániel Varró; Reiko Heckel (Fundam. Informaticae, 2003)

Using XSLT Stylesheets to Transform XPath Queries. - Sven Groppe; Stefan Böttcher; Reiko Heckel; Georg Birkenheuer (ADBIS (Local Proceedings), 2004)

04101 Summary - Language Engineering for Model-driven Software Development. - Jean Bézivin; Reiko Heckel (Language Engineering for Model-Driven Software Development, 2004)

04101 Abstracts Collection - Language Engineering for Model-Driven Software Development. - Jean Bézivin; Reiko Heckel (Language Engineering for Model-Driven Software Development, 2004)

Application of Graph Transformation for Automating Web Service Discovery. - Reiko Heckel; Alexey Cherchago (Language Engineering for Model-Driven Software Development, 2004)

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. - Luciano Baresi; Reiko Heckel (ICGT, 2004)

Specification Matching of Web Services Using Conditional Graph Transformation Rules. - Alexey Cherchago; Reiko Heckel (ICGT, 2004)

Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions. - Reiko Heckel; Tom Mens (ICGT, 2004)

Model-based Discovery of Web Services. - Jan Hendrik Hausmann; Reiko Heckel; Marc Lohmann (ICWS, 2004)

Conceptual Modeling of Styles For Mobile Systems. - Reiko Heckel; Ping Guo 001 (MOBIS, 2004)

Modeling and Simulation of Context-Aware Mobile Systems. - Ping Guo 001; Reiko Heckel (ASE, 2004)

Behavior-Preserving Refinement Relations between Dynamic Software Architectures. - Reiko Heckel; Sebastian Thöne (WADT, 2004)

Style-Based Refinement of Dynamic Software Architectures. - Luciano Baresi; Reiko Heckel; Sebastian Thöne; Dániel Varró (WICSA, 2004)

Preface. - Reiko Heckel (FoVMT, 2004)

Graph Transformation in a Nutshell. - Reiko Heckel (FoVMT, 2004)

A Formal Approach to Service Specification and Matching based on Graph Transformation. - Reiko Heckel; Alexey Cherchago; Marc Lohmann (WSFM, 2004)

Towards Contract-based Testing of Web Services. - Reiko Heckel; Marc Lohmann (TACoS, 2004)

Preface. - Reiko Heckel; Tom Mens (SETra@ICGT, 2004)

Behavioral Refinement of Graph Transformation-Based Models. - Reiko Heckel; Sebastian Thöne (SETra@ICGT, 2004)

Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams. - Jan Hendrik Hausmann; Reiko Heckel; Stefan Sauer 001 (Softw. Syst. Model., 2004)

Process Modeling Using UML. - Gregor Engels; Alexander Förster; Reiko Heckel; Sebastian Thöne (Process-Aware Information Systems, 2005)

Architectural Style - Based Modeling and Simulation of Complex Software Systems. - Ping Guo 001; Gregor Engels; Reiko Heckel (APSEC, 2005)

Flexible Interconnection of Graph Transformation Modules. - Gregor Engels; Reiko Heckel; Alexey Cherchago (Formal Methods in Software and Systems Modeling, 2005)

Automatic Conformance Testing of Web Services. - Reiko Heckel; Leonardo Mariani (FASE, 2005)

Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. - Reiko Heckel (ICTAC, 2005)

Modulare Analyse Stochastischer Graphtransformationssysteme. - Reiko Heckel; Georgios Lajios; Sebastian Menge (Software Engineering, 2005)

Model-Based Development of Web Services Descriptions Enabling a Precise Matching Concept. - Jan Hendrik Hausmann; Reiko Heckel; Marc Lohmann (Int. J. Web Serv. Res., 2005)

Compositional semantics for open Petri nets based on deterministic processe. - Paolo Baldan; Andrea Corradini 001; Hartmut Ehrig; Reiko Heckel (Math. Struct. Comput. Sci., 2005)

Rule-based Model Extraction from Source Code. - Rui Correia; Carlos M. P. Matos; Mohammad El-Ramly; Reiko Heckel (Aspects For Legacy Applications, 2006)

Molecular Analysis of Metabolic Pathway with Graph Transformation. - Karsten Ehrig; Reiko Heckel; Georgios Lajios (ICGT, 2006)

Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. - Gregor Engels; Marc Lohmann; Stefan Sauer 001; Reiko Heckel (ICGT, 2006)

3rd International Workshop on Software Evolution Through Transformations: Embracing Change. - Jean-Marie Favre; Reiko Heckel; Tom Mens (ICGT, 2006)

Introductory Tutorial on Foundations and Applications of Graph Transformation. - Reiko Heckel (ICGT, 2006)

Verification of Model Transformations: A Case Study with BPEL. - Luciano Baresi; Karsten Ehrig; Reiko Heckel (TGC, 2006)

Preface. - Reiko Heckel; Jean-Marie Favre; Tom Mens (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Stochastic Graph Transformation Systems. - Reiko Heckel; Georgios Lajios; Sebastian Menge (Fundam. Informaticae, 2006)

Style-based modeling and refinement of service-oriented architectures. - Luciano Baresi; Reiko Heckel; Sebastian Thöne; Dániel Varró (Softw. Syst. Model., 2006)

Guest Editorial to the Special Issue on Language Engineering for Model-Driven Software Development. - Jean Bézivin; Reiko Heckel (Softw. Syst. Model., 2006)

Managing Socio-technical Interactions in Healthcare Systems. - Osama E. S. El-Hassan; José Luiz Fiadeiro; Reiko Heckel (Business Process Management Workshops, 2007)

Architecture Migration Driven by Code Categorization. - Rui Correia; Carlos M. P. Matos; Reiko Heckel; Mohammad El-Ramly (ECSA, 2007)

Model-Based Testing of Service Infrastructure Components. - László Gönczy; Reiko Heckel; Dániel Varró (TestCom/FATES, 2007)

A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services. - Marc Lohmann; Leonardo Mariani; Reiko Heckel (Test and Analysis of Web Services, 2007)

Rule-Level Verification of Business Process Transformations using CSP. - Dénes Bisztray; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Preface. - Barbara König 001; Arend Rensink; Reiko Heckel (GT-VC@CONCUR, 2007)

Structural and behavioural compatibility of graphical service specifications. - Reiko Heckel; Alexey Cherchago (J. Log. Algebraic Methods Program., 2007)

Model-driven development of reactive information systems: from graph transformation rules to JML contracts. - Reiko Heckel; Marc Lohmann (Int. J. Softw. Tools Technol. Transf., 2007)

Verification of Architectural Refactorings by Rule Extraction. - Dénes Bisztray; Reiko Heckel; Hartmut Ehrig (FASE, 2008)

Tutorial Introduction to Graph Transformation. - Reiko Heckel (ICGT, 2008)

Compositional Verification of Architectural Refactorings. - Dénes Bisztray; Reiko Heckel; Hartmut Ehrig (WADS, 2008)

Verification of Architectural Refactorings: Rule Extraction and Tool Support. - Dénes Bisztray; Reiko Heckel; Hartmut Ehrig (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). - Claudia Ermel; Juan de Lara; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems. - Ajab Khan; Paolo Torrini; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Migrating Legacy Systems to Service-Oriented Architectures. - Carlos M. P. Matos; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Compositionality of Model Transformations. - Dénes Bisztray; Reiko Heckel; Hartmut Ehrig (VODCA@FOSAD, 2008)

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. - Paolo Baldan; Andrea Corradini 001; Hartmut Ehrig; Reiko Heckel; Barbara König 001 (Log. Methods Comput. Sci., 2008)

Architectural Transformations: From Legacy to Three-Tier and Services. - Reiko Heckel; Rui Correia; Carlos M. P. Matos; Mohammad El-Ramly; Georgios Koutsoukos; Luís Andrade 001 (Software Evolution, 2008)

Rewriting Logic Semantics and Verification of Model Transformations. - Artur Boronat; Reiko Heckel; José Meseguer 001 (FASE, 2009)

Semi-automated service composition using visual contracts. - Muhammad Naeem 002; Reiko Heckel; Fernando Orejas (FIT, 2009)

Analysing refactoring dependencies using unfolding of graph transformation systems. - Fawad Qayum; Reiko Heckel (FIT, 2009)

Modelling the Asynchronous Dynamic Evolution of Architectural Types. - Cristóbal Costa Soria; Reiko Heckel (SOAR, 2009)

Towards an embedding of Graph Transformation in Intuitionistic Linear Logic - Paolo Torrini; Reiko Heckel (ICE, 2009)

Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars - Rodrigo Machado; Reiko Heckel; Leila Ribeiro 001 (RULE, 2009)

Resource-Bound Quantification for Graph Transformation - Paolo Torrini; Reiko Heckel (LINEARITY, 2009)

Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques. - Artur Boronat; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System. - Ajab Khan; Reiko Heckel; Paolo Torrini; István Ráth (ASMTA, 2010)

Stochastic Modelling and Simulation of Mobile Systems. - Reiko Heckel; Paolo Torrini (Graph Transformations and Model-Driven Engineering, 2010)

Incremental Service Composition Based on Partial Matching of Visual Contracts. - Muhammad Naeem 002; Reiko Heckel; Fernando Orejas; Frank Hermann 001 (FASE, 2010)

Stochastic Simulation of Graph Transformation Systems. - Paolo Torrini; Reiko Heckel; István Ráth (FASE, 2010)

Combining Termination Criteria by Isolating Deletion. - Dénes Bisztray; Reiko Heckel (ICGT, 2010)

Graph Transformation for Domain-Specific Discrete Event Time Simulation. - Juan de Lara; Esther Guerra; Artur Boronat; Reiko Heckel; Paolo Torrini (ICGT, 2010)

From Graph Transformations to Differential Equations. - Mayur Bapodra; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Stochastic Graph Transformation with Regions. - Paolo Torrini; Reiko Heckel; István Ráth; Gábor Bergmann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis. - Gábor Bergmann; Artur Boronat; Reiko Heckel; Paolo Torrini; István Ráth; Dániel Varró (Results of the SENSORIA Project, 2011)

Legacy Transformations for Extracting Service Components. - Carlos M. P. Matos; Reiko Heckel (Results of the SENSORIA Project, 2011)

On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts. - Tamim Ahmed Khan; Reiko Heckel (FASE, 2011)

Model-based Stochastic Simulation of Super Peer Promotion in P2P VoIP using Graph Transformation. - Ajab Khan; Reiko Heckel (DCNET/OPTICS, 2011)

Evaluating Super Node Selection and Load Balancing in P2P VoIP Networks Using Stochastic Graph Transformation. - Ajab Khan; Reiko Heckel (ICETE (Selected Papers), 2011)

Towards matching of service feature models based on linear logic. - Muhammad Naeem 002; Reiko Heckel (SPLC Workshops, 2011)

Modular performance modelling for mobile applications. - Niaz Arijo; Reiko Heckel; Mirco Tribastone; Stephen Gilmore (ICPE, 2011)

Flexible Behaviour of Human Actors in Distributed Workflows. - Adwoa Donyina; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation. - Adwoa Donyina; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Towards Test Coverage Criteria for Visual Contracts. - Reiko Heckel; Tamim Ahmed Khan; Rodrigo Machado (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Search-Based Refactoring using Unfolding of Graph Transformation Systems. - Fawad Qayum; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Modular performance modelling for mobile applications (abstracts only). - Niaz Arijo; Reiko Heckel; Mirco Tribastone; Stephen Gilmore (SIGMETRICS Perform. Evaluation Rev., 2011)

DPO Transformation with Open Maps. - Reiko Heckel (ICGT, 2012)

Parallelism and Concurrency of Stochastic Graph Transformations. - Reiko Heckel; Hartmut Ehrig; Ulrike Golas; Frank Hermann 001 (ICGT, 2012)

Testing against Visual Contracts: Model-Based Coverage. - Tamim Ahmed Khan; Olga Runge; Reiko Heckel (ICGT, 2012)

Towards refactoring of rule-based, in-place model transformation systems. - Gabriele Taentzer; Thorsten Arendt; Claudia Ermel; Reiko Heckel (AMT@MoDELS, 2012)

Transformation Systems with Incremental Negative Application Conditions. - Andrea Corradini 001; Reiko Heckel; Frank Hermann 001; Susann Gottmann; Nico Nachtigall (WADT, 2012)

View-based Modelling and State-Space Generation for Graph Transformation Systems. - Niaz Arijo; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Visual Contracts as Test Oracle in AGG 2.0. - Tamim Ahmed Khan; Olga Runge; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Abstraction and Training of Stochastic Graph Transformation Systems. - Mayur Bapodra; Reiko Heckel (FASE, 2013)

Learning Minimal and Maximal Rules from Observations of Graph Transformations. - Abdullah M. Alshanqiti; Reiko Heckel; Tamim Ahmed Khan (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Test Case Generation Using Visual Contracts. - Olga Runge; Tamim Ahmed Khan; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Canonical Derivations with Negative Application Conditions. - Andrea Corradini 001; Reiko Heckel (ICGT, 2014)

Transformation and Refinement of Rigid Structures. - Vincent Danos; Reiko Heckel; Pawel Sobocinski 001 (ICGT, 2014)

Towards Dynamic Reverse Engineering Visual Contracts from Java. - Abdullah M. Alshanqiti; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Modelling Adaptive Networks: The Case of the Petrified Voters. - Mudhafar Hussein; Reiko Heckel; Vincent Danos; Pawel Sobocinski 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Combining termination proofs in model transformation systems. - Dénes Bisztray; Reiko Heckel (Math. Struct. Comput. Sci., 2014)

Domain-specific discrete event modelling and simulation using graph transformation. - Juan de Lara; Esther Guerra; Artur Boronat; Reiko Heckel; Paolo Torrini (Softw. Syst. Model., 2014)

Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. - Rodrigo Machado; Leila Ribeiro 001; Reiko Heckel (ICGT, 2015)

Extracting Visual Contracts from Java Programs (T). - Abdullah M. Alshanqiti; Reiko Heckel (ASE, 2015)

Detecting and Refactoring Operational Smells within the Domain Name System. - Marwan Radwan; Reiko Heckel (GaM, 2015)

Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars. - Rodrigo Machado; Leila Ribeiro 001; Reiko Heckel (Theor. Comput. Sci., 2015)

Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis. - Abdullah M. Alshanqiti; Reiko Heckel; Timo Kehrer (ASE, 2016)

Hartmut Ehrig (1944-2016). - Reiko Heckel; Andrea Corradini 001; Ugo Montanari; Hans-Jörg Kreowski; Fernando Orejas; Grzegorz Rozenberg (Bull. EATCS, 2016)

Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations. - Timo Kehrer; Abdullah M. Alshanqiti; Reiko Heckel (ICMT, 2017)

Prediction of the domain name system (DNS) quality attributes. - Marwan Radwan; Reiko Heckel (SAC, 2017)

Features of Agent-based Models. - Reiko Heckel; Alexander Kurz 001; Edmund Chattoe-Brown (GaM@ETAPS, 2017)

Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. - Benjamin Cabrera; Tobias Heindel; Reiko Heckel; Barbara König 001 (CONCUR, 2018)

Reverse Engineering the Behaviour of Twitter Bots. - Bello Shehu Bello; Reiko Heckel; Leandro L. Minku (SNAMS, 2018)

Model Based Development of Data Integration in Graph Databases Using Triple Graph Grammars. - Abdullah Alqahtani 001; Reiko Heckel (STAF Workshops, 2018)

Inferring visual contracts from Java programs. - Abdullah M. Alshanqiti; Reiko Heckel; Timo Kehrer (Autom. Softw. Eng., 2018)

Unfolding Graph Grammars with Negative Application Conditions. - Andrea Corradini 001; Maryam Ghaffari Saadat; Reiko Heckel (ICGT, 2019)

Analyzing the Behaviour of Twitter Bots in Post Brexit Politics. - Bello Shehu Bello; Reiko Heckel (SNAMS, 2019)

Social Media Campaign Strategies: Analysis of the 2019 Nigerian Elections. - Bello Shehu Bello; Isa Inuwa-Dutse; Reiko Heckel (SNAMS, 2019)

Analysis of Graph Transformation Systems: Native vs Translation-based Techniques. - Reiko Heckel; Leen Lambers; Maryam Ghaffari Saadat (GCM@STAF, 2019)

Graph Transformation for Software Engineers - With Applications to Model-Based Development and Domain-Specific Language Engineering - Reiko Heckel; Gabriele Taentzer (Springer, 2020)

Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. - Rebecca Bernemann; Benjamin Cabrera; Reiko Heckel; Barbara König 001 (FSTTCS, 2020)

Unfolding Symbolic Attributed Graph Grammars. - Maryam Ghaffari Saadat; Reiko Heckel; Fernando Orejas (ICGT, 2020)

Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3. - Nicolas Behr; Maryam Ghaffari Saadat; Reiko Heckel (GCM@STAF, 2020)

Encoding Incremental NACs in Safe Graph Grammars using Complementation. - Andrea Corradini 001; Maryam Ghaffari Saadat; Reiko Heckel (GCM@STAF, 2020)

Transparency by Default: GDPR Patterns for Agile Development. - Baraa Zieni; Dayana Spagnuelo; Reiko Heckel (EGOVIS, 2021)

TEM: A Transparency Engineering Methodology Enabling Users' Trust Judgement. - Baraa Zieni; Reiko Heckel (RE, 2021)

Stochastic Graph Transformation For Social Network Modeling. - Nicolas Behr; Bello Shehu Bello; Sebastian Ehmes; Reiko Heckel (GCM@STAF, 2021)

Graph Rewriting Components. - Reiko Heckel; Andrea Corradini 001; Fabio Gadducci (ICGT, 2022)

Visual Smart Contracts for DAML. - Reiko Heckel; Zobia Erum; Nitia Rahmi; Albert Pul (ICGT, 2022)

Cross-Skeleton Interaction Graph Aggregation Network for Representation Learning of Mouse Social Behaviour. - Feixiang Zhou; Xinyu Yang; Fang Chen; Long Chen 019; Zheheng Jiang; Hui Zhu; Reiko Heckel; Haikuan Wang; Minrui Fei; Huiyu Zhou 001 (CoRR, 2022)

Stochastic Decision Petri Nets. - Florian Wittbold; Rebecca Bernemann; Reiko Heckel; Tobias Heindel; Barbara König 001 (Petri Nets, 2023)

Graph Rewriting for Graph Neural Networks. - Adam Machowczyk; Reiko Heckel (ICGT, 2023)

Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts. - Issam Al-Azzoni; Reiko Heckel (ASEW, 2023)

Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformations. - Adwoa Donyina; Reiko Heckel (GCM, 2023)

Can I Teach Graph Rewriting to My Chatbot? - Reiko Heckel; Issam Al-Azzoni (ICGT, 2024)

Test Case Generation from Graph Transformation Systems Using Deep Reinforcement Learning. - Simin Ghasemi; Vahid Rafe; Mohammad Mehrabi; Reiko Heckel; Issam Al-Azzoni (ICGT, 2025)

Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph Rewriting for Testing Domain-specific Models. - Issam Al-Azzoni; Reiko Heckel; Zobia Erum (J. Object Technol., 2025)

Cross-Skeleton Interaction Graph Aggregation Network for Representation Learning of Mouse Social Behavior. - Feixiang Zhou; Xinyu Yang; Fang Chen; Long Chen 019; Zheheng Jiang; Hui Zhu; Reiko Heckel; Haikuan Wang; Minrui Fei; Huiyu Zhou 001 (IEEE Trans. Image Process., 2025)

Whole test suite generation from graph transformation specifications using ant colony optimization. - Simin Ghasemi; Vahid Rafe; Anvar Bahrampour; Reiko Heckel (Softw. Qual. J., 2025)