| 2008 |
|---|
| 118 | | Marlon Dumas,
Reiko Heckel:
Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
Springer 2008 |
| 117 | EE | Dénes Bisztray,
Reiko Heckel,
Hartmut Ehrig:
Verification of Architectural Refactorings by Rule Extraction.
FASE 2008: 347-361 |
| 2007 |
|---|
| 116 | EE | Osama El-Hassan,
José Luiz Fiadeiro,
Reiko Heckel:
Managing Socio-technical Interactions in Healthcare Systems.
Business Process Management Workshops 2007: 347-358 |
| 115 | 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 |
| 114 | EE | Rui Correia,
Carlos M. P. Matos,
Reiko Heckel,
Mohammad El-Ramly:
Architecture Migration Driven by Code Categorization.
ECSA 2007: 115-122 |
| 113 | EE | László Gönczy,
Reiko Heckel,
Dániel Varró:
Model-Based Testing of Service Infrastructure Components.
TestCom/FATES 2007: 155-170 |
| 112 | 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 |
| 111 | EE | Arend Rensink,
Reiko Heckel,
Barbara König:
Preface.
Electr. Notes Theor. Comput. Sci. 175(4): 1-2 (2007) |
| 110 | EE | Reiko Heckel,
Alexey Cherchago:
Structural and behavioural compatibility of graphical service specifications.
J. Log. Algebr. Program. 70(1): 15-33 (2007) |
| 109 | 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 |
|---|
| 108 | | 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 |
| 107 | EE | Rui Correia,
Carlos M. P. Matos,
Mohammad El-Ramly,
Reiko Heckel:
Rule-based Model Extraction from Source Code.
Aspects For Legacy Applications 2006 |
| 106 | EE | Karsten Ehrig,
Reiko Heckel,
Georgios Lajios:
Molecular Analysis of Metabolic Pathway with Graph Transformation.
ICGT 2006: 107-121 |
| 105 | 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 |
| 104 | EE | Reiko Heckel:
Introductory Tutorial on Foundations and Applications of Graph Transformation.
ICGT 2006: 461-462 |
| 103 | EE | Jean-Marie Favre,
Reiko Heckel,
Tom Mens:
3rd International Workshop on Software Evolution Through Transformations: Embracing Change.
ICGT 2006: 470-472 |
| 102 | EE | Luciano Baresi,
Karsten Ehrig,
Reiko Heckel:
Verification of Model Transformations: A Case Study with BPEL.
TGC 2006: 183-199 |
| 101 | EE | Reiko Heckel:
Preface.
Electr. Notes Theor. Comput. Sci. 148(1): 1-3 (2006) |
| 100 | EE | Reiko Heckel:
Graph Transformation in a Nutshell.
Electr. Notes Theor. Comput. Sci. 148(1): 187-198 (2006) |
| 99 | EE | Arend Rensink,
Reiko Heckel,
Barbara König:
Preface.
Electr. Notes Theor. Comput. Sci. 154(2): 1-5 (2006) |
| 98 | EE | Reiko Heckel,
Georgios Lajios,
Sebastian Menge:
Stochastic Graph Transformation Systems.
Fundam. Inform. 74(1): 63-84 (2006) |
| 97 | 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) |
| 96 | 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 |
|---|
| 95 | | 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 |
| 94 | EE | Ping Guo,
Gregor Engels,
Reiko Heckel:
Architectural Style - Based Modeling and Simulation of Complex Software Systems.
APSEC 2005: 367-374 |
| 93 | EE | Reiko Heckel,
Leonardo Mariani:
Automatic Conformance Testing of Web Services.
FASE 2005: 34-48 |
| 92 | EE | Gregor Engels,
Reiko Heckel,
Alexey Cherchago:
Flexible Interconnection of Graph Transformation Modules.
Formal Methods in Software and Systems Modeling 2005: 38-63 |
| 91 | EE | Reiko Heckel:
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks.
ICTAC 2005: 53-69 |
| 90 | | Reiko Heckel,
Georgios Lajios,
Sebastian Menge:
Modulare Analyse Stochastischer Graphtransformationssysteme.
Software Engineering 2005: 141-152 |
| 89 | EE | Reiko Heckel,
Marc Lohmann:
Towards Contract-based Testing of Web Services.
Electr. Notes Theor. Comput. Sci. 116: 145-156 (2005) |
| 88 | EE | Reiko Heckel,
Tom Mens:
Preface.
Electr. Notes Theor. Comput. Sci. 127(3): 1-3 (2005) |
| 87 | EE | Reiko Heckel,
Sebastian Thöne:
Behavioral Refinement of Graph Transformation-Based Models.
Electr. Notes Theor. Comput. Sci. 127(3): 101-111 (2005) |
| 86 | | 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) |
| 85 | 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 |
|---|
| 84 | EE | Sven Groppe,
Stefan Böttcher,
Reiko Heckel,
Georg Birkenheuer:
Using XSLT Stylesheets to Transform XPath Queries.
ADBIS (Local Proceedings) 2004 |
| 83 | EE | Ping Guo,
Reiko Heckel:
Modeling and Simulation of Context-Aware Mobile Systems.
ASE 2004: 430-433 |
| 82 | EE | Reiko Heckel,
Georgios Lajios,
Sebastian Menge:
Stochastic Graph Transformation Systems.
ICGT 2004: 210-225 |
| 81 | EE | Alexey Cherchago,
Reiko Heckel:
Specification Matching of Web Services Using Conditional Graph Transformation Rules.
ICGT 2004: 304-318 |
| 80 | EE | Luciano Baresi,
Reiko Heckel:
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.
ICGT 2004: 431-433 |
| 79 | EE | Reiko Heckel,
Tom Mens:
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions.
ICGT 2004: 445-447 |
| 78 | EE | Jan Hendrik Hausmann,
Reiko Heckel,
Marc Lohmann:
Model-based Discovery of Web Services.
ICWS 2004: 324-331 |
| 77 | EE | Jean Bézivin,
Reiko Heckel:
04101 Abstracts Collection - Language Engineering for Model-Driven Software Development.
Language Engineering for Model-Driven Software Development 2004 |
| 76 | EE | Jean Bézivin,
Reiko Heckel:
04101 Summary - Language Engineering for Model-driven Software Development.
Language Engineering for Model-Driven Software Development 2004 |
| 75 | EE | Reiko Heckel,
Alexey Cherchago:
Application of Graph Transformation for Automating Web Service Discovery.
Language Engineering for Model-Driven Software Development 2004 |
| 74 | EE | Reiko Heckel:
Graph Transformation in a Nutshell.
Language Engineering for Model-Driven Software Development 2004 |
| 73 | | Reiko Heckel,
Ping Guo:
Conceptual Modeling of Styles For Mobile Systems.
MOBIS 2004: 65-79 |
| 72 | EE | Reiko Heckel,
Sebastian Thöne:
Behavior-Preserving Refinement Relations between Dynamic Software Architectures.
WADT 2004: 1-27 |
| 71 | EE | Luciano Baresi,
Reiko Heckel,
Sebastian Thöne,
Dániel Varró:
Style-Based Refinement of Dynamic Software Architectures.
WICSA 2004: 155-166 |
| 70 | 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) |
| 69 | EE | Reiko Heckel:
Preface.
Electr. Notes Theor. Comput. Sci. 109: 1-2 (2004) |
| 68 | 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 |
|---|
| 67 | EE | Ralph Depke,
Jan Hendrik Hausmann,
Reiko Heckel:
Design of an Agent-Oriented Modeling Language Based on Graph Transformation.
AGTIVE 2003: 106-119 |
| 66 | | Jan Hendrik Hausmann,
Reiko Heckel,
Marc Lohmann:
Towards Automatic Selection of Web Services Using Graph Transformation Rules.
Berliner XML Tage 2003: 286-291 |
| 65 | 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 |
| 64 | EE | Reiko Heckel,
Marc Lohmann:
Model-Based Development of Web Applications Using Graphical Reaction Rules.
FASE 2003: 170-183 |
| 63 | | Jochen Malte Küster,
Reiko Heckel,
Gregor Engels:
Defining and validating transformations of UML models.
HCC 2003: 145-152 |
| 62 | EE | Reiko Heckel,
Hendrik Voigt:
Model-Based Development of Executable Business Processes for Web Services.
Lectures on Concurrency and Petri Nets 2003: 559-584 |
| 61 | EE | Ralph Depke,
Reiko Heckel:
Modelling and Analysis of Agents' Goal-Driven Behavior.
Objects, Agents, and Features 2003: 81-97 |
| 60 | EE | Reiko Heckel:
Open Petri Nets as Semantic Model for Workflow Integration.
Petri Net Technology for Communication-Based Systems 2003: 281-294 |
| 59 | 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 |
| 58 | 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) |
| 57 | EE | Reiko Heckel,
Tom Mens,
Michel Wermelinger:
Software Evolution through Transformations.
Electr. Notes Theor. Comput. Sci. 72(4): (2003) |
| 56 | EE | Reiko Heckel,
Marc Lohmann:
Towards Model-Driven Testing.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 55 | 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) |
| 54 | EE | Szilvia Gyapay,
Dániel Varró,
Reiko Heckel:
Graph Transformation with Time.
Fundam. Inform. 58(1): 1-22 (2003) |
| 2002 |
|---|
| 53 | EE | Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg,
Paolo Baldan,
Reiko Heckel:
High-Level Net Processes.
Formal and Natural Computing 2002: 191-219 |
| 52 | EE | Szilvia Gyapay,
Reiko Heckel,
Dániel Varró:
Graph Transformation with Time: Causality and Logical Clocks.
ICGT 2002: 120-134 |
| 51 | EE | Reiko Heckel,
Jochen Malte Küster,
Gabriele Taentzer:
Confluence of Typed Attributed Graph Transformation Systems.
ICGT 2002: 161-176 |
| 50 | EE | Luciano Baresi,
Reiko Heckel:
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.
ICGT 2002: 402-429 |
| 49 | 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 |
| 48 | 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 |
| 47 | EE | Gregor Engels,
Reiko Heckel,
Jochen Malte Küster,
Luuk Groenewegen:
Consistency-Preserving Model Evolution through Transformations.
UML 2002: 212-226 |
| 46 | 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) |
| 45 | | 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) |
| 44 | 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) |
| 43 | 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 |
|---|
| 42 | EE | Ralph Depke,
Reiko Heckel,
Jochen Malte Küster:
Improving the agent-oriented modeling process by roles.
Agents 2001: 640-647 |
| 41 | EE | Paolo Baldan,
Andrea Corradini,
Hartmut Ehrig,
Reiko Heckel:
Compositional Modeling of Reactive Systems Using Open Nets.
CONCUR 2001: 502-518 |
| 40 | 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 |
| 39 | EE | Reiko Heckel,
Stefan Sauer:
Strengthening UML Collaboration Diagrams by State Transformations.
FASE 2001: 109-123 |
| 38 | | 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 |
| 37 | 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 |
| 36 | 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 |
| 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) |
