publications:
- title: "GenGED - A Visual Definition Tool for Visual Modeling Environments"
  author:
  - name: "Roswitha Bardohl"
    link: "https://researchr.org/alias/roswitha-bardohl"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Ingo Weinhold"
    link: "https://researchr.org/alias/ingo-weinhold"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3062&spage=413"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3062&spage=413"
  tags:
  - "modeling"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BardohlEW03"
  cites: 0
  citedby: 0
  pages: "413-419"
  booktitle: "agtive"
  kind: "inproceedings"
  key: "BardohlEW03"
- title: "Modeling the \"Ecore to GenModel\" Transformation with EMF Henshin"
  author:
  - name: "Enrico Biermann"
    link: "http://www.tu-berlin.de/tfs/menue/home/team/biermann_enrico/"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Stefan Jurack"
    link: "https://researchr.org/alias/stefan-jurack"
  year: "2010"
  abstract: "Our recently developed tool Henshin is an Eclipse plug-in supporting visual modeling and execution of rule-based EMF model transformations. In this paper we describe how we use Henshin to define visual EMF model transformation rules and control structures transforming an Ecore meta-model to a GenModel (case study 3 of TTC 2010). For validation, the model transformation is applied to the Ecore model of a flowchart language. "
  tags:
  - "model-to-model transformation"
  - "rule-based"
  - "Eclipse"
  - "case study"
  - "meta-model"
  - "modeling language"
  - "modeling"
  - "transformation language"
  - "language modeling"
  - "EMF"
  - "source-to-source"
  - "rules"
  - "model transformation"
  - "Meta-Environment"
  - "meta-objects"
  - "transformation"
  researchr: "https://researchr.org/publication/and-Claudia-Ermel-and-Stefan-Jurack%3ATTC%3A2010"
  cites: 0
  citedby: 0
  booktitle: "TTC"
  kind: "inproceedings"
  key: "and-Claudia-Ermel-and-Stefan-Jurack:TTC:2010"
- title: "Object Oriented and Rule-based Design of Visual Languages using Tiger"
  author:
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Karsten Ehrig"
    link: "https://researchr.org/alias/karsten-ehrig"
  - name: "Gabriele Taentzer"
    link: "http://www.mathematik.uni-marburg.de/~taentzer/"
  - name: "Eduard Weiss"
    link: "https://researchr.org/alias/eduard-weiss"
  year: "2006"
  doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/86"
  links:
    doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/86"
  tags:
  - "rule-based"
  - "language design"
  - "rules"
  - "design"
  researchr: "https://researchr.org/publication/ErmelETW06"
  cites: 0
  citedby: 0
  journal: "eceasst"
  volume: "1"
  kind: "article"
  key: "ErmelETW06"
- title: "Semantical Correctness of Simulation-to-Animation Model and Rule Transformation"
  author:
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Karsten Ehrig"
    link: "https://researchr.org/alias/karsten-ehrig"
  year: "2006"
  doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/13"
  links:
    doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/13"
  tags:
  - "model-to-model transformation"
  - "rule-based"
  - "meta-model"
  - "source-to-source"
  - "rules"
  - "model transformation"
  - "Meta-Environment"
  - "transformation"
  researchr: "https://researchr.org/publication/ErmelEE06"
  cites: 0
  citedby: 0
  journal: "eceasst"
  volume: "4"
  kind: "article"
  key: "ErmelEE06"
- title: "Ludo: A Case Study for Graph Transformation Tools"
  author:
  - name: "Arend Rensink"
    link: "http://wwwhome.cs.utwente.nl/~rensink/"
  - name: "Alexander Dotor"
    link: "https://researchr.org/alias/alexander-dotor"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Stefan Jurack"
    link: "https://researchr.org/alias/stefan-jurack"
  - name: "Ole Kniemeyer"
    link: "https://researchr.org/alias/ole-kniemeyer"
  - name: "Juan de Lara"
    link: "https://researchr.org/alias/juan-de-lara"
  - name: "Sonja Maier"
    link: "https://researchr.org/alias/sonja-maier"
  - name: "Tom Staijen"
    link: "https://researchr.org/alias/tom-staijen"
  - name: "Albert Zündorf"
    link: "https://researchr.org/alias/albert-z%C3%BCndorf"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-89020-1_34"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89020-1_34"
  tags:
  - "case study"
  - "graph transformation"
  - "graph-rewriting"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/RensinkDEJKLMSZ07"
  cites: 0
  citedby: 0
  pages: "493-513"
  booktitle: "agtive"
  kind: "inproceedings"
  key: "RensinkDEJKLMSZ07"
