Nico Nachtigall

发表

Domain Completeness of Model Transformations and Synchronisations

Nico Nachtigall, 2016 .

On the Concurrent Semantics of Transformation Systems with Negative Application Conditions

Reiko Heckel, Andrea Corradini, Susann Gottmann, 2012 .

On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets

Kathrin Hoffmann, Susann Gottmann, Nico Nachtigall, 2012, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

On an Automated Translation of Satellite Procedures Using Triple Graph Grammars

Thomas Engel, Frank Hermann, Benjamin Braatz, 2013, ICMT.

Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems

Thomas Engel, Benjamin Braatz, Nico Nachtigall, 2013, MoDeVVa@MoDELS.

Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars

Thomas Engel, Frank Hermann, Benjamin Braatz, 2014, VOLT@STAF.

Towards the Propagation of Model Updates along different Views in Multi-View Models

Thomas Engel, Frank Hermann, Claudia Ermel, 2016, Bx@ETAPS.

Transformation Systems with Incremental Negative Application Conditions

Reiko Heckel, Frank Hermann, Andrea Corradini, 2012, WADT.

Triple Graph Grammars in the Large for Translating Satellite Procedures

Hartmut Ehrig, Thomas Engel, Frank Hermann, 2014, ICMT.

Solving the FIXML2Code-case Study with HenshinTGG

Thomas Engel, Frank Hermann, Benjamin Braatz, 2014, TTC@STAF.

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars

Hartmut Ehrig, Thomas Engel, Frank Hermann, 2013, AMT@MoDELS.