![]() ![]() | 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. ![]() |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/16887 |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. https://orbilu.uni.lu/handle/10993/3932 |
![]() ![]() | 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 ![]() |