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