Profil

BRAATZ Benjamin

Main Referenced Co-authors
ENGEL, Thomas  (7)
NACHTIGALL, Nico  (6)
HERMANN, Frank  (5)
GOTTMANN, Susann  (4)
Morelli, Gianluigi (3)
Main Referenced Keywords
triple graph grammars (3); model transformation (2); software translation (2); completeness (1); constraints (1);
Main Referenced Disciplines
Computer science (8)

Publications (total 8)

The most downloaded
336 downloads
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://hdl.handle.net/10993/16887

The most cited

37 citations (Scopus®)

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 https://hdl.handle.net/10993/10399

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

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

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

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

Contact ORBilu