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. 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. 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. Peer reviewed |
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 |
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 |
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., 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. Peer reviewed |
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 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. 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 Peer reviewed |