![]() ![]() | GOTTMANN, S. (2016). Synchronisation of Model Visualisation and Code Generation Based on Model Transformation [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/30611 |
![]() ![]() | 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. ![]() |
![]() ![]() | 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 ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | GOTTMANN, S., HERMANN, F., Ermel, C., ENGEL, T., & Morelli, G. (2013). Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars. In C. Jacquet, D. Balasubramanian, E. Jones, ... Mészáros (Eds.), Proc. Int. Workshop on Multi-Paradigm Modeling 2013 (MPM'13). CEUR-WS.org. ![]() |
![]() ![]() | HERMANN, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y., GOTTMANN, S., & ENGEL, T. (2013). Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Software and Systems Modeling. doi:10.1007/s10270-012-0309-1 ![]() |
![]() ![]() | 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 ![]() |