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
Number of items: 10.

Deckwerth, Frederik (2017):
Static Verification Techniques for Attributed Graph Transformations.
Darmstadt, Technische Universität, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6150],
[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: Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, In: Electronic Proceedings in Theoretical Computer Science, 206, [Online-Edition: http://dx.doi.org/10.4204/EPTCS.206.3],
[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.
In: Software and Systems Modeling, Springer Verlag, pp. 597-621, 14, (2), [Online-Edition: http://dx.doi.org/10.1007/s10270-013-0372-2],
[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: Graphs as Models, In: Graphs as Models, GaM 2015, In: Electronic Proceedings in Theoretical Computer Science, 181, [Online-Edition: http://dx.doi.org/10.4204/EPTCS.181.7],
[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.
Springer Verlag, In: 7th International Conference on Graph Transformation (ICGT), In: Lecture Notes in Computer Science (LNCS), 8571, [Online-Edition: http://dx.doi.org/10.1007/978-3-319-09108-2_6],
[Conference or Workshop Item]

Deckwerth, Frederik and Varró, Gergely (2014):
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation.
European Assoc. of Software Science and Technology, In: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques, In: Electronic Communications of the EASST, 67, [Online-Edition: http://journal.ub.tu-berlin.de/eceasst/article/view/945],
[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.
Heidelberg, Springer Verlag, In: Modelling Foundations and Applications - 10th European Conference (ECMFA 2014), In: Lecture Notes in Computer Science (LNCS), 8569, [Online-Edition: http://link.springer.com/chapter/10.1007/978-3-319-09195-2_1],
[Conference or Workshop Item]

Varró, Gergely and Deckwerth, Frederik (2013):
A Rete Network Construction Algorithm for Incremental Pattern Matching.
Heidelberg, Springer Verlag, In: Proceedings of the 6th International Conference on Model Transformation, In: Lecture Notes in Computer Science (LNCS), 7909, [Online-Edition: http://link.springer.com/chapter/10.1007%2F978-3-642-38883-5...],
[Conference or Workshop Item]

Varró, Gergely and Deckwerth, Frederik (2013):
A Rete Network Construction Algorithm for Incremental Pattern Matching.
In: International Conference on Theory and Practice of Model Transformations (ICMT), [Online-Edition: http://link.springer.com/chapter/10.1007%2F978-3-642-38883-5...],
[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: Theory and Practice of Model Transformations, Berlin-Heidelberg, Springer, pp. 224-239, [Online-Edition: http://dx.doi.org/10.1007/978-3-642-30476-7_15],
[Book Section]

This list was generated on Tue Jun 25 00:56:28 2019 CEST.