Seguir
Nico Nachtigall
Nico Nachtigall
PhD Candidate in Computer Science, Université du Luxembourg
Email confirmado em uni.lu
Título
Citado por
Citado por
Ano
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
302014
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
262013
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
62014
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
62012
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
52013
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
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, Luxembourg, Luxembourg, 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
Unilu-University of Luxembourg, Luxembourg, 2016
2016
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–14