On an automated translation of satellite procedures using triple graph grammars F Hermann, S Gottmann, N Nachtigall, B Braatz, G Morelli, A Pierre, ... International Conference on Theory and Practice of Model Transformations, 50-51, 2013 | 26 | 2013 |

Triple graph grammars in the large for translating satellite procedures F Hermann, S Gottmann, N Nachtigall, H Ehrig, B Braatz, G Morelli, ... International Conference on Theory and Practice of Model Transformations …, 2014 | 25 | 2014 |

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. S Gottmann, F Hermann, N Nachtigall, B Braatz, C Ermel, H Ehrig, ... AMT@ MoDELS, 2013 | 9 | 2013 |

Solving the FIXML2Code-case Study with HenshinTGG. F Hermann, N Nachtigall, B Braatz, T Engel, S Gottmann TTC@ STAF, 32-46, 2014 | 5 | 2014 |

On modelling communication in ubiquitous computing systems using algebraic higher order nets S Gottmann, N Nachtigall, K Hoffmann Electronic Communications of the EASST 51, 2012 | 5 | 2012 |

Modelling the Living Place Project using Algebraic Higher Order Nets S Gottmann, N Nachtigall Diploma Thesis, Technische Universität Berlin, 2011. http://users …, 2011 | 5 | 2011 |

Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars. N Nachtigall, F Hermann, B Braatz, T Engel VOLT@ STAF, 46-55, 2014 | 4 | 2014 |

Transformation systems with incremental negative application conditions A Corradini, R Heckel, F Hermann, S Gottmann, N Nachtigall International Workshop on Algebraic Development Techniques, 127-142, 2012 | 4 | 2012 |

Towards the Propagation of Model Updates along different Views in Multi-View Models. S Gottmann, N Nachtigall, C Ermel, F Hermann, T Engel Bx@ ETAPS, 45-60, 2016 | 3 | 2016 |

Triple Graph Grammars in the Large for Translating Satellite Procedures-Extended Version F Hermann, S Gottmann, N Nachtigall, H Ehrig, B Braatz, G Morelli, ... SnT, 2014 | 1 | 2014 |

Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars S Gottmann, F Hermann, N Nachtigall, B Braatz, C Ermel, H Ehrig, ... | 1 | 2013 |

Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems. N Nachtigall, B Braatz, T Engel MoDeVVa@ MoDELS, 61-66, 2013 | 1 | 2013 |

On the concurrent semantics of transformation systems with negative application conditions A Corradini, R Heckel, F Hermann, S Gottmann, N Nachtigall WADT 2012 Preliminary Proceedings, 37, 2012 | 1 | 2012 |

Domain Completeness of Model Transformations and Synchronisations N Nachtigall University of Luxembourg, Luxembourg, 2016 | | 2016 |