Alberto Calvi

According to our database, Alberto Calvi authored at least 11 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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

Proceedings of the Artificial Intelligence Research and Development, 2024

2019

Author Correction: High-dimensional detection of imaging response to treatment in multiple sclerosis.

Baris Kanber, Parashkev Nachev, Frederik Barkhof, Alberto Calvi, Jorge Cardoso, Rosa Cortese, Ferran Prados, Carole H. Sudre, Carmen Tur, Sébastien Ourselin, Olga Ciccarelli

npj Digit. Medicine, 2019

High-dimensional detection of imaging response to treatment in multiple sclerosis.

Baris Kanber, Parashkev Nachev, Frederik Barkhof, Alberto Calvi, Jorge Cardoso, Rosa Cortese, Ferran Prados, Carole H. Sudre, Carmen Tur, Sébastien Ourselin, Olga Ciccarelli

npj Digit. Medicine, 2019

2016

An automated approach for testing the security of web applications against chained attacks.

Alberto Calvi, Luca Viganò

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2013

Evaluation of ASLan Mutation Operators.

Johan Oudinet, Alberto Calvi, Matthias Büchler

Proceedings of the Tests and Proofs - 7th International Conference, 2013

2012

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, 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ò

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

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ò, Luca Zanetti

Scalable Comput. Pract. Exp., 2011

Microarray System - A System for Managing Data Produced by DNA-microarray Experiments.

Alberto Calvi, Pietro Lovato, Simone Marchesini, Barbara Oliboni, Massimo Delledonne, Alberto Ferrarini

Proceedings of the BIOINFORMATICS 2011, 2011

2010

Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)

Alberto Calvi, Silvio Ranise, Luca Viganò

CoRR, 2010

Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC.

Alberto Calvi, Silvio Ranise, Luca Viganò

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications.

Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010