Reiko Heckel

Mayur Bapodra, Reiko Heckel: Abstraction and Training of Stochastic Graph Transformation Systems. FASE 2013: 312-326

Niaz Arijo, Reiko Heckel: View-based Modelling and State-Space Generation for Graph Transformation Systems. ECEASST 47 (2012)

Tamim Ahmed Khan, Olga Runge, Reiko Heckel: Visual Contracts as Test Oracle in AGG 2.0. ECEASST 47 (2012)

Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann: Parallelism and Concurrency of Stochastic Graph Transformations. ICGT 2012: 96-110

Reiko Heckel: DPO Transformation with Open Maps. ICGT 2012: 203-217

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

Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall: Transformation Systems with Incremental Negative Application Conditions. WADT 2012: 127-142

Adwoa Donyina, Reiko Heckel: Flexible Behaviour of Human Actors in Distributed Workflows. ECEASST 37 (2011)

Adwoa Donyina, Reiko Heckel: Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation. ECEASST 38 (2011)

Fawad Qayum, Reiko Heckel: Search-Based Refactoring using Unfolding of Graph Transformation Systems. ECEASST 38 (2011)

Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado: Towards Test Coverage Criteria for Visual Contracts. ECEASST 41 (2011)

Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore: Modular performance modelling for mobile applications (abstracts only). SIGMETRICS Performance Evaluation Review 39(3): 18 (2011)

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

Carlos M. P. Matos, Reiko Heckel: Legacy Transformations for Extracting Service Components. Results of the SENSORIA Project 2011: 604-621

Tamim Ahmed Khan, Reiko Heckel: On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts. FASE 2011: 341-355

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

Muhammad Naeem, Reiko Heckel: Towards matching of service feature models based on linear logic. SPLC Workshops 2011: 13

Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore: Modular performance modelling for mobile applications. ICPE 2011: 329-334

Gabriel A. Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach (Eds.): 2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS). SCS/ACM 2011

Paolo Torrini, Reiko Heckel, István Ráth, Gábor Bergmann: Stochastic Graph Transformation with Regions. ECEASST 29 (2010)

Mayur Bapodra, Reiko Heckel: From Graph Transformations to Differential Equations. ECEASST 30 (2010)

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

Reiko Heckel, Paolo Torrini: Stochastic Modelling and Simulation of Mobile Systems. Graph Transformations and Model-Driven Engineering 2010: 87-101

Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann: Incremental Service Composition Based on Partial Matching of Visual Contracts. FASE 2010: 123-138

Paolo Torrini, Reiko Heckel, István Ráth: Stochastic Simulation of Graph Transformation Systems. FASE 2010: 154-157

Dénes Bisztray, Reiko Heckel: Combining Termination Criteria by Isolating Deletion. ICGT 2010: 203-217

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

Artur Boronat, Reiko Heckel: Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques. ECEASST 18 (2009)

Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Compositionality of Model Transformations. Electr. Notes Theor. Comput. Sci. 236: 5-19 (2009)

Artur Boronat, Reiko Heckel, José Meseguer: Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33

Fawad Qayum, Reiko Heckel: Analysing refactoring dependencies using unfolding of graph transformation systems. FIT 2009: 15

Muhammad Naeem, Reiko Heckel, Fernando Orejas: Semi-automated service composition using visual contracts. FIT 2009: 48

Cristóbal Costa Soria, Reiko Heckel: Modelling the Asynchronous Dynamic Evolution of Architectural Types. SOAR 2009: 198-229

Paolo Torrini, Reiko Heckel: Resource-Bound Quantification for Graph Transformation. LINEARITY 2009: 14-25

Rodrigo Machado, Reiko Heckel, Leila Ribeiro: Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars. RULE 2009: 39-50

Paolo Torrini, Reiko Heckel: Towards an embedding of Graph Transformation in Intuitionistic Linear Logic. ICE 2009: 99-115

Claudia Ermel, Juan de Lara, Reiko Heckel: Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). ECEASST 10 (2008)

Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Verification of Architectural Refactorings: Rule Extraction and Tool Support. ECEASST 16 (2008)

Ajab Khan, Paolo Torrini, Reiko Heckel: Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems. ECEASST 16 (2008)

Carlos M. P. Matos, Reiko Heckel: Migrating Legacy Systems to Service-Oriented Architectures. ECEASST 16 (2008)

