Nico Nachtigall
Nico Nachtigall
PhD Candidate in Computer Science, Université du Luxembourg
Bestätigte E-Mail-Adresse bei uni.lu
TitelZitiert vonJahr
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
252013
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
202014
Solving the FIXML2Code-case Study with HenshinTGG.
F Hermann, N Nachtigall, B Braatz, T Engel, S Gottmann
TTC@ STAF, 32-46, 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
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
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
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
22016
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
22012
Modelling the Living Place Project using Algebraic Higher Order Nets
S Gottmann, N Nachtigall
Diploma Thesis, Technische Universität Berlin, 2011. http://users …, 2011
22011
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
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
Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems.
N Nachtigall, B Braatz, T Engel
MoDeVVa@ MoDELS, 61-66, 2013
2013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13