Travelled to:1 × Estonia
1 × Hungary
Collaborated with:J.Oudinet M.Büchler A.Armando W.Arsac T.Avanesov M.Barletta A.Cappai R.Carbone Y.Chevalier L.Compagna J.Cuéllar G.Erzse S.Frau M.Minea S.Mödersheim D.v.Oheimb G.Pellegrino S.E.Ponta M.Rocchetto M.Rusinowitch M.T.Dashti M.Turuani L.Viganò
Talks about:architectur (1) avantssar (1) platform (1) servic (1) orient (1) valid (1) trust (1) secur (1) mutat (1) evalu (1)
Person: Alberto Calvi
DBLP: Calvi:Alberto
Contributed to:
2013
2012Wrote 2 papers:
- TAP-2013-OudinetCB #evaluation
- Evaluation of ASLan Mutation Operators (JO, AC, MB), pp. 178–196.
- TACAS-2012-ArmandoAABCCCCCCEFMMOPPRRDTV #architecture #automation #framework #platform #security #trust #validation
- The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (AA, WA, TA, MB, AC, AC, RC, YC, LC, JC, GE, SF, MM, SM, DvO, GP, SEP, MR, MR, MTD, MT, LV), pp. 267–282.