BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cavallaro:Luca

Contributed to:

ICSE 20132013
RE 20132013
ASE 20122012
FSE 20122012
SEFM 20102010

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.