ICT-Emuco. An innovative solution for future smart phones. - Maria Elizabeth Gonzalez; Attila Bilgic; Adam Lackorzynski; Dacian Tudor; Emil Matús; Irv Badr (ICME, 2009)

Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique. - Anas Showk; David Szczesny; Shadi Traboulsi; Irv Badr; Maria Elizabeth Gonzalez; Attila Bilgic (SDL Forum, 2009)

Optimal resource management for a model driven LTE protocol stack on a multicore platform. - Anas Showk; Felix Bruns; Sebastian Hessel; Attila Bilgic; Irv Badr (MOBIWAC, 2010)