Projekt

Zurück zur Übersicht

Cloud-based Dynamic Program Analysis for Android Devices

Gesuchsteller/in Binder Walter
Nummer 177215
Förderungsinstrument Scientific Exchanges
Forschungseinrichtung Facoltà di scienze informatiche Università della Svizzera italiana
Hochschule Università della Svizzera italiana - USI
Hauptdisziplin Informatik
Beginn/Ende 01.12.2017 - 31.05.2018
Bewilligter Betrag 22'740.00
Alle Daten anzeigen

Keywords (3)

Dynamic-program-analysis; Android; Cloud-computing

Verantw. Gesuchsteller/in und weitere Gesuchstellende

Publikationen

Publikation
Capturing Inter-Process Communication for Runtime Verification on Android
Villazon Alex, Sun Haiyang, Binder Walter, Capturing Inter-Process Communication for Runtime Verification on Android, in 8th Int. Symposium On Leveraging Applications of Formal Methods, Verification and Validation, CyprusSpringer Verlag, Heidelberg.

Zusammenarbeit

Gruppe / Person Land
Formen der Zusammenarbeit
CINTI Research Center/Universidad Privada Boliviana (UPB) Bolivien (Südamerika)
- vertiefter/weiterführender Austausch von Ansätzen, Methoden oder Resultaten
- Publikation
- Forschungsinfrastrukturen
- Austausch von Mitarbeitern

-