Model synchronization based on triple graph grammars: correctness, completeness and invertibility F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong, ... Software & Systems Modeling 14, 241-269, 2015 | 67 | 2015 |
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 |
Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars. S Gottmann, F Hermann, C Ermel, T Engel, G Morelli MPM@ MoDELS, 67-76, 2013 | 6 | 2013 |
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 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 |
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 |
Synchronisation of Model Visualisation and Code Generation Based on Model Transformation S Gottmann Unilu-University of Luxembourg, Luxembourg, Luxembourg, 2016 | | 2016 |
Model Synchronization Based on Triple Graph Grammars F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong, ... | | |