Barbara König, Arend Rensink, Reiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 213(1): 1-2 (2008)

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Logical Methods in Computer Science 4(4) (2008)

Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Verification of Architectural Refactorings by Rule Extraction. FASE 2008: 347-361

Reiko Heckel: Tutorial Introduction to Graph Transformation. ICGT 2008: 458-459

Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Compositional Verification of Architectural Refactorings. WADS 2008: 308-333

Reiko Heckel, Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Georgios Koutsoukos, Luis Filipe Andrade: Architectural Transformations: From Legacy to Three-Tier and Services. Software Evolution 2008: 139-170

Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (Eds.): Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Lecture Notes in Computer Science 5214, Springer 2008, isbn 978-3-540-87404-1

Marlon Dumas, Reiko Heckel (Eds.): Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings. Lecture Notes in Computer Science 4937, Springer 2008, isbn 978-3-540-79229-1

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CoRR abs/0809.4115 (2008)

Dénes Bisztray, Reiko Heckel: Rule-Level Verification of Business Process Transformations using CSP. ECEASST 6 (2007)

Arend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 175(4): 1-2 (2007)

Reiko Heckel, Alexey Cherchago: Structural and behavioural compatibility of graphical service specifications. J. Log. Algebr. Program. 70(1): 15-33 (2007)

Reiko Heckel, Marc Lohmann: Model-driven development of reactive information systems: from graph transformation rules to JML contracts. STTT 9(2): 193-207 (2007)

Osama El-Hassan, José Luiz Fiadeiro, Reiko Heckel: Managing Socio-technical Interactions in Healthcare Systems. Business Process Management Workshops 2007: 347-358

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142

Rui Correia, Carlos M. P. Matos, Reiko Heckel, Mohammad El-Ramly: Architecture Migration Driven by Code Categorization. ECSA 2007: 115-122

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

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

Reiko Heckel, Jean-Marie Favre, Tom Mens: Preface. ECEASST 3 (2006)

Reiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 148(1): 1-3 (2006)

Reiko Heckel: Graph Transformation in a Nutshell. Electr. Notes Theor. Comput. Sci. 148(1): 187-198 (2006)

Arend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 154(2): 1-5 (2006)

Reiko Heckel, Georgios Lajios, Sebastian Menge: Stochastic Graph Transformation Systems. Fundam. Inform. 74(1): 63-84 (2006)

Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró: Style-based modeling and refinement of service-oriented architectures. Software and System Modeling 5(2): 187-207 (2006)

Jean Bézivin, Reiko Heckel: Guest Editorial to the Special Issue on Language Engineering for Model-Driven Software Development. Software and System Modeling 5(3): 231-232 (2006)

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

Karsten Ehrig, Reiko Heckel, Georgios Lajios: Molecular Analysis of Metabolic Pathway with Graph Transformation. ICGT 2006: 107-121

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

Reiko Heckel: Introductory Tutorial on Foundations and Applications of Graph Transformation. ICGT 2006: 461-462

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

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

Luciano Baresi, Reiko Heckel (Eds.): Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings. Lecture Notes in Computer Science 3922, Springer 2006, isbn 3-540-33093-3

Reiko Heckel, Marc Lohmann: Towards Contract-based Testing of Web Services. Electr. Notes Theor. Comput. Sci. 116: 145-156 (2005)

Reiko Heckel, Tom Mens: Preface. Electr. Notes Theor. Comput. Sci. 127(3): 1-3 (2005)

Reiko Heckel, Sebastian Thöne: Behavioral Refinement of Graph Transformation-Based Models. Electr. Notes Theor. Comput. Sci. 127(3): 101-111 (2005)

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

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Compositional semantics for open Petri nets based on deterministic processe. Mathematical Structures in Computer Science 15(1): 1-35 (2005)

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

Ping Guo, Gregor Engels, Reiko Heckel: Architectural Style - Based Modeling and Simulation of Complex Software Systems. APSEC 2005: 367-374

Gregor Engels, Reiko Heckel, Alexey Cherchago: Flexible Interconnection of Graph Transformation Modules. Formal Methods in Software and Systems Modeling 2005: 38-63

Reiko Heckel, Leonardo Mariani: Automatic Conformance Testing of Web Services. FASE 2005: 34-48

