Follow
Nico Nachtigall
Nico Nachtigall
PhD Candidate in Computer Science, Université du Luxembourg
Verified email at uni.lu
Title
Cited by
Cited by
Year
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
322014
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
272013
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
122013
Solving the FIXML2Code-case Study with HenshinTGG.
F Hermann, N Nachtigall, B Braatz, T Engel, S Gottmann
TTC@ STAF, 32-46, 2014
72014
Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars.
N Nachtigall, F Hermann, B Braatz, T Engel
VOLT@ STAF, 46-55, 2014
52014
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
52012
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
42013
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
32016
Modelling the Living Place Project using Algebraic Higher Order Nets
S Gottmann, N Nachtigall
Diploma Thesis, Technische Universität Berlin, 2011. http://users …, 2011
32011
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, 2014
12014
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
S Gottmann
Deutsche Nationalbibliothek, 2013
12013
Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems.
N Nachtigall, B Braatz, T Engel
MoDeVVa@ MoDELS, 61-66, 2013
12013
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
12012
Domain Completeness of Model Transformations and Synchronisations
N Nachtigall
University of Luxembourg, Luxembourg, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–14