Henshin - Publications

For a more comprehensive overview oh Henshin-related papers, check out the citations at Google Scholar.

Conference and Workshop Proceedings

2014
• Simon Schwichtenberg, Christian Gerth, Zille Huma, Gregor Engels: Normalizing Heterogeneous Service Description Models with Generated QVT Transformations. Proceedings of ECMFA 2014 (to appear).
• Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, and Martina Seidl: MocOCL: A Model Checker for CTL-Extended OCL Specifications. Proceedings of VOLT 2014.
• Christian Krause, Matthias Tichy, Holger Giese: Implementing Graph Transformations in the Bulk Synchronous Parallel Model. Proceedings of FASE 2014.

2013
• Zille Huma, Christian Gerth, Gregor Engels, Oliver Juwig: Automated Service Composition for On-the-Fly SOAs. Proceedings of ICSOC 2013. Lecture Notes in Computer Science 8274, Springer-Verlag.
• Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl: OCL meets CTL: Towards CTL-Extended OCL Model Checking. Proceedings of the OCL 2013 Workshop.
• Michalis Famelis, Rick Salay, Alessio Di Sandro and Marsha Chechik: Transformation of Models Containing Uncertainty Proceedings of MODELS 2013.
• Christian Krause, Johannes Dyck, Holger Giese: Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations. Proceedings of ICMT'13, Lecture Notes in Computer Science 7909, Springer-Verlag.
• Frank Hermann, Susann Gottmann, Nico Nachtigall, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel: On an Automated Translation of Satellite Procedures Using Triple Graph Grammars. Proceedings of ICMT'13, Lecture Notes in Computer Science 7909, Springer-Verlag.

2012
• Enrico Biermann, Claudia Ermel, Gabriele Taentzer: Formal foundation of consistent EMF model transformations by algebraic graph transformation. Software and System Modeling 11(2): 227-250 (2012).
• Christian Krause, Holger Giese: Probabilistic Graph Transformation Systems. Proceedings of ICGT'12, Lecture Notes in Computer Science 7562, Springer-Verlag. See also these slides.
• Claudia Ermel, Frank Hermann, Jürgen Gall, Daniel Binanzer: Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars. Proceedings of GraBaTs'12, ECEASST 54, 1-14, 2012.

2011
• Timo Kehrer, Udo Kelter, Gabriele Taentzer: A rule-based approach to the semantic lifting of model differences in the context of model versioning. Proceedings of ASE'11.
• Stefan Jurack, Johannes Tietje: Solving the TTC 2011 Reengineering Case with Henshin. Proceedings of TTC'11, EPTCS 74, 181-203, 2011.
• Stefan Jurack, Johannes Tietje: Saying Hello World with Henshin - A Solution to the TTC 2011 Instructive Case. Proceedings of TTC'11, EPTCS 74, 253-280, 2011.

2010
• Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, Gabriele Taentzer: Henshin: Advanced Concepts and Tools for In-place EMF Model Transformations. Proceedings of MoDELS'10, LNCS 6394, 121-135, Springer-Verlag, 2010.
• Claudia Ermel, Enrico Biermann, Johann Schmidt, Angeline Warning: Visual Modeling of Controlled EMF Model Transformation using Henshin. Proceedings of GraBaTs'10, ECEASST 32, 2010.
• Stefan Jurack: Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures. Proceedings of ICGT'10 -- Doctoral Symposium. LNCS 6372, 397-399, Springer-Verlag, 2010.
• Enrico Biermann: EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment. Proceedings of ICGT'10 -- Doctoral Symposium. LNCS 6372, 381-383, Springer-Verlag, 2010.

Other Material

• Christian Krause: Instance-aware Model Checking of Graph Transformation Systems using Henshin and mCRL2. Unpublished article, 2011.
• Enrico Biermann, Claudia Ermel, Stefan Jurack: Modeling the "Ecore to GenModel" Transformation with EMF Henshin. Proceedings of TTC'10, 2010.