Reiko Heckel: Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. ICTAC 2005: 53-69

Reiko Heckel, Georgios Lajios, Sebastian Menge: Modulare Analyse Stochastischer Graphtransformationssysteme. Software Engineering 2005: 141-152

Jean Bézivin, Reiko Heckel (Eds.): Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004. Dagstuhl Seminar Proceedings 04101, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005

Reiko Heckel, Alexey Cherchago, Marc Lohmann: A Formal Approach to Service Specification and Matching based on Graph Transformation. Electr. Notes Theor. Comput. Sci. 105: 37-49 (2004)

Reiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 109: 1-2 (2004)

Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer: Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams. Software and System Modeling 3(3): 181-193 (2004)

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

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

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

Reiko Heckel: Graph Transformation in a Nutshell. Language Engineering for Model-Driven Software Development 2004

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

Reiko Heckel, Georgios Lajios, Sebastian Menge: Stochastic Graph Transformation Systems. ICGT 2004: 210-225

Alexey Cherchago, Reiko Heckel: Specification Matching of Web Services Using Conditional Graph Transformation Rules. ICGT 2004: 304-318

Luciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2004: 431-433

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

Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann: Model-based Discovery of Web Services. ICWS 2004: 324-331

Reiko Heckel, Ping Guo: Conceptual Modeling of Styles For Mobile Systems. MOBIS 2004: 65-79

Ping Guo, Reiko Heckel: Modeling and Simulation of Context-Aware Mobile Systems. ASE 2004: 430-433

Reiko Heckel, Sebastian Thöne: Behavior-Preserving Refinement Relations between Dynamic Software Architectures. WADT 2004: 1-27

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

Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer: Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. Electr. Notes Theor. Comput. Sci. 72(3): 133-144 (2003)

Reiko Heckel, Tom Mens, Michel Wermelinger: Software Evolution through Transformations. Electr. Notes Theor. Comput. Sci. 72(4): 1-5 (2003)

Reiko Heckel, Tom Mens, Michel Wermelinger: Preface. Electr. Notes Theor. Comput. Sci. 72(4): 77-78 (2003)

Reiko Heckel, Marc Lohmann: Towards Model-Driven Testing. Electr. Notes Theor. Comput. Sci. 82(6): 33-43 (2003)

Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann: Model-Based Verification and Validation of Properties. Electr. Notes Theor. Comput. Sci. 82(7): 133-150 (2003)

Szilvia Gyapay, Dániel Varró, Reiko Heckel: Graph Transformation with Time. Fundam. Inform. 58(1): 1-22 (2003)

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

Ralph Depke, Jan Hendrik Hausmann, Reiko Heckel: Design of an Agent-Oriented Modeling Language Based on Graph Transformation. AGTIVE 2003: 106-119

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

Ralph Depke, Reiko Heckel: Modelling and Analysis of Agents' Goal-Driven Behavior. Objects, Agents, and Features 2003: 81-97

Reiko Heckel: Open Petri Nets as Semantic Model for Workflow Integration. Petri Net Technology for Communication-Based Systems 2003: 281-294

Reiko Heckel, Marc Lohmann: Model-Based Development of Web Applications Using Graphical Reaction Rules. FASE 2003: 170-183

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

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

Jochen Malte Küster, Reiko Heckel, Gregor Engels: Defining and validating transformations of UML models. HCC 2003: 145-152

Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas: Concurrency and Loose Semantics of Open Graph Transformation Systems. Mathematical Structures in Computer Science 12(4): 349-376 (2002)

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

Reiko Heckel, Gregor Engels: Relating functional requirements and software architecture: separation and consistency of concerns. Journal of Software Maintenance 14(5): 371-388 (2002)

Andrea Corradini, Reiko Heckel, Ugo Montanari: Compositional SOS and beyond: a coalgebraic view of open systems. Theor. Comput. Sci. 280(1-2): 163-192 (2002)

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel: High-Level Net Processes. Formal and Natural Computing 2002: 191-219

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

Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer: Confluence of Typed Attributed Graph Transformation Systems. ICGT 2002: 161-176

Luciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2002: 402-429

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

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

Gregor Engels, Reiko Heckel, Jochen Malte Küster, Luuk Groenewegen: Consistency-Preserving Model Evolution through Transformations. UML 2002: 212-226

Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini: Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. Applied Categorical Structures 9(1): 83-110 (2001)

