Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
20205G Internet of Radio Light Positioning System for Indoor Broadcasting Service
Shi, L.; Shi, D.; Zhang, X.; Meunier, B.; Zhang, H.; Wang, Z.; Vladimirescu, A.; Li, W.; Zhang, Y.; Cosmas, J.; Ali, K.; Jawad, N.; Zetik, R.; Legale, E.; Satta, M.; Wang, J.; Song, J.
Journal Article
2020CogniCryptgen: Generating code for the secure usage of crypto APIs
Krüger, S.; Ali, K.; Bodden, E.
Conference Paper
2020Debugging Static Analysis
Do, L.N.Q.; Krüger, S.; Hill, P.; Ali, K.; Bodden, E.
Journal Article
2019(Dis)Advantages of Lock-free Synchronization Mechanisms for Multicore Embedded Systems
Jahić, Jasmin; Ali, Khuram; Chatrangoon, Milad; Jahani, Nazanin
Conference Paper
2019Smart Television Services Using NFV/SDN Network Management
Jawad, N.; Salih, M.; Ali, K.; Meunier, B.; Zhang, Y.; Zhang, X.; Zetik, R.; Zarakovitis, C.; Koumaras, H.; Kourtis, M.-A.; Shi, L.; Mazurczyk, W.; Cosmas, J.
Journal Article
20185G Internet of radio light services for Musée de la Carte à Jouer
Cosmas, J.; Meunier, B.; Ali, K.; Jawad, N.; Meng, H.-Y.; Goutagneux, F.; Legale, E.; Satta, M.; Jay, P.; Zhang, X.; Huang, C.; Garcia, J.; Negru, M.; Zhang, Y.; Kourtis, T.; Koumaras, C.; Sakkas, C.; Huang, L.-K.; Zetik, R.; Cabaj, K.; Mazurczyk, W.; Cakan, M.E.; Kapovits, A.
Conference Paper
2018A 5G Radio-Light SDN Architecture for Wireless and Mobile Network Access in Buildings
Cosmas, J.; Meunier, B.; Ali, K.; Jawad, N.; Salih, M.; Zhang, Y.; Hadad, Z.; Globen, B.; Gokmen, H.; Malkos, S.; Cakan, M.; Koumaras, H.; Kourtis, A.; Sakkas, C.; Negru, D.; Lacaud, M.; Ran, M.; Ran, E.; Garcia, J.; Li, W.; Huang, L.-K.; Zetik, R.; Cabaj, K.; Mazurczyk, W.; Zhang, X.; Kapovits, A.
Conference Paper
2018CrySL: An extensible approach to validating the correct usage of cryptographic APIs
Krüger, S.; Späth, J.; Ali, K.; Bodden, E.; Mezini, M.
Conference Paper
2018A Scalable and License Free 5G Internet of Radio Light Architecture for Services in Homes & Businesses
Cosmas, J.; Meunier, B.; Ali, K.; Jawad, N.; Salih, M.; Meng, H.-Y.; Ganley, M.; Gbadamosi, J.; Savov, A.; Hadad, Z.; Globen, B.; Gokmen, H.; Malkos, S.; Emre Cakan, M.; Koumaras, H.; Kourtis, M.-A.; Sakkas, C.; Salomon, E.; Avinoam, Y.; Nezru, D.; Lacaud, M.; Zhang, Y.; Huang, L.-K.; Zetik, R.; Cabai, K.; Mazurczyk, W.; Zhang, X.; Ran, M.; Malka, D.; Kapovits, A.
Conference Paper
2018A scaleable and license free 5G internet of radio light architecture for services in train stations
Cosmas, J.; Meunier, B.; Ali, K.; Jawad, N.; Salih, M.; Meng, H.-Y.; Royo, J.; Fernandez, P.; Hadad, Z.; Globen, B.; Gokmen, H.; Malkos, S.; Cakan, M.E.; Kourtis, M.-A.; Koumaras, H.; Sakkas, C.; Salomon, E.; Avinoam, Y.; Negru, D.; Lacaud, M.; Zhang, Y.; Huang, L.-K.; Zetik, R.; Cabaj, K.; Mazurczyk, W.; Zhang, X.; Kapovits, A.
Conference Paper
2018VISUFLOW: A debugging environment for static analyses
Do, L.N.Q.; Krüger, S.; Hill, P.; Ali, K.; Bodden, E.
Conference Paper
2017Cheetah: Just-in-time taint analysis for android apps
Do, L.N.Q.; Ali, K.; Livshits, B.; Bodden, E.; Smith, J.; Murphy-Hill, E.
Conference Paper
2017Just-in-time static analysis
Do, L.N.Q.; Ali, K.; Livshits, B.; Bodden, E.; Smith, J.; Murphy-Hill, E.
Conference Paper
2016Boomerang: Demand-driven flow- and context-sensitive pointer analysis for Java
Späth, J.; Quang Do, L.N.; Ali, K.; Bodden, E.
Conference Paper
2015Toward a just-in-time static analysis
Nguyen Quang Do, Lisa; Ali, Karim; Bodden, Eric; Livshits, Benjamin
Report
2015Towards secure integration of cryptographic software
Arzt, Steven; Nadi, S.; Ali, Karim; Bodden, Eric; Erdweg, S.; Mezini, Mira
Conference Paper