| 2026 | ICGT | From Graph Rewriting to Markov Automata: Mass-Action Semantics for Stochastic and Probabilistic Systems. | Reiko Heckel, Neel Vinod Lad |
| 2026 | ICGT | Benchmark First: Defining Tasks for Graph Transformation Learning. | Adam Machowczyk, Reiko Heckel |
| 2026 | MODELSWARD | Can AI Make the Rules? A Pipeline for Generating Graph Transformation Systems. | Reiko Heckel, Muhammad Saad |
| 2021 | RE | TEM: A Transparency Engineering Methodology Enabling Users' Trust Judgement. | Baraa Zieni, Reiko Heckel |
| 2018 | CONCUR | Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. | Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara Knig |
| 2017 | SAC | Prediction of the domain name system (DNS) quality attributes. | Marwan Radwan, Reiko Heckel |
| 2013 | FASE | Abstraction and Training of Stochastic Graph Transformation Systems. | Mayur Bapodra, Reiko Heckel |
| 2012 | MODELS | Towards refactoring of rule-based, in-place model transformation systems. | Gabriele Taentzer, Thorsten Arendt, Claudia Ermel, Reiko Heckel |
| 2011 | FASE | On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts. | Tamim Ahmed Khan, Reiko Heckel |
| 2011 | SPLC | Towards matching of service feature models based on linear logic. | Muhammad Naeem, Reiko Heckel |
| 2010 | FASE | Incremental Service Composition Based on Partial Matching of Visual Contracts. | Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann |
| 2010 | FASE | Stochastic Simulation of Graph Transformation Systems. | Paolo Torrini, Reiko Heckel, Istvn Rth |
| 2009 | FASE | Rewriting Logic Semantics and Verification of Model Transformations. | Artur Boronat, Reiko Heckel, Jos Meseguer |
| 2009 | FIT | Semi-automated service composition using visual contracts. | Muhammad Naeem, Reiko Heckel, Fernando Orejas |
| 2009 | FIT | Analysing refactoring dependencies using unfolding of graph transformation systems. | Fawad Qayum, Reiko Heckel |
| 2008 | FASE | Verification of Architectural Refactorings by Rule Extraction. | Dnes Bisztray, Reiko Heckel, Hartmut Ehrig |
| 2008 | ICSE | Compositional Verification of Architectural Refactorings. | Dnes Bisztray, Reiko Heckel, Hartmut Ehrig |
| 2007 | BPM | Managing Socio-technical Interactions in Healthcare Systems. | Osama E. S. El-Hassan, Jos Luiz Fiadeiro, Reiko Heckel |
| 2007 | CALCO | Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara Knig |
| 2007 | ECSA | Architecture Migration Driven by Code Categorization. | Rui Correia, Carlos M. P. Matos, Reiko Heckel, Mohammad El-Ramly |
| 2005 | APSEC | Architectural Style - Based Modeling and Simulation of Complex Software Systems. | Ping Guo, Gregor Engels, Reiko Heckel |
| 2005 | FASE | Automatic Conformance Testing of Web Services. | Reiko Heckel, Leonardo Mariani |
| 2005 | ICTAC | Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. | Reiko Heckel |
| 2004 | ADBIS | Using XSLT Stylesheets to Transform XPath Queries. | Sven Groppe, Stefan Bttcher, Reiko Heckel, Georg Birkenheuer |
| 2004 | ICWS | Model-based Discovery of Web Services. | Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann |
| 2003 | FASE | Model-Based Development of Web Applications Using Graphical Reaction Rules. | Reiko Heckel, Marc Lohmann |
| 2002 | ICSE | 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 |
| 2001 | CONCUR | Compositional Modeling of Reactive Systems Using Open Nets. | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel |
| 2001 | FASE | Strengthening UML Collaboration Diagrams by State Transformations. | Reiko Heckel, Stefan Sauer |
| 2001 | GI | Use Cases as Views: A formal approach to Requirements Engineering in the United Process. | Jan Hendrik Hausmann, Reiko Heckel |
| 2000 | ICALP | Introduction: Graph Transformation and Visual Modeling Techniques. | Andrea Corradini, Reiko Heckel |
| 2000 | ICALP | Graphical Operational Semantics. | Andrea Corradini, Reiko Heckel, Ugo Montanari |
| 2000 | ICALP | Formalizing the Development of Agent-Based Systems Using Graph Processes. | Ralph Depke, Reiko Heckel |
| 2000 | ICALP | Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. | Gregor Engels, Reiko Heckel |
| 2000 | ICALP | From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. | Gregor Engels, Reiko Heckel |
| 1999 | FCT | Tile Transition Systems as Structured Coalgebras. | Andrea Corradini, Reiko Heckel, Ugo Montanari |
| 1998 | FASE | Compositional Verification of Reactive Systems Specified by Graph Transformation. | Reiko Heckel |
| 1997 | MFCS | Integrating the Specification Techniques of Graph Transformation and Temporal Logic. | Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini |