Profil

NACHTIGALL Nico

Main Referenced Co-authors
GOTTMANN, Susann  (9)
ENGEL, Thomas  (8)
HERMANN, Frank  (8)
BRAATZ, Benjamin  (6)
Ermel, Claudia (4)
Main Referenced Keywords
graph transformation (4); model transformation (4); software translation (3); triple graph grammars (3); model synchronisation (2);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (1)
Main Referenced Disciplines
Computer science (12)

Publications (total 12)

The most downloaded
508 downloads
Nachtigall, N. (2016). Domain Completeness of Model Transformations and Synchronisations [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/29181 https://hdl.handle.net/10993/29181

The most cited

20 citations (Scopus®)

Hermann, F., Gottmann, S., Nachtigall, N., Braatz, B., Morelli, G., Pierre, A., & Engel, T. (2013). On an Automated Translation of Satellite Procedures Using Triple Graph Grammars. In K. Duddy & G. Kappel (Eds.), Theory and Practice of Model Transformations (pp. 50-51). Springer. doi:10.1007/978-3-642-38883-5_4 https://hdl.handle.net/10993/4553

Nachtigall, N. (2016). Domain Completeness of Model Transformations and Synchronisations [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/29181

Gottmann, S., Nachtigall, N., Ermel, C., Hermann, F., & Engel, T. (2016). Towards the Propagation of Model Updates along different Views in Multi-View Models. Proceedings of the 5th International Workshop on Bidirectional Transformations, 1571, 45-60.
Peer reviewed

Hermann, F., Gottmann, S., Nachtigall, N., Ehrig, H., Braatz, B., Morelli, G., Pierre, A., Engel, T., & Ermel, C. (2014). Triple Graph Grammars in the Large for Translating Satellite Procedures. In Theory and Practice of Model Transformations (pp. 122-137). Springer.
Peer reviewed

Hermann, F., Gottmann, S., Nachtigall, N., Ehrig, H., Braatz, B., Morelli, G., Pierre, A., Engel, T., & Ermel, C. (2014). Triple Graph Grammars in the Large for Translating Satellite Procedures - Extended Version. (TR-SnT-2014-7). Luxembourg, Luxembourg: SnT.

Hermann, F., Nachtigall, N., Braatz, B., Engel, T., & Gottmann, S. (2014). Solving the FIXML2Code-case Study with HenshinTGG. In L. M. Rose, C. Krause, ... T. Horn (Eds.), Proceedings of the 7th Transformation Tool Contest - part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences (pp. 32-46). CEUR-WS.org.
Peer reviewed

Nachtigall, N., Hermann, F., Braatz, B., & Engel, T. (2014). Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars. In M. Amrani, E. Syriani, ... M. Wimmer (Eds.), Proceedings of the Third International Workshop on Verification of Model Transformations - co-located with Software Technologies: Applications and Foundations (STAF 2014) (pp. 46-55). CEUR-WS.org.
Peer reviewed

Corradini, A., Heckel, R., Hermann, F., Gottmann, S., & Nachtigall, N. (2013). Transformation Systems with Incremental Negative Application Conditions. In Recent Trends in Algebraic Development Techniques (pp. 127-142). Springer. doi:10.1007/978-3-642-37635-1_8
Peer reviewed

Hermann, F., Gottmann, S., Nachtigall, N., Braatz, B., Morelli, G., Pierre, A., & Engel, T. (2013). On an Automated Translation of Satellite Procedures Using Triple Graph Grammars. In K. Duddy & G. Kappel (Eds.), Theory and Practice of Model Transformations (pp. 50-51). Springer. doi:10.1007/978-3-642-38883-5_4
Peer reviewed

Nachtigall, N., Braatz, B., & Engel, T. (2013). Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems. In F. Boulanger, M. Famelis, ... D. Ratiu (Eds.), MoDeVVa@MoDELS (pp. 61-66). CEUR-WS.org.
Peer reviewed

Gottmann, S., Hermann, F., Nachtigall, N., Benjamin, B., Ermel, C., Ehrig, H., & Engel, T. (2013). Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. In B. Baudry, J. Dingel, L. Lucio, ... H. Vangheluwe (Eds.), Proc. Int. Workshop on Analysis of Model Transformations 2013 (AMT'13). CEUR-WS.org.
Peer reviewed

Gottmann, S., Nachtigall, N., & Hoffmann, K. (2012). On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets. In Electronic Communications of the EASST (pp. 1-12). European Association of Software Science and Technology. doi:10.14279/tuj.eceasst.51.778.768
Peer reviewed

Corradini, A., Heckel, R., Hermann, F., Gottmann, S., & Nachtigall, N. (2012). On the Concurrent Semantics of Transformation Systems with Negative Application Conditions. (TR-08/12). Madrid, Spain: Universidad Complutense de Madrid Departamento de Sistemas Informáticos y Computación.

Contact ORBilu