Nico Nachtigall

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Domain Completeness of Model Transformations and Synchronisations.
PhD thesis, 2016

Towards the Propagation of Model Updates along different Views in Multi-View Models.
Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

2014
Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars.
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.
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.
Proceedings of the Theory and Practice of Model Transformations, 2014

2013
Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems.
Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars.
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.
Proceedings of the Theory and Practice of Model Transformations, 2013

2012
On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Transformation Systems with Incremental Negative Application Conditions.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012


  Loading...