| 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 | 139 | 2012 |
| 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 | 15 | 2010 |
| 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 | 14 | 2016 |
| 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 | 10 | 2011 |
| 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 | 3 | 2010 |
| Evaluation of ASLan Mutation Operators J Oudinet, A Calvi, M Büchler International Conference on Tests and Proofs, 178-196, 2013 | 1 | 2013 |
| 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 | 1 | 2010 |
| 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 |
