Alberto Calvi

Orcid: 0000-0002-1953-2803

According to our database1, Alberto Calvi authored at least 10 papers between 2010 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Author Correction: High-dimensional detection of imaging response to treatment in multiple sclerosis.
npj Digit. Medicine, 2019

High-dimensional detection of imaging response to treatment in multiple sclerosis.
npj Digit. Medicine, 2019

2016
An automated approach for testing the security of web applications against chained attacks.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2013
Evaluation of ASLan Mutation Operators.
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.
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.
Scalable Comput. Pract. Exp., 2011

Microarray System - A System for Managing Data Produced by DNA-microarray Experiments.
Proceedings of the BIOINFORMATICS 2011, 2011

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

Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC.
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.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010


  Loading...