Back to overview

Cloud-based Dynamic Program Analysis for Android Devices

Applicant Binder Walter
Number 177215
Funding scheme Scientific Exchanges
Research institution Istituto del Software (SI) Facoltà di scienze informatiche
Institution of higher education Università della Svizzera italiana - USI
Main discipline Information Technology
Start/End 01.12.2017 - 31.05.2018
Approved amount 22'740.00
Show all

Keywords (3)

Dynamic-program-analysis; Android; Cloud-computing

Responsible applicant and co-applicants


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.


Group / person Country
Types of collaboration
CINTI Research Center/Universidad Privada Boliviana (UPB) Bolivia (South America)
- in-depth/constructive exchanges on approaches, methods or results
- Publication
- Research Infrastructure
- Exchange of personnel