- title: "AGG and GenGED: Graph Transformation-Based Specification and Analysis Rechniques for Visual Languages"
  author:
  - name: "Roswitha Bardohl"
    link: "https://researchr.org/alias/roswitha-bardohl"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Ingo Weinhold"
    link: "https://researchr.org/alias/ingo-weinhold"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/127/46/show/Products/notes/index.htt#013"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/127/46/show/Products/notes/index.htt#013"
  tags:
  - "rule-based"
  - "graph transformation"
  - "transformation language"
  - "analysis"
  - "graph-rewriting"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/BardohlEW02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "72"
  number: "2"
  pages: "14-24"
  kind: "article"
  key: "BardohlEW02"
- title: "Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation"
  author:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87405-8_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87405-8_14"
  tags:
  - "model-to-model transformation"
  - "rule-based"
  - "completeness"
  - "graph transformation"
  - "meta-model"
  - "source-to-source"
  - "graph-rewriting"
  - "rules"
  - "model transformation"
  - "Meta-Environment"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/EhrigE08"
  cites: 0
  citedby: 0
  pages: "194-210"
  booktitle: "gg"
  kind: "inproceedings"
  key: "EhrigE08"
- title: "Formal Analysis and Verification of Self-Healing Systems"
  author:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Olga Runge"
    link: "https://researchr.org/alias/olga-runge"
  - name: "Antonio Bucchiarone"
    link: "https://researchr.org/alias/antonio-bucchiarone"
  - name: "Patrizio Pelliccione"
    link: "http://www.di.univaq.it/pellicci/index_personal.php"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-12029-9_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12029-9_10"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/EhrigERBP10"
  cites: 0
  citedby: 0
  pages: "139-153"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "EhrigERBP10"
- title: "Generating Domain-Specific Model Editors with Complex Editing Commands"
  author:
  - name: "Gabriele Taentzer"
    link: "http://www.mathematik.uni-marburg.de/~taentzer/"
  - name: "André Crema"
    link: "https://researchr.org/alias/andr%C3%A9-crema"
  - name: "René Schmutzler"
    link: "https://researchr.org/alias/ren%C3%A9-schmutzler"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-89020-1_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89020-1_8"
  tags:
  - "model editor"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/TaentzerCSE07"
  cites: 0
  citedby: 0
  pages: "98-103"
  booktitle: "agtive"
  kind: "inproceedings"
  key: "TaentzerCSE07"
- title: "Towards Model Transformation in Generated Eclipse Editor Plug-Ins"
  author:
  - name: "Karsten Ehrig"
    link: "https://researchr.org/alias/karsten-ehrig"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Stefan Hänsgen"
    link: "https://researchr.org/alias/stefan-h%C3%A4nsgen"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.01.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.01.013"
  tags:
  - "model-to-model transformation"
  - "Eclipse"
  - "model editor"
  - "meta-model"
  - "source-to-source"
  - "model transformation"
  - "Meta-Environment"
  - "transformation"
  researchr: "https://researchr.org/publication/EhrigEH06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "152"
  pages: "39-52"
  kind: "article"
  key: "EhrigEH06"
- title: "An Eclipse Framework for Rapid Development of Rich-featured GEF Editors based on EMF Models"
  author:
  - name: "Tony Modica"
    link: "https://researchr.org/alias/tony-modica"
  - name: "Enrico Biermann"
    link: "http://www.tu-berlin.de/tfs/menue/home/team/biermann_enrico/"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  year: "2009"
  tags:
  - "Eclipse"
  - "model editor"
  - "meta-model"
  - "EMF"
  - "model-driven development"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/ModicaBE09"
  cites: 0
  citedby: 0
  pages: "2972-2985"
  booktitle: "gi"
  kind: "inproceedings"
  key: "ModicaBE09"
