E-LIB Suche - Ergebnisse für: Aljaafari, Fatimah

1

EBF 4.2: Black-Box Cooperative Verification for Concurrent ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Aljaafari, Fatimah ; Shmarov, Fedor ; Manino, Edoardo.. - p. 541-546 , 2023

Link: https://doi.org/10.1007/..

2

Combining BMC and Fuzzing Techniques for Finding Software V..:

Aljaafari, Fatimah K. ; Menezes, Rafael ; Manino, Edoardo...
IEEE Access. 10 (2022) - p. 121365-121384 , 2022

Link: https://doi.org/10.1109/..

3

LF-checker: Machine Learning Acceleration of Bounded Model ..:

Wu, Tong ; Manino, Edoardo ; Aljaafari, Fatimah..
http://arxiv.org/abs/2301.09142. , 2023

Link: http://arxiv.org/abs/230..

4

EBF 4.2: Black-Box Cooperative Verification for Concurrent ..:

Aljaafari, Fatimah ; Shmarov, Fedor ; Manino, Edoardo..
Aljaafari , F , Shmarov , F , Manino , E , Menezes , R & Cordeiro , L C 2023 , EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) . in 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems .. , 2023

Link: https://research.manches..

5

Combining BMC and Fuzzing Techniques for Finding Software V..:

Aljaafari, Fatimah ; Menezes, Rafael ; Manino, Edoardo...
Aljaafari , F , Menezes , R , Manino , E , Shmarov , F , Mustafa , M A & Cordeiro , L 2022 , ' Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs ' , IEEE Access , vol. 10 , pp. 121365 - 121384 . https://doi.org/10.1109/ACCESS.2022.3223359. , 2022

Link: https://research.manches..

6

Finding Security Vulnerabilities in IoT Cryptographic Proto..:

Aljaafari, Fatimah ; Menezes, Rafael ; Mustafa, Mustafa A.
http://arxiv.org/abs/2103.11363. , 2021

Link: http://arxiv.org/abs/210..

7

Verifying Software Vulnerabilities in IoT Cryptographic Pro..:

Aljaafari, Fatimah ; Cordeiro, Lucas C ; Mustafa, Mustafa A
http://arxiv.org/abs/2001.09837. , 2020

Link: http://arxiv.org/abs/200..

8

Combining BMC and Fuzzing Techniques for Finding Software V..:

Aljaafari, Fatimah K ; Menezes, Rafael ; Manino, Edoardo...
http://arxiv.org/abs/2206.06043. , 2022

Link: http://arxiv.org/abs/220..

9

Intestinal Ischemia Due to Methamphetamine Abuse in a Confu..:

Sherkawi, Emad ; Aljaafari, Sara A ; AlGhannam, Ziyad T.
Cureus. , 2022

Link: https://doi.org/10.7759/..

10

Combining BMC and Fuzzing Techniques for Finding Software V..:

Fatimah K. Aljaafari ; Rafael Menezes ; Edoardo Manino...
https://ieeexplore.ieee.org/document/9955513/. , 2022

Link: https://doi.org/10.1109/..