Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
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
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 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