@inproceedings{18dd5be430ef423c92d0083b274206a8,
title = "Probabilistic Contract Compliance for Mobile Applications",
keywords = "mobile computing, operating systems (computers), probabilistic automata, smart phones, Action Node, Android smart phones, PICARD monitoring system, mobile applications, probabilistic contract compliance, probabilistic contract on Android, Androids, Automata, Contracts, Humanoid robots, Markov processes, Monitoring, Probabilistic logic, Android, Malware, Probabilistic contract, Repackaging",
author = "G. Dini and F. Martinelli and A. Saracino and D. Sgandurra",
year = "2013",
month = sep,
day = "1",
doi = "10.1109/ARES.2013.79",
language = "Undefined/Unknown",
pages = "599--606",
booktitle = "2013 International Conference on Availability, Reliability and Security",
}