publications: - title: "A comparison of Intrusion Detection systems" author: - name: "Enrico Biermann" link: "http://www.tu-berlin.de/tfs/menue/home/team/biermann_enrico/" - name: "E. Cloete" link: "https://researchr.org/alias/e.-cloete" - name: "Lucas M. Venter" link: "https://researchr.org/alias/lucas-m.-venter" year: "2001" tags: - "e-science" researchr: "https://researchr.org/publication/BiermannCV01" cites: 0 citedby: 0 journal: "compsec" volume: "20" number: "8" pages: "676-683" kind: "article" key: "BiermannCV01" - title: "Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets" author: - name: "Enrico Biermann" link: "http://www.tu-berlin.de/tfs/menue/home/team/biermann_enrico/" - name: "Tony Modica" link: "https://researchr.org/alias/tony-modica" year: "2008" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/160" links: doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/160" tags: - "rule-based" - "analysis" - "rules" - "transformation" researchr: "https://researchr.org/publication/BiermannM08" cites: 0 citedby: 0 journal: "eceasst" volume: "10" kind: "article" key: "BiermannM08" - 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: "EMF Model Refactoring based on Graph Transformation Concepts" 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: "Christian Köhler" link: "https://researchr.org/alias/christian-k%C3%B6hler" - name: "Günter Kuhns" link: "https://researchr.org/alias/g%C3%BCnter-kuhns" - 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/34" links: doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/34" tags: - "model-to-model transformation" - "rule-based" - "graph transformation" - "meta-model" - "model refactoring" - "refactoring" - "EMF" - "source-to-source" - "graph-rewriting" - "rule-based refactoring" - "model transformation" - "Meta-Environment" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/BiermannEKKTW06%3A0" cites: 0 citedby: 0 journal: "eceasst" volume: "3" kind: "article" key: "BiermannEKKTW06:0" - title: "Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools" author: - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" - name: "Enrico Biermann" link: "http://www.tu-berlin.de/tfs/menue/home/team/biermann_enrico/" - name: "Dénes Bisztray" link: "https://researchr.org/alias/d%C3%A9nes-bisztray" - name: "Bernd Bohnet" link: "https://researchr.org/alias/bernd-bohnet" - name: "Iovka Boneva" link: "https://researchr.org/alias/iovka-boneva" - name: "Artur Boronat" link: "http://www.cs.le.ac.uk/people/aboronat/" - name: "Leif Geiger" link: "http://" - name: "Rubino Geiß" link: "https://researchr.org/alias/rubino-gei%C3%9F" - name: "Ákos Horváth" link: "https://researchr.org/alias/%C3%A1kos-horv%C3%A1th" - name: "Ole Kniemeyer" link: "https://researchr.org/alias/ole-kniemeyer" - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" - name: "Benjamin Ness" link: "https://researchr.org/alias/benjamin-ness" - name: "Detlef Plump" link: "http://www-users.cs.york.ac.uk/~det/" - name: "Tamás Vajk" link: "https://researchr.org/alias/tam%C3%A1s-vajk" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-89020-1_35" links: doi: "http://dx.doi.org/10.1007/978-3-540-89020-1_35" tags: - "case study" - "graph transformation" - "graph-rewriting" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/TaentzerBBBBBGGHKMNPV07" cites: 0 citedby: 0 pages: "514-539" booktitle: "agtive" kind: "inproceedings" key: "TaentzerBBBBBGGHKMNPV07" - title: "Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations" author: - name: "Enrico Biermann" link: "http://www.tu-berlin.de/tfs/menue/home/team/biermann_enrico/" - name: "Jurack" link: "https://researchr.org/alias/jurack" - name: "Krause" link: "https://researchr.org/alias/krause" - name: "Arendt" link: "https://researchr.org/alias/arendt" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" year: "2010" tags: - "model-to-model transformation" - "meta-model" - "EMF" - "source-to-source" - "model transformation" - "Meta-Environment" - "transformation" researchr: "https://researchr.org/publication/Biermann%3AMoDELS%3A2010" cites: 0 citedby: 0 booktitle: "MoDELS" kind: "inproceedings" key: "Biermann:MoDELS:2010" - 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: "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: "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: "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: "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: "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: "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: "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: "Graphical Definition of In-Place Transformations in 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: "Christian Köhler" link: "https://researchr.org/alias/christian-k%C3%B6hler" - name: "Günter Kuhns" link: "https://researchr.org/alias/g%C3%BCnter-kuhns" - 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://dx.doi.org/10.1007/11880240_30" links: doi: "http://dx.doi.org/10.1007/11880240_30" tags: - "model-to-model transformation" - "Eclipse" - "graphical modeling framework" - "meta-model" - "modeling" - "source-to-source" - "model transformation" - "Meta-Environment" - "transformation" researchr: "https://researchr.org/publication/BiermannEKKTW06" cites: 0 citedby: 0 pages: "425-439" booktitle: "MoDELS" kind: "inproceedings" key: "BiermannEKKTW06" - 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"