- title: "Visualization, Simulation and Analysis of Reconfigurable Systems"
  author:
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Karsten Ehrig"
    link: "https://researchr.org/alias/karsten-ehrig"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-89020-1_19"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89020-1_19"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/ErmelE07"
  cites: 0
  citedby: 0
  pages: "265-280"
  booktitle: "agtive"
  kind: "inproceedings"
  key: "ErmelE07"
- title: "Rule-Based and Visual Model Evolution using GENGED"
  author:
  - name: "Julia Padberg"
    link: "https://researchr.org/alias/julia-padberg"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Roswitha Bardohl"
    link: "https://researchr.org/alias/roswitha-bardohl"
  year: "2000"
  tags:
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/PadbergEB00"
  cites: 0
  citedby: 0
  pages: "467-476"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "PadbergEB00"
- title: "View Transformation in Visual Environments applied to Algebraic High-Level Nets"
  author:
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Karsten Ehrig"
    link: "https://researchr.org/alias/karsten-ehrig"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.02.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.02.006"
  tags:
  - " algebra"
  - "Meta-Environment"
  - "transformation"
  researchr: "https://researchr.org/publication/ErmelE05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "127"
  number: "2"
  pages: "61-86"
  kind: "article"
  key: "ErmelE05"
- title: "Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework"
  author:
  - name: "Enrico Biermann"
    link: "http://www.tu-berlin.de/tfs/menue/home/team/biermann_enrico/"
  - name: "Karsten Ehrig"
    link: "https://researchr.org/alias/karsten-ehrig"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Jonas Hurrelmann"
    link: "https://researchr.org/alias/jonas-hurrelmann"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.46"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.46"
  tags:
  - "Eclipse"
  - "modeling language"
  - "modeling"
  - "language modeling"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/BiermannEEH09"
  cites: 0
  citedby: 0
  pages: "625-629"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "BiermannEEH09"
- title: "Towards Graph Transformation Based Generation of Visual Editors Using Eclipse"
  author:
  - name: "Karsten Ehrig"
    link: "https://researchr.org/alias/karsten-ehrig"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Stefan Hänsgen"
    link: "https://researchr.org/alias/stefan-h%C3%A4nsgen"
  - name: "Gabriele Taentzer"
    link: "http://www.mathematik.uni-marburg.de/~taentzer/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.08.051"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.08.051"
  tags:
  - "rule-based"
  - "Eclipse"
  - "graph transformation"
  - "graph-rewriting"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/EhrigEHT05%3A0"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "127"
  number: "4"
  pages: "127-143"
  kind: "article"
  key: "EhrigEHT05:0"
- title: "Scenario animation for visual behavior models: A generic approach"
  author:
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Roswitha Bardohl"
    link: "https://researchr.org/alias/roswitha-bardohl"
  year: "2004"
  doi: "http://www.springerlink.com/index/10.1007/s10270-003-0048-4"
  links:
    doi: "http://www.springerlink.com/index/10.1007/s10270-003-0048-4"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/ErmelB04"
  cites: 0
  citedby: 0
  journal: "SoSyM"
  volume: "3"
  number: "2"
  pages: "164-177"
  kind: "article"
  key: "ErmelB04"
- title: "Consistent Integration of Models Based on Views of Visual Languages"
  author:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Karsten Ehrig"
    link: "https://researchr.org/alias/karsten-ehrig"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Ulrike Prange"
    link: "https://researchr.org/alias/ulrike-prange"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_5"
  tags:
  - "rule-based"
  - "modeling language"
  - "language modeling"
  researchr: "https://researchr.org/publication/EhrigEEP08"
  cites: 0
  citedby: 0
  pages: "62-76"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "EhrigEEP08"
- title: "The EMF Model Transformation Framework"
  author:
  - name: "Enrico Biermann"
    link: "http://www.tu-berlin.de/tfs/menue/home/team/biermann_enrico/"
  - name: "Karsten Ehrig"
    link: "https://researchr.org/alias/karsten-ehrig"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Christian Köhler"
    link: "https://researchr.org/alias/christian-k%C3%B6hler"
  - name: "Gabriele Taentzer"
    link: "http://www.mathematik.uni-marburg.de/~taentzer/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-89020-1_37"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89020-1_37"
  tags:
  - "model-to-model transformation"
  - "meta-model"
  - "EMF"
  - "source-to-source"
  - "model transformation"
  - "Meta-Environment"
  - "transformation"
  researchr: "https://researchr.org/publication/BiermannEEKT07"
  cites: 0
  citedby: 0
  pages: "566-567"
  booktitle: "agtive"
  kind: "inproceedings"
  key: "BiermannEEKT07"
