Travelled to:1 × Brazil
1 × Germany
1 × Italy
2 × USA
Collaborated with:M.Salehie L.Pasquale B.Nuseibeh I.Omoronyia M.M.Bersani A.Frigeri M.Pradella M.Rossi Y.Yu T.T.Tun G.Doherty C.Menghi
Talks about:adapt (4) privaci (3) engin (3) requir (2) tool (2) constraint (1) substitut (1) specif (1) servic (1) securi (1)
Person: Luca Cavallaro
DBLP: Cavallaro:Luca
Contributed to:
2013
2013
2012
2012
2010Wrote 5 papers:
- ICSE-2013-OmoronyiaCSPN #adaptation #privacy #requirements
- Engineering adaptive privacy: on the role of privacy awareness requirements (IO, LC, MS, LP, BN), pp. 632–641.
- RE-2013-PasqualeYSCTN #adaptation #forensics
- Requirements-driven adaptive digital forensics (LP, YY, MS, LC, TTT, BN), pp. 340–341.
- ASE-2012-OmoronyiaPSCDN #adaptation #named #privacy
- Caprice: a tool for engineering adaptive privacy (IO, LP, MS, LC, GD, BN), pp. 354–357.
- FSE-2012-PasqualeMSCON #adaptation #named #security
- SecuriTAS: a tool for engineering adaptive security (LP, CM, MS, LC, IO, BN), p. 19.
- SEFM-2010-BersaniCFPR #constraints #integer #ltl #runtime #smt #specification #verification
- SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability (MMB, LC, AF, MP, MR), pp. 244–254.