Benjamin Braatz
|
|
||||
| Postadresse |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
2014
Triple Graph Grammars in the Large for Translating Satellite Procedures - Extended Version; ; ; ; ; ; ; ;
Report (2014)
Triple Graph Grammars in the Large for Translating Satellite Procedures; ; ; ; ; ; ; ;
in Theory and Practice of Model Transformations (2014, July)
Solving the FIXML2Code-case Study with HenshinTGG; ; ; ;
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)
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) (2014)
Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars; ; ;
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)
2013
On an Automated Translation of Satellite Procedures Using Triple Graph Grammars; ; ; ; ; ;
in Duddy, Keith; Kappel, Gerti (Eds.) Theory and Practice of Model Transformations (2013)
Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems; ;
in Boulanger, Frédéric; Famelis, Michalis; Ratiu, Daniel (Eds.) MoDeVVa@MoDELS (2013)
2012
Clock Skew Based Remote Device Fingerprinting Demystified; ; ;
in Proceedings of the 55th International IEEE Global Communications Conference (IEEE GLOBECOM 2012) (2012)
