Alberto Calvi

13 papers A 1Misc 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Evaluating topological and graph-theoretical approaches to extract complex multimodal brain connectivity patterns in multiple sclerosis.
Health Inf. Sci. Syst.
Toni Lozano Bagén, Eloy Martinez-Heras, Giuseppe Pontillo, Elisabeth Solana, Francesc Vivó, Maria Petracca, Alberto Calvi, Sandra Garrido-Romero, Albert Solé-Ribalta, Sara Llufriu, Ferran Prados, Jordi Casas-Roma
2024 — conf
Multiclass Lesion Detection Using Longitudinal MRI in Multiple Sclerosis.
CCIA
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
2019 J jnl
Author Correction: High-dimensional detection of imaging response to treatment in multiple sclerosis.
npj Digit. Medicine
Baris Kanber, Parashkev Nachev, Frederik Barkhof, Alberto Calvi, Jorge Cardoso, Rosa Cortese, Ferran Prados, Carole H. Sudre, Carmen Tur, Sébastien Ourselin, Olga Ciccarelli
2019 J jnl
High-dimensional detection of imaging response to treatment in multiple sclerosis.
npj Digit. Medicine
Baris Kanber, Parashkev Nachev, Frederik Barkhof, Alberto Calvi, Jorge Cardoso, Rosa Cortese, Ferran Prados, Carole H. Sudre, Carmen Tur, Sébastien Ourselin, Olga Ciccarelli
2016 Misc conf
An automated approach for testing the security of web applications against chained attacks.
SAC
Alberto Calvi, Luca Viganò
2015 — —
Methods for Model-Based and Vulnerability-driven Security Testing.
Alberto Calvi
2013 — conf
Evaluation of ASLan Mutation Operators.
TAP@STAF
Johan Oudinet, Alberto Calvi, Matthias Büchler
2012 A conf
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.
TACAS
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ò
2011 — conf
Microarray System - A System for Managing Data Produced by DNA-microarray Experiments.
BIOINFORMATICS
Alberto Calvi, Pietro Lovato, Simone Marchesini, Barbara Oliboni, Massimo Delledonne, Alberto Ferrarini
2011 J jnl
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services.
Scalable Comput. Pract. Exp.
Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti
2010 Misc conf
Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC.
SYNASC
Alberto Calvi, Silvio Ranise, Luca Viganò
2010 J jnl
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)
CoRR
Alberto Calvi, Silvio Ranise, Luca Viganò
2010 Misc conf
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications.
SYNASC
Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti