2009 |
129 | EE | Artur Boronat,
Reiko Heckel,
José Meseguer:
Rewriting Logic Semantics and Verification of Model Transformations.
FASE 2009: 18-33 |
128 | EE | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Compositionality of Model Transformations.
Electr. Notes Theor. Comput. Sci. 236: 5-19 (2009) |
2008 |
127 | | Marlon Dumas,
Reiko Heckel:
Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
Springer 2008 |
126 | | 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 |
125 | EE | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Verification of Architectural Refactorings by Rule Extraction.
FASE 2008: 347-361 |
124 | EE | Reiko Heckel:
Tutorial Introduction to Graph Transformation.
ICGT 2008: 458-459 |
123 | EE | Reiko Heckel,
Rui Correia,
Carlos Matos,
Mohammad El-Ramly,
Georgios Koutsoukos,
Luis Filipe Andrade:
Architectural Transformations: From Legacy to Three-Tier and Services.
Software Evolution 2008: 139-170 |
122 | EE | 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) |
121 | EE | 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) |
120 | EE | Barbara König,
Arend Rensink,
Reiko Heckel:
Preface.
Electr. Notes Theor. Comput. Sci. 213(1): 1-2 (2008) |
2007 |
119 | EE | Osama El-Hassan,
José Luiz Fiadeiro,
Reiko Heckel:
Managing Socio-technical Interactions in Healthcare Systems.
Business Process Management Workshops 2007: 347-358 |
118 | EE | Paolo Baldan,
Andrea Corradini,
Hartmut Ehrig,
Reiko Heckel,
Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
CALCO 2007: 126-142 |
117 | EE | Rui Correia,
Carlos M. P. Matos,
Reiko Heckel,
Mohammad El-Ramly:
Architecture Migration Driven by Code Categorization.
ECSA 2007: 115-122 |
116 | EE | László Gönczy,
Reiko Heckel,
Dániel Varró:
Model-Based Testing of Service Infrastructure Components.
TestCom/FATES 2007: 155-170 |
115 | EE | 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 |
114 | EE | Dénes Bisztray,
Reiko Heckel:
Rule-Level Verification of Business Process Transformations using CSP.
ECEASST 6: (2007) |
113 | EE | Arend Rensink,
Reiko Heckel,
Barbara König:
Preface.
Electr. Notes Theor. Comput. Sci. 175(4): 1-2 (2007) |
112 | EE | Reiko Heckel,
Alexey Cherchago:
Structural and behavioural compatibility of graphical service specifications.
J. Log. Algebr. Program. 70(1): 15-33 (2007) |
111 | EE | 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 |
110 | | 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 |
109 | EE | Rui Correia,
Carlos M. P. Matos,
Mohammad El-Ramly,
Reiko Heckel:
Rule-based Model Extraction from Source Code.
Aspects For Legacy Applications 2006 |
108 | EE | Karsten Ehrig,
Reiko Heckel,
Georgios Lajios:
Molecular Analysis of Metabolic Pathway with Graph Transformation.
ICGT 2006: 107-121 |
107 | EE | Gregor Engels,
Marc Lohmann,
Stefan Sauer,
Reiko Heckel:
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.
ICGT 2006: 336-350 |
106 | EE | Reiko Heckel:
Introductory Tutorial on Foundations and Applications of Graph Transformation.
ICGT 2006: 461-462 |
105 | EE | Jean-Marie Favre,
Reiko Heckel,
Tom Mens:
3rd International Workshop on Software Evolution Through Transformations: Embracing Change.
ICGT 2006: 470-472 |
104 | EE | Luciano Baresi,
Karsten Ehrig,
Reiko Heckel:
Verification of Model Transformations: A Case Study with BPEL.
TGC 2006: 183-199 |
103 | EE | Reiko Heckel,
Jean-Marie Favre,
Tom Mens:
Preface.
ECEASST 3: (2006) |
102 | EE | Reiko Heckel:
Preface.
Electr. Notes Theor. Comput. Sci. 148(1): 1-3 (2006) |
101 | EE | Reiko Heckel:
Graph Transformation in a Nutshell.
Electr. Notes Theor. Comput. Sci. 148(1): 187-198 (2006) |
100 | EE | Arend Rensink,
Reiko Heckel,
Barbara König:
Preface.
Electr. Notes Theor. Comput. Sci. 154(2): 1-5 (2006) |
99 | EE | Reiko Heckel,
Georgios Lajios,
Sebastian Menge:
Stochastic Graph Transformation Systems.
Fundam. Inform. 74(1): 63-84 (2006) |
98 | EE | 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) |
97 | EE | 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 |
96 | | 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 |
95 | EE | Ping Guo,
Gregor Engels,
Reiko Heckel:
Architectural Style - Based Modeling and Simulation of Complex Software Systems.
APSEC 2005: 367-374 |
94 | EE | Reiko Heckel,
Leonardo Mariani:
Automatic Conformance Testing of Web Services.
FASE 2005: 34-48 |
93 | EE | Gregor Engels,
Reiko Heckel,
Alexey Cherchago:
Flexible Interconnection of Graph Transformation Modules.
Formal Methods in Software and Systems Modeling 2005: 38-63 |
92 | EE | Reiko Heckel:
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks.
ICTAC 2005: 53-69 |
91 | | Reiko Heckel,
Georgios Lajios,
Sebastian Menge:
Modulare Analyse Stochastischer Graphtransformationssysteme.
Software Engineering 2005: 141-152 |
90 | EE | Reiko Heckel,
Marc Lohmann:
Towards Contract-based Testing of Web Services.
Electr. Notes Theor. Comput. Sci. 116: 145-156 (2005) |
89 | EE | Reiko Heckel,
Tom Mens:
Preface.
Electr. Notes Theor. Comput. Sci. 127(3): 1-3 (2005) |
88 | EE | Reiko Heckel,
Sebastian Thöne:
Behavioral Refinement of Graph Transformation-Based Models.
Electr. Notes Theor. Comput. Sci. 127(3): 101-111 (2005) |
87 | | 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) |
86 | EE | 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 |
85 | EE | Sven Groppe,
Stefan Böttcher,
Reiko Heckel,
Georg Birkenheuer:
Using XSLT Stylesheets to Transform XPath Queries.
ADBIS (Local Proceedings) 2004 |
84 | EE | Ping Guo,
Reiko Heckel:
Modeling and Simulation of Context-Aware Mobile Systems.
ASE 2004: 430-433 |
83 | EE | Reiko Heckel,
Georgios Lajios,
Sebastian Menge:
Stochastic Graph Transformation Systems.
ICGT 2004: 210-225 |
82 | EE | Alexey Cherchago,
Reiko Heckel:
Specification Matching of Web Services Using Conditional Graph Transformation Rules.
ICGT 2004: 304-318 |
81 | EE | Luciano Baresi,
Reiko Heckel:
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.
ICGT 2004: 431-433 |
80 | EE | Reiko Heckel,
Tom Mens:
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions.
ICGT 2004: 445-447 |
79 | EE | Jan Hendrik Hausmann,
Reiko Heckel,
Marc Lohmann:
Model-based Discovery of Web Services.
ICWS 2004: 324-331 |
78 | EE | Jean Bézivin,
Reiko Heckel:
04101 Abstracts Collection - Language Engineering for Model-Driven Software Development.
Language Engineering for Model-Driven Software Development 2004 |
77 | EE | Jean Bézivin,
Reiko Heckel:
04101 Summary - Language Engineering for Model-driven Software Development.
Language Engineering for Model-Driven Software Development 2004 |
76 | EE | Reiko Heckel,
Alexey Cherchago:
Application of Graph Transformation for Automating Web Service Discovery.
Language Engineering for Model-Driven Software Development 2004 |
75 | EE | Reiko Heckel:
Graph Transformation in a Nutshell.
Language Engineering for Model-Driven Software Development 2004 |
74 | | Reiko Heckel,
Ping Guo:
Conceptual Modeling of Styles For Mobile Systems.
MOBIS 2004: 65-79 |
73 | EE | Reiko Heckel,
Sebastian Thöne:
Behavior-Preserving Refinement Relations between Dynamic Software Architectures.
WADT 2004: 1-27 |
72 | EE | Luciano Baresi,
Reiko Heckel,
Sebastian Thöne,
Dániel Varró:
Style-Based Refinement of Dynamic Software Architectures.
WICSA 2004: 155-166 |
71 | EE | 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) |
70 | EE | Reiko Heckel:
Preface.
Electr. Notes Theor. Comput. Sci. 109: 1-2 (2004) |
69 | EE | 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 |
68 | EE | Ralph Depke,
Jan Hendrik Hausmann,
Reiko Heckel:
Design of an Agent-Oriented Modeling Language Based on Graph Transformation.
AGTIVE 2003: 106-119 |
67 | | Jan Hendrik Hausmann,
Reiko Heckel,
Marc Lohmann:
Towards Automatic Selection of Web Services Using Graph Transformation Rules.
Berliner XML Tage 2003: 286-291 |
66 | EE | 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 |
65 | EE | Reiko Heckel,
Marc Lohmann:
Model-Based Development of Web Applications Using Graphical Reaction Rules.
FASE 2003: 170-183 |
64 | | Jochen Malte Küster,
Reiko Heckel,
Gregor Engels:
Defining and validating transformations of UML models.
HCC 2003: 145-152 |
63 | EE | Reiko Heckel,
Hendrik Voigt:
Model-Based Development of Executable Business Processes for Web Services.
Lectures on Concurrency and Petri Nets 2003: 559-584 |
62 | EE | Ralph Depke,
Reiko Heckel:
Modelling and Analysis of Agents' Goal-Driven Behavior.
Objects, Agents, and Features 2003: 81-97 |
61 | EE | Reiko Heckel:
Open Petri Nets as Semantic Model for Workflow Integration.
Petri Net Technology for Communication-Based Systems 2003: 281-294 |
60 | EE | Gregor Engels,
Reiko Heckel,
Jochen Malte Küster:
The Consistency Workbench: A Tool for Consistency Management in UML-Based Development.
UML 2003: 356-359 |
59 | EE | 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): (2003) |
58 | EE | Reiko Heckel,
Tom Mens,
Michel Wermelinger:
Software Evolution through Transformations.
Electr. Notes Theor. Comput. Sci. 72(4): (2003) |
57 | EE | Reiko Heckel,
Marc Lohmann:
Towards Model-Driven Testing.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
56 | EE | Gregor Engels,
Jochen Malte Küster,
Reiko Heckel,
Marc Lohmann:
Model-Based Verification and Validation of Properties.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
55 | EE | Szilvia Gyapay,
Dániel Varró,
Reiko Heckel:
Graph Transformation with Time.
Fundam. Inform. 58(1): 1-22 (2003) |
2002 |
54 | EE | Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg,
Paolo Baldan,
Reiko Heckel:
High-Level Net Processes.
Formal and Natural Computing 2002: 191-219 |
53 | EE | Szilvia Gyapay,
Reiko Heckel,
Dániel Varró:
Graph Transformation with Time: Causality and Logical Clocks.
ICGT 2002: 120-134 |
52 | EE | Reiko Heckel,
Jochen Malte Küster,
Gabriele Taentzer:
Confluence of Typed Attributed Graph Transformation Systems.
ICGT 2002: 161-176 |
51 | EE | Luciano Baresi,
Reiko Heckel:
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.
ICGT 2002: 402-429 |
50 | EE | 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 | EE | 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 | EE | Gregor Engels,
Reiko Heckel,
Jochen Malte Küster,
Luuk Groenewegen:
Consistency-Preserving Model Evolution through Transformations.
UML 2002: 212-226 |
47 | EE | 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 | EE | 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 | EE | 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 | EE | Ralph Depke,
Reiko Heckel,
Jochen Malte Küster:
Improving the agent-oriented modeling process by roles.
Agents 2001: 640-647 |
42 | EE | Paolo Baldan,
Andrea Corradini,
Hartmut Ehrig,
Reiko Heckel:
Compositional Modeling of Reactive Systems Using Open Nets.
CONCUR 2001: 502-518 |
41 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Reiko Heckel,
Albert Zündorf:
How to Specify a Graph Transformation Approach - A Meta Model for Fujaba.
Electr. Notes Theor. Comput. Sci. 44(4): (2001) |
34 | EE | Reiko Heckel,
Jochen Malte Küster:
Behavioral Constraints for Visual Models.
Electr. Notes Theor. Comput. Sci. 50(3): (2001) |
33 | EE | Reiko Heckel,
Gregor Engels:
Towards a Formal Framework for Inter-Enterprise Application Integration.
Electr. Notes Theor. Comput. Sci. 51: (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 | EE | 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 | EE | Ralph Depke,
Reiko Heckel,
Jochen Malte Küster:
Agent-Oriented Modeling with Graph Transformation.
AOSE 2000: 105-120 |
28 | EE | Ralph Depke,
Reiko Heckel,
Jochen Malte Küster:
Integrating visual modeling of agent-based and object-oriented systems.
Agents 2000: 82-83 |
27 | EE | 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 | EE | Gregor Engels,
Reiko Heckel,
Stefan Sauer:
UML - A Universal Modeling Language?
ICATPN 2000: 24-38 |
21 | EE | 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 | EE | Andrea Corradini,
Reiko Heckel,
Ugo Montanari:
Tile Transition Systems as Structured Coalgebras.
FCT 1999: 13-38 |
18 | EE | Andrea Corradini,
Reiko Heckel,
Ugo Montanari:
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.
Electr. Notes Theor. Comput. Sci. 19: (1999) |
17 | EE | Fabio Gadducci,
Reiko Heckel,
Mercè Llabrés:
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.
Electr. Notes Theor. Comput. Sci. 29: (1999) |
1998 |
16 | EE | 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 | EE | Andrea Corradini,
Martin Große-Rhode,
Reiko Heckel:
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories.
WADT 1998: 92-106 |
11 | EE | Andrea Corradini,
Martin Große-Rhode,
Reiko Heckel:
Structured Transition Systems as Lax Coalgebras.
Electr. Notes Theor. Comput. Sci. 11: (1998) |
1997 |
10 | EE | 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 | EE | 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 | EE | Andrea Corradini,
Reiko Heckel:
A compositional approach to structuring and refinement of typed graph grammars.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
1 | EE | Reiko Heckel,
Annika Wagner:
Ensuring consistency of conditional graph rewriting - a constructive approach.
Electr. Notes Theor. Comput. Sci. 2: (1995) |