Henshin - Publications

Conference and Workshop Proceedings

Henshin: Advanced Concepts and Tools for In-place EMF Model Transformations. Proceedings of MoDELS'10, Lecture Notes in Computer Science, 2010, Volume 6394/2010, 121-135, DOI: 10.1007/978-3-642-16145-2_9.
Visual Modeling of Controlled EMF Model Transformation using Henshin. Proceedings of GraBaTs'10, Electronic Communications of the EASST, 2010, Volume 32.

Other Documents

Instance-aware Model Checking of Graph Transformation Systems using Henshin and mCRL2. Unpublished article.

If you would like to see your Henshin-related paper here too, please contact us on our mailing list.