Segui
Nico Nachtigall
Nico Nachtigall
PhD Candidate in Computer Science, Université du Luxembourg
Email verificata su uni.lu
Titolo
Citata da
Citata da
Anno
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
112013
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
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
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, 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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–14