TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 10.

Deckwerth, Frederik :
Static Verification Techniques for Attributed Graph Transformations.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6150]
Technische Universität , Darmstadt
[Dissertation], (2016)

Deckwerth, Frederik ; Kulcsar, Geza ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy :
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
[Online-Edition: http://dx.doi.org/10.4204/EPTCS.206.3]
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 .
[Konferenz- oder Workshop-Beitrag], (2016)

Varró, Gergely ; Deckwerth, Frederik ; Wieber, Martin ; Schürr, Andy :
An Algorithm for Generating Model-Sensitive Search Plans for Pattern Matching on EMF Models.
[Online-Edition: http://dx.doi.org/10.1007/s10270-013-0372-2]
In: Software and Systems Modeling, 14 (2) pp. 597-621.
[Artikel], (2015)

Kulcsar, Geza ; Deckwerth, Frederik ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy
Rensink, Arend ; Zambon, Eduardo (eds.) :

Improved Conflict Detection for Graph Transformation with Attributes.
[Online-Edition: http://dx.doi.org/10.4204/EPTCS.181.7]
In: Graphs as Models, GaM 2015. In: Electronic Proceedings in Theoretical Computer Science , 181 .
[Konferenz- oder Workshop-Beitrag], (2015)

Deckwerth, Frederik ; Varró, Gergely
Giese, Holger ; König, Barbara (eds.) :

Attribute Handling for Generating Preconditions from Graph Constraints.
[Online-Edition: http://dx.doi.org/10.1007/978-3-319-09108-2_6]
In: 7th International Conference on Graph Transformation (ICGT). In: Lecture Notes in Computer Science (LNCS) , 8571 . Springer Verlag
[Konferenz- oder Workshop-Beitrag], (2014)

Deckwerth, Frederik ; Varró, Gergely :
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation.
[Online-Edition: http://journal.ub.tu-berlin.de/eceasst/article/view/945]
In: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques. In: Electronic Communications of the EASST , 67 . European Assoc. of Software Science and Technology
[Konferenz- oder Workshop-Beitrag], (2014)

Anjorin, Anthony ; Rose, Sebastian ; Deckwerth, Frederik ; Schürr, Andy :
Efficient Model Synchronization with View Triple Graph Grammars.
[Online-Edition: http://link.springer.com/chapter/10.1007/978-3-319-09195-2_1]
In: Modelling Foundations and Applications - 10th European Conference (ECMFA 2014). In: Lecture Notes in Computer Science (LNCS) , 8569 . Springer Verlag , Heidelberg
[Konferenz- oder Workshop-Beitrag], (2014)

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

Varró, Gergely ; Deckwerth, Frederik :
A Rete Network Construction Algorithm for Incremental Pattern Matching.
[Online-Edition: http://link.springer.com/chapter/10.1007%2F978-3-642-38883-5...]
In: International Conference on Theory and Practice of Model Transformations (ICMT).
[Konferenz- oder Workshop-Beitrag], (2013)

Varró, Gergely ; Deckwerth, Frederik ; Wieber, Martin ; Schürr, Andy :
An Algorithm for Generating Model-Sensitive Search Plans for EMF Models.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-30476-7_15]
In: Theory and Practice of Model Transformations. Lecture Notes in Computer Science (LNCS), 7307 (0302-9743). Springer, Berlin-Heidelberg , pp. 224-239.
[Buchkapitel], (2012)

Diese Liste wurde am Tue Sep 26 07:49:58 2017 CEST generiert.