TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: English
Number of items: 10.

English

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

Deckwerth, Frederik and Kulcsar, Geza and Lochau, Malte and Varró, Gergely and Schürr, Andy (2016):
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
In: Electronic Proceedings in Theoretical Computer Science, 206, pp. 17-31, Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, [Conference or Workshop Item]

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

Kulcsar, Geza and Deckwerth, Frederik and Lochau, Malte and Varró, Gergely and Schürr, Andy Rensink, Arend and Zambon, Eduardo (eds.) (2015):
Improved Conflict Detection for Graph Transformation with Attributes.
In: Electronic Proceedings in Theoretical Computer Science, 181, In: Graphs as Models, pp. 97-112,
Graphs as Models, GaM 2015, [Conference or Workshop Item]

Deckwerth, Frederik and Varró, Gergely Giese, Holger and König, Barbara (eds.) (2014):
Attribute Handling for Generating Preconditions from Graph Constraints.
In: Lecture Notes in Computer Science (LNCS), 8571, pp. 81-96, Springer Verlag, 7th International Conference on Graph Transformation (ICGT), [Conference or Workshop Item]

Deckwerth, Frederik and Varró, Gergely (2014):
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation.
In: Electronic Communications of the EASST, 67, European Assoc. of Software Science and Technology, Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques, [Conference or Workshop Item]

Anjorin, Anthony and Rose, Sebastian and Deckwerth, Frederik and Schürr, Andy (2014):
Efficient Model Synchronization with View Triple Graph Grammars.
In: Lecture Notes in Computer Science (LNCS), 8569, pp. 1-17, Heidelberg, Springer Verlag, Modelling Foundations and Applications - 10th European Conference (ECMFA 2014), [Conference or Workshop Item]

Varró, Gergely and Deckwerth, Frederik (2013):
A Rete Network Construction Algorithm for Incremental Pattern Matching.
In: Lecture Notes in Computer Science (LNCS), 7909, pp. 125-140, Heidelberg, Springer Verlag, Proceedings of the 6th International Conference on Model Transformation, [Conference or Workshop Item]

Varró, Gergely and Deckwerth, Frederik (2013):
A Rete Network Construction Algorithm for Incremental Pattern Matching.
pp. 125-140, International Conference on Theory and Practice of Model Transformations (ICMT), [Conference or Workshop Item]

Varró, Gergely and Deckwerth, Frederik and Wieber, Martin and Schürr, Andy (2012):
An Algorithm for Generating Model-Sensitive Search Plans for EMF Models.
In: Lecture Notes in Computer Science (LNCS), 7307, In: Theory and Practice of Model Transformations, pp. 224-239, Berlin-Heidelberg, Springer, [Book Section]

This list was generated on Sat Nov 28 02:18:12 2020 CET.