@article{CorradinHM99, title = {From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence}, author = {Andrea Corradini and Reiko Heckel and Ugo Montanari}, year = {1999}, url = {http://www.elsevier.com/gej-ng/31/29/23/43/23/show/Products/notes/index.htt#010}, tags = {SOS}, researchr = {https://researchr.org/publication/CorradinHM99}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {19}, pages = {118-141}, } @inproceedings{DepkeHH03, title = {Design of an Agent-Oriented Modeling Language Based on Graph Transformation}, author = {Ralph Depke and Jan Hendrik Hausmann and Reiko Heckel}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3062&spage=106}, tags = {model-to-model transformation, rule-based, agent based modeling, graph transformation, meta-model, modeling language, modeling, transformation language, language modeling, language design, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, design, transformation}, researchr = {https://researchr.org/publication/DepkeHH03}, cites = {0}, citedby = {0}, pages = {106-119}, booktitle = {agtive}, } @article{KonigRH08, title = {Preface}, author = {Barbara König and Arend Rensink and Reiko Heckel}, year = {2008}, doi = {10.1016/j.entcs.2008.04.070}, url = {http://dx.doi.org/10.1016/j.entcs.2008.04.070}, researchr = {https://researchr.org/publication/KonigRH08}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {213}, number = {1}, pages = {1-2}, } @article{HeckelL03, title = {Towards Model-Driven Testing}, author = {Reiko Heckel and Marc Lohmann}, year = {2003}, url = {http://www1.elsevier.com/gej-ng/31/29/23/133/50/show/Products/notes/index.htt#005}, tags = {meta-model, testing, Meta-Environment}, researchr = {https://researchr.org/publication/HeckelL03}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {82}, number = {6}, pages = {33-43}, } @inproceedings{EngelsHK03, title = {The Consistency Workbench: A Tool for Consistency Management in UML-Based Development}, author = {Gregor Engels and Reiko Heckel and Jochen Malte Küster}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2863&spage=356}, tags = {workbench, rule-based, UML, consistency}, researchr = {https://researchr.org/publication/EngelsHK03}, cites = {0}, citedby = {0}, pages = {356-359}, booktitle = {uml}, } @inproceedings{BaresiEH06, title = {Verification of Model Transformations: A Case Study with BPEL}, author = {Luciano Baresi and Karsten Ehrig and Reiko Heckel}, year = {2006}, doi = {10.1007/978-3-540-75336-0_12}, url = {http://dx.doi.org/10.1007/978-3-540-75336-0_12}, tags = {model-to-model transformation, case study, meta-model, BPEL, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/BaresiEH06}, cites = {0}, citedby = {0}, pages = {183-199}, booktitle = {tgc}, } @article{HausmannHS04, title = {Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams}, author = {Jan Hendrik Hausmann and Reiko Heckel and Stefan Sauer}, year = {2004}, url = {http://www.springerlink.com/index/10.1007/s10270-003-0045-7}, tags = {semantics, meta-model, modeling, sequence diagrams, Meta-Environment, multimedia, meta-objects}, researchr = {https://researchr.org/publication/HausmannHS04}, cites = {0}, citedby = {0}, journal = {SoSyM}, volume = {3}, number = {3}, pages = {181-193}, } @inproceedings{HeckelM04, title = {Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions}, author = {Reiko Heckel and Tom Mens}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=445}, tags = {model-to-model transformation, meta-model, software evolution, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/HeckelM04}, cites = {0}, citedby = {0}, pages = {445-447}, booktitle = {gg}, } @inproceedings{CorradiniHM99, title = {Tile Transition Systems as Structured Coalgebras}, author = {Andrea Corradini and Reiko Heckel and Ugo Montanari}, year = {1999}, url = {http://link.springer.de/link/service/series/0558/bibs/1684/16840013.htm}, researchr = {https://researchr.org/publication/CorradiniHM99}, cites = {0}, citedby = {0}, pages = {13-38}, booktitle = {fct}, } @article{BisztrayHE09, title = {Compositionality of Model Transformations}, author = {Dénes Bisztray and Reiko Heckel and Hartmut Ehrig}, year = {2009}, doi = {10.1016/j.entcs.2009.03.011}, url = {http://dx.doi.org/10.1016/j.entcs.2009.03.011}, tags = {model-to-model transformation, meta-model, composition, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/BisztrayHE09}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {236}, pages = {5-19}, } @inproceedings{HeckelC04, title = {Application of Graph Transformation for Automating Web Service Discovery}, author = {Reiko Heckel and Alexey Cherchago}, year = {2004}, url = {http://drops.dagstuhl.de/opus/volltexte/2005/12}, tags = {discovery, graph transformation, web service, graph-rewriting, web applications, rewriting, transformation}, researchr = {https://researchr.org/publication/HeckelC04}, cites = {0}, citedby = {0}, booktitle = {Dagstuhl}, } @inproceedings{GonczyHV07, title = {Model-Based Testing of Service Infrastructure Components}, author = {László Gönczy and Reiko Heckel and Dániel Varró}, year = {2007}, doi = {10.1007/978-3-540-73066-8_11}, url = {http://dx.doi.org/10.1007/978-3-540-73066-8_11}, tags = {rule-based, testing}, researchr = {https://researchr.org/publication/GonczyHV07}, cites = {0}, citedby = {0}, pages = {155-170}, booktitle = {pts}, } @inproceedings{Heckel08, title = {Tutorial Introduction to Graph Transformation}, author = {Reiko Heckel}, year = {2008}, doi = {10.1007/978-3-540-87405-8_31}, url = {http://dx.doi.org/10.1007/978-3-540-87405-8_31}, tags = {graph transformation, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/Heckel08}, cites = {0}, citedby = {0}, pages = {458-459}, booktitle = {gg}, } @article{BisztrayH07, title = {Rule-Level Verification of Business Process Transformations using CSP}, author = {Dénes Bisztray and Reiko Heckel}, year = {2007}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/71}, tags = {rule-based, business rules, rules, transformation}, researchr = {https://researchr.org/publication/BisztrayH07}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {6}, } @inproceedings{EngelsHTE98, title = {A View-Oriented Approach to System Modelling Based on Graph Transformation}, author = {Gregor Engels and Reiko Heckel and Gabriele Taentzer and Hartmut Ehrig}, year = {1997}, doi = {10.1145/267895.267919}, url = {http://doi.acm.org/10.1145/267895.267919}, tags = {model-to-model transformation, rule-based, graph transformation, meta-model, source-to-source, graph-rewriting, transformation system, model transformation, Meta-Environment, rewriting, systematic-approach, transformation}, researchr = {https://researchr.org/publication/EngelsHTE98}, cites = {0}, citedby = {0}, pages = {327-343}, booktitle = {ESEC/FSE}, } @inproceedings{GroppeBHB04, title = {Using XSLT Stylesheets to Transform XPath Queries}, author = {Sven Groppe and Stefan Böttcher and Reiko Heckel and Georg Birkenheuer}, year = {2004}, url = {http://www.sztaki.hu/conferences/ADBIS/5-Groppe.pdf}, tags = {XSLT, XPath}, researchr = {https://researchr.org/publication/GroppeBHB04}, cites = {0}, citedby = {0}, booktitle = {adbis}, } @inproceedings{CorradiniHM00, title = {Graphical Operational Semantics}, author = {Andrea Corradini and Reiko Heckel and Ugo Montanari}, year = {2000}, tags = {semantics, operational semantics}, researchr = {https://researchr.org/publication/CorradiniHM00}, cites = {0}, citedby = {0}, pages = {411-418}, booktitle = {icalp}, } @inproceedings{BezivinH04, title = {04101 Summary - Language Engineering for Model-driven Software Development}, author = {Jean Bézivin and Reiko Heckel}, year = {2004}, url = {http://drops.dagstuhl.de/opus/volltexte/2005/10}, tags = {meta-model, modeling language, language engineering, software language engineering, language modeling, model-driven development, software engineering, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/BezivinH04}, cites = {0}, citedby = {0}, booktitle = {Dagstuhl}, } @article{CorradiniHM02, title = {Compositional SOS and beyond: a coalgebraic view of open systems}, author = {Andrea Corradini and Reiko Heckel and Ugo Montanari}, year = {2002}, doi = {10.1016/S0304-3975(01)00025-1}, url = {http://dx.doi.org/10.1016/S0304-3975(01)00025-1}, tags = {composition, SOS, source-to-source, open-source}, researchr = {https://researchr.org/publication/CorradiniHM02}, cites = {0}, citedby = {0}, journal = {TCS}, volume = {280}, number = {1-2}, pages = {163-192}, } @article{HeckelE01, title = {Towards a Formal Framework for Inter-Enterprise Application Integration}, author = {Reiko Heckel and Gregor Engels}, year = {2001}, url = {http://www.elsevier.com/gej-ng/31/29/23/116/25/show/Products/notes/index.htt#009}, tags = {application framework}, researchr = {https://researchr.org/publication/HeckelE01}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {51}, pages = {139-151}, } @inproceedings{EngelsHC05, title = {Flexible Interconnection of Graph Transformation Modules}, author = {Gregor Engels and Reiko Heckel and Alexey Cherchago}, year = {2005}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3393&spage=38}, tags = {graph transformation, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/EngelsHC05}, cites = {0}, citedby = {0}, pages = {38-63}, booktitle = {BIRTHDAY}, } @inproceedings{HeckelHKK98, title = {Simple Modules for GRACE}, author = {Reiko Heckel and Berthold Hoffmann and Peter Knirsch and Sabine Kuske}, year = {1998}, researchr = {https://researchr.org/publication/HeckelHKK98}, cites = {0}, citedby = {0}, pages = {383-395}, booktitle = {tagt}, } @inproceedings{BaresiH04, title = {Tutorial Introduction to Graph Transformation: A Software Engineering Perspective}, author = {Luciano Baresi and Reiko Heckel}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=431}, tags = {transformation engineering, graph transformation, graph-rewriting, software engineering, rewriting, transformation}, researchr = {https://researchr.org/publication/BaresiH04}, cites = {0}, citedby = {0}, pages = {431-433}, booktitle = {gg}, } @inproceedings{NaeemHOH10, title = {Incremental Service Composition Based on Partial Matching of Visual Contracts}, author = {Muhammad Naeem and Reiko Heckel and Fernando Orejas and Frank Hermann}, year = {2010}, doi = {10.1007/978-3-642-12029-9_9}, url = {http://dx.doi.org/10.1007/978-3-642-12029-9_9}, tags = {semantics, rule-based, software components, graph transformation, contracts, composition, software component, constraints, graph-rewriting, transformation system, rewriting, software contracts, incremental, systematic-approach, rewriting strategies, transformation}, researchr = {https://researchr.org/publication/NaeemHOH10}, cites = {0}, citedby = {0}, pages = {123-138}, booktitle = {FASE}, } @inproceedings{GyapayHV02, title = {Graph Transformation with Time: Causality and Logical Clocks}, author = {Szilvia Gyapay and Reiko Heckel and Dániel Varró}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2505/25050120.htm}, tags = {graph transformation, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/GyapayHV02}, cites = {0}, citedby = {0}, pages = {120-134}, booktitle = {gg}, } @inproceedings{Heckel03, title = {Open Petri Nets as Semantic Model for Workflow Integration}, author = {Reiko Heckel}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2472&spage=281}, tags = {source-to-source, workflow, open-source}, researchr = {https://researchr.org/publication/Heckel03}, cites = {0}, citedby = {0}, pages = {281-294}, booktitle = {dfg}, } @inproceedings{EhrigHPBH02, title = {High-Level Net Processes}, author = {Hartmut Ehrig and Kathrin Hoffmann and Julia Padberg and Paolo Baldan and Reiko Heckel}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2300/23000191.htm}, researchr = {https://researchr.org/publication/EhrigHPBH02}, cites = {0}, citedby = {0}, pages = {191-219}, booktitle = {BIRTHDAY}, } @inproceedings{BaldanCEHK07, title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets}, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel and Barbara König}, year = {2007}, doi = {10.1007/978-3-540-73859-6_9}, url = {http://dx.doi.org/10.1007/978-3-540-73859-6_9}, tags = {source-to-source, open-source}, researchr = {https://researchr.org/publication/BaldanCEHK07}, cites = {0}, citedby = {0}, pages = {126-142}, booktitle = {calco}, } @article{HausmannHS03, title = {Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}, author = {Jan Hendrik Hausmann and Reiko Heckel and Stefan Sauer}, year = {2003}, url = {http://www1.elsevier.com/gej-ng/31/29/23/127/48/show/Products/notes/index.htt#012}, tags = {semantics, meta-model, modeling, sequence diagrams, Meta-Environment, multimedia, meta-objects}, researchr = {https://researchr.org/publication/HausmannHS03}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {72}, number = {3}, pages = {133-144}, } @article{GadducciHL99, title = {A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting}, author = {Fabio Gadducci and Reiko Heckel and Mercè Llabrés}, year = {1999}, url = {http://www.elsevier.nl/locate/entcs/volume29.html}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/GadducciHL99}, cites = {0}, citedby = {0}, journal = {TCS}, volume = {29}, pages = {80-100}, } @article{HeckelLM06, title = {Stochastic Graph Transformation Systems}, author = {Reiko Heckel and Georgios Lajios and Sebastian Menge}, year = {2006}, url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=74&issue=1&spage=63}, tags = {graph transformation, graph-rewriting, transformation system, rewriting, transformation}, researchr = {https://researchr.org/publication/HeckelLM06}, cites = {0}, citedby = {0}, journal = {FUIN}, volume = {74}, number = {1}, pages = {63-84}, } @inproceedings{CorreiaMHE07, title = {Architecture Migration Driven by Code Categorization}, author = {Rui Correia and Carlos M. P. Matos and Reiko Heckel and Mohammad El-Ramly}, year = {2007}, doi = {10.1007/978-3-540-75132-8_10}, url = {http://dx.doi.org/10.1007/978-3-540-75132-8_10}, tags = {architecture, migration}, researchr = {https://researchr.org/publication/CorreiaMHE07}, cites = {0}, citedby = {0}, pages = {115-122}, booktitle = {ecsa}, } @article{RensinkHK07, title = {Preface}, author = {Arend Rensink and Reiko Heckel and Barbara König}, year = {2007}, doi = {10.1016/j.entcs.2007.04.012}, url = {http://dx.doi.org/10.1016/j.entcs.2007.04.012}, researchr = {https://researchr.org/publication/RensinkHK07}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {175}, number = {4}, pages = {1-2}, } @inproceedings{BoronatHM09, title = {Rewriting Logic Semantics and Verification of Model Transformations}, author = {Artur Boronat and Reiko Heckel and José Meseguer}, year = {2009}, doi = {10.1007/978-3-642-00593-0_2}, url = {http://dx.doi.org/10.1007/978-3-642-00593-0_2}, tags = {model-to-model transformation, semantics, graph transformation, meta-model, source-to-source, graph-rewriting, model transformation, logic, Meta-Environment, rewriting logic, rewriting, transformation}, researchr = {https://researchr.org/publication/BoronatHM09}, cites = {0}, citedby = {0}, pages = {18-33}, booktitle = {FASE}, } @article{RensinkHK06, title = {Preface}, author = {Arend Rensink and Reiko Heckel and Barbara König}, year = {2006}, doi = {10.1016/j.entcs.2005.03.028}, url = {http://dx.doi.org/10.1016/j.entcs.2005.03.028}, researchr = {https://researchr.org/publication/RensinkHK06}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {154}, number = {2}, pages = {1-5}, } @article{GyapayVH03, title = {Graph Transformation with Time}, author = {Szilvia Gyapay and Dániel Varró and Reiko Heckel}, year = {2003}, url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=58&issue=1&spage=1}, tags = {graph transformation, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/GyapayVH03}, cites = {0}, citedby = {0}, journal = {FUIN}, volume = {58}, number = {1}, pages = {1-22}, } @inproceedings{HeckelEWC97, title = {Integrating the Specification Techniques of Graph Transformation and Temporal Logic}, author = {Reiko Heckel and Hartmut Ehrig and Uwe Wolter and Andrea Corradini}, year = {1997}, tags = {graph transformation, graph-rewriting, logic, rewriting logic, rewriting, transformation}, researchr = {https://researchr.org/publication/HeckelEWC97}, cites = {0}, citedby = {0}, pages = {219-228}, booktitle = {mfcs}, } @article{SauerH01, title = {Bericht über die ETAPS 2001 vom 02. - 06. April 2001 in Genua}, author = {Stefan Sauer and Reiko Heckel}, year = {2001}, researchr = {https://researchr.org/publication/SauerH01}, cites = {0}, citedby = {0}, journal = {stt}, volume = {21}, number = {2}, } @inproceedings{EhrigHL06, title = {Molecular Analysis of Metabolic Pathway with Graph Transformation}, author = {Karsten Ehrig and Reiko Heckel and Georgios Lajios}, year = {2006}, doi = {10.1007/11841883_9}, url = {http://dx.doi.org/10.1007/11841883_9}, tags = {graph transformation, analysis, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/EhrigHL06}, cites = {0}, citedby = {0}, pages = {107-121}, booktitle = {gg}, } @article{HeckelE02, title = {Relating functional requirements and software architecture: separation and consistency of concerns}, author = {Reiko Heckel and Gregor Engels}, year = {2002}, doi = {10.1002/smr.261}, url = {http://dx.doi.org/10.1002/smr.261}, tags = {software architecture, separation of concerns, architecture, consistency}, researchr = {https://researchr.org/publication/HeckelE02}, cites = {0}, citedby = {0}, journal = {SMR}, volume = {14}, number = {5}, pages = {371-388}, } @article{HeckelC07, title = {Structural and behavioural compatibility of graphical service specifications}, author = {Reiko Heckel and Alexey Cherchago}, year = {2007}, doi = {10.1016/j.jlap.2006.05.003}, url = {http://dx.doi.org/10.1016/j.jlap.2006.05.003}, researchr = {https://researchr.org/publication/HeckelC07}, cites = {0}, citedby = {0}, journal = {jlp}, volume = {70}, number = {1}, pages = {15-33}, } @article{BezivinH06, title = {Guest Editorial to the Special Issue on Language Engineering for Model-Driven Software Development}, author = {Jean Bézivin and Reiko Heckel}, year = {2006}, doi = {10.1007/s10270-006-0028-6}, url = {http://dx.doi.org/10.1007/s10270-006-0028-6}, tags = {meta-model, modeling language, language engineering, software language engineering, language modeling, model-driven development, software engineering, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/BezivinH06}, cites = {0}, citedby = {0}, journal = {SoSyM}, volume = {5}, number = {3}, pages = {231-232}, } @inproceedings{HausmannHS01, title = {Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams}, author = {Jan Hendrik Hausmann and Reiko Heckel and Stefan Sauer}, year = {2001}, url = {http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740080abs.htm}, tags = {semantics, meta-model, modeling, UML, sequence diagrams, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/HausmannHS01}, cites = {0}, citedby = {0}, pages = {80-87}, booktitle = {vl}, } @article{HeckelW95, title = {Ensuring consistency of conditional graph rewriting - a constructive approach}, author = {Reiko Heckel and Annika Wagner}, year = {1995}, url = {http://www.elsevier.com/gej-ng/31/29/23/27/23/show/Products/notes/index.htt#016}, tags = {graph-rewriting, consistency, rewriting, systematic-approach}, researchr = {https://researchr.org/publication/HeckelW95}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {2}, pages = {118-126}, } @inproceedings{BezivinH04a, title = {04101 Abstracts Collection - Language Engineering for Model-Driven Software Development}, author = {Jean Bézivin and Reiko Heckel}, year = {2004}, url = {http://drops.dagstuhl.de/opus/volltexte/2005/25}, tags = {meta-model, modeling language, language engineering, software language engineering, language modeling, model-driven development, software engineering, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/BezivinH04a}, cites = {0}, citedby = {0}, booktitle = {Dagstuhl}, } @article{HeckelL05, title = {Towards Contract-based Testing of Web Services}, author = {Reiko Heckel and Marc Lohmann}, year = {2005}, doi = {10.1016/j.entcs.2004.02.073}, url = {http://dx.doi.org/10.1016/j.entcs.2004.02.073}, tags = {rule-based, contracts, web service, testing, web services}, researchr = {https://researchr.org/publication/HeckelL05}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {116}, pages = {145-156}, } @inproceedings{HausmannHT02, title = {Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation}, author = {Jan Hendrik Hausmann and Reiko Heckel and Gabriele Taentzer}, year = {2002}, doi = {10.1145/581339.581355}, url = {http://doi.acm.org/10.1145/581339.581355}, tags = {graph transformation, analysis, static analysis, graph-rewriting, rewriting, systematic-approach, transformation}, researchr = {https://researchr.org/publication/HausmannHT02}, cites = {0}, citedby = {0}, pages = {105-115}, booktitle = {ICSE}, } @inproceedings{CorradiniMREHL97, title = {Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach}, author = {Andrea Corradini and Ugo Montanari and Francesca Rossi and Hartmut Ehrig and Reiko Heckel and Michael Löwe}, year = {1997}, tags = {graph transformation, graph-rewriting, algebra, rewriting, systematic-approach, transformation}, researchr = {https://researchr.org/publication/CorradiniMREHL97}, cites = {0}, citedby = {0}, pages = {163-246}, booktitle = {GG}, } @inproceedings{GuoH04:2, title = {Modeling and Simulation of Context-Aware Mobile Systems}, author = {Ping Guo and Reiko Heckel}, year = {2004}, url = {http://csdl.computer.org/comp/proceedings/ase/2004/2131/00/21310430abs.htm}, tags = {modeling, context-aware, mobile}, researchr = {https://researchr.org/publication/GuoH04%3A2}, cites = {0}, citedby = {0}, pages = {430-433}, booktitle = {jckbse}, } @inproceedings{HausmannHL04, title = {Model-based Discovery of Web Services}, author = {Jan Hendrik Hausmann and Reiko Heckel and Marc Lohmann}, year = {2004}, doi = {10.1109/ICWS.2004.80}, url = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2004.80}, tags = {rule-based, discovery, web service, web services}, researchr = {https://researchr.org/publication/HausmannHL04}, cites = {0}, citedby = {0}, pages = {324-331}, booktitle = {icws}, } @article{EngelsHTE97, title = {A Combined Reference Model- and View-Based Approach to System Specification}, author = {Gregor Engels and Reiko Heckel and Gabriele Taentzer and Hartmut Ehrig}, year = {1997}, doi = {10.1142/S0218194097000266}, url = {http://dx.doi.org/10.1142/S0218194097000266}, tags = {rule-based, systematic-approach}, researchr = {https://researchr.org/publication/EngelsHTE97}, cites = {0}, citedby = {0}, journal = {ijseke}, volume = {7}, number = {4}, pages = {457-477}, } @inproceedings{HeckelV03, title = {Model-Based Development of Executable Business Processes for Web Services}, author = {Reiko Heckel and Hendrik Voigt}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3098&spage=559}, tags = {rule-based, meta-model, web service, business process modeling, model-driven development, web services, Meta-Environment, process modeling}, researchr = {https://researchr.org/publication/HeckelV03}, cites = {0}, citedby = {0}, pages = {559-584}, booktitle = {ac}, } @article{HeckelEWC01, title = {Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems}, author = {Reiko Heckel and Hartmut Ehrig and Uwe Wolter and Andrea Corradini}, year = {2001}, doi = {10.1023/A:1008734426504}, url = {http://dx.doi.org/10.1023/A:1008734426504}, tags = {semantics, graph transformation, graph-rewriting, transformation system, rewriting, transformation}, researchr = {https://researchr.org/publication/HeckelEWC01}, cites = {0}, citedby = {0}, journal = {acs}, volume = {9}, number = {1}, pages = {83-110}, } @article{HeckelM05, title = {Preface}, author = {Reiko Heckel and Tom Mens}, year = {2005}, doi = {10.1016/j.entcs.2004.08.028}, url = {http://dx.doi.org/10.1016/j.entcs.2004.08.028}, tags = {model-to-model transformation, meta-model, software evolution, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/HeckelM05}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {127}, number = {3}, pages = {1-3}, } @article{HeckelLEO02, title = {Concurrency and Loose Semantics of Open Graph Transformation Systems}, author = {Reiko Heckel and Mercè Llabrés and Hartmut Ehrig and Fernando Orejas}, year = {2002}, tags = {model-to-model transformation, semantics, graph transformation, source-to-source, graph-rewriting, transformation system, model transformation, rewriting, open-source, transformation}, researchr = {https://researchr.org/publication/HeckelLEO02}, cites = {0}, citedby = {0}, journal = {mscs}, volume = {12}, number = {4}, pages = {349-376}, } @article{DepkeHK02, title = {Formal agent-oriented modeling with UML and graph transformation}, author = {Ralph Depke and Reiko Heckel and Jochen Malte Küster}, year = {2002}, doi = {10.1016/S0167-6423(02)00040-0}, url = {http://dx.doi.org/10.1016/S0167-6423(02)00040-0}, tags = {model-to-model transformation, graph transformation, meta-model, modeling, UML, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/DepkeHK02}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {44}, number = {2}, pages = {229-252}, } @article{CorradiniH95, title = {A compositional approach to structuring and refinement of typed graph grammars}, author = {Andrea Corradini and Reiko Heckel}, year = {1995}, url = {http://www.elsevier.com/gej-ng/31/29/23/27/23/show/Products/notes/index.htt#008}, tags = {refinement, composition, graph-rewriting, rewriting, systematic-approach, grammar}, researchr = {https://researchr.org/publication/CorradiniH95}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {2}, pages = {46-55}, } @inproceedings{Heckel98, title = {Compositional Verification of Reactive Systems Specified by Graph Transformation}, author = {Reiko Heckel}, year = {1998}, url = {http://link.springer.de/link/service/series/0558/bibs/1382/13820138.htm}, tags = {graph transformation, composition, graph-rewriting, transformation system, rewriting, transformation}, researchr = {https://researchr.org/publication/Heckel98}, cites = {0}, citedby = {0}, pages = {138-153}, booktitle = {FASE}, } @article{HausmannHL05, title = {Model-Based Development of Web Services Descriptions Enabling a Precise Matching Concept}, author = {Jan Hendrik Hausmann and Reiko Heckel and Marc Lohmann}, year = {2005}, tags = {rule-based, meta-model, web service, model-driven development, web services, Meta-Environment}, researchr = {https://researchr.org/publication/HausmannHL05}, cites = {0}, citedby = {0}, journal = {jwsr}, volume = {2}, number = {2}, pages = {67-84}, } @inproceedings{BaresiHTV03, title = {Modeling and validation of service-oriented architectures: application vs. style}, author = {Luciano Baresi and Reiko Heckel and Sebastian Thöne and Dániel Varró}, year = {2003}, doi = {10.1145/940071.940082}, url = {http://doi.acm.org/10.1145/940071.940082}, tags = {modeling, architecture}, researchr = {https://researchr.org/publication/BaresiHTV03}, cites = {0}, citedby = {0}, pages = {68-77}, booktitle = {ESEC/FSE}, } @inproceedings{HeckelLM04, title = {Stochastic Graph Transformation Systems}, author = {Reiko Heckel and Georgios Lajios and Sebastian Menge}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=210}, tags = {graph transformation, graph-rewriting, transformation system, rewriting, transformation}, researchr = {https://researchr.org/publication/HeckelLM04}, cites = {0}, citedby = {0}, pages = {210-225}, booktitle = {gg}, } @article{CorradiniGH98:0, title = {Structured Transition Systems as Lax Coalgebras}, author = {Andrea Corradini and Martin Große-Rhode and Reiko Heckel}, year = {1998}, url = {http://www.elsevier.com/gej-ng/31/29/23/36/23/show/Products/notes/index.htt#003}, researchr = {https://researchr.org/publication/CorradiniGH98%3A0}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {11}, pages = {22-41}, } @article{EngelsKHL03, title = {Model-Based Verification and Validation of Properties}, author = {Gregor Engels and Jochen Malte Küster and Reiko Heckel and Marc Lohmann}, year = {2003}, url = {http://www1.elsevier.com/gej-ng/31/29/23/133/48/show/Products/notes/index.htt#011}, tags = {rule-based}, researchr = {https://researchr.org/publication/EngelsKHL03}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {82}, number = {7}, pages = {133-150}, } @inproceedings{BaresiHTV04, title = {Style-Based Refinement of Dynamic Software Architectures}, author = {Luciano Baresi and Reiko Heckel and Sebastian Thöne and Dániel Varró}, year = {2004}, url = {http://csdl.computer.org/comp/proceedings/wicsa/2004/2172/00/21720155abs.htm}, tags = {rule-based, software architecture, refinement, architecture}, researchr = {https://researchr.org/publication/BaresiHTV04}, cites = {0}, citedby = {0}, pages = {155-166}, booktitle = {wicsa}, } @inproceedings{EngelsH00, title = {Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution}, author = {Gregor Engels and Reiko Heckel}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1853/18530127.htm}, tags = {model-to-model transformation, graph transformation, meta-model, modeling, source-to-source, graph-rewriting, transformation system, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/EngelsH00}, cites = {0}, citedby = {0}, pages = {127-150}, booktitle = {icalp}, } @inproceedings{KusterHE03, title = {Defining and validating transformations of UML models}, author = {Jochen Malte Küster and Reiko Heckel and Gregor Engels}, year = {2003}, tags = {model-to-model transformation, meta-model, UML, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/KusterHE03}, cites = {0}, citedby = {0}, pages = {145-152}, booktitle = {vl}, } @inproceedings{EngelsLSH06, title = {Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract}, author = {Gregor Engels and Marc Lohmann and Stefan Sauer and Reiko Heckel}, year = {2006}, doi = {10.1007/11841883_24}, url = {http://dx.doi.org/10.1007/11841883_24}, tags = {model-to-model transformation, graph transformation, contracts, meta-model, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, design, transformation}, researchr = {https://researchr.org/publication/EngelsLSH06}, cites = {0}, citedby = {0}, pages = {336-350}, booktitle = {gg}, } @inproceedings{GadducciH97, title = {An inductive view of graph transformation}, author = {Fabio Gadducci and Reiko Heckel}, year = {1997}, tags = {graph transformation, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/GadducciH97}, cites = {0}, citedby = {0}, pages = {223-237}, booktitle = {WADT}, } @article{Heckel06:0, title = {Preface}, author = {Reiko Heckel}, year = {2006}, doi = {10.1016/j.entcs.2005.12.009}, url = {http://dx.doi.org/10.1016/j.entcs.2005.12.009}, researchr = {https://researchr.org/publication/Heckel06%3A0}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {148}, number = {1}, pages = {1-3}, } @inproceedings{CherchagoH04, title = {Specification Matching of Web Services Using Conditional Graph Transformation Rules}, author = {Alexey Cherchago and Reiko Heckel}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=304}, tags = {rule-based, graph transformation, web service, graph-rewriting, rules, web services, rewriting, transformation}, researchr = {https://researchr.org/publication/CherchagoH04}, cites = {0}, citedby = {0}, pages = {304-318}, booktitle = {gg}, } @inproceedings{CorradiniGH98, title = {An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories}, author = {Andrea Corradini and Martin Große-Rhode and Reiko Heckel}, year = {1998}, url = {http://link.springer.de/link/service/series/0558/bibs/1589/15890092.htm}, tags = {graph-rewriting, algebra, rewriting}, researchr = {https://researchr.org/publication/CorradiniGH98}, cites = {0}, citedby = {0}, pages = {92-106}, booktitle = {WADT}, } @inproceedings{HeckelT04, title = {Behavior-Preserving Refinement Relations between Dynamic Software Architectures}, author = {Reiko Heckel and Sebastian Thöne}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=1}, tags = {software architecture, refinement, architecture}, researchr = {https://researchr.org/publication/HeckelT04}, cites = {0}, citedby = {0}, pages = {1-27}, booktitle = {WADT}, } @article{HeckelCL04, title = {A Formal Approach to Service Specification and Matching based on Graph Transformation}, author = {Reiko Heckel and Alexey Cherchago and Marc Lohmann}, year = {2004}, doi = {10.1016/j.entcs.2004.05.006}, url = {http://dx.doi.org/10.1016/j.entcs.2004.05.006}, tags = {rule-based, graph transformation, graph-rewriting, rewriting, systematic-approach, transformation}, researchr = {https://researchr.org/publication/HeckelCL04}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {105}, pages = {37-49}, } @incollection{conf-swb-LohmannMH07, title = {A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services}, author = {Marc Lohmann and Leonardo Mariani and Reiko Heckel}, year = {2007}, doi = {10.1007/978-3-540-72912-9_7}, url = {http://dx.doi.org/10.1007/978-3-540-72912-9_7}, tags = {discovery, web service, testing, web services, systematic-approach}, researchr = {https://researchr.org/publication/conf-swb-LohmannMH07}, cites = {0}, citedby = {0}, pages = {173-204}, booktitle = {Test and Analysis of Web Services}, editor = {Luciano Baresi and Elisabetta Di Nitto}, publisher = {Springer}, isbn = {978-3-540-72912-9}, } @inproceedings{HeckelM05:0, title = {Automatic Conformance Testing of Web Services}, author = {Reiko Heckel and Leonardo Mariani}, year = {2005}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=34}, tags = {web service, testing, web services}, researchr = {https://researchr.org/publication/HeckelM05%3A0}, cites = {0}, citedby = {0}, pages = {34-48}, booktitle = {FASE}, } @inproceedings{Heckel06, title = {Introductory Tutorial on Foundations and Applications of Graph Transformation}, author = {Reiko Heckel}, year = {2006}, doi = {10.1007/11841883_32}, url = {http://dx.doi.org/10.1007/11841883_32}, tags = {graph transformation, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/Heckel06}, cites = {0}, citedby = {0}, pages = {461-462}, booktitle = {gg}, } @inproceedings{BisztrayHE08, title = {Verification of Architectural Refactorings by Rule Extraction}, author = {Dénes Bisztray and Reiko Heckel and Hartmut Ehrig}, year = {2008}, doi = {10.1007/978-3-540-78743-3_26}, url = {http://dx.doi.org/10.1007/978-3-540-78743-3_26}, tags = {rule-based, refactoring, architecture, rules, rule-based refactoring}, researchr = {https://researchr.org/publication/BisztrayHE08}, cites = {0}, citedby = {0}, pages = {347-361}, booktitle = {FASE}, } @inproceedings{TorriniHR10, title = {Stochastic Simulation of Graph Transformation Systems}, author = {Paolo Torrini and Reiko Heckel and István Ráth}, year = {2010}, doi = {10.1007/978-3-642-12029-9_11}, url = {http://dx.doi.org/10.1007/978-3-642-12029-9_11}, tags = {graph transformation, graph-rewriting, transformation system, rewriting, transformation}, researchr = {https://researchr.org/publication/TorriniHR10}, cites = {0}, citedby = {0}, pages = {154-157}, booktitle = {FASE}, } @inproceedings{GuoEH05, title = {Architectural Style - Based Modeling and Simulation of Complex Software Systems}, author = {Ping Guo and Gregor Engels and Reiko Heckel}, year = {2005}, doi = {10.1109/APSEC.2005.41}, url = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2005.41}, tags = {rule-based, software architecture, modeling, architecture}, researchr = {https://researchr.org/publication/GuoEH05}, cites = {0}, citedby = {0}, pages = {367-374}, booktitle = {apsec}, } @inproceedings{EngelsH00a, title = {From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation}, author = {Gregor Engels and Reiko Heckel}, year = {2000}, tags = {semantics, graph transformation, transformation language, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/EngelsH00a}, cites = {0}, citedby = {0}, pages = {373-382}, booktitle = {icalp}, } @inproceedings{GadducciHK98, title = {A Fully Abstract Model for Graph-Interpreted Temporal Logic}, author = {Fabio Gadducci and Reiko Heckel and Manuel Koch}, year = {1998}, tags = {graph-rewriting, logic, rewriting logic, rewriting}, researchr = {https://researchr.org/publication/GadducciHK98}, cites = {0}, citedby = {0}, pages = {310-322}, booktitle = {tagt}, } @inproceedings{HeckelL03:0, title = {Model-Based Development of Web Applications Using Graphical Reaction Rules}, author = {Reiko Heckel and Marc Lohmann}, year = {2003}, url = {http://link.springer.de/link/service/series/0558/bibs/2621/26210170.htm}, tags = {rule-based, meta-model, model-driven development, rules, web applications, Meta-Environment}, researchr = {https://researchr.org/publication/HeckelL03%3A0}, cites = {0}, citedby = {0}, pages = {170-183}, booktitle = {FASE}, } @inproceedings{DepkeHK00:0, title = {Agent-Oriented Modeling with Graph Transformation}, author = {Ralph Depke and Reiko Heckel and Jochen Malte Küster}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1957/19570105.htm}, tags = {model-to-model transformation, graph transformation, meta-model, modeling, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/DepkeHK00%3A0}, cites = {0}, citedby = {0}, pages = {105-120}, booktitle = {aose}, } @inproceedings{HeckelS01, title = {Strengthening UML Collaboration Diagrams by State Transformations}, author = {Reiko Heckel and Stefan Sauer}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2029/20290109.htm}, tags = {UML, transformation}, researchr = {https://researchr.org/publication/HeckelS01}, cites = {0}, citedby = {0}, pages = {109-123}, booktitle = {FASE}, } @article{HeckelL07, title = {Model-driven development of reactive information systems: from graph transformation rules to JML contracts}, author = {Reiko Heckel and Marc Lohmann}, year = {2007}, doi = {10.1007/s10009-006-0020-z}, url = {http://dx.doi.org/10.1007/s10009-006-0020-z}, tags = {model-to-model transformation, rule-based, graph transformation, contracts, meta-model, model-driven development, source-to-source, graph-rewriting, rules, transformation system, model transformation, information models, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/HeckelL07}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {9}, number = {2}, pages = {193-207}, } @article{CorradiniH00, title = {Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo}, author = {Andrea Corradini and Reiko Heckel}, year = {2000}, tags = {model-to-model transformation, graph transformation, meta-model, modeling, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/CorradiniH00}, cites = {0}, citedby = {0}, journal = {eatcs}, volume = {72}, pages = {69-76}, } @article{CorradiniGH01, title = {A Coalgebraic presentation of structured transition systems}, author = {Andrea Corradini and Martin Große-Rhode and Reiko Heckel}, year = {2001}, doi = {10.1016/S0304-3975(00)00121-3}, url = {http://dx.doi.org/10.1016/S0304-3975(00)00121-3}, researchr = {https://researchr.org/publication/CorradiniGH01}, cites = {0}, citedby = {0}, journal = {TCS}, volume = {260}, number = {1-2}, pages = {27-55}, } @inproceedings{BisztrayHE08-1, title = {Compositional Verification of Architectural Refactorings}, author = {Dénes Bisztray and Reiko Heckel and Hartmut Ehrig}, year = {2008}, doi = {10.1007/978-3-642-10248-6_13}, url = {http://dx.doi.org/10.1007/978-3-642-10248-6_13}, tags = {refactoring, architecture, composition}, researchr = {https://researchr.org/publication/BisztrayHE08-1}, cites = {0}, citedby = {0}, pages = {308-333}, booktitle = {ICSE}, } @inproceedings{Heckel04, title = {Graph Transformation in a Nutshell}, author = {Reiko Heckel}, year = {2004}, url = {http://drops.dagstuhl.de/opus/volltexte/2005/16}, tags = {graph transformation, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/Heckel04}, cites = {0}, citedby = {0}, booktitle = {Dagstuhl}, } @inproceedings{DepkeH00, title = {Formalizing the Development of Agent-Based Systems Using Graph Processes}, author = {Ralph Depke and Reiko Heckel}, year = {2000}, tags = {rule-based, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/DepkeH00}, cites = {0}, citedby = {0}, pages = {419-426}, booktitle = {icalp}, } @article{HeckelCEL96, title = {Horizontal and Vertical Structuring of Typed Graph Transformation Systems}, author = {Reiko Heckel and Andrea Corradini and Hartmut Ehrig and Michael Löwe}, year = {1996}, tags = {graph transformation, type system, graph-rewriting, transformation system, rewriting, transformation}, researchr = {https://researchr.org/publication/HeckelCEL96}, cites = {0}, citedby = {0}, journal = {mscs}, volume = {6}, number = {6}, pages = {613-648}, } @article{DepkeHK01, title = {Roles in Agent-Oriented Modeling}, author = {Ralph Depke and Reiko Heckel and Jochen Malte Küster}, year = {2001}, tags = {meta-model, modeling, object-role modeling, Meta-Environment}, researchr = {https://researchr.org/publication/DepkeHK01}, cites = {0}, citedby = {0}, journal = {ijseke}, volume = {11}, number = {3}, pages = {281-302}, } @article{HeckelFM06, title = {Preface}, author = {Reiko Heckel and Jean-Marie Favre and Tom Mens}, year = {2006}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/35/24}, tags = {software evolution, transformation}, researchr = {https://researchr.org/publication/HeckelFM06}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {3}, } @article{ErmelLH08, title = {Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008)}, author = {Claudia Ermel and Juan de Lara and Reiko Heckel}, year = {2008}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/136/135}, tags = {model-to-model transformation, graph transformation, meta-model, modeling, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/ErmelLH08}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {10}, } @article{HeckelT05, title = {Behavioral Refinement of Graph Transformation-Based Models}, author = {Reiko Heckel and Sebastian Thöne}, year = {2005}, doi = {10.1016/j.entcs.2004.08.037}, url = {http://dx.doi.org/10.1016/j.entcs.2004.08.037}, tags = {model-to-model transformation, rule-based, graph transformation, meta-model, refinement, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/HeckelT05}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {127}, number = {3}, pages = {101-111}, } @inproceedings{Heckel05, title = {Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks}, author = {Reiko Heckel}, year = {2005}, doi = {10.1007/11560647_4}, url = {http://dx.doi.org/10.1007/11560647_4}, tags = {p2p, case study, graph transformation, analysis, graph-rewriting, transformation system, rewriting, transformation}, researchr = {https://researchr.org/publication/Heckel05}, cites = {0}, citedby = {0}, pages = {53-69}, booktitle = {ictac}, } @inproceedings{EngelsHKG02, title = {Consistency-Preserving Model Evolution through Transformations}, author = {Gregor Engels and Reiko Heckel and Jochen Malte Küster and Luuk Groenewegen}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2460/24600212.htm}, tags = {model-to-model transformation, meta-model, UML, source-to-source, model transformation, consistency, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/EngelsHKG02}, cites = {0}, citedby = {0}, pages = {212-226}, booktitle = {uml}, } @inproceedings{EngelsHS00, title = {UML - A Universal Modeling Language?}, author = {Gregor Engels and Reiko Heckel and Stefan Sauer}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1825/18250024.htm}, tags = {meta-model, modeling language, modeling, language modeling, UML, Meta-Environment}, researchr = {https://researchr.org/publication/EngelsHS00}, cites = {0}, citedby = {0}, pages = {24-38}, booktitle = {apn}, } @inproceedings{HausmannH01, title = {Use Cases as Views: A formal approach to Requirements Engineering in the United Process}, author = {Jan Hendrik Hausmann and Reiko Heckel}, year = {2001}, tags = {requirements engineering, systematic-approach}, researchr = {https://researchr.org/publication/HausmannH01}, cites = {0}, citedby = {0}, pages = {595-599}, booktitle = {gi}, } @inproceedings{CorradiniH00:0, title = {Introduction: Graph Transformation and Visual Modeling Techniques}, author = {Andrea Corradini and Reiko Heckel}, year = {2000}, tags = {model-to-model transformation, graph transformation, meta-model, modeling, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/CorradiniH00%3A0}, cites = {0}, citedby = {0}, pages = {357-358}, booktitle = {icalp}, } @article{Heckel04:0, title = {Preface}, author = {Reiko Heckel}, year = {2004}, doi = {10.1016/j.entcs.2004.11.005}, url = {http://dx.doi.org/10.1016/j.entcs.2004.11.005}, researchr = {https://researchr.org/publication/Heckel04%3A0}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {109}, pages = {1-2}, } @inproceedings{EngelsHK01, title = {Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model}, author = {Gregor Engels and Reiko Heckel and Jochen Malte Küster}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2185/21850272.htm}, tags = {rule-based, meta-model, UML, rules, consistency, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/EngelsHK01}, cites = {0}, citedby = {0}, pages = {272-286}, booktitle = {uml}, } @inproceedings{EngelsHHS00, title = {Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML}, author = {Gregor Engels and Jan Hendrik Hausmann and Reiko Heckel and Stefan Sauer}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1939/19390323.htm}, tags = {semantics, meta-model, modeling, UML, operational semantics, Meta-Environment, systematic-approach, meta-objects}, researchr = {https://researchr.org/publication/EngelsHHS00}, cites = {0}, citedby = {2}, pages = {323-337}, booktitle = {uml}, } @inproceedings{DepkeHK01:0, title = {Improving the agent-oriented modeling process by roles}, author = {Ralph Depke and Reiko Heckel and Jochen Malte Küster}, year = {2001}, url = {http://portal.acm.org/citation.cfm?id=375735.376476}, tags = {modeling, object-role modeling, process modeling}, researchr = {https://researchr.org/publication/DepkeHK01%3A0}, cites = {0}, citedby = {0}, pages = {640-647}, booktitle = {agents}, } @article{BaresiHTV06, title = {Style-based modeling and refinement of service-oriented architectures}, author = {Luciano Baresi and Reiko Heckel and Sebastian Thöne and Dániel Varró}, year = {2006}, doi = {10.1007/s10270-006-0001-4}, url = {http://dx.doi.org/10.1007/s10270-006-0001-4}, tags = {rule-based, modeling, refinement, architecture}, researchr = {https://researchr.org/publication/BaresiHTV06}, cites = {0}, citedby = {0}, journal = {SoSyM}, volume = {5}, number = {2}, pages = {187-207}, } @article{HabelHT96, title = {Graph Grammars with Negative Application Conditions}, author = {Annegret Habel and Reiko Heckel and Gabriele Taentzer}, year = {1996}, tags = {graph-rewriting, rewriting, grammar}, researchr = {https://researchr.org/publication/HabelHT96}, cites = {0}, citedby = {0}, journal = {FUIN}, volume = {26}, number = {3/4}, pages = {287-313}, } @inproceedings{FavreHM06, title = {3rd International Workshop on Software Evolution Through Transformations: Embracing Change}, author = {Jean-Marie Favre and Reiko Heckel and Tom Mens}, year = {2006}, doi = {10.1007/11841883_36}, url = {http://dx.doi.org/10.1007/11841883_36}, tags = {model-to-model transformation, rule-based, transformation engineering, software architecture, meta-model, modeling, model refactoring, refactoring, architecture, model-driven development, software evolution, source-to-source, software engineering, model-driven engineering, rule-based refactoring, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/FavreHM06}, cites = {0}, citedby = {0}, pages = {470-472}, booktitle = {gg}, } @inproceedings{EhrigHKLRWC97, title = {Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach}, author = {Hartmut Ehrig and Reiko Heckel and Martin Korff and Michael Löwe and Leila Ribeiro and Annika Wagner and Andrea Corradini}, year = {1997}, tags = {graph transformation, graph-rewriting, algebra, rewriting, systematic-approach, transformation}, researchr = {https://researchr.org/publication/EhrigHKLRWC97}, cites = {0}, citedby = {0}, pages = {247-312}, booktitle = {GG}, } @article{BaldanCEH05, title = {Compositional semantics for open Petri nets based on deterministic processe}, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel}, year = {2005}, doi = {10.1017/S0960129504004311}, url = {http://dx.doi.org/10.1017/S0960129504004311}, tags = {semantics, rule-based, composition, source-to-source, open-source}, researchr = {https://researchr.org/publication/BaldanCEH05}, cites = {0}, citedby = {0}, journal = {mscs}, volume = {15}, number = {1}, pages = {1-35}, } @inproceedings{EhrigHLOPR98, title = {Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information}, author = {Hartmut Ehrig and Reiko Heckel and Mercè Llabrés and Fernando Orejas and Julia Padberg and Grzegorz Rozenberg}, year = {1998}, tags = {rule-based, graph-rewriting, rules, rewriting}, researchr = {https://researchr.org/publication/EhrigHLOPR98}, cites = {0}, citedby = {0}, pages = {85-102}, booktitle = {tagt}, } @inproceedings{HausmannHL03, title = {Towards Automatic Selection of Web Services Using Graph Transformation Rules}, author = {Jan Hendrik Hausmann and Reiko Heckel and Marc Lohmann}, year = {2003}, tags = {rule-based, graph transformation, web service, graph-rewriting, rules, web services, rewriting, transformation}, researchr = {https://researchr.org/publication/HausmannHL03}, cites = {0}, citedby = {0}, pages = {286-291}, booktitle = {bxml}, } @inproceedings{El-HassanFH07, title = {Managing Socio-technical Interactions in Healthcare Systems}, author = {Osama El-Hassan and José Luiz Fiadeiro and Reiko Heckel}, year = {2007}, doi = {10.1007/978-3-540-78238-4_36}, url = {http://dx.doi.org/10.1007/978-3-540-78238-4_36}, researchr = {https://researchr.org/publication/El-HassanFH07}, cites = {0}, citedby = {0}, pages = {347-358}, booktitle = {BPM}, } @inproceedings{HeckelKT02, title = {Confluence of Typed Attributed Graph Transformation Systems}, author = {Reiko Heckel and Jochen Malte Küster and Gabriele Taentzer}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2505/25050161.htm}, tags = {graph transformation, type system, graph-rewriting, transformation system, rewriting, transformation}, researchr = {https://researchr.org/publication/HeckelKT02}, cites = {0}, citedby = {0}, pages = {161-176}, booktitle = {gg}, } @article{BisztrayHE08-0, title = {Verification of Architectural Refactorings: Rule Extraction and Tool Support}, author = {Dénes Bisztray and Reiko Heckel and Hartmut Ehrig}, year = {2008}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/240}, tags = {rule-based, refactoring, architecture, rules, rule-based refactoring}, researchr = {https://researchr.org/publication/BisztrayHE08-0}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {16}, } @inproceedings{HeckelMW02, title = {Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle}, author = {Reiko Heckel and Tom Mens and Michel Wermelinger}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2505/25050450.htm}, tags = {software evolution, transformation}, researchr = {https://researchr.org/publication/HeckelMW02}, cites = {0}, citedby = {0}, pages = {450-454}, booktitle = {gg}, } @inproceedings{BaresiH02, title = {Tutorial Introduction to Graph Transformation: A Software Engineering Perspective}, author = {Luciano Baresi and Reiko Heckel}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2505/25050402.htm}, tags = {transformation engineering, graph transformation, graph-rewriting, software engineering, rewriting, transformation}, researchr = {https://researchr.org/publication/BaresiH02}, cites = {0}, citedby = {0}, pages = {402-429}, booktitle = {gg}, } @article{Heckel06a, title = {Graph Transformation in a Nutshell}, author = {Reiko Heckel}, year = {2006}, doi = {10.1016/j.entcs.2005.12.018}, url = {http://dx.doi.org/10.1016/j.entcs.2005.12.018}, tags = {graph transformation, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/Heckel06a}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {148}, number = {1}, pages = {187-198}, } @inproceedings{CorreiaMEH06, title = {Rule-based Model Extraction from Source Code}, author = {Rui Correia and Carlos M. P. Matos and Mohammad El-Ramly and Reiko Heckel}, year = {2006}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/881}, tags = {rule-based, source-to-source, rules, open-source}, researchr = {https://researchr.org/publication/CorreiaMEH06}, cites = {0}, citedby = {0}, booktitle = {Dagstuhl}, } @inproceedings{EngelsKHG01, title = {A methodology for specifying and analyzing consistency of object-oriented behavioral models}, author = {Gregor Engels and Jochen Malte Küster and Reiko Heckel and Luuk Groenewegen}, year = {2001}, doi = {10.1145/503209.503235}, url = {http://doi.acm.org/10.1145/503209.503235}, tags = {object-role modeling, consistency}, researchr = {https://researchr.org/publication/EngelsKHG01}, cites = {0}, citedby = {0}, pages = {186-195}, booktitle = {ESEC/FSE}, } @article{HeckelZ01, title = {How to Specify a Graph Transformation Approach - A Meta Model for Fujaba}, author = {Reiko Heckel and Albert Zündorf}, year = {2001}, url = {http://www.elsevier.com/gej-ng/31/29/23/73/28/show/Products/notes/index.htt#005}, tags = {model-to-model transformation, graph transformation, meta-model, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, systematic-approach, meta-objects, transformation}, researchr = {https://researchr.org/publication/HeckelZ01}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {44}, number = {4}, pages = {41-51}, } @inproceedings{HeckelLM05, title = {Modulare Analyse Stochastischer Graphtransformationssysteme}, author = {Reiko Heckel and Georgios Lajios and Sebastian Menge}, year = {2005}, researchr = {https://researchr.org/publication/HeckelLM05}, cites = {0}, citedby = {0}, pages = {141-152}, booktitle = {se}, } @incollection{HeckelCMEKA08, title = {Architectural Transformations: From Legacy to Three-Tier and Services}, author = {Reiko Heckel and Rui Correia and Carlos Matos and Mohammad El-Ramly and Georgios Koutsoukos and Luis Filipe Andrade}, year = {2008}, doi = {10.1007/978-3-540-76440-3_7}, url = {http://dx.doi.org/10.1007/978-3-540-76440-3_7}, tags = {architecture, transformation}, researchr = {https://researchr.org/publication/HeckelCMEKA08}, cites = {0}, citedby = {0}, pages = {139-170}, booktitle = {Software Evolution}, editor = {Tom Mens and Serge Demeyer}, publisher = {Springer}, isbn = {978-3-540-76439-7}, } @article{BaldanCEHK08, title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets}, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel and Barbara König}, year = {2008}, doi = {10.2168/LMCS-4(4:3)2008}, url = {http://dx.doi.org/10.2168/LMCS-4(4:3)2008}, tags = {source-to-source, open-source}, researchr = {https://researchr.org/publication/BaldanCEHK08}, cites = {0}, citedby = {0}, journal = {lmcs}, volume = {4}, number = {4}, } @article{MatosH08, title = {Migrating Legacy Systems to Service-Oriented Architectures}, author = {Carlos M. P. Matos and Reiko Heckel}, year = {2008}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/238}, tags = {architecture}, researchr = {https://researchr.org/publication/MatosH08}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {16}, } @inproceedings{DepkeHK00, title = {Integrating visual modeling of agent-based and object-oriented systems}, author = {Ralph Depke and Reiko Heckel and Jochen Malte Küster}, year = {2000}, doi = {10.1145/336595.337052}, url = {http://doi.acm.org/10.1145/336595.337052}, tags = {rule-based, agent based modeling, modeling, object-role modeling}, researchr = {https://researchr.org/publication/DepkeHK00}, cites = {0}, citedby = {0}, pages = {82-83}, booktitle = {agents}, } @article{HeckelMW03, title = {Software Evolution through Transformations}, author = {Reiko Heckel and Tom Mens and Michel Wermelinger}, year = {2003}, url = {http://www1.elsevier.com/gej-ng/31/29/23/127/49/show/Products/notes/index.htt#001}, tags = {software evolution, transformation}, researchr = {https://researchr.org/publication/HeckelMW03}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {72}, number = {4}, pages = {1-5}, } @inproceedings{DepkeH03, title = {Modelling and Analysis of Agents Goal-Driven Behavior}, author = {Ralph Depke and Reiko Heckel}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2975&spage=81}, tags = {analysis}, researchr = {https://researchr.org/publication/DepkeH03}, cites = {0}, citedby = {0}, pages = {81-97}, booktitle = {Dagstuhl}, } @article{HeckelK01, title = {Behavioral Constraints for Visual Models}, author = {Reiko Heckel and Jochen Malte Küster}, year = {2001}, url = {http://www.elsevier.com/gej-ng/31/29/23/85/29/show/Products/notes/index.htt#006}, tags = {meta-model, constraints, Meta-Environment}, researchr = {https://researchr.org/publication/HeckelK01}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {50}, number = {3}, pages = {257-265}, } @inproceedings{HeckelG04, title = {Conceptual Modeling of Styles For Mobile Systems}, author = {Reiko Heckel and Ping Guo}, year = {2004}, tags = {modeling, mobile}, researchr = {https://researchr.org/publication/HeckelG04}, cites = {0}, citedby = {0}, pages = {65-79}, booktitle = {ifip8}, } @inproceedings{BaldanCEH01, title = {Compositional Modeling of Reactive Systems Using Open Nets}, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2154/21540502.htm}, tags = {modeling, composition, source-to-source, open-source}, researchr = {https://researchr.org/publication/BaldanCEH01}, cites = {0}, citedby = {0}, pages = {502-518}, booktitle = {concur}, } @article{KhanTH08, title = {Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems}, author = {Ajab Khan and Paolo Torrini and Reiko Heckel}, year = {2008}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/251}, tags = {model-to-model transformation, rule-based, graph transformation, meta-model, source-to-source, graph-rewriting, transformation system, model transformation, Meta-Environment, rewriting, transformation}, researchr = {https://researchr.org/publication/KhanTH08}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {16}, } @proceedings{gg:2008, title = {Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings}, year = {2008}, tags = {graph transformation, graph-rewriting, rewriting, transformation}, researchr = {https://researchr.org/publication/gg%3A2008}, cites = {0}, citedby = {0}, booktitle = {Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings}, editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer}, volume = {5214}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-87404-1}, } @proceedings{fase:2006, title = {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}, year = {2006}, tags = {software engineering, systematic-approach}, researchr = {https://researchr.org/publication/fase%3A2006}, cites = {0}, citedby = {0}, booktitle = {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}, conference = {FASE}, editor = {Luciano Baresi and Reiko Heckel}, volume = {3922}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-33093-3}, } @proceedings{wsfm:2007, title = {Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings}, year = {2008}, tags = {web service, web services}, researchr = {https://researchr.org/publication/wsfm%3A2007}, cites = {0}, citedby = {0}, booktitle = {Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings}, conference = {wsfm}, editor = {Marlon Dumas and Reiko Heckel}, volume = {4937}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-79229-1}, } @proceedings{dagstuhl:2004P4101, title = {Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004}, year = {2005}, tags = {meta-model, modeling language, language engineering, software language engineering, language modeling, model-driven development, software engineering, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/dagstuhl%3A2004P4101}, cites = {0}, citedby = {0}, booktitle = {Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004}, conference = {Dagstuhl}, editor = {Jean Bézivin and Reiko Heckel}, volume = {04101}, series = {Dagstuhl Seminar Proceedings}, publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany}, }