Travelled to:1 × Germany
1 × USA
Collaborated with:M.Almorsy J.Grundy J.H.Hamlyn-Harris
Talks about:use (4) support (3) analysi (3) autom (3) signatur (2) softwar (2) vulner (2) formal (2) architectur (1) disambigu (1)
Person: Amani S. Ibrahim
DBLP: Ibrahim:Amani_S=
Contributed to:
2013
2012Wrote 4 papers:
- ICSE-2013-AlmorsyGI #analysis #architecture #automation #security #using
- Automated software architecture security risk analysis using formalized signatures (MA, JG, ASI), pp. 662–671.
- ASE-2012-AlmorsyGI #analysis #automation #using
- Supporting automated vulnerability analysis using formalized vulnerability signatures (MA, JG, ASI), pp. 100–109.
- ASE-2012-AlmorsyGI12a #automation #re-engineering #using
- Supporting automated software re-engineering using re-aspects (MA, JG, ASI), pp. 230–233.
- ASE-2012-IbrahimGHA #ambiguity #analysis #kernel #operating system #points-to #using
- Supporting operating system kernel data disambiguation using points-to analysis (ASI, JG, JHHH, MA), pp. 234–237.