WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. - Michele Barletta; Alberto Calvi; Silvio Ranise; Luca Viganò 001; Luca Zanetti (SYNASC, 2010)

Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. - Alberto Calvi; Silvio Ranise; Luca Viganò 001 (SYNASC, 2010)

Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version) - Alberto Calvi; Silvio Ranise; Luca Viganò 001 (CoRR, 2010)

Microarray System - A System for Managing Data Produced by DNA-microarray Experiments. - Alberto Calvi; Pietro Lovato; Simone Marchesini; Barbara Oliboni; Massimo Delledonne; Alberto Ferrarini (BIOINFORMATICS, 2011)

Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services. - Michele Barletta; Alberto Calvi; Silvio Ranise; Luca Viganò 001; Luca Zanetti (Scalable Comput. Pract. Exp., 2011)

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. - 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; et al. (TACAS, 2012)

Evaluation of ASLan Mutation Operators. - Johan Oudinet; Alberto Calvi; Matthias Büchler (TAP@STAF, 2013)

An automated approach for testing the security of web applications against chained attacks. - Alberto Calvi; Luca Viganò 001 (SAC, 2016)

High-dimensional detection of imaging response to treatment in multiple sclerosis. - Baris Kanber; Parashkev Nachev; Frederik Barkhof; Alberto Calvi; Jorge Cardoso 002; Rosa Cortese; Ferran Prados; Carole H. Sudre; Carmen Tur; Sébastien Ourselin; Olga Ciccarelli (npj Digit. Medicine, 2019)

Author Correction: High-dimensional detection of imaging response to treatment in multiple sclerosis. - Baris Kanber; Parashkev Nachev; Frederik Barkhof; Alberto Calvi; Jorge Cardoso 002; Rosa Cortese; Ferran Prados; Carole H. Sudre; Carmen Tur; Sébastien Ourselin; Olga Ciccarelli (npj Digit. Medicine, 2019)

Multiclass Lesion Detection Using Longitudinal MRI in Multiple Sclerosis. - Ander Elkoroaristizabal; Francesc Vivó; Alberto Calvi; Elisabeth Solana; Elisabet Lopez-Soley; Salut Alba-Arbalat; Marcos Diaz-Hurtado; Baris Kanber; Jordi Casas-Roma; Sara Llufriu; Ferran Prados; Eloy Martínez-Heras (CCIA, 2024)