Frederik Deckwerth

According to our database1, Frederik Deckwerth authored at least 10 papers between 2012 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Static Verification Techniques for Attributed Graph Transformations.
PhD thesis, 2017

2016
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016

2015
An algorithm for generating model-sensitive search plans for pattern matching on EMF models.
Softw. Syst. Model., 2015

Improved Conflict Detection for Graph Transformation with Attributes.
Proceedings of the Proceedings Graphs as Models, 2015

2014
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Attribute Handling for Generating Preconditions from Graph Constraints.
Proceedings of the Graph Transformation - 7th International Conference, 2014

Efficient Model Synchronization with View Triple Graph Grammars.
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

2013
Generating Monitors for Usage Control.
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

A Rete Network Construction Algorithm for Incremental Pattern Matching.
Proceedings of the Theory and Practice of Model Transformations, 2013

2012
An Algorithm for Generating Model-Sensitive Search Plans for EMF Models.
Proceedings of the Theory and Practice of Model Transformations, 2012


  Loading...