- title: "Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks"
  author:
  - name: "Frank Hermann"
    link: "https://researchr.org/alias/frank-hermann"
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00593-0_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00593-0_22"
  tags:
  - "graph transformation"
  - "graph-rewriting"
  - "security"
  - "e-science"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/HermannEE09"
  cites: 0
  citedby: 0
  pages: "325-339"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "HermannEE09"
- title: "Generation of visual editors as eclipse plug-ins"
  author:
  - name: "Karsten Ehrig"
    link: "https://researchr.org/alias/karsten-ehrig"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Stefan Hänsgen"
    link: "https://researchr.org/alias/stefan-h%C3%A4nsgen"
  - name: "Gabriele Taentzer"
    link: "http://www.mathematik.uni-marburg.de/~taentzer/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1101908.1101930"
  links:
    doi: "http://doi.acm.org/10.1145/1101908.1101930"
  tags:
  - "Eclipse"
  researchr: "https://researchr.org/publication/EhrigEHT05"
  cites: 0
  citedby: 0
  pages: "134-143"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "EhrigEHT05"
- title: "Flexible visualization of automatic simulation based on structured graph transformation"
  author:
  - name: "Enrico Biermann"
    link: "http://www.tu-berlin.de/tfs/menue/home/team/biermann_enrico/"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Jonas Hurrelmann"
    link: "https://researchr.org/alias/jonas-hurrelmann"
  - name: "Karsten Ehrig"
    link: "https://researchr.org/alias/karsten-ehrig"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/VLHCC.2008.4639053"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2008.4639053"
  tags:
  - "rule-based"
  - "graph transformation"
  - "graph-rewriting"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/BiermannEHE08"
  cites: 0
  citedby: 0
  pages: "21-28"
  booktitle: "vl"
  kind: "inproceedings"
  key: "BiermannEHE08"
- title: "Behavior-Preserving Simulation-to-Animation Model and Rule Transformations"
  author:
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.04.074"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.04.074"
  tags:
  - "model-to-model transformation"
  - "rule-based"
  - "meta-model"
  - "source-to-source"
  - "rules"
  - "model transformation"
  - "Meta-Environment"
  - "transformation"
  researchr: "https://researchr.org/publication/ErmelE08"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "213"
  number: "1"
  pages: "55-74"
  kind: "article"
  key: "ErmelE08"
- title: "Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets"
  author:
  - name: "Juan de Lara Jaramillo"
    link: "https://researchr.org/alias/juan-de-lara-jaramillo"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Gabriele Taentzer"
    link: "http://www.mathematik.uni-marburg.de/~taentzer/"
  - name: "Karsten Ehrig"
    link: "https://researchr.org/alias/karsten-ehrig"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.02.053"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.02.053"
  tags:
  - "model-to-model transformation"
  - "graph transformation"
  - "meta-model"
  - "source-to-source"
  - "graph-rewriting"
  - "model transformation"
  - "Meta-Environment"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/JaramilloETE04"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "109"
  pages: "17-29"
  kind: "article"
  key: "JaramilloETE04"
- title: "Rule-Based Refinement of High-Level Nets Preserving Safety Properties"
  author:
  - name: "Julia Padberg"
    link: "https://researchr.org/alias/julia-padberg"
  - name: "Magdalena Gajewsky"
    link: "https://researchr.org/alias/magdalena-gajewsky"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1382/13820221.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1382/13820221.htm"
  tags:
  - "rule-based"
  - "refinement"
  - "rules"
  researchr: "https://researchr.org/publication/PadbergGE98"
  cites: 0
  citedby: 0
  pages: "221-238"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "PadbergGE98"
- title: "Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008)"
  author:
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Juan de Lara"
    link: "https://researchr.org/alias/juan-de-lara"
  - name: "Reiko Heckel"
    link: "http://www.cs.le.ac.uk/people/rh122/"
  year: "2008"
  doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/136/135"
  links:
    doi: "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"
  kind: "article"
  key: "ErmelLH08"
