Nico Nachtigall

According to our database, Nico Nachtigall authored at least 10 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Domain Completeness of Model Transformations and Synchronisations.

Nico Nachtigall

PhD thesis, 2016

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

Susann Gottmann, Nico Nachtigall, Claudia Ermel, Frank Hermann, Thomas Engel

Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

2014

Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars.

Nico Nachtigall, Frank Hermann, Benjamin Braatz, Thomas Engel

Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Solving the FIXML2Code-case Study with HenshinTGG.

Frank Hermann, Nico Nachtigall, Benjamin Braatz, Thomas Engel, Susann Gottmann

Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

Triple Graph Grammars in the Large for Translating Satellite Procedures.

Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel

Proceedings of the Theory and Practice of Model Transformations, 2014

2013

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

Nico Nachtigall, Benjamin Braatz, Thomas Engel

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

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

Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel

Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

On an Automated Translation of Satellite Procedures Using Triple Graph Grammars.

Frank Hermann, Susann Gottmann, Nico Nachtigall, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel

Proceedings of the Theory and Practice of Model Transformations, 2013

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

Transformation Systems with Incremental Negative Application Conditions.

Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012