| <?php
|
| require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/app.class.php");
|
| require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php");
|
| require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php");
|
|
|
| $App = new App();
|
| $Nav = new Nav();
|
| $Menu = new Menu();
|
|
|
| include($App->getProjectCommon());
|
|
|
| #
|
| # Begin: page-specific settings. Change these.
|
| $pageTitle = "Henshin - Publications";
|
| $pageKeywords = "EMF, Henshin, model transformation, installation";
|
| $pageAuthor = "Christian Krause";
|
|
|
| # Add page-specific Nav bars here
|
| # Format is Link text, link URL (can be http://www.someothersite.com/), target (_self, _blank), level (1, 2 or 3)
|
| # $Nav->addNavSeparator("My Page Links", "downloads.php");
|
| # $Nav->addCustomNav("My Link", "mypage.php", "_self", 3);
|
| # $Nav->addCustomNav("Google", "http://www.google.com/", "_blank", 3);
|
|
|
| # End: page-specific settings
|
| #
|
|
|
| # Paste your HTML content between the EOHTML markers!
|
| $html = <<<EOHTML
|
|
|
| <div id="maincontent">
|
| <div id="midcolumn">
|
| <h1>$pageTitle</h1>
|
|
|
| <p>
|
| <i>For a more comprehensive overview oh Henshin-related papers,
|
| check out the citations at
|
| <a href="http://scholar.google.com/scholar?oi=bibs&hl=en&cites=7691440496879763805">Google Scholar</a>.</i>
|
| </p>
|
|
|
| <br>
|
| <h2>Conference and Workshop Proceedings</h2>
|
| <ul>
|
|
|
| <br><b>2014</b>
|
| <li>Christian Krause, Matthias Tichy, Holger Giese:
|
| <a href="http://link.springer.com/chapter/10.1007%2F978-3-642-54804-8_23">Implementing |
| Graph Transformations in the Bulk Synchronous Parallel Model</a>.
|
| Proceedings of <a href="http://www.etaps.org/index.php/2014/fase">FASE 2014</a>.</li>
|
|
|
| <br><b>2013</b>
|
| <li>Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl:
|
| <a href="http://ocl2013.inf.mit.bme.hu/submissions/ocl2013_submission_11.pdf">OCL meets CTL:
|
| Towards CTL-Extended OCL Model Checking</a>. Proceedings of the
|
| <a href="http://ocl2013.inf.mit.bme.hu">OCL 2013</a> Workshop.
|
| </li>
|
| <li>Michalis Famelis, Rick Salay, Alessio Di Sandro and Marsha Chechik:
|
| <a href="http://famelis.files.wordpress.com/2008/06/draft-models2013.pdf">Transformation of Models Containing Uncertainty</a>
|
| Proceedings of <a href="http://www.modelsconference.org/">MODELS 2013</a>.
|
| </li>
|
| <li>Christian Krause, Johannes Dyck, Holger Giese:
|
| <a href="http://link.springer.com/chapter/10.1007%2F978-3-642-38883-5_10">Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations</a>.
|
| Proceedings of <a href="http://www.model-transformation.org">ICMT'13</a>,
|
| Lecture Notes in Computer Science 7909, Springer-Verlag.
|
| </li>
|
| <li>Frank Hermann, Susann Gottmann, Nico Nachtigall, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel:
|
| <a href="http://link.springer.com/chapter/10.1007%2F978-3-642-38883-5_4">On an Automated Translation of Satellite Procedures Using Triple Graph Grammars</a>.
|
| Proceedings of <a href="http://www.model-transformation.org">ICMT'13</a>,
|
| Lecture Notes in Computer Science 7909, Springer-Verlag.
|
| </li>
|
|
|
| <br><b>2012</b>
|
| <li>Enrico Biermann, Claudia Ermel, Gabriele Taentzer:
|
| <a href="http://link.springer.com/article/10.1007%2Fs10270-011-0199-7">Formal foundation of consistent EMF model transformations by algebraic graph transformation.</a>
|
| Software and System Modeling 11(2): 227-250 (2012).
|
| </li>
|
| <li>Christian Krause, Holger Giese:
|
| <a href="http://link.springer.com/chapter/10.1007%2F978-3-642-33654-6_21">Probabilistic Graph Transformation Systems</a>.
|
| Proceedings of <a href="http://www.informatik.uni-bremen.de/icgt2012/">ICGT'12</a>,
|
| Lecture Notes in Computer Science 7562, Springer-Verlag. See also these <a href="http://www.hpi.uni-potsdam.de/fileadmin/hpi/FG_Giese/Personen/pgts-slides.pdf">slides</a>.
|
| </li>
|
| <li>
|
| Claudia Ermel, Frank Hermann, Jürgen Gall, Daniel Binanzer:
|
| <a href="http://journal.ub.tu-berlin.de/eceasst/article/view/771">Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars</a>.
|
| Proceedings of <a href="http://www.hpi.uni-potsdam.de/giese/events/2012/grabats/">GraBaTs'12</a>,
|
| ECEASST 54, 1-14, 2012.
|
| </li>
|
|
|
| <br><b>2011</b>
|
| <li>Timo Kehrer, Udo Kelter, Gabriele Taentzer:
|
| <a href="https://www.uni-marburg.de/fb12/informatik/arbeitsgebiete/swtechnik/softwaretechnik/taentzer/dateien_bilder/papers_2010_11/kkt11.pdf">A rule-based approach to the semantic lifting of model differences in the context of model versioning</a>.
|
| Proceedings of ASE'11.</li>
|
| <li>Stefan Jurack, Johannes Tietje:
|
| <a href="http://arxiv.org/abs/1111.4752v1">Solving the TTC 2011 Reengineering Case with Henshin</a>.
|
| Proceedings of <a href="http://planet-research20.org/ttc2011/">TTC'11</a>,
|
| EPTCS 74, 181-203, 2011.
|
| </li>
|
| <li>Stefan Jurack, Johannes Tietje:
|
| <a href="http://arxiv.org/abs/1111.4756v1">Saying Hello World with Henshin - A Solution to the TTC 2011 Instructive Case</a>.
|
| Proceedings of <a href="http://planet-research20.org/ttc2011/">TTC'11</a>,
|
| EPTCS 74, 253-280, 2011.
|
| </li>
|
|
|
| <br><b>2010</b>
|
| <li>Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, Gabriele Taentzer:
|
| <a href="http://www.springerlink.com/content/qrlj332wxhn01227/">Henshin: Advanced Concepts and Tools for In-place EMF Model Transformations</a>.
|
| Proceedings of <a href="http://models2010.ifi.uio.no/">MoDELS'10</a>,
|
| LNCS 6394, 121-135, Springer-Verlag, 2010.
|
| </li>
|
| <li>Claudia Ermel, Enrico Biermann, Johann Schmidt, Angeline Warning:
|
| <a href="http://journal.ub.tu-berlin.de/eceasst/article/view/528">Visual Modeling of Controlled EMF Model Transformation using Henshin</a>.
|
| Proceedings of <a href="http://grabats2010.inf.mit.bme.hu/">GraBaTs'10</a>,
|
| ECEASST 32, 2010.
|
| </li>
|
| <li>Stefan Jurack:
|
| <a href="http://www.springerlink.com/content/q82x8004mh26t621/">Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures</a>.
|
| Proceedings of <a href="http://www.utwente.nl/ewi/icgt2010/">ICGT'10</a> -- Doctoral Symposium.
|
| LNCS 6372, 397-399, Springer-Verlag, 2010.
|
| </li>
|
| <li>Enrico Biermann:
|
| <a href="http://www.springerlink.com/content/d73v62nlnk65517j/">EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment</a>.
|
| Proceedings of <a href="http://www.utwente.nl/ewi/icgt2010/">ICGT'10</a> -- Doctoral Symposium.
|
| LNCS 6372, 381-383, Springer-Verlag, 2010.
|
| </li>
|
|
|
| </ul>
|
|
|
| <br>
|
|
|
| <h2>Other Material</h2>
|
| <ul>
|
| <li>Christian Krause: <a href="documents/henshin_mcrl2.pdf">Instance-aware Model Checking of Graph Transformation Systems using Henshin and mCRL2</a>.
|
| Unpublished article, 2011.
|
| </li>
|
| <li>Enrico Biermann, Claudia Ermel, Stefan Jurack:
|
| <a href="http://www.ctit.utwente.nl/library/proceedings/wp10-03.pdf">Modeling the "Ecore to GenModel" Transformation with EMF Henshin</a>.
|
| Proceedings of <a href="http://planet-research20.org/ttc2010">TTC'10</a>, 2010.
|
| </li>
|
| </ul>
|
|
|
| <br>
|
| <br>
|
|
|
| <i>If you would like to see your Henshin-related paper here too,
|
| please contact us on our <a href="https://dev.eclipse.org/mailman/listinfo/henshin-dev">mailing list</a>.</i>
|
|
|
| </div>
|
| </div>
|
|
|
| EOHTML;
|
|
|
| # Generate the web page
|
| $App->generatePage($theme, $Menu, $Nav, $pageAuthor, $pageKeywords, $pageTitle, $html);
|
|
|
| ?>
|