![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | LANZE, F., PANCHENKO, A., BRAATZ, B., & ENGEL, T. (2014). Letting the Puss in Boots Sweat: Detecting Fake Access Points using Dependency of Clock Skews on Temperature. In Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2014). ![]() |
![]() ![]() | 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. ![]() |
![]() ![]() | LANZE, F., PANCHENKO, A., BRAATZ, B., & ZINNEN, A. (2012). Clock Skew Based Remote Device Fingerprinting Demystified. Proceedings of the 55th International IEEE Global Communications Conference (IEEE GLOBECOM 2012), 1-6. doi:10.1109/GLOCOM.2012.6503213 ![]() |