Nico Nachtigall
Nico Nachtigall
PhD Candidate in Computer Science, Université du Luxembourg
Verified email at uni.lu
Title
Cited by
Cited by
Year
On an automated translation of satellite procedures using triple graph grammars
F Hermann, S Gottmann, N Nachtigall, B Braatz, G Morelli, A Pierre, ...
International Conference on Theory and Practice of Model Transformations, 50-51, 2013
262013
Triple graph grammars in the large for translating satellite procedures
F Hermann, S Gottmann, N Nachtigall, H Ehrig, B Braatz, G Morelli, ...
International Conference on Theory and Practice of Model Transformations …, 2014
232014
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
82013
Solving the FIXML2Code-case Study with HenshinTGG.
F Hermann, N Nachtigall, B Braatz, T Engel, S Gottmann
TTC@ STAF, 32-46, 2014
52014
Modelling the Living Place Project using Algebraic Higher Order Nets
S Gottmann, N Nachtigall
Diploma Thesis, Technische Universität Berlin, 2011. http://users …, 2011
52011
Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars.
N Nachtigall, F Hermann, B Braatz, T Engel
VOLT@ STAF, 46-55, 2014
42014
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
42012
Transformation systems with incremental negative application conditions
A Corradini, R Heckel, F Hermann, S Gottmann, N Nachtigall
International Workshop on Algebraic Development Techniques, 127-142, 2012
42012
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
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, F Hermann, N Nachtigall, B Braatz, C Ermel, H Ehrig, ...
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
Université du Luxembourg, Luxembourg, 1982
1982
The system can't perform the operation now. Try again later.
Articles 1–14