Triple graph grammars in the large for translating satellite procedures F Hermann, S Gottmann, N Nachtigall, H Ehrig, B Braatz, G Morelli, ... Theory and Practice of Model Transformations: 7th International Conference …, 2014 | 30 | 2014 |
On an automated translation of satellite procedures using triple graph grammars F Hermann, S Gottmann, N Nachtigall, B Braatz, G Morelli, A Pierre, ... Theory and Practice of Model Transformations: 6th International Conference …, 2013 | 26 | 2013 |
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 | 12 | 2013 |
Solving the FIXML2Code-case Study with HenshinTGG. F Hermann, N Nachtigall, B Braatz, T Engel, S Gottmann TTC@ STAF, 32-46, 2014 | 6 | 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 | 6 | 2012 |
Transformation systems with incremental negative application conditions A Corradini, R Heckel, F Hermann, S Gottmann, N Nachtigall Recent Trends in Algebraic Development Techniques: 21st International …, 2013 | 5 | 2013 |
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 |
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, Luxembourg, Luxembourg, 2014 | 1 | 2014 |
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars S Gottmann Deutsche Nationalbibliothek, 2013 | 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 Unilu-University of Luxembourg, Luxembourg, 2016 | | 2016 |