Deckwerth, Frederik (2017)
Static Verification Techniques for Attributed Graph Transformations.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Deckwerth, Frederik ; Kulcsar, Geza ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy (2016)
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering.
Conference or Workshop Item, Bibliographie

Varró, Gergely ; Deckwerth, Frederik ; Wieber, Martin ; Schürr, Andy (2015)
An Algorithm for Generating Model-Sensitive Search Plans for Pattern Matching on EMF Models.
In: Software and Systems Modeling, 14 (2)
Article, Bibliographie

Kulcsar, Geza ; Deckwerth, Frederik ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy
eds.: Rensink, Arend ; Zambon, Eduardo (2015)
Improved Conflict Detection for Graph Transformation with Attributes.
Graphs as Models, GaM 2015.
Conference or Workshop Item, Bibliographie

Deckwerth, Frederik ; Varró, Gergely
eds.: Giese, Holger ; König, Barbara (2014)
Attribute Handling for Generating Preconditions from Graph Constraints.
7th International Conference on Graph Transformation (ICGT).
Conference or Workshop Item, Bibliographie

Deckwerth, Frederik ; Varró, Gergely (2014)
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation.
Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques.
Conference or Workshop Item, Bibliographie

Anjorin, Anthony ; Rose, Sebastian ; Deckwerth, Frederik ; Schürr, Andy (2014)
Efficient Model Synchronization with View Triple Graph Grammars.
Modelling Foundations and Applications - 10th European Conference (ECMFA 2014).
Conference or Workshop Item, Bibliographie

Varró, Gergely ; Deckwerth, Frederik (2013)
A Rete Network Construction Algorithm for Incremental Pattern Matching.
Proceedings of the 6th International Conference on Model Transformation.
Conference or Workshop Item, Bibliographie

Varró, Gergely ; Deckwerth, Frederik (2013)
A Rete Network Construction Algorithm for Incremental Pattern Matching.
International Conference on Theory and Practice of Model Transformations (ICMT).
Conference or Workshop Item, Bibliographie

Varró, Gergely ; Deckwerth, Frederik ; Wieber, Martin ; Schürr, Andy (2012)
An Algorithm for Generating Model-Sensitive Search Plans for EMF Models.
In: Theory and Practice of Model Transformations
Book Section, Bibliographie