Benjamin Braatz

Benjamin Braatz
Postadresse Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
powered by
orbilu.uni.lu

2014

Full Text
See detailTriple Graph Grammars in the Large for Translating Satellite Procedures - Extended Version
Hermann, Frank; Gottmann, Susann; Nachtigall, Nico; Ehrig, Hartmut; Braatz, Benjamin; Morelli, Gianluigi; Pierre, Alain; Engel, Thomas; Ermel, Claudia

Report (2014)

Full Text
See detailTriple Graph Grammars in the Large for Translating Satellite Procedures
Hermann, Frank; Gottmann, Susann; Nachtigall, Nico; Ehrig, Hartmut; Braatz, Benjamin; Morelli, Gianluigi; Pierre, Alain; Engel, Thomas; Ermel, Claudia

in Theory and Practice of Model Transformations (2014, July)

Full Text
See detailSolving the FIXML2Code-case Study with HenshinTGG
Hermann, Frank; Nachtigall, Nico; Braatz, Benjamin; Engel, Thomas; Gottmann, Susann

in Rose, Louis M.; Krause, Christian; Horn, Tassilo (Eds.) Proceedings of the 7th Transformation Tool Contest - part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences (2014)

Full Text
See detailLetting the Puss in Boots Sweat: Detecting Fake Access Points using Dependency of Clock Skews on Temperature
Lanze, Fabian; Panchenko, Andriy; Braatz, Benjamin; Engel, Thomas

in Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2014) (2014)

Full Text
See detailTowards Domain Completeness for Model Transformations Based on Triple Graph Grammars
Nachtigall, Nico; Hermann, Frank; Braatz, Benjamin; Engel, Thomas

in Amrani, Moussa; Syriani, Eugene; Wimmer, Manuel (Eds.) Proceedings of the Third International Workshop on Verification of Model Transformations - co-located with Software Technologies: Applications and Foundations (STAF 2014) (2014)

Top of Page

2013

Full Text
See detailOn an Automated Translation of Satellite Procedures Using Triple Graph Grammars
Hermann, Frank; Gottmann, Susann; Nachtigall, Nico; Braatz, Benjamin; Morelli, Gianluigi; Pierre, Alain; Engel, Thomas

in Duddy, Keith; Kappel, Gerti (Eds.) Theory and Practice of Model Transformations (2013)

Full Text
See detailSymbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems
Nachtigall, Nico; Braatz, Benjamin; Engel, Thomas

in Boulanger, Frédéric; Famelis, Michalis; Ratiu, Daniel (Eds.) MoDeVVa@MoDELS (2013)

Top of Page

2012

Full Text
See detailClock Skew Based Remote Device Fingerprinting Demystified
Lanze, Fabian; Panchenko, Andriy; Braatz, Benjamin; Zinnen, Andreas

in Proceedings of the 55th International IEEE Global Communications Conference (IEEE GLOBECOM 2012) (2012)

Top of Page