Fatimah Aljaafari | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Tong Wu
47 publications
Lucas C. Cordeiro
28 publications
Mustafa A. Mustafa
16 publications
Edoardo Manino
9 publications
Fedor Shmarov
4 publications
Pavlos Petoumenos
4 publications
Mohannad Aldughaim
3 publications
Rafael Menezes
3 publications
Kaled M. Alshmrany
3 publications
Ahmed Bhayat
2 publications

research

∙ 01/22/2023

LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)

We describe and evaluate LF-checker, a metaverifier tool based on machin...

1 Tong Wu, et al. ∙

research

∙ 06/28/2022

FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis

Bounded model checking (BMC) and fuzzing techniques are among the most e...

0 Kaled M. Alshmrany, et al. ∙

research

∙ 03/21/2021

EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols

Internet of Things (IoT) consists of a large number of smart devices con...

0 Fatimah Aljaafari, et al. ∙

research

∙ 01/27/2020

Verifying Software Vulnerabilities in IoT Cryptographic Protocols

Internet of Things (IoT) is a system that consists of a large number of ...

0 Fatimah Aljaafari, et al. ∙