Reiko Heckel, Albert Zündorf: How to Specify a Graph Transformation Approach - A Meta Model for Fujaba. Electr. Notes Theor. Comput. Sci. 44(4): 41-51 (2001)

Reiko Heckel, Jochen Malte Küster: Behavioral Constraints for Visual Models. Electr. Notes Theor. Comput. Sci. 50(3): 257-265 (2001)

Reiko Heckel, Gregor Engels: Towards a Formal Framework for Inter-Enterprise Application Integration. Electr. Notes Theor. Comput. Sci. 51: 139-151 (2001)

Ralph Depke, Reiko Heckel, Jochen Malte Küster: Roles in Agent-Oriented Modeling. International Journal of Software Engineering and Knowledge Engineering 11(3): 281-302 (2001)

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

Andrea Corradini, Martin Große-Rhode, Reiko Heckel: A Coalgebraic presentation of structured transition systems. Theor. Comput. Sci. 260(1-2): 27-55 (2001)

Ralph Depke, Reiko Heckel, Jochen Malte Küster: Improving the agent-oriented modeling process by roles. Agents 2001: 640-647

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518

Reiko Heckel, Stefan Sauer: Strengthening UML Collaboration Diagrams by State Transformations. FASE 2001: 109-123

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

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

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

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

Andrea Corradini, Reiko Heckel: Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bulletin of the EATCS 72: 69-76 (2000)

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

Ralph Depke, Reiko Heckel, Jochen Malte Küster: Agent-Oriented Modeling with Graph Transformation. AOSE 2000: 105-120

Gregor Engels, Reiko Heckel, Stefan Sauer: UML - A Universal Modeling Language? ICATPN 2000: 24-38

Gregor Engels, Reiko Heckel: Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. ICALP 2000: 127-150

Andrea Corradini, Reiko Heckel: Introduction: Graph Transformation and Visual Modeling Techniques. ICALP Satellite Workshops 2000: 357-358

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

Andrea Corradini, Reiko Heckel, Ugo Montanari: Graphical Operational Semantics. ICALP Satellite Workshops 2000: 411-418

Ralph Depke, Reiko Heckel: Formalizing the Development of Agent-Based Systems Using Graph Processes. ICALP Satellite Workshops 2000: 419-426

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

Andrea Corradini, Reiko Heckel, Ugo Montanari: From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. Electr. Notes Theor. Comput. Sci. 19: 118-141 (1999)

Fabio Gadducci, Reiko Heckel, Mercè Llabrés: A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. Electr. Notes Theor. Comput. Sci. 29: 80-100 (1999)

Andrea Corradini, Reiko Heckel, Ugo Montanari: Tile Transition Systems as Structured Coalgebras. FCT 1999: 13-38

Andrea Corradini, Martin Große-Rhode, Reiko Heckel: Structured Transition Systems as Lax Coalgebras. Electr. Notes Theor. Comput. Sci. 11: 22-41 (1998)

Reiko Heckel: Compositional Verification of Reactive Systems Specified by Graph Transformation. FASE 1998: 138-153

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

Fabio Gadducci, Reiko Heckel, Manuel Koch: A Fully Abstract Model for Graph-Interpreted Temporal Logic. TAGT 1998: 310-322

Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske: Simple Modules for GRACE. TAGT 1998: 383-395

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

Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig: A Combined Reference Model- and View-Based Approach to System Specification. International Journal of Software Engineering and Knowledge Engineering 7(4): 457-477 (1997)

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

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

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

Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini: Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS 1997: 219-228

Fabio Gadducci, Reiko Heckel: An inductive view of graph transformation. WADT 1997: 223-237

Annegret Habel, Reiko Heckel, Gabriele Taentzer: Graph Grammars with Negative Application Conditions. Fundam. Inform. 26(3/4): 287-313 (1996)

Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe: Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Mathematical Structures in Computer Science 6(6): 613-648 (1996)

Andrea Corradini, Reiko Heckel: A compositional approach to structuring and refinement of typed graph grammars. Electr. Notes Theor. Comput. Sci. 2: 46-55 (1995)

Reiko Heckel, Annika Wagner: Ensuring consistency of conditional graph rewriting - a constructive approach. Electr. Notes Theor. Comput. Sci. 2: 118-126 (1995)