Omar M. Alhawi

According to our database, Omar M. Alhawi authored at least 2 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Verification and refutation of C programs based on k-induction and invariant inference.

Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Int. J. Softw. Tools Technol. Transf., 2021

2019

Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification.

Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro

Proceedings of the 2019 International Workshop on Secure Internet of Things, 2019