Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Alberto Calvi
2010 – today
- 2013
[c5]Johan Oudinet, Alberto Calvi, Matthias Büchler: Evaluation of ASLan Mutation Operators. TAP 2013: 178-196- 2012
- [c4]Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò: The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 2012: 267-282
- 2011
- [j1]Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti: Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services. Scalable Computing: Practice and Experience 12(1) (2011)
- [c3]Alberto Calvi, Pietro Lovato, Simone Marchesini, Barbara Oliboni, Massimo Delledonne, Alberto Ferrarini: Microarray System - A System for Managing Data Produced by DNA-microarray Experiments. BIOINFORMATICS 2011: 293-296
- 2010
- [c2]Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti: WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. SYNASC 2010: 417-424
- [c1]Alberto Calvi, Silvio Ranise, Luca Viganò: Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. SYNASC 2010: 456-464
- [i1]Alberto Calvi, Silvio Ranise, Luca Viganò: Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version). CoRR abs/1009.4625 (2010)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 12:20 CEST by the dblp team