Reiko Heckel

	2011
163		Gabriel A. Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach: 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
162		Ajab Khan, Reiko Heckel: Model-based Stochastic Simulation of Super Peer Promotion in P2P VoIP using Graph Transformation. DCNET/OPTICS 2011: 32-42
161		Tamim Ahmed Khan, Reiko Heckel: On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts. FASE 2011: 341-355
160		Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore: Modular performance modelling for mobile applications. ICPE 2011: 329-334
159		Muhammad Naeem, Reiko Heckel: Towards matching of service feature models based on linear logic. SPLC Workshops 2011: 13
158		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
157		Carlos M. P. Matos, Reiko Heckel: Legacy Transformations for Extracting Service Components. Results of the SENSORIA Project 2011: 604-621
156		Adwoa Donyina, Reiko Heckel: Flexible Behaviour of Human Actors in Distributed Workflows. ECEASST 37: (2011)
155		Adwoa Donyina, Reiko Heckel: Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation. ECEASST 38: (2011)
154		Fawad Qayum, Reiko Heckel: Search-Based Refactoring using Unfolding of Graph Transformation Systems. ECEASST 38: (2011)
153		Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado: Towards Test Coverage Criteria for Visual Contracts. ECEASST 41: (2011)
152		Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore: Modular performance modelling for mobile applications (abstracts only). SIGMETRICS Performance Evaluation Review 39(3): 18 (2011)
	2010
151		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
150		Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann: Incremental Service Composition Based on Partial Matching of Visual Contracts. FASE 2010: 123-138
149		Paolo Torrini, Reiko Heckel, István Ráth: Stochastic Simulation of Graph Transformation Systems. FASE 2010: 154-157
148		Reiko Heckel, Paolo Torrini: Stochastic Modelling and Simulation of Mobile Systems. Graph Transformations and Model-Driven Engineering 2010: 87-101
147		Dénes Bisztray, Reiko Heckel: Combining Termination Criteria by Isolating Deletion. ICGT 2010: 203-217
146		Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini: Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT 2010: 266-281
145		Paolo Torrini, Reiko Heckel, István Ráth, Gábor Bergmann: Stochastic Graph Transformation with Regions. ECEASST 29: (2010)
144		Mayur Bapodra, Reiko Heckel: From Graph Transformations to Differential Equations. ECEASST 30: (2010)
	2009
143		Artur Boronat, Reiko Heckel, José Meseguer: Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33
142		Fawad Qayum, Reiko Heckel: Analysing refactoring dependencies using unfolding of graph transformation systems. FIT 2009: 15
141		Muhammad Naeem, Reiko Heckel, Fernando Orejas: Semi-automated service composition using visual contracts. FIT 2009: 48
140		Paolo Torrini, Reiko Heckel: Towards an embedding of Graph Transformation in Intuitionistic Linear Logic ICE 2009: 99-115
139		Paolo Torrini, Reiko Heckel: Resource-Bound Quantification for Graph Transformation LINEARITY 2009: 14-25
138		Rodrigo Machado, Reiko Heckel, Leila Ribeiro: Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars RULE 2009: 39-50
137		Cristóbal Costa Soria, Reiko Heckel: Modelling the Asynchronous Dynamic Evolution of Architectural Types. SOAR 2009: 198-229
136		Artur Boronat, Reiko Heckel: Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques. ECEASST 18: (2009)
135		Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Compositionality of Model Transformations. Electr. Notes Theor. Comput. Sci. 236: 5-19 (2009)
	2008
134		Marlon Dumas, Reiko Heckel: Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings Springer 2008
133		Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings Springer 2008
132		Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Verification of Architectural Refactorings by Rule Extraction. FASE 2008: 347-361
131		Reiko Heckel: Tutorial Introduction to Graph Transformation. ICGT 2008: 458-459
130		Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Compositional Verification of Architectural Refactorings. WADS 2008: 308-333
129		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
128		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)
127		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)
126		Carlos M. P. Matos, Reiko Heckel: Migrating Legacy Systems to Service-Oriented Architectures. ECEASST 16: (2008)
125		Ajab Khan, Paolo Torrini, Reiko Heckel: Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems. ECEASST 16: (2008)
124		Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Verification of Architectural Refactorings: Rule Extraction and Tool Support. ECEASST 16: (2008)
123		Barbara König, Arend Rensink, Reiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 213(1): 1-2 (2008)
122		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)
	2007
121		Osama El-Hassan, José Luiz Fiadeiro, Reiko Heckel: Managing Socio-technical Interactions in Healthcare Systems. Business Process Management Workshops 2007: 347-358
120		Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142
119		Rui Correia, Carlos M. P. Matos, Reiko Heckel, Mohammad El-Ramly: Architecture Migration Driven by Code Categorization. ECSA 2007: 115-122
118		László Gönczy, Reiko Heckel, Dániel Varró: Model-Based Testing of Service Infrastructure Components. TestCom/FATES 2007: 155-170
117		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
116		Dénes Bisztray, Reiko Heckel: Rule-Level Verification of Business Process Transformations using CSP. ECEASST 6: (2007)
115		Arend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 175(4): 1-2 (2007)
114		Reiko Heckel, Alexey Cherchago: Structural and behavioural compatibility of graphical service specifications. J. Log. Algebr. Program. 70(1): 15-33 (2007)
113		Reiko Heckel, Marc Lohmann: Model-driven development of reactive information systems: from graph transformation rules to JML contracts. STTT 9(2): 193-207 (2007)
	2006
112		Luciano Baresi, Reiko Heckel: 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 Springer 2006
111		Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Reiko Heckel: Rule-based Model Extraction from Source Code. Aspects For Legacy Applications 2006
110		Karsten Ehrig, Reiko Heckel, Georgios Lajios: Molecular Analysis of Metabolic Pathway with Graph Transformation. ICGT 2006: 107-121
109		Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel: Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. ICGT 2006: 336-350
108		Reiko Heckel: Introductory Tutorial on Foundations and Applications of Graph Transformation. ICGT 2006: 461-462
107		Jean-Marie Favre, Reiko Heckel, Tom Mens: 3rd International Workshop on Software Evolution Through Transformations: Embracing Change. ICGT 2006: 470-472
106		Luciano Baresi, Karsten Ehrig, Reiko Heckel: Verification of Model Transformations: A Case Study with BPEL. TGC 2006: 183-199
105		Reiko Heckel, Jean-Marie Favre, Tom Mens: Preface. ECEASST 3: (2006)
104		Reiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 148(1): 1-3 (2006)
103		Reiko Heckel: Graph Transformation in a Nutshell. Electr. Notes Theor. Comput. Sci. 148(1): 187-198 (2006)
102		Arend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 154(2): 1-5 (2006)
101		Reiko Heckel, Georgios Lajios, Sebastian Menge: Stochastic Graph Transformation Systems. Fundam. Inform. 74(1): 63-84 (2006)
100		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)
99		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)
	2005
98		Jean Bézivin, Reiko Heckel: Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
97		Ping Guo, Gregor Engels, Reiko Heckel: Architectural Style - Based Modeling and Simulation of Complex Software Systems. APSEC 2005: 367-374
96		Reiko Heckel, Leonardo Mariani: Automatic Conformance Testing of Web Services. FASE 2005: 34-48
95		Gregor Engels, Reiko Heckel, Alexey Cherchago: Flexible Interconnection of Graph Transformation Modules. Formal Methods in Software and Systems Modeling 2005: 38-63
94		Reiko Heckel: Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. ICTAC 2005: 53-69
93		Reiko Heckel, Georgios Lajios, Sebastian Menge: Modulare Analyse Stochastischer Graphtransformationssysteme. Software Engineering 2005: 141-152
92		Gregor Engels, Alexander Förster, Reiko Heckel, Sebastian Thöne: Process Modeling Using UML. Process-Aware Information Systems 2005
91		Reiko Heckel, Marc Lohmann: Towards Contract-based Testing of Web Services. Electr. Notes Theor. Comput. Sci. 116: 145-156 (2005)
90		Reiko Heckel, Tom Mens: Preface. Electr. Notes Theor. Comput. Sci. 127(3): 1-3 (2005)
89		Reiko Heckel, Sebastian Thöne: Behavioral Refinement of Graph Transformation-Based Models. Electr. Notes Theor. Comput. Sci. 127(3): 101-111 (2005)
88		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)
87		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)
	2004
86		Sven Groppe, Stefan Böttcher, Reiko Heckel, Georg Birkenheuer: Using XSLT Stylesheets to Transform XPath Queries. ADBIS (Local Proceedings) 2004
85		Ping Guo, Reiko Heckel: Modeling and Simulation of Context-Aware Mobile Systems. ASE 2004: 430-433
84		Reiko Heckel, Georgios Lajios, Sebastian Menge: Stochastic Graph Transformation Systems. ICGT 2004: 210-225
83		Alexey Cherchago, Reiko Heckel: Specification Matching of Web Services Using Conditional Graph Transformation Rules. ICGT 2004: 304-318
82		Luciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2004: 431-433
81		Reiko Heckel, Tom Mens: Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions. ICGT 2004: 445-447
80		Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann: Model-based Discovery of Web Services. ICWS 2004: 324-331
79		Jean Bézivin, Reiko Heckel: 04101 Abstracts Collection - Language Engineering for Model-Driven Software Development. Language Engineering for Model-Driven Software Development 2004
78		Jean Bézivin, Reiko Heckel: 04101 Summary - Language Engineering for Model-driven Software Development. Language Engineering for Model-Driven Software Development 2004
77		Reiko Heckel, Alexey Cherchago: Application of Graph Transformation for Automating Web Service Discovery. Language Engineering for Model-Driven Software Development 2004
76		Reiko Heckel: Graph Transformation in a Nutshell. Language Engineering for Model-Driven Software Development 2004
75		Reiko Heckel, Ping Guo: Conceptual Modeling of Styles For Mobile Systems. MOBIS 2004: 65-79
74		Reiko Heckel, Sebastian Thöne: Behavior-Preserving Refinement Relations between Dynamic Software Architectures. WADT 2004: 1-27
73		Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró: Style-Based Refinement of Dynamic Software Architectures. WICSA 2004: 155-166
72		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)
71		Reiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 109: 1-2 (2004)
70		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)
	2003
69		Ralph Depke, Jan Hendrik Hausmann, Reiko Heckel: Design of an Agent-Oriented Modeling Language Based on Graph Transformation. AGTIVE 2003: 106-119
68		Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann: Towards Automatic Selection of Web Services Using Graph Transformation Rules. Berliner XML Tage 2003: 286-291
67		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
66		Reiko Heckel, Marc Lohmann: Model-Based Development of Web Applications Using Graphical Reaction Rules. FASE 2003: 170-183
65		Jochen Malte Küster, Reiko Heckel, Gregor Engels: Defining and validating transformations of UML models. HCC 2003: 145-152
64		Reiko Heckel, Hendrik Voigt: Model-Based Development of Executable Business Processes for Web Services. Lectures on Concurrency and Petri Nets 2003: 559-584
63		Ralph Depke, Reiko Heckel: Modelling and Analysis of Agents' Goal-Driven Behavior. Objects, Agents, and Features 2003: 81-97
62		Reiko Heckel: Open Petri Nets as Semantic Model for Workflow Integration. Petri Net Technology for Communication-Based Systems 2003: 281-294
61		Gregor Engels, Reiko Heckel, Jochen Malte Küster: The Consistency Workbench: A Tool for Consistency Management in UML-Based Development. UML 2003: 356-359
60		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)
59		Reiko Heckel, Tom Mens, Michel Wermelinger: Software Evolution through Transformations. Electr. Notes Theor. Comput. Sci. 72(4): 1-5 (2003)
58		Reiko Heckel, Tom Mens, Michel Wermelinger: Preface. Electr. Notes Theor. Comput. Sci. 72(4): 77-78 (2003)
57		Reiko Heckel, Marc Lohmann: Towards Model-Driven Testing. Electr. Notes Theor. Comput. Sci. 82(6): 33-43 (2003)
56		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)
55		Szilvia Gyapay, Dániel Varró, Reiko Heckel: Graph Transformation with Time. Fundam. Inform. 58(1): 1-22 (2003)
	2002
54		Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel: High-Level Net Processes. Formal and Natural Computing 2002: 191-219
53		Szilvia Gyapay, Reiko Heckel, Dániel Varró: Graph Transformation with Time: Causality and Logical Clocks. ICGT 2002: 120-134
52		Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer: Confluence of Typed Attributed Graph Transformation Systems. ICGT 2002: 161-176
51		Luciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2002: 402-429
50		Reiko Heckel, Tom Mens, Michel Wermelinger: Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle. ICGT 2002: 450-454
49		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
48		Gregor Engels, Reiko Heckel, Jochen Malte Küster, Luuk Groenewegen: Consistency-Preserving Model Evolution through Transformations. UML 2002: 212-226
47		Reiko Heckel, Gregor Engels: Relating functional requirements and software architecture: separation and consistency of concerns. Journal of Software Maintenance 14(5): 371-388 (2002)
46		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)
45		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)
44		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)
	2001
43		Ralph Depke, Reiko Heckel, Jochen Malte Küster: Improving the agent-oriented modeling process by roles. Agents 2001: 640-647
42		Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518
41		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
40		Reiko Heckel, Stefan Sauer: Strengthening UML Collaboration Diagrams by State Transformations. FASE 2001: 109-123
39		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
38		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
37		Gregor Engels, Reiko Heckel, Jochen Malte Küster: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. UML 2001: 272-286
36		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)
35		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)
34		Reiko Heckel, Jochen Malte Küster: Behavioral Constraints for Visual Models. Electr. Notes Theor. Comput. Sci. 50(3): 257-265 (2001)
33		Reiko Heckel, Gregor Engels: Towards a Formal Framework for Inter-Enterprise Application Integration. Electr. Notes Theor. Comput. Sci. 51: 139-151 (2001)
32		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)
31		Stefan Sauer, Reiko Heckel: Bericht über die ETAPS 2001 vom 02. - 06. April 2001 in Genua. Softwaretechnik-Trends 21(2): (2001)
30		Andrea Corradini, Martin Große-Rhode, Reiko Heckel: A Coalgebraic presentation of structured transition systems. Theor. Comput. Sci. 260(1-2): 27-55 (2001)
	2000
29		Ralph Depke, Reiko Heckel, Jochen Malte Küster: Agent-Oriented Modeling with Graph Transformation. AOSE 2000: 105-120
28		Ralph Depke, Reiko Heckel, Jochen Malte Küster: Integrating visual modeling of agent-based and object-oriented systems. Agents 2000: 82-83
27		Gregor Engels, Reiko Heckel: Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. ICALP 2000: 127-150
26		Andrea Corradini, Reiko Heckel: Introduction: Graph Transformation and Visual Modeling Techniques. ICALP Satellite Workshops 2000: 357-358
25		Gregor Engels, Reiko Heckel: From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. ICALP Satellite Workshops 2000: 373-382
24		Andrea Corradini, Reiko Heckel, Ugo Montanari: Graphical Operational Semantics. ICALP Satellite Workshops 2000: 411-418
23		Ralph Depke, Reiko Heckel: Formalizing the Development of Agent-Based Systems Using Graph Processes. ICALP Satellite Workshops 2000: 419-426
22		Gregor Engels, Reiko Heckel, Stefan Sauer: UML - A Universal Modeling Language? ICATPN 2000: 24-38
21		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
20		Andrea Corradini, Reiko Heckel: Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bulletin of the EATCS 72: 69-76 (2000)
	1999
19		Andrea Corradini, Reiko Heckel, Ugo Montanari: Tile Transition Systems as Structured Coalgebras. FCT 1999: 13-38
18		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)
17		Fabio Gadducci, Reiko Heckel, Mercè Llabrés: A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. Electr. Notes Theor. Comput. Sci. 29: 80-100 (1999)
	1998
16		Reiko Heckel: Compositional Verification of Reactive Systems Specified by Graph Transformation. FASE 1998: 138-153
15		Fabio Gadducci, Reiko Heckel, Manuel Koch: A Fully Abstract Model for Graph-Interpreted Temporal Logic. TAGT 1998: 310-322
14		Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske: Simple Modules for GRACE. TAGT 1998: 383-395
13		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
12		Andrea Corradini, Martin Große-Rhode, Reiko Heckel: An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. WADT 1998: 92-106
11		Andrea Corradini, Martin Große-Rhode, Reiko Heckel: Structured Transition Systems as Lax Coalgebras. Electr. Notes Theor. Comput. Sci. 11: 22-41 (1998)
	1997
10		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
9		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
8		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
7		Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini: Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS 1997: 219-228
6		Fabio Gadducci, Reiko Heckel: An inductive view of graph transformation. WADT 1997: 223-237
5		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)
	1996
4		Annegret Habel, Reiko Heckel, Gabriele Taentzer: Graph Grammars with Negative Application Conditions. Fundam. Inform. 26(3/4): 287-313 (1996)
3		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)
	1995
2		Reiko Heckel, Annika Wagner: Ensuring consistency of conditional graph rewriting - a constructive approach. Electr. Notes Theor. Comput. Sci. 2: 118-126 (1995)
1		Andrea Corradini, Reiko Heckel: A compositional approach to structuring and refinement of typed graph grammars. Electr. Notes Theor. Comput. Sci. 2: 46-55 (1995)

Coauthor Index

1	Luis Filipe Andrade	[129]
2	Niaz Arijo	[152] [160]
3	Paolo Baldan	[42] [54] [87] [120] [122] [128]
4	Mayur Bapodra	[144]
5	Luciano Baresi	[51] [67] [73] [82] [100] [106] [112]
6	Gábor Bergmann	[145] [158]
7	Jean Bézivin	[78] [79] [98] [99]
8	Georg Birkenheuer	[86]
9	Dénes Bisztray	[116] [124] [130] [132] [135] [147]
10	Artur Boronat	[136] [143] [146] [158]
11	Stefan Böttcher	[86]
12	Alexey Cherchago	[72] [77] [83] [95] [114]
13	Andrea Corradini	[1] [3] [7] [8] [9] [11] [12] [18] [19] [20] [24] [26] [30] [36] [42] [44] [87] [120] [122] [128]
14	Rui Correia	[111] [119] [129]
15	Ralph Depke	[23] [28] [29] [32] [43] [45] [63] [69]
16	Adwoa Donyina	[155] [156]
17	Marlon Dumas	[134]
18	Hartmut Ehrig	[3] [5] [7] [8] [9] [10] [13] [36] [42] [46] [54] [87] [120] [122] [124] [128] [130] [132] [133] [135]
19	Karsten Ehrig	[106] [110]
20	Osama El-Hassan	[121]
21	Mohammad El-Ramly	[111] [119] [129]
22	Gregor Engels	[5] [10] [21] [22] [25] [27] [33] [37] [41] [47] [48] [56] [61] [65] [92] [95] [97] [109]
23	Claudia Ermel	[127]
24	Jean-Marie Favre	[105] [107]
25	José Luiz Fiadeiro	[121]
26	Alexander Förster	[92]
27	Fabio Gadducci	[6] [15] [17]
28	Stephen Gilmore (Stephen T. Gilmore)	[152] [160]
29	László Gönczy	[118]
30	Luuk Groenewegen	[41] [48]
31	Sven Groppe	[86]
32	Martin Große-Rhode	[11] [12] [30]
33	Esther Guerra	[146]
34	Ping Guo	[75] [85] [97]
35	Annegret Habel	[4]
36	Jan Hendrik Hausmann	[21] [38] [39] [49] [60] [68] [69] [70] [80] [88]
37	Frank Hermann	[150]
38	Jan Himmelspach	[163]
39	Berthold Hoffmann	[14]
40	Kathrin Hoffmann	[54]
41	Ajab Khan	[125] [151] [162]
42	Tamim Ahmed Khan	[153] [161]
43	Peter Knirsch	[14]
44	Manuel Koch	[15]
45	Barbara König	[102] [115] [120] [122] [123] [128]
46	Martin Korff	[8]
47	Georgios Koutsoukos	[129]
48	Sabine Kuske	[14]
49	Jochen Malte Küster	[28] [29] [32] [34] [37] [41] [43] [45] [48] [52] [56] [61] [65]
50	Georgios Lajios	[84] [93] [101] [110]
51	Juan de Lara (Juan de Lara Jaramillo)	[127] [146]
52	Mercè Llabrés	[13] [17] [46]
53	Marc Lohmann	[56] [57] [66] [68] [72] [80] [88] [91] [109] [113] [117]
54	Michael Löwe	[3] [8] [9]
55	Rodrigo Machado	[138] [153]
56	Leonardo Mariani	[96] [117]
57	Carlos M. P. Matos	[111] [119] [126] [129] [157]
58	Sebastian Menge	[84] [93] [101]
59	Tom Mens	[50] [58] [59] [81] [90] [105] [107]
60	José Meseguer	[143]
61	Ugo Montanari	[9] [18] [19] [24] [44]
62	Muhammad Naeem	[141] [150] [159]
63	Fernando Orejas	[13] [46] [141] [150]
64	Julia Padberg	[13] [54]
65	Fawad Qayum	[142] [154]
66	István Ráth	[145] [149] [151] [158]
67	Arend Rensink	[102] [115] [123]
68	Leila Ribeiro (Leila Ribeiro Korff)	[8] [138]
69	Francesca Rossi	[9]
70	Grzegorz Rozenberg	[13] [133]
71	Stefan Sauer	[21] [22] [31] [38] [40] [60] [70] [109]
72	Cristóbal Costa Soria	[137]
73	Gabriele Taentzer	[4] [5] [10] [49] [52] [133]
74	Sebastian Thöne	[67] [73] [74] [89] [92] [100]
75	Paolo Torrini	[125] [139] [140] [145] [146] [148] [149] [151] [158]
76	Mamadou Kaba Traoré (Mamadou K. Traoré)	[163]
77	Mirco Tribastone	[152] [160]
78	Dániel Varró	[53] [55] [67] [73] [100] [118] [158]
79	Szilvia Varró-Gyapay (Szilvia Gyapay)	[53] [55]
80	Hendrik Voigt	[64]
81	Annika Wagner	[2] [8]
82	Gabriel A. Wainer	[163]
83	Michel Wermelinger	[50] [58] [59]
84	Uwe Wolter	[7] [36]
85	Albert Zündorf	[35]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page