Follow
Alberto Calvi, PhD
Title
Cited by
Cited by
Year
The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures
A Armando, W Arsac, T Avanesov, M Barletta, A Calvi, A Cappai, ...
Tools and Algorithms for the Construction and Analysis of Systems: 18th†…, 2012
1402012
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC
A Calvi, S Ranise, L Vigano
2010 12th International Symposium on Symbolic and Numeric Algorithms for†…, 2010
152010
An automated approach for testing the security of web applications against chained attacks
A Calvi, L ViganÚ
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2095-2102, 2016
122016
Workflow and access control reloaded: a declarative specification framework for the automated analysis of Web services
M Barletta, A Calvi, S Ranise, L Vigano, L Zanetti
Scalable Computing: Practice and Experience 12 (1), 1-20, 2011
102011
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications
M Barletta, A Calvi, S Ranise, L Vigano, L Zanetti
2010 12th International Symposium on Symbolic and Numeric Algorithms for†…, 2010
32010
Evaluation of ASLan Mutation Operators
J Oudinet, A Calvi, M BŁchler
International Conference on Tests and Proofs, 178-196, 2013
12013
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)
A Calvi, S Ranise, L ViganÚ
arXiv preprint arXiv:1009.4625, 2010
12010
Methods for Model-Based and Vulnerability-driven Security Testing
A Calvi
2015
MICROARRAY SYSTEM-A System for Managing Data Produced by DNA-microarray Experiments
A Calvi, P Lovato, S Marchesini, B Oliboni, M Delledonne, A Ferrarini
International Conference on Bioinformatics Models, Methods and Algorithms 2†…, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–9