Englisch

Deckwerth, Frederik (2017)
Static Verification Techniques for Attributed Graph Transformations.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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.
Konferenzveröffentlichung, 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)
Artikel, Bibliographie

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

Deckwerth, Frederik ; Varró, Gergely
Hrsg.: Giese, Holger ; König, Barbara (2014)
Attribute Handling for Generating Preconditions from Graph Constraints.
7th International Conference on Graph Transformation (ICGT).
Konferenzveröffentlichung, 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.
Konferenzveröffentlichung, 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).
Konferenzveröffentlichung, Bibliographie

Varró, Gergely ; Deckwerth, Frederik (2013)
A Rete Network Construction Algorithm for Incremental Pattern Matching.
Proceedings of the 6th International Conference on Model Transformation.
Konferenzveröffentlichung, 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).
Konferenzveröffentlichung, 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
Buchkapitel, Bibliographie