A collaborative framework for generating probabilistic contracts. / Martinelli, F.; Saracino, A.; Sgandurra, D.; Aldini, A.

2013 International Conference on Collaboration Technologies and Systems (CTS). 2013. p. 139-142.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

A collaborative framework for generating probabilistic contracts. / Martinelli, F.; Saracino, A.; Sgandurra, D.; Aldini, A.

2013 International Conference on Collaboration Technologies and Systems (CTS). 2013. p. 139-142.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Martinelli, F, Saracino, A, Sgandurra, D & Aldini, A 2013, A collaborative framework for generating probabilistic contracts. in 2013 International Conference on Collaboration Technologies and Systems (CTS). pp. 139-142. https://doi.org/10.1109/CTS.2013.6567219

APA

Martinelli, F., Saracino, A., Sgandurra, D., & Aldini, A. (2013). A collaborative framework for generating probabilistic contracts. In 2013 International Conference on Collaboration Technologies and Systems (CTS) (pp. 139-142) https://doi.org/10.1109/CTS.2013.6567219

Vancouver

Martinelli F, Saracino A, Sgandurra D, Aldini A. A collaborative framework for generating probabilistic contracts. In 2013 International Conference on Collaboration Technologies and Systems (CTS). 2013. p. 139-142 https://doi.org/10.1109/CTS.2013.6567219

Author

Martinelli, F. ; Saracino, A. ; Sgandurra, D. ; Aldini, A. / A collaborative framework for generating probabilistic contracts. 2013 International Conference on Collaboration Technologies and Systems (CTS). 2013. pp. 139-142

BibTeX

@inproceedings{75a1d174abfc41f59c60460fe569794c,
title = "A collaborative framework for generating probabilistic contracts",
keywords = "groupware, invasive software, mobile computing, operating systems (computers), smart phones, statistical testing, Android smartphone, Pearson chi squared test, application server, application usage profile, clustered probabilistic automata, collaborative framework, malware, probabilistic contract generation, Androids, Automata, Collaboration, Contracts, Humanoid robots, Probabilistic logic, Probability distribution, Android, Collaborative Framework, Malware, Probabilistic Contract, Repackaging",
author = "F. Martinelli and A. Saracino and D. Sgandurra and A. Aldini",
year = "2013",
month = may,
day = "1",
doi = "10.1109/CTS.2013.6567219",
language = "Undefined/Unknown",
pages = "139--142",
booktitle = "2013 International Conference on Collaboration Technologies and Systems (CTS)",

}

RIS

TY - GEN

T1 - A collaborative framework for generating probabilistic contracts

AU - Martinelli, F.

AU - Saracino, A.

AU - Sgandurra, D.

AU - Aldini, A.

PY - 2013/5/1

Y1 - 2013/5/1

KW - groupware

KW - invasive software

KW - mobile computing

KW - operating systems (computers)

KW - smart phones

KW - statistical testing

KW - Android smartphone

KW - Pearson chi squared test

KW - application server

KW - application usage profile

KW - clustered probabilistic automata

KW - collaborative framework

KW - malware

KW - probabilistic contract generation

KW - Androids

KW - Automata

KW - Collaboration

KW - Contracts

KW - Humanoid robots

KW - Probabilistic logic

KW - Probability distribution

KW - Android

KW - Collaborative Framework

KW - Malware

KW - Probabilistic Contract

KW - Repackaging

U2 - 10.1109/CTS.2013.6567219

DO - 10.1109/CTS.2013.6567219

M3 - Conference contribution

SP - 139

EP - 142

BT - 2013 International Conference on Collaboration Technologies and Systems (CTS)

ER -