- title: "Precise Semantics of EMF Model Transformations by Graph Transformation"
  author:
  - name: "Enrico Biermann"
    link: "http://www.tu-berlin.de/tfs/menue/home/team/biermann_enrico/"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Gabriele Taentzer"
    link: "http://www.mathematik.uni-marburg.de/~taentzer/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87875-9_4"
  abstract: "Model transformation is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse Modeling Framework (EMF). Several EMF model transformation approaches have been developed, focusing on different transformation aspects. To validate model transformations wrt. functional behavior and correctness, a formal foundation is needed. In this paper, we define EMF model transformations as a special kind of typed graph transformations using node type inheritance. Containment constraints of EMF model transformations are translated to a special kind of EMF model transformation rules such that their application leads to consistent transformation results only. Thus, we identify a kind of EMF model transformations which behave like algebraic graph transformations. As a consequence, the rich theory of algebraic graph transformation can be applied to these EMF model transformations to show functional behavior and correctness. We illustrate our approach by selected refactorings of simplified statechart models. "
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87875-9_4"
  tags:
  - "model-to-model transformation"
  - "semantics"
  - "rule-based"
  - "translation"
  - "Eclipse"
  - "application framework"
  - "formal semantics"
  - "graph transformation"
  - "meta-model"
  - "modeling language"
  - "modeling"
  - "model refactoring"
  - "refactoring"
  - "transformation language"
  - "language modeling"
  - "constraints"
  - "EMF"
  - "model-driven development"
  - "source-to-source"
  - "graph-rewriting"
  - "rules"
  - "rule-based refactoring"
  - "model transformation"
  - " algebra"
  - "type theory"
  - "Meta-Environment"
  - "rewriting"
  - "systematic-approach"
  - "transformation"
  researchr: "https://researchr.org/publication/BiermannET08"
  cites: 0
  citedby: 0
  pages: "53-67"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "BiermannET08"
- title: "Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems"
  author:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Kathrin Hoffmann"
    link: "https://researchr.org/alias/kathrin-hoffmann"
  - name: "Julia Padberg"
    link: "https://researchr.org/alias/julia-padberg"
  - name: "Ulrike Prange"
    link: "https://researchr.org/alias/ulrike-prange"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73094-1_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73094-1_9"
  tags:
  - "transformation system"
  - "transformation"
  researchr: "https://researchr.org/publication/EhrigHPPE07"
  cites: 0
  citedby: 0
  pages: "104-123"
  booktitle: "apn"
  kind: "inproceedings"
  key: "EhrigHPPE07"
- title: "Generation of Animation Views for Petri Nets in GenGED"
  author:
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Roswitha Bardohl"
    link: "https://researchr.org/alias/roswitha-bardohl"
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2472&spage=83"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2472&spage=83"
  researchr: "https://researchr.org/publication/ErmelBE03"
  cites: 0
  citedby: 0
  pages: "83-108"
  booktitle: "dfg"
  kind: "inproceedings"
  key: "ErmelBE03"
- title: "Scenario Views for Visual Behavior Models in GenGED"
  author:
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Roswitha Bardohl"
    link: "https://researchr.org/alias/roswitha-bardohl"
  year: "2003"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/127/48/show/Products/notes/index.htt#007"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/127/48/show/Products/notes/index.htt#007"
  researchr: "https://researchr.org/publication/ErmelB03"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "72"
  number: "3"
  pages: "65-77"
  kind: "article"
  key: "ErmelB03"
- title: "Visual Design of Software Architecture and Evolution based on Graph Transformation"
  author:
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Roswitha Bardohl"
    link: "https://researchr.org/alias/roswitha-bardohl"
  - name: "Julia Padberg"
    link: "https://researchr.org/alias/julia-padberg"
  year: "2001"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/73/28/show/Products/notes/index.htt#006"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/73/28/show/Products/notes/index.htt#006"
  tags:
  - "rule-based"
  - "software architecture"
  - "graph transformation"
  - "architecture"
  - "software evolution"
  - "graph-rewriting"
  - "rewriting"
  - "design"
  - "transformation"
  researchr: "https://researchr.org/publication/ErmelBP01"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "44"
  number: "4"
  pages: "52-66"
  kind: "article"
  key: "ErmelBP01"
