Omar M. Alhawi

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 3

Top Topics

Penetration Testing

Security Vulnerabilities

Affine Invariant

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho
Verification and refutation of C programs based on k-induction and invariant inference. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification. CoRR (2019)
Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification. SIoT (2019)