[15] | Translation validation of coloured Petri net models of programs on integers (Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal, Holger Giese), In Acta Informatica, 2022. |
[14] | Automatic verification of behavior preservation at the transformation level for relational model transformation (Johannes Dyck, Holger Giese, Leen Lambers), In Softw. Syst. Model., volume 18, 2019. |
[13] | Equivalence checking of Petri net models of programs using static and dynamic cut-points (Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal), In Acta Informatica, volume 56, 2019. |
[12] | Automatic Verification of Behavior Preservation at the Transformation Level for Relational Model Transformation (Johannes Dyck, Holger Giese, Leen Lambers), Technical report 112, Hasso Plattner Institute, University of Potsdam, 2017. |
[11] | Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner), In Fourth Workshop on the Analysis of Model Transformations, 2015. (To Appear) |
[10] | Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars - Ensuring Conformance of Relational Model Transformation Specifications and Implementations (Holger Giese, Stephan Hildebrandt, Leen Lambers), In Software and Systems Modeling, Springer Berlin Heidelberg, volume 13, 2014. |
[9] | Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (Stephan Hildebrandt, Leen Lambers, Holger Giese), Chapter in Theory and Practice of Model Transformations (Keith Duddy, Gerti Kappel, eds.), Springer Berlin Heidelberg, volume 7909, 2013. |
[8] | Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case (Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas), Chapter in Proceedings of the First International Workshop on Bidirectional Transformations (Frank Hermann, Janis Voigtländer, eds.), EC-EASST, volume 49, 2012. |
[7] | The MDELab Tool Framework for the Development of Correct Model Transformations with Triple Graph Grammars (Stephan Hildebrandt, Leen Lambers, Holger Giese), In MoDELS Workshop on Analysis of Model Transformation (Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, eds.), ACM, 2012. |
[6] | Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter), In Applications of graph Transformation with Industrial Relevance, 4th International Symposium, (AGTIVE 2011) (Andy Schürr, Daniel Varró, Gergely Varró, eds.), Springer, volume 7233, 2012. |
[5] | Integration of Triple Graph Grammars and Constraints (Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese), In Proceedings of the 7th International Workshop on Graph Based Tools (GraBaTs 2012) (Christian Krause, Bernhard Westfechtel, eds.), EC-EASST, volume 52, 2012. |
[4] | Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements (Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12) (Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, eds.), Springer, volume 7562, 2012. |
[3] | Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (Holger Giese, Leen Lambers), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12) (Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, eds.), Springer, volume 7562, 2012. |
[2] | Iterative Development of Consistency-Preserving Rule-Based Refactorings (Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese), 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, 2011. |
[1] | Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars (Holger Giese, Stephan Hildebrandt, Leen Lambers), Technical report 37, Hasso Plattner Institute at the University of Potsdam, 2010. |