- title: "Generating Eclipse Editor Plug-Ins Using Tiger"
  author:
  - name: "Enrico Biermann"
    link: "http://www.tu-berlin.de/tfs/menue/home/team/biermann_enrico/"
  - name: "Karsten Ehrig"
    link: "https://researchr.org/alias/karsten-ehrig"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Gabriele Taentzer"
    link: "http://www.mathematik.uni-marburg.de/~taentzer/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-89020-1_43"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89020-1_43"
  tags:
  - "Eclipse"
  researchr: "https://researchr.org/publication/BiermannEET07"
  cites: 0
  citedby: 0
  pages: "583-584"
  booktitle: "agtive"
  kind: "inproceedings"
  key: "BiermannEET07"
- title: "Modeling multicasting in communication spaces by reconfigurable high-level Petri nets"
  author:
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Tony Modica"
    link: "https://researchr.org/alias/tony-modica"
  - name: "Enrico Biermann"
    link: "http://www.tu-berlin.de/tfs/menue/home/team/biermann_enrico/"
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Kathrin Hoffmann"
    link: "https://researchr.org/alias/kathrin-hoffmann"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295303"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295303"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/ErmelMBEH09"
  cites: 0
  citedby: 0
  pages: "47-50"
  booktitle: "vl"
  kind: "inproceedings"
  key: "ErmelMBEH09"
- title: "On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars"
  author:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Frank Hermann"
    link: "https://researchr.org/alias/frank-hermann"
  - name: "Ulrike Prange"
    link: "https://researchr.org/alias/ulrike-prange"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-04425-0_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04425-0_18"
  tags:
  - "model-to-model transformation"
  - "rule-based"
  - "completeness"
  - "graph transformation"
  - "meta-model"
  - "source-to-source"
  - "graph-rewriting"
  - "model transformation"
  - "Meta-Environment"
  - "rewriting"
  - "transformation"
  - "grammar"
  researchr: "https://researchr.org/publication/EhrigEHP09"
  cites: 0
  citedby: 0
  pages: "241-255"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "EhrigEHP09"
- title: "Information Preserving Bidirectional Model Transformations"
  author:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Karsten Ehrig"
    link: "https://researchr.org/alias/karsten-ehrig"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Frank Hermann"
    link: "https://researchr.org/alias/frank-hermann"
  - name: "Gabriele Taentzer"
    link: "http://www.mathematik.uni-marburg.de/~taentzer/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71289-3_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71289-3_7"
  tags:
  - "model-to-model transformation"
  - "bidirectional model transformations"
  - "bidirectional transformation"
  - "bidirectional model transformation"
  - "meta-model"
  - "source-to-source"
  - "model transformation"
  - "information models"
  - "Meta-Environment"
  - "transformation"
  researchr: "https://researchr.org/publication/EhrigEEHT07"
  cites: 0
  citedby: 0
  pages: "72-86"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "EhrigEEHT07"
- title: "Rule-based refinement of high-level nets preserving safety properties"
  author:
  - name: "Julia Padberg"
    link: "https://researchr.org/alias/julia-padberg"
  - name: "Magdalena Gajewsky"
    link: "https://researchr.org/alias/magdalena-gajewsky"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  year: "2001"
  tags:
  - "rule-based"
  - "refinement"
  - "rules"
  researchr: "https://researchr.org/publication/PadbergGE01"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "40"
  number: "1"
  pages: "97-118"
  kind: "article"
  key: "PadbergGE01"
- title: "Implementing Petri Net Transformations using Graph Transformation Tools"
  author:
  - name: "Enrico Biermann"
    link: "http://www.tu-berlin.de/tfs/menue/home/team/biermann_enrico/"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Tony Modica"
    link: "https://researchr.org/alias/tony-modica"
  - name: "Peggy Sylopp"
    link: "https://researchr.org/alias/peggy-sylopp"
  year: "2008"
  doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/189/180"
  links:
    doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/189/180"
  tags:
  - "graph transformation"
  - "graph-rewriting"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/BiermannEMS08"
  cites: 0
  citedby: 0
  journal: "eceasst"
  volume: "14"
  kind: "article"
  key: "BiermannEMS08"
- title: "Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation"
  author:
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Gabriele Taentzer"
    link: "http://www.mathematik.uni-marburg.de/~taentzer/"
  - name: "Roswitha Bardohl"
    link: "https://researchr.org/alias/roswitha-bardohl"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3393&spage=64"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3393&spage=64"
  tags:
  - "graph transformation"
  - "graph-rewriting"
  - " algebra"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/ErmelTB05"
  cites: 0
  citedby: 0
  pages: "64-83"
  booktitle: "BIRTHDAY"
  kind: "inproceedings"
  key: "ErmelTB05"
