Reiko Heckel Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur Boronat, Reiko Heckel, José Meseguer: Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDénes Bisztray, Reiko Heckel, Hartmut Ehrig: Compositionality of Model Transformations. Electr. Notes Theor. Comput. Sci. 236: 5-19 (2009)
2008
132no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarlon Dumas, Reiko Heckel: Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings Springer 2008
131no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings Springer 2008
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDénes Bisztray, Reiko Heckel, Hartmut Ehrig: Verification of Architectural Refactorings by Rule Extraction. FASE 2008: 347-361
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel: Tutorial Introduction to Graph Transformation. ICGT 2008: 458-459
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDénes Bisztray, Reiko Heckel, Hartmut Ehrig: Compositional Verification of Architectural Refactorings. WADS 2008: 308-333
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko 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
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets CoRR abs/0809.4115: (2008)
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia 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)
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos M. P. Matos, Reiko Heckel: Migrating Legacy Systems to Service-Oriented Architectures. ECEASST 16: (2008)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAjab Khan, Paolo Torrini, Reiko Heckel: Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems. ECEASST 16: (2008)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDénes Bisztray, Reiko Heckel, Hartmut Ehrig: Verification of Architectural Refactorings: Rule Extraction and Tool Support. ECEASST 16: (2008)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarbara König, Arend Rensink, Reiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 213(1): 1-2 (2008)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsama El-Hassan, José Luiz Fiadeiro, Reiko Heckel: Managing Socio-technical Interactions in Healthcare Systems. Business Process Management Workshops 2007: 347-358
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRui Correia, Carlos M. P. Matos, Reiko Heckel, Mohammad El-Ramly: Architecture Migration Driven by Code Categorization. ECSA 2007: 115-122
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLászló Gönczy, Reiko Heckel, Dániel Varró: Model-Based Testing of Service Infrastructure Components. TestCom/FATES 2007: 155-170
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc 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
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDénes Bisztray, Reiko Heckel: Rule-Level Verification of Business Process Transformations using CSP. ECEASST 6: (2007)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 175(4): 1-2 (2007)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Alexey Cherchago: Structural and behavioural compatibility of graphical service specifications. J. Log. Algebr. Program. 70(1): 15-33 (2007)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Marc Lohmann: Model-driven development of reactive information systems: from graph transformation rules to JML contracts. STTT 9(2): 193-207 (2007)
2006
110no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Reiko Heckel: Rule-based Model Extraction from Source Code. Aspects For Legacy Applications 2006
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Ehrig, Reiko Heckel, Georgios Lajios: Molecular Analysis of Metabolic Pathway with Graph Transformation. ICGT 2006: 107-121
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel: Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. ICGT 2006: 336-350
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel: Introductory Tutorial on Foundations and Applications of Graph Transformation. ICGT 2006: 461-462
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Marie Favre, Reiko Heckel, Tom Mens: 3rd International Workshop on Software Evolution Through Transformations: Embracing Change. ICGT 2006: 470-472
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Karsten Ehrig, Reiko Heckel: Verification of Model Transformations: A Case Study with BPEL. TGC 2006: 183-199
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Jean-Marie Favre, Tom Mens: Preface. ECEASST 3: (2006)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 148(1): 1-3 (2006)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel: Graph Transformation in a Nutshell. Electr. Notes Theor. Comput. Sci. 148(1): 187-198 (2006)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 154(2): 1-5 (2006)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Georgios Lajios, Sebastian Menge: Stochastic Graph Transformation Systems. Fundam. Inform. 74(1): 63-84 (2006)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean 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
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean 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
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPing Guo, Gregor Engels, Reiko Heckel: Architectural Style - Based Modeling and Simulation of Complex Software Systems. APSEC 2005: 367-374
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Leonardo Mariani: Automatic Conformance Testing of Web Services. FASE 2005: 34-48
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Engels, Reiko Heckel, Alexey Cherchago: Flexible Interconnection of Graph Transformation Modules. Formal Methods in Software and Systems Modeling 2005: 38-63
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel: Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. ICTAC 2005: 53-69
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Georgios Lajios, Sebastian Menge: Modulare Analyse Stochastischer Graphtransformationssysteme. Software Engineering 2005: 141-152
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Marc Lohmann: Towards Contract-based Testing of Web Services. Electr. Notes Theor. Comput. Sci. 116: 145-156 (2005)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Tom Mens: Preface. Electr. Notes Theor. Comput. Sci. 127(3): 1-3 (2005)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Sebastian Thöne: Behavioral Refinement of Graph Transformation-Based Models. Electr. Notes Theor. Comput. Sci. 127(3): 101-111 (2005)
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Groppe, Stefan Böttcher, Reiko Heckel, Georg Birkenheuer: Using XSLT Stylesheets to Transform XPath Queries. ADBIS (Local Proceedings) 2004
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPing Guo, Reiko Heckel: Modeling and Simulation of Context-Aware Mobile Systems. ASE 2004: 430-433
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Georgios Lajios, Sebastian Menge: Stochastic Graph Transformation Systems. ICGT 2004: 210-225
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexey Cherchago, Reiko Heckel: Specification Matching of Web Services Using Conditional Graph Transformation Rules. ICGT 2004: 304-318
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2004: 431-433
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Tom Mens: Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions. ICGT 2004: 445-447
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Hendrik Hausmann, Reiko Heckel, Marc Lohmann: Model-based Discovery of Web Services. ICWS 2004: 324-331
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Bézivin, Reiko Heckel: 04101 Abstracts Collection - Language Engineering for Model-Driven Software Development. Language Engineering for Model-Driven Software Development 2004
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Bézivin, Reiko Heckel: 04101 Summary - Language Engineering for Model-driven Software Development. Language Engineering for Model-Driven Software Development 2004
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Alexey Cherchago: Application of Graph Transformation for Automating Web Service Discovery. Language Engineering for Model-Driven Software Development 2004
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel: Graph Transformation in a Nutshell. Language Engineering for Model-Driven Software Development 2004
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Ping Guo: Conceptual Modeling of Styles For Mobile Systems. MOBIS 2004: 65-79
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Sebastian Thöne: Behavior-Preserving Refinement Relations between Dynamic Software Architectures. WADT 2004: 1-27
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró: Style-Based Refinement of Dynamic Software Architectures. WICSA 2004: 155-166
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko 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)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 109: 1-2 (2004)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Depke, Jan Hendrik Hausmann, Reiko Heckel: Design of an Agent-Oriented Modeling Language Based on Graph Transformation. AGTIVE 2003: 106-119
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Hendrik Hausmann, Reiko Heckel, Marc Lohmann: Towards Automatic Selection of Web Services Using Graph Transformation Rules. Berliner XML Tage 2003: 286-291
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Marc Lohmann: Model-Based Development of Web Applications Using Graphical Reaction Rules. FASE 2003: 170-183
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Malte Küster, Reiko Heckel, Gregor Engels: Defining and validating transformations of UML models. HCC 2003: 145-152
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Hendrik Voigt: Model-Based Development of Executable Business Processes for Web Services. Lectures on Concurrency and Petri Nets 2003: 559-584
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Depke, Reiko Heckel: Modelling and Analysis of Agents' Goal-Driven Behavior. Objects, Agents, and Features 2003: 81-97
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel: Open Petri Nets as Semantic Model for Workflow Integration. Petri Net Technology for Communication-Based Systems 2003: 281-294
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Engels, Reiko Heckel, Jochen Malte Küster: The Consistency Workbench: A Tool for Consistency Management in UML-Based Development. UML 2003: 356-359
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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): (2003)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Tom Mens, Michel Wermelinger: Software Evolution through Transformations. Electr. Notes Theor. Comput. Sci. 72(4): (2003)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Marc Lohmann: Towards Model-Driven Testing. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann: Model-Based Verification and Validation of Properties. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSzilvia Gyapay, Dániel Varró, Reiko Heckel: Graph Transformation with Time. Fundam. Inform. 58(1): 1-22 (2003)
2002
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel: High-Level Net Processes. Formal and Natural Computing 2002: 191-219
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSzilvia Gyapay, Reiko Heckel, Dániel Varró: Graph Transformation with Time: Causality and Logical Clocks. ICGT 2002: 120-134
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Jochen Malte Küster, Gabriele Taentzer: Confluence of Typed Attributed Graph Transformation Systems. ICGT 2002: 161-176
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2002: 402-429
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Tom Mens, Michel Wermelinger: Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle. ICGT 2002: 450-454
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Engels, Reiko Heckel, Jochen Malte Küster, Luuk Groenewegen: Consistency-Preserving Model Evolution through Transformations. UML 2002: 212-226
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Gregor Engels: Relating functional requirements and software architecture: separation and consistency of concerns. Journal of Software Maintenance 14(5): 371-388 (2002)
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko 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)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Depke, Reiko Heckel, Jochen Malte Küster: Formal agent-oriented modeling with UML and graph transformation. Sci. Comput. Program. 44(2): 229-252 (2002)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Depke, Reiko Heckel, Jochen Malte Küster: Improving the agent-oriented modeling process by roles. Agents 2001: 640-647
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Stefan Sauer: Strengthening UML Collaboration Diagrams by State Transformations. FASE 2001: 109-123
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Hendrik Hausmann, Reiko Heckel: Use Cases as Views: A formal approach to Requirements Engineering in the United Process. GI Jahrestagung (1) 2001: 595-599
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Hendrik Hausmann, Reiko Heckel, Stefan Sauer: Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams. HCC 2001: 80-87
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Engels, Reiko Heckel, Jochen Malte Küster: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. UML 2001: 272-286
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko 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)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Albert Zündorf: How to Specify a Graph Transformation Approach - A Meta Model for Fujaba. Electr. Notes Theor. Comput. Sci. 44(4): (2001)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Jochen Malte Küster: Behavioral Constraints for Visual Models. Electr. Notes Theor. Comput. Sci. 50(3): (2001)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Gregor Engels: Towards a Formal Framework for Inter-Enterprise Application Integration. Electr. Notes Theor. Comput. Sci. 51: (2001)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph 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)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Sauer, Reiko Heckel: Bericht über die ETAPS 2001 vom 02. - 06. April 2001 in Genua. Softwaretechnik- Trends 21(2): (2001)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Martin Große-Rhode, Reiko Heckel: A Coalgebraic presentation of structured transition systems. Theor. Comput. Sci. 260(1-2): 27-55 (2001)
2000
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Depke, Reiko Heckel, Jochen Malte Küster: Agent-Oriented Modeling with Graph Transformation. AOSE 2000: 105-120
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Depke, Reiko Heckel, Jochen Malte Küster: Integrating visual modeling of agent-based and object-oriented systems. Agents 2000: 82-83
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Engels, Reiko Heckel: Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. ICALP 2000: 127-150
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Reiko Heckel: Introduction: Graph Transformation and Visual Modeling Techniques. ICALP Satellite Workshops 2000: 357-358
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Engels, Reiko Heckel: From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. ICALP Satellite Workshops 2000: 373-382
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Reiko Heckel, Ugo Montanari: Graphical Operational Semantics. ICALP Satellite Workshops 2000: 411-418
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Depke, Reiko Heckel: Formalizing the Development of Agent-Based Systems Using Graph Processes. ICALP Satellite Workshops 2000: 419-426
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Engels, Reiko Heckel, Stefan Sauer: UML - A Universal Modeling Language? ICATPN 2000: 24-38
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor 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
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Reiko Heckel: Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bulletin of the EATCS 72: 69-76 (2000)
1999
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Reiko Heckel, Ugo Montanari: Tile Transition Systems as Structured Coalgebras. FCT 1999: 13-38
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Reiko Heckel, Ugo Montanari: From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. Electr. Notes Theor. Comput. Sci. 19: (1999)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Gadducci, Reiko Heckel, Mercè Llabrés: A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. Electr. Notes Theor. Comput. Sci. 29: (1999)
1998
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel: Compositional Verification of Reactive Systems Specified by Graph Transformation. FASE 1998: 138-153
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Gadducci, Reiko Heckel, Manuel Koch: A Fully Abstract Model for Graph-Interpreted Temporal Logic. TAGT 1998: 310-322
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske: Simple Modules for GRACE. TAGT 1998: 383-395
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Martin Große-Rhode, Reiko Heckel: An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. WADT 1998: 92-106
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Martin Große-Rhode, Reiko Heckel: Structured Transition Systems as Lax Coalgebras. Electr. Notes Theor. Comput. Sci. 11: (1998)
1997
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig: A View-Oriented Approach to System Modelling Based on Graph Transformation. ESEC / SIGSOFT FSE 1997: 327-343
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini: Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS 1997: 219-228
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Gadducci, Reiko Heckel: An inductive view of graph transformation. WADT 1997: 223-237
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Reiko Heckel, Gabriele Taentzer: Graph Grammars with Negative Application Conditions. Fundam. Inform. 26(3/4): 287-313 (1996)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Reiko Heckel: A compositional approach to structuring and refinement of typed graph grammars. Electr. Notes Theor. Comput. Sci. 2: (1995)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiko Heckel, Annika Wagner: Ensuring consistency of conditional graph rewriting - a constructive approach. Electr. Notes Theor. Comput. Sci. 2: (1995)

Coauthor Index

1Luis Filipe Andrade [127]
2Paolo Baldan [42] [54] [86] [118] [120] [126]
3Luciano Baresi [51] [66] [72] [81] [98] [104] [110]
4Jean Bézivin [77] [78] [96] [97]
5Georg Birkenheuer [85]
6Dénes Bisztray [114] [122] [128] [130] [133]
7Artur Boronat [134]
8Stefan Böttcher [85]
9Alexey Cherchago [71] [76] [82] [93] [112]
10Andrea Corradini [2] [3] [7] [8] [9] [11] [12] [18] [19] [20] [24] [26] [30] [36] [42] [44] [86] [118] [120] [126]
11Rui Correia [109] [117] [127]
12Ralph Depke [23] [28] [29] [32] [43] [45] [62] [68]
13Marlon Dumas [132]
14Hartmut Ehrig [3] [5] [7] [8] [9] [10] [13] [36] [42] [46] [54] [86] [118] [120] [122] [126] [128] [130] [131] [133]
15Karsten Ehrig [104] [108]
16Osama El-Hassan [119]
17Mohammad El-Ramly [109] [117] [127]
18Gregor Engels [5] [10] [21] [22] [25] [27] [33] [37] [41] [47] [48] [56] [60] [64] [93] [95] [107]
19Claudia Ermel [125]
20Jean-Marie Favre [103] [105]
21José Luiz Fiadeiro [119]
22Fabio Gadducci [6] [15] [17]
23László Gönczy [116]
24Luuk Groenewegen [41] [48]
25Sven Groppe [85]
26Martin Große-Rhode [11] [12] [30]
27Ping Guo [74] [84] [95]
28Annegret Habel [4]
29Jan Hendrik Hausmann [21] [38] [39] [49] [59] [67] [68] [69] [79] [87]
30Berthold Hoffmann [14]
31Kathrin Hoffmann [54]
32Ajab Khan [123]
33Peter Knirsch [14]
34Manuel Koch [15]
35Barbara König [100] [113] [118] [120] [121] [126]
36Martin Korff [8]
37Georgios Koutsoukos [127]
38Sabine Kuske [14]
39Jochen Malte Küster [28] [29] [32] [34] [37] [41] [43] [45] [48] [52] [56] [60] [64]
40Georgios Lajios [83] [91] [99] [108]
41Juan de Lara (Juan de Lara Jaramillo) [125]
42Mercè Llabrés [13] [17] [46]
43Marc Lohmann [56] [57] [65] [67] [71] [79] [87] [90] [107] [111] [115]
44Michael Löwe [3] [8] [9]
45Leonardo Mariani [94] [115]
46Carlos M. P. Matos [109] [117] [124] [127]
47Sebastian Menge [83] [91] [99]
48Tom Mens [50] [58] [80] [89] [103] [105]
49José Meseguer [134]
50Ugo Montanari [9] [18] [19] [24] [44]
51Fernando Orejas [13] [46]
52Julia Padberg [13] [54]
53Arend Rensink [100] [113] [121]
54Leila Ribeiro (Leila Ribeiro Korff) [8]
55Francesca Rossi [9]
56Grzegorz Rozenberg [13] [131]
57Stefan Sauer [21] [22] [31] [38] [40] [59] [69] [107]
58Gabriele Taentzer [4] [5] [10] [49] [52] [131]
59Sebastian Thöne [66] [72] [73] [88] [98]
60Paolo Torrini [123]
61Dániel Varró [53] [55] [66] [72] [98] [116]
62Szilvia Varró-Gyapay (Szilvia Gyapay) [53] [55]
63Hendrik Voigt [63]
64Annika Wagner [1] [8]
65Michel Wermelinger [50] [58]
66Uwe Wolter [7] [36]
67Albert Zündorf [35]

Colors in the list of coauthors

Copyright © Sat Nov 7 19:26:18 2009 by Michael Ley (ley@uni-trier.de)