Kaled Alshmrany | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Lucas Cordeiro
14 publications
Mohannad Aldughaim
3 publications
Alexandru Stancu
1 publication
Mohamed Mustafa
1 publication

research

∙ 12/21/2020

Bounded Model Checking of Software Using Interval Methods via Contractors

Bounded model checking (BMC) is a vital technique to find property viola...

0 Mohannad Aldughaim, et al. ∙

research

∙ 01/27/2020

Finding Security Vulnerabilities in Network Protocol Implementations

Implementations of network protocols are often prone to vulnerabilities ...

0 Kaled Alshmrany, et al. ∙