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.
206In: Electronic Proceedings in Theoretical Computer Science, In: Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, pp. 17-31, [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, 14 (2), Springer Verlag, pp. 597-621, [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.
181In: Electronic Proceedings in Theoretical Computer Science, In: Graphs as Models, In: Graphs as Models, GaM 2015, pp. 97-112, [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.
8571In: Lecture Notes in Computer Science (LNCS), Springer Verlag, In: 7th International Conference on Graph Transformation (ICGT), pp. 81-96, [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.
67In: Electronic Communications of the EASST, European Assoc. of Software Science and Technology, In: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques, [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.
8569In: Lecture Notes in Computer Science (LNCS), Heidelberg, Springer Verlag, In: Modelling Foundations and Applications - 10th European Conference (ECMFA 2014), pp. 1-17, [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.
7909In: Lecture Notes in Computer Science (LNCS), Heidelberg, Springer Verlag, In: Proceedings of the 6th International Conference on Model Transformation, pp. 125-140, [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), pp. 125-140, [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: Lecture Notes in Computer Science (LNCS), 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 Oct 20 01:30:24 2020 CEST.