Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Reiko Heckel

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[j64]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/AlshanqitiHK13
- ask others
Abdullah M. Alshanqiti, Reiko Heckel, Tamim Ahmed Khan: Learning Minimal and Maximal Rules from Observations of Graph Transformations. ECEASST 58 (2013)
[j63]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/RungeKH13
- ask others
Olga Runge, Tamim Ahmed Khan, Reiko Heckel: Test Case Generation Using Visual Contracts. ECEASST 58 (2013)
[c97]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/BapodraH13
- ask others
Mayur Bapodra, Reiko Heckel: Abstraction and Training of Stochastic Graph Transformation Systems. FASE 2013: 312-326
[e6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/calco/2013
- ask others
Reiko Heckel, Stefan Milius (Eds.): Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Lecture Notes in Computer Science 8089, Springer 2013, ISBN 978-3-642-40205-0
2012
[j62]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/ArijoH12
- ask others
Niaz Arijo, Reiko Heckel: View-based Modelling and State-Space Generation for Graph Transformation Systems. ECEASST 47 (2012)
[j61]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/KhanRH12
- ask others
Tamim Ahmed Khan, Olga Runge, Reiko Heckel: Visual Contracts as Test Oracle in AGG 2.0. ECEASST 47 (2012)
[c96]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/HeckelEGH12
- ask others
Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann: Parallelism and Concurrency of Stochastic Graph Transformations. ICGT 2012: 96-110
[c95]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/Heckel12
- ask others
Reiko Heckel: DPO Transformation with Open Maps. ICGT 2012: 203-217
[c94]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/KhanRH12
- ask others
Tamim Ahmed Khan, Olga Runge, Reiko Heckel: Testing against Visual Contracts: Model-Based Coverage. ICGT 2012: 279-293
[c93]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wadt/CorradiniHHGN12
- ask others
Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall: Transformation Systems with Incremental Negative Application Conditions. WADT 2012: 127-142
2011
[j60]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/DonyinaH11
- ask others
Adwoa Donyina, Reiko Heckel: Flexible Behaviour of Human Actors in Distributed Workflows. ECEASST 37 (2011)
[j59]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/DonyinaH11a
- ask others
Adwoa Donyina, Reiko Heckel: Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation. ECEASST 38 (2011)
[j58]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/QayumH11
- ask others
Fawad Qayum, Reiko Heckel: Search-Based Refactoring using Unfolding of Graph Transformation Systems. ECEASST 38 (2011)
[j57]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/HeckelKM11
- ask others
Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado: Towards Test Coverage Criteria for Visual Contracts. ECEASST 41 (2011)
[j56]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sigmetrics/ArijoHTG11
- ask others
Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore: Modular performance modelling for mobile applications (abstracts only). SIGMETRICS Performance Evaluation Review 39(3): 18 (2011)
[c92]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/KhanH11
- ask others
Tamim Ahmed Khan, Reiko Heckel: On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts. FASE 2011: 341-355
[c91]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icete/KhanH11
- ask others
Ajab Khan, Reiko Heckel: Model-based Stochastic Simulation of Super Peer Promotion in P2P VoIP using Graph Transformation. DCNET/OPTICS 2011: 32-42
[c90]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/splc/NaeemH11
- ask others
Muhammad Naeem, Reiko Heckel: Towards matching of service feature models based on linear logic. SPLC Workshops 2011: 13
[c89]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wosp/ArijoHTG11
- ask others
Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore: Modular performance modelling for mobile applications. ICPE 2011: 329-334
[p5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/sp/sensoria2011/BergmannBHTRV11
- ask others
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
[p4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/sp/sensoria2011/MatosH11
- ask others
Carlos M. P. Matos, Reiko Heckel: Legacy Transformations for Extracting Service Components. Results of the SENSORIA Project 2011: 604-621
[e5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/springsim/2011-4
- ask others
Gabriel A. Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach (Eds.): 2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS). SCS/ACM 2011
2010
[j55]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/TorriniHRB10
- ask others
Paolo Torrini, Reiko Heckel, István Ráth, Gábor Bergmann: Stochastic Graph Transformation with Regions. ECEASST 29 (2010)
[j54]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/BapodraH10
- ask others
Mayur Bapodra, Reiko Heckel: From Graph Transformations to Differential Equations. ECEASST 30 (2010)
[c88]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/asmta/KhanHTR10
- ask others
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
[c87]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/HeckelT10
- ask others
Reiko Heckel, Paolo Torrini: Stochastic Modelling and Simulation of Mobile Systems. Graph Transformations and Model-Driven Engineering 2010: 87-101
[c86]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/NaeemHOH10
- ask others
Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann: Incremental Service Composition Based on Partial Matching of Visual Contracts. FASE 2010: 123-138
[c85]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/TorriniHR10
- ask others
Paolo Torrini, Reiko Heckel, István Ráth: Stochastic Simulation of Graph Transformation Systems. FASE 2010: 154-157
[c84]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/BisztrayH10
- ask others
Dénes Bisztray, Reiko Heckel: Combining Termination Criteria by Isolating Deletion. ICGT 2010: 203-217
[c83]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/LaraGBHT10
- ask others
Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini: Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT 2010: 266-281

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j53]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/BoronatH09
- ask others
Artur Boronat, Reiko Heckel: Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques. ECEASST 18 (2009)
[j52]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BisztrayHE09
- ask others
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Compositionality of Model Transformations. Electr. Notes Theor. Comput. Sci. 236: 5-19 (2009)
[c82]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/BoronatHM09
- ask others
Artur Boronat, Reiko Heckel, José Meseguer: Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33
[c81]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fit/QayumH09
- ask others
Fawad Qayum, Reiko Heckel: Analysing refactoring dependencies using unfolding of graph transformation systems. FIT 2009: 15
[c80]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fit/NaeemHO09
- ask others
Muhammad Naeem, Reiko Heckel, Fernando Orejas: Semi-automated service composition using visual contracts. FIT 2009: 48
[c79]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wicsa/SoriaH09
- ask others
Cristóbal Costa Soria, Reiko Heckel: Modelling the Asynchronous Dynamic Evolution of Architectural Types. SOAR 2009: 198-229
[c78]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-5512
- ask others
Paolo Torrini, Reiko Heckel: Resource-Bound Quantification for Graph Transformation. LINEARITY 2009: 14-25
[c77]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-4090
- ask others
Rodrigo Machado, Reiko Heckel, Leila Ribeiro: Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars. RULE 2009: 39-50
[c76]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0911-5525
- ask others
Paolo Torrini, Reiko Heckel: Towards an embedding of Graph Transformation in Intuitionistic Linear Logic. ICE 2009: 99-115
2008
[j51]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/ErmelLH08
- ask others
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)
[j50]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/BisztrayHE08
- ask others
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Verification of Architectural Refactorings: Rule Extraction and Tool Support. ECEASST 16 (2008)
[j49]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/KhanTH08
- ask others
Ajab Khan, Paolo Torrini, Reiko Heckel: Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems. ECEASST 16 (2008)
[j48]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/MatosH08
- ask others
Carlos M. P. Matos, Reiko Heckel: Migrating Legacy Systems to Service-Oriented Architectures. ECEASST 16 (2008)
[j47]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/KonigRH08
- ask others
Barbara König, Arend Rensink, Reiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 213(1): 1-2 (2008)
[j46]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lmcs/BaldanCEHK08
- ask others
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)
[c75]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/BisztrayHE08
- ask others
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Verification of Architectural Refactorings by Rule Extraction. FASE 2008: 347-361
[c74]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/Heckel08
- ask others
Reiko Heckel: Tutorial Introduction to Graph Transformation. ICGT 2008: 458-459
[c73]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/BisztrayHE08
- ask others
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Compositional Verification of Architectural Refactorings. WADS 2008: 308-333
[p3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - series/springer/HeckelCMEKA08
- ask others
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
[e4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/2008
- ask others
Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (Eds.): Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Lecture Notes in Computer Science 5214, Springer 2008, ISBN 978-3-540-87404-1
[e3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wsfm/2007
- ask others
Marlon Dumas, Reiko Heckel (Eds.): Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings. Lecture Notes in Computer Science 4937, Springer 2008, ISBN 978-3-540-79229-1
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0809-4115
- ask others
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)
2007
[j45]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/BisztrayH07
- ask others
Dénes Bisztray, Reiko Heckel: Rule-Level Verification of Business Process Transformations using CSP. ECEASST 6 (2007)
[j44]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/RensinkHK07
- ask others
Arend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 175(4): 1-2 (2007)
[j43]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/HeckelC07
- ask others
Reiko Heckel, Alexey Cherchago: Structural and behavioural compatibility of graphical service specifications. J. Log. Algebr. Program. 70(1): 15-33 (2007)
[j42]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sttt/HeckelL07
- ask others
Reiko Heckel, Marc Lohmann: Model-driven development of reactive information systems: from graph transformation rules to JML contracts. STTT 9(2): 193-207 (2007)
[c72]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/bpm/El-HassanFH07
- ask others
Osama El-Hassan, José Luiz Fiadeiro, Reiko Heckel: Managing Socio-technical Interactions in Healthcare Systems. Business Process Management Workshops 2007: 347-358
[c71]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/calco/BaldanCEHK07
- ask others
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142
[c70]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecsa/CorreiaMHE07
- ask others
Rui Correia, Carlos M. P. Matos, Reiko Heckel, Mohammad El-Ramly: Architecture Migration Driven by Code Categorization. ECSA 2007: 115-122
[c69]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pts/GonczyHV07
- ask others
László Gönczy, Reiko Heckel, Dániel Varró: Model-Based Testing of Service Infrastructure Components. TestCom/FATES 2007: 155-170
[p2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/swb/LohmannMH07
- ask others
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
2006
[j41]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/HeckelFM06
- ask others
Reiko Heckel, Jean-Marie Favre, Tom Mens: Preface. ECEASST 3 (2006)
[j40]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Heckel06
- ask others
Reiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 148(1): 1-3 (2006)
[j39]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Heckel06a
- ask others
Reiko Heckel: Graph Transformation in a Nutshell. Electr. Notes Theor. Comput. Sci. 148(1): 187-198 (2006)
[j38]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/RensinkHK06
- ask others
Arend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 154(2): 1-5 (2006)
[j37]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/HeckelLM06
- ask others
Reiko Heckel, Georgios Lajios, Sebastian Menge: Stochastic Graph Transformation Systems. Fundam. Inform. 74(1): 63-84 (2006)
[j36]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sosym/BaresiHTV06
- ask others
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)
[j35]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sosym/BezivinH06
- ask others
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)
[c68]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/CorreiaMEH06
- ask others
Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Reiko Heckel: Rule-based Model Extraction from Source Code. Aspects For Legacy Applications 2006
[c67]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/EhrigHL06
- ask others
Karsten Ehrig, Reiko Heckel, Georgios Lajios: Molecular Analysis of Metabolic Pathway with Graph Transformation. ICGT 2006: 107-121
[c66]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/EngelsLSH06
- ask others
Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel: Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. ICGT 2006: 336-350
[c65]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/Heckel06
- ask others
Reiko Heckel: Introductory Tutorial on Foundations and Applications of Graph Transformation. ICGT 2006: 461-462
[c64]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/FavreHM06
- ask others
Jean-Marie Favre, Reiko Heckel, Tom Mens: 3rd International Workshop on Software Evolution Through Transformations: Embracing Change. ICGT 2006: 470-472
[c63]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tgc/BaresiEH06
- ask others
Luciano Baresi, Karsten Ehrig, Reiko Heckel: Verification of Model Transformations: A Case Study with BPEL. TGC 2006: 183-199
[e2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/2006
- ask others
Luciano Baresi, Reiko Heckel (Eds.): Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings. Lecture Notes in Computer Science 3922, Springer 2006, ISBN 3-540-33093-3
2005
[j34]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HeckelL05
- ask others
Reiko Heckel, Marc Lohmann: Towards Contract-based Testing of Web Services. Electr. Notes Theor. Comput. Sci. 116: 145-156 (2005)
[j33]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HeckelM05
- ask others
Reiko Heckel, Tom Mens: Preface. Electr. Notes Theor. Comput. Sci. 127(3): 1-3 (2005)
[j32]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HeckelT05
- ask others
Reiko Heckel, Sebastian Thöne: Behavioral Refinement of Graph Transformation-Based Models. Electr. Notes Theor. Comput. Sci. 127(3): 101-111 (2005)
[j31]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jwsr/HausmannHL05
- ask others
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)
[j30]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mscs/BaldanCEH05
- ask others
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)
[c62]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apsec/GuoEH05
- ask others
Ping Guo, Gregor Engels, Reiko Heckel: Architectural Style - Based Modeling and Simulation of Complex Software Systems. APSEC 2005: 367-374
[c61]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/EngelsHC05
- ask others
Gregor Engels, Reiko Heckel, Alexey Cherchago: Flexible Interconnection of Graph Transformation Modules. Formal Methods in Software and Systems Modeling 2005: 38-63
[c60]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/HeckelM05
- ask others
Reiko Heckel, Leonardo Mariani: Automatic Conformance Testing of Web Services. FASE 2005: 34-48
[c59]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ictac/Heckel05
- ask others
Reiko Heckel: Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. ICTAC 2005: 53-69
[c58]
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/se/HeckelLM05
- ask others
Reiko Heckel, Georgios Lajios, Sebastian Menge: Modulare Analyse Stochastischer Graphtransformationssysteme. Software Engineering 2005: 141-152
[p1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/wi/Dumas05/EngelsFHT05
- ask others
Gregor Engels, Alexander Förster, Reiko Heckel, Sebastian Thöne: Process Modeling Using UML. Process-Aware Information Systems 2005
[e1]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2004P4101
- ask others
Jean Bézivin, Reiko Heckel (Eds.): Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004. Dagstuhl Seminar Proceedings 04101, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
2004
[j29]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HeckelCL04
- ask others
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)
[j28]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Heckel04
- ask others
Reiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 109: 1-2 (2004)
[j27]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sosym/HausmannHS04
- ask others
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)
[c57]
- view
  - electronic edition @ sztaki.hu
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbis/GroppeBHB04
- ask others
Sven Groppe, Stefan Böttcher, Reiko Heckel, Georg Birkenheuer: Using XSLT Stylesheets to Transform XPath Queries. ADBIS (Local Proceedings) 2004
[c56]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/BezivinH04
- ask others
Jean Bézivin, Reiko Heckel: 04101 Summary - Language Engineering for Model-driven Software Development. Language Engineering for Model-Driven Software Development 2004
[c55]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/BezivinH04a
- ask others
Jean Bézivin, Reiko Heckel: 04101 Abstracts Collection - Language Engineering for Model-Driven Software Development. Language Engineering for Model-Driven Software Development 2004
[c54]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Heckel04
- ask others
Reiko Heckel: Graph Transformation in a Nutshell. Language Engineering for Model-Driven Software Development 2004
[c53]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/HeckelC04
- ask others
Reiko Heckel, Alexey Cherchago: Application of Graph Transformation for Automating Web Service Discovery. Language Engineering for Model-Driven Software Development 2004
[c52]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/HeckelLM04
- ask others
Reiko Heckel, Georgios Lajios, Sebastian Menge: Stochastic Graph Transformation Systems. ICGT 2004: 210-225
[c51]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/CherchagoH04
- ask others
Alexey Cherchago, Reiko Heckel: Specification Matching of Web Services Using Conditional Graph Transformation Rules. ICGT 2004: 304-318
[c50]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/BaresiH04
- ask others
Luciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2004: 431-433
[c49]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/HeckelM04
- ask others
Reiko Heckel, Tom Mens: Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions. ICGT 2004: 445-447
[c48]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icws/HausmannHL04
- ask others
Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann: Model-based Discovery of Web Services. ICWS 2004: 324-331
[c47]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip8/HeckelG04
- ask others
Reiko Heckel, Ping Guo: Conceptual Modeling of Styles For Mobile Systems. MOBIS 2004: 65-79
[c46]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/GuoH04
- ask others
Ping Guo, Reiko Heckel: Modeling and Simulation of Context-Aware Mobile Systems. ASE 2004: 430-433
[c45]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wadt/HeckelT04
- ask others
Reiko Heckel, Sebastian Thöne: Behavior-Preserving Refinement Relations between Dynamic Software Architectures. WADT 2004: 1-27
[c44]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wicsa/BaresiHTV04
- ask others
Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró: Style-Based Refinement of Dynamic Software Architectures. WICSA 2004: 155-166
2003
[j26]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HausmannHS03
- ask others
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)
[j25]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HeckelMW03
- ask others
Reiko Heckel, Tom Mens, Michel Wermelinger: Software Evolution through Transformations. Electr. Notes Theor. Comput. Sci. 72(4): 1-5 (2003)
[j24]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HeckelMW03a
- ask others
Reiko Heckel, Tom Mens, Michel Wermelinger: Preface. Electr. Notes Theor. Comput. Sci. 72(4): 77-78 (2003)
[j23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HeckelL03
- ask others
Reiko Heckel, Marc Lohmann: Towards Model-Driven Testing. Electr. Notes Theor. Comput. Sci. 82(6): 33-43 (2003)
[j22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/EngelsKHL03
- ask others
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)
[j21]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/GyapayVH03
- ask others
Szilvia Gyapay, Dániel Varró, Reiko Heckel: Graph Transformation with Time. Fundam. Inform. 58(1): 1-22 (2003)
[c43]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/HeckelV03
- ask others
Reiko Heckel, Hendrik Voigt: Model-Based Development of Executable Business Processes for Web Services. Lectures on Concurrency and Petri Nets 2003: 559-584
[c42]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/agtive/DepkeHH03
- ask others
Ralph Depke, Jan Hendrik Hausmann, Reiko Heckel: Design of an Agent-Oriented Modeling Language Based on Graph Transformation. AGTIVE 2003: 106-119
[c41]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/bxml/HausmannHL03
- ask others
Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann: Towards Automatic Selection of Web Services Using Graph Transformation Rules. Berliner XML Tage 2003: 286-291
[c40]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/DepkeH03
- ask others
Ralph Depke, Reiko Heckel: Modelling and Analysis of Agents' Goal-Driven Behavior. Objects, Agents, and Features 2003: 81-97
[c39]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dfg/Heckel03
- ask others
Reiko Heckel: Open Petri Nets as Semantic Model for Workflow Integration. Petri Net Technology for Communication-Based Systems 2003: 281-294
[c38]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/HeckelL03
- ask others
Reiko Heckel, Marc Lohmann: Model-Based Development of Web Applications Using Graphical Reaction Rules. FASE 2003: 170-183
[c37]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/BaresiHTV03
- ask others
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
[c36]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/uml/EngelsHK03
- ask others
Gregor Engels, Reiko Heckel, Jochen Malte Küster: The Consistency Workbench: A Tool for Consistency Management in UML-Based Development. UML 2003: 356-359
[c35]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vl/KusterHE03
- ask others
Jochen Malte Küster, Reiko Heckel, Gregor Engels: Defining and validating transformations of UML models. HCC 2003: 145-152
2002
[j20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mscs/HeckelLEO02
- ask others
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)
[j19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/DepkeHK02
- ask others
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)
[j18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/smr/HeckelE02
- ask others
Reiko Heckel, Gregor Engels: Relating functional requirements and software architecture: separation and consistency of concerns. Journal of Software Maintenance 14(5): 371-388 (2002)
[j17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/CorradiniHM02
- ask others
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)
[c34]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/EhrigHPBH02
- ask others
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel: High-Level Net Processes. Formal and Natural Computing 2002: 191-219
[c33]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/GyapayHV02
- ask others
Szilvia Gyapay, Reiko Heckel, Dániel Varró: Graph Transformation with Time: Causality and Logical Clocks. ICGT 2002: 120-134
[c32]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/HeckelKT02
- ask others
Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer: Confluence of Typed Attributed Graph Transformation Systems. ICGT 2002: 161-176
[c31]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/BaresiH02
- ask others
Luciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2002: 402-429
[c30]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/HeckelMW02
- ask others
Reiko Heckel, Tom Mens, Michel Wermelinger: Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle. ICGT 2002: 450-454
[c29]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/HausmannHT02
- ask others
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
[c28]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/uml/EngelsHKG02
- ask others
Gregor Engels, Reiko Heckel, Jochen Malte Küster, Luuk Groenewegen: Consistency-Preserving Model Evolution through Transformations. UML 2002: 212-226
2001
[j16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acs/HeckelEWC01
- ask others
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)
[j15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HeckelZ01
- ask others
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)
[j14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HeckelK01
- ask others
Reiko Heckel, Jochen Malte Küster: Behavioral Constraints for Visual Models. Electr. Notes Theor. Comput. Sci. 50(3): 257-265 (2001)
[j13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HeckelE01
- ask others
Reiko Heckel, Gregor Engels: Towards a Formal Framework for Inter-Enterprise Application Integration. Electr. Notes Theor. Comput. Sci. 51: 139-151 (2001)
[j12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijseke/DepkeHK01
- ask others
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)
[j11]
- view
  - electronic edition @ uni-siegen.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/stt/SauerH01
- ask others
Stefan Sauer, Reiko Heckel: Bericht über die ETAPS 2001 vom 02. - 06. April 2001 in Genua. Softwaretechnik-Trends 21(2) (2001)
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/CorradiniGH01
- ask others
Andrea Corradini, Martin Große-Rhode, Reiko Heckel: A Coalgebraic presentation of structured transition systems. Theor. Comput. Sci. 260(1-2): 27-55 (2001)
[c27]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/agents/DepkeHK01
- ask others
Ralph Depke, Reiko Heckel, Jochen Malte Küster: Improving the agent-oriented modeling process by roles. Agents 2001: 640-647
[c26]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/BaldanCEH01
- ask others
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Compositional Modeling of Reactive Systems Using Open Nets. CONCUR 2001: 502-518
[c25]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/HeckelS01
- ask others
Reiko Heckel, Stefan Sauer: Strengthening UML Collaboration Diagrams by State Transformations. FASE 2001: 109-123
[c24]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gi/HausmannH01
- ask others
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
[c23]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/EngelsKHG01
- ask others
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
[c22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/uml/EngelsHK01
- ask others
Gregor Engels, Reiko Heckel, Jochen Malte Küster: Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. UML 2001: 272-286
[c21]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vl/HausmannHS01
- ask others
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
2000
[j9]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/CorradiniH00
- ask others
Andrea Corradini, Reiko Heckel: Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bulletin of the EATCS 72: 69-76 (2000)
[c20]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/agents/DepkeHK00
- ask others
Ralph Depke, Reiko Heckel, Jochen Malte Küster: Integrating visual modeling of agent-based and object-oriented systems. Agents 2000: 82-83
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aose/DepkeHK00
- ask others
Ralph Depke, Reiko Heckel, Jochen Malte Küster: Agent-Oriented Modeling with Graph Transformation. AOSE 2000: 105-120
[c18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/EngelsHS00
- ask others
Gregor Engels, Reiko Heckel, Stefan Sauer: UML - A Universal Modeling Language? ICATPN 2000: 24-38
[c17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/EngelsH00
- ask others
Gregor Engels, Reiko Heckel: Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. ICALP 2000: 127-150
[c16]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/CorradiniH00
- ask others
Andrea Corradini, Reiko Heckel: Introduction: Graph Transformation and Visual Modeling Techniques. ICALP Satellite Workshops 2000: 357-358
[c15]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/EngelsH00a
- ask others
Gregor Engels, Reiko Heckel: From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. ICALP Satellite Workshops 2000: 373-382
[c14]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/CorradiniHM00
- ask others
Andrea Corradini, Reiko Heckel, Ugo Montanari: Graphical Operational Semantics. ICALP Satellite Workshops 2000: 411-418
[c13]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/DepkeH00
- ask others
Ralph Depke, Reiko Heckel: Formalizing the Development of Agent-Based Systems Using Graph Processes. ICALP Satellite Workshops 2000: 419-426
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/uml/EngelsHHS00
- ask others
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

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CorradinHM99
- ask others
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)
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/GadducciHL99
- ask others
Fabio Gadducci, Reiko Heckel, Mercè Llabrés: A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. Electr. Notes Theor. Comput. Sci. 29: 80-100 (1999)
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fct/CorradiniHM99
- ask others
Andrea Corradini, Reiko Heckel, Ugo Montanari: Tile Transition Systems as Structured Coalgebras. FCT 1999: 13-38
1998
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CorradiniGH98
- ask others
Andrea Corradini, Martin Große-Rhode, Reiko Heckel: Structured Transition Systems as Lax Coalgebras. Electr. Notes Theor. Comput. Sci. 11: 22-41 (1998)
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/Heckel98
- ask others
Reiko Heckel: Compositional Verification of Reactive Systems Specified by Graph Transformation. FASE 1998: 138-153
[c9]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tagt/EhrigHLOPR98
- ask others
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
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tagt/GadducciHK98
- ask others
Fabio Gadducci, Reiko Heckel, Manuel Koch: A Fully Abstract Model for Graph-Interpreted Temporal Logic. TAGT 1998: 310-322
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tagt/HeckelHKK98
- ask others
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske: Simple Modules for GRACE. TAGT 1998: 383-395
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wadt/CorradiniGH98
- ask others
Andrea Corradini, Martin Große-Rhode, Reiko Heckel: An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories. WADT 1998: 92-106
1997
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijseke/EngelsHTE97
- ask others
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)
[c5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esec/EngelsHTE98
- ask others
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
[c4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/CorradiniMREHL97
- ask others
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
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/EhrigHKLRWC97
- ask others
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
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/HeckelEWC97
- ask others
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini: Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS 1997: 219-228
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wadt/GadducciH97
- ask others
Fabio Gadducci, Reiko Heckel: An inductive view of graph transformation. WADT 1997: 223-237
1996
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/HabelHT96
- ask others
Annegret Habel, Reiko Heckel, Gabriele Taentzer: Graph Grammars with Negative Application Conditions. Fundam. Inform. 26(3/4): 287-313 (1996)
[j3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mscs/HeckelCEL96
- ask others
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
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CorradiniH95
- ask others
Andrea Corradini, Reiko Heckel: A compositional approach to structuring and refinement of typed graph grammars. Electr. Notes Theor. Comput. Sci. 2: 46-55 (1995)
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HeckelW95
- ask others
Reiko Heckel, Annika Wagner: Ensuring consistency of conditional graph rewriting - a constructive approach. Electr. Notes Theor. Comput. Sci. 2: 118-126 (1995)

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?