BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ibrahim:Amani_S=

Contributed to:

ICSE 20132013
ASE 20122012

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

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.