Publications in publications/kormoran-typo3.bib
11 results
2015
[11] Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (, , , , ), In Fourth Workshop on the Analysis of Model Transformations, . (To Appear) [bibtex] [pdf]
2014
[10] Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars - Ensuring Conformance of Relational Model Transformation Specifications and Implementations (, , ), In Software and Systems Modeling, Springer Berlin Heidelberg, volume 13, . [bibtex] [pdf]
2013
[9] Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (, , ), Chapter in Theory and Practice of Model Transformations (Keith Duddy, Gerti Kappel, eds.), Springer Berlin Heidelberg, volume 7909, . [bibtex] [pdf]
2012
[8] Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case (, , , ), Chapter in Proceedings of the First International Workshop on Bidirectional Transformations (Frank Hermann, Janis Voigtländer, eds.), EC-EASST, volume 49, . [bibtex] [pdf]
[7]The MDELab Tool Framework for the Development of Correct Model Transformations with Triple Graph Grammars (, , ), In MoDELS Workshop on Analysis of Model Transformation (Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, eds.), ACM, . [bibtex] [pdf]
[6]Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (, , , , ), In Applications of graph Transformation with Industrial Relevance, 4th International Symposium, (AGTIVE 2011) (Andy Schürr, Daniel Varró, Gergely Varró, eds.), Springer, volume 7233, . [bibtex] [pdf]
[5] Integration of Triple Graph Grammars and Constraints (, , , ), In Proceedings of the 7th International Workshop on Graph Based Tools (GraBaTs 2012) (Christian Krause, Bernhard Westfechtel, eds.), EC-EASST, volume 52, . [bibtex] [pdf]
[4]Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements (, , , ), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12) (Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, eds.), Springer, volume 7562, . [bibtex] [pdf]
[3] Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (, ), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12) (Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, eds.), Springer, volume 7562, . [bibtex] [pdf]
2011
[2] Iterative Development of Consistency-Preserving Rule-Based Refactorings (, , , , ), In Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings (Jordi Cabot, Eelco Visser, eds.), Springer / Heidelberg, volume 6707, . [bibtex] [pdf]
2010
[1] Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars (, , ), Technical report 37, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [pdf]
Powered by bibtexbrowser