- title: "Preface"
  author:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Julia Padberg"
    link: "https://researchr.org/alias/julia-padberg"
  year: "2001"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/73/28/show/Products/notes/index.htt#001"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/73/28/show/Products/notes/index.htt#001"
  researchr: "https://researchr.org/publication/EhrigEP01"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "44"
  number: "4"
  pages: "188-189"
  kind: "article"
  key: "EhrigEP01"
- title: "The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY"
  author:
  - name: "Herbert Weber"
    link: "https://researchr.org/alias/herbert-weber"
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Wolfgang Reisig"
    link: "https://researchr.org/alias/wolfgang-reisig"
  - name: "Alexander Borusan"
    link: "https://researchr.org/alias/alexander-borusan"
  - name: "Sabine Lembke"
    link: "https://researchr.org/alias/sabine-lembke"
  - name: "Juliane Dehnert"
    link: "https://researchr.org/alias/juliane-dehnert"
  - name: "Michael Weber"
    link: "https://researchr.org/alias/michael-weber"
  - name: "Axel Martens"
    link: "https://researchr.org/alias/axel-martens"
  - name: "Julia Padberg"
    link: "https://researchr.org/alias/julia-padberg"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Anilda Qemali"
    link: "https://researchr.org/alias/anilda-qemali"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2472&spage=1"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2472&spage=1"
  researchr: "https://researchr.org/publication/WeberERBLDWMPEQ03"
  cites: 0
  citedby: 0
  pages: "1-21"
  booktitle: "dfg"
  kind: "inproceedings"
  key: "WeberERBLDWMPEQ03"
- title: "Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks"
  author:
  - name: "Julia Padberg"
    link: "https://researchr.org/alias/julia-padberg"
  - name: "Kathrin Hoffmann"
    link: "https://researchr.org/alias/kathrin-hoffmann"
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Tony Modica"
    link: "https://researchr.org/alias/tony-modica"
  - name: "Enrico Biermann"
    link: "http://www.tu-berlin.de/tfs/menue/home/team/biermann_enrico/"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71289-3_29"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71289-3_29"
  tags:
  - "architecture"
  - "consistency"
  - "mobile"
  researchr: "https://researchr.org/publication/PadbergHEMBE07"
  cites: 0
  citedby: 0
  pages: "383-397"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "PadbergHEMBE07"
- title: "Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«"
  author:
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Michael Weber"
    link: "https://researchr.org/alias/michael-weber"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2128/21280079.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2128/21280079.htm"
  researchr: "https://researchr.org/publication/ErmelW01"
  cites: 0
  citedby: 0
  pages: "79-102"
  booktitle: "apn"
  kind: "inproceedings"
  key: "ErmelW01"
- title: "Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation"
  author:
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Karsten Hölscher"
    link: "https://researchr.org/alias/karsten-h%C3%B6lscher"
  - name: "Sabine Kuske"
    link: "https://researchr.org/alias/sabine-kuske"
  - name: "Paul Ziemann"
    link: "https://researchr.org/alias/paul-ziemann"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.18"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.18"
  tags:
  - "model-to-model transformation"
  - "rule-based"
  - "graph transformation"
  - "meta-model"
  - "UML"
  - "source-to-source"
  - "graph-rewriting"
  - "model transformation"
  - "Meta-Environment"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/ErmelHKZ05"
  cites: 0
  citedby: 1
  pages: "125-133"
  booktitle: "vl"
  kind: "inproceedings"
  key: "ErmelHKZ05"
- title: "Transforming Specification Architectures by GenGED"
  author:
  - name: "Roswitha Bardohl"
    link: "https://researchr.org/alias/roswitha-bardohl"
  - name: "Claudia Ermel"
    link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/"
  - name: "Julia Padberg"
    link: "https://researchr.org/alias/julia-padberg"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050030.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050030.htm"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/BardohlEP02"
  cites: 0
  citedby: 0
  pages: "30-44"
  booktitle: "gg"
  kind: "inproceedings"
  key: "BardohlEP02"