Fadi Aloul

87 papers and 1.2k indexed citations i.

Fadi Aloul has authored 87 papers that have received a total of 1.2k indexed citations. This includes 35 papers in Computational Theory and Mathematics, 30 papers in Computer Networks and Communications and 21 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (34 papers), Software Testing and Debugging Techniques (9 papers) and Network Security and Intrusion Detection (8 papers). Fadi Aloul is often cited by papers focused on Formal Methods in Verification (34 papers), Software Testing and Debugging Techniques (9 papers) and Network Security and Intrusion Detection (8 papers) and collaborates with scholars based in United Arab Emirates, United States and Lebanon. Fadi Aloul's co-authors include Karem A. Sakallah, Assim Sagahyroon, Igor L. Markov, Arathi Ramani and Imran Zualkernan and has published in prestigious journals such as Journal of the Franklin Institute, IEEE Access and SAE technical papers on CD-ROM/SAE technical paper series