Publications in publications/kormoran-typo3.bib
11 results
2015
Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner, "Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations", in Fourth Workshop on the Analysis of Model Transformations, CEUR Workshop Proceedings, 2015, To Appear. [bibtex] [url]
2014
Holger Giese, Stephan Hildebrandt and Leen Lambers, "Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars - Ensuring Conformance of Relational Model Transformation Specifications and Implementations", Software and Systems Modeling, vol. 13, no. 1, pp. 273-299, 2014. [bibtex] [url]
2013
Stephan Hildebrandt, Leen Lambers and Holger Giese, "Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations", in Keith Duddy, Gerti Kappel, Eds., Theory and Practice of Model Transformations, vol. 7909 of Lecture Notes in Computer Science, pp. 174-188, Springer Berlin Heidelberg, 2013. [bibtex] [url]
2012
Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas, "Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case", in Frank Hermann, Janis Voigtländer, Eds., Proceedings of the First International Workshop on Bidirectional Transformations, vol. 49, pp. 1-16, EC-EASST, 2012. [bibtex] [url]
Stephan Hildebrandt, Leen Lambers and Holger Giese, "The MDELab Tool Framework for the Development of Correct Model Transformations with Triple Graph Grammars", in Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, Eds., MoDELS Workshop on Analysis of Model Transformation, pp. 33-34, ACM, 2012. [bibtex]
Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter, "Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations", in Andy Schürr, Daniel Varró, Gergely Varró, Eds., Applications of graph Transformation with Industrial Relevance, 4th International Symposium, (AGTIVE 2011), vol. 7233 of LNCS, pp. 238-253, Springer, 2012. [bibtex]
Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese, "Integration of Triple Graph Grammars and Constraints", in Christian Krause, Bernhard Westfechtel, Eds., Proceedings of the 7th International Workshop on Graph Based Tools (GraBaTs 2012), vol. 52, pp. 1-12, EC-EASST, 2012. [bibtex] [url]
Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese, "Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements", in Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, Eds., Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), vol. 7562 of LNCS, pp. 141-155, Springer, 2012. [bibtex]
Holger Giese and Leen Lambers, "Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking", in Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, Eds., Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), vol. 7562 of LNCS, pp. 249-263, Springer, 2012. [bibtex] [url]
2011
Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese, "Iterative Development of Consistency-Preserving Rule-Based Refactorings", in Jordi Cabot, Eelco Visser, Eds., Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, vol. 6707 of Lecture Notes in Computer Science, pp. 123-137, Springer / Heidelberg, 2011. [bibtex] [url]
2010
Holger Giese, Stephan Hildebrandt and Leen Lambers, "Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars", Technical Report 37, Hasso Plattner Institute at the University of Potsdam, 2010. [bibtex] [url]
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser