Transformation Systems with Incremental Negative Application Conditions. - Andrea Corradini 001; Reiko Heckel; Frank Hermann 001; Susann Gottmann; Nico Nachtigall (WADT, 2012)

On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets. - Susann Gottmann; Nico Nachtigall; Kathrin Hoffmann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

On an Automated Translation of Satellite Procedures Using Triple Graph Grammars. - Frank Hermann 001; Susann Gottmann; Nico Nachtigall; Benjamin Braatz; Gianluigi Morelli; Alain Pierre; Thomas Engel 001 (ICMT, 2013)

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. - Susann Gottmann; Frank Hermann 001; Nico Nachtigall; Benjamin Braatz; Claudia Ermel; Hartmut Ehrig; Thomas Engel 001 (AMT@MoDELS, 2013)

Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems. - Nico Nachtigall; Benjamin Braatz; Thomas Engel 001 (MoDeVVa@MoDELS, 2013)

Triple Graph Grammars in the Large for Translating Satellite Procedures. - Frank Hermann 001; Susann Gottmann; Nico Nachtigall; Hartmut Ehrig; Benjamin Braatz; Gianluigi Morelli; Alain Pierre; Thomas Engel 001; Claudia Ermel (ICMT, 2014)

Solving the FIXML2Code-case Study with HenshinTGG. - Frank Hermann 001; Nico Nachtigall; Benjamin Braatz; Thomas Engel 001; Susann Gottmann (TTC@STAF, 2014)

Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars. - Nico Nachtigall; Frank Hermann 001; Benjamin Braatz; Thomas Engel 001 (VOLT@STAF, 2014)

Towards the Propagation of Model Updates along different Views in Multi-View Models. - Susann Gottmann; Nico Nachtigall; Claudia Ermel; Frank Hermann 001; Thomas Engel 001 (Bx@ETAPS, 2016)

Domain Completeness of Model Transformations and Synchronisations. - Nico Nachtigall (2016)