Travelled to:1 × Germany
1 × Italy
1 × Sweden
1 × USA
Collaborated with:J.Grundy A.S.Ibrahim T.H.Nguyen J.C.Grundy J.H.Hamlyn-Harris
Talks about:use (6) analysi (4) autom (4) support (3) base (3) signatur (2) softwar (2) vulner (2) requir (2) formal (2)
Person: Mohamed Almorsy
DBLP: Almorsy:Mohamed
Contributed to:
2015
2015
2014
2013
2012Wrote 7 papers:
- ESEC-FSE-2015-NguyenGA #case study #modelling #rule-based
- Rule-based extraction of goal-use case models from text (THN, JCG, MA), pp. 591–601.
- MoDELS-2015-NguyenGA #case study #requirements
- Integrating goal-oriented and use case-based requirements engineering: The missing link (THN, JCG, MA), pp. 328–337.
- RE-2014-NguyenGA #analysis #automation #named #ontology #requirements
- GUITAR: An ontology-based automated requirements analysis tool (THN, JCG, MA), pp. 315–316.
- 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.