Mohammed Abuhamad
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICSoft | Can LLMs Write Correct TLA + Specifications? Evaluating Natural-Language-to-TLA + Generation. | Arslan Bisharat, Brian Ortiz, Eric Spencer, Khushboo Bhadauria, TaiNing Wang, George K. Thiruvathukal, Konstantin Lufer, Mohammed Abuhamad |
| 2026 | ICSoft | TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation. | Eric Spencer, Arslan Bisharat, Brian Ortiz, Mujtaba Nazari, Khushboo Bhadauria, TaiNing Wang, George K. Thiruvathukal, Konstantin Lufer, Mohammed Abuhamad |
| 2022 | AsiaCCS | Black-box and Target-specific Attack Against Interpretable Deep Learning Systems. | Eldor Abdukhamidov, Firuz Juraev, Mohammed Abuhamad, Tamer Abuhmed |
| 2022 | AsiaCCS | Depth, Breadth, and Complexity: Ways to Attack and Defend Deep Learning Models. | Firuz Juraev, Eldor Abdukhamidov, Mohammed Abuhamad, Tamer Abuhmed |
| 2022 | AsiaCCS | Leveraging Spectral Representations of Control Flow Graphs for Efficient Analysis of Windows Malware. | Qirui Sun, Eldor Abdukhamidov, Tamer Abuhmed, Mohammed Abuhamad |
| 2021 | WWW | Hate, Obscenity, and Insults: Measuring the Exposure of Children to Inappropriate Comments in YouTube. | Sultan Alshamrani, Ahmed Abusnaina, Mohammed Abuhamad, Daehun Nyang, David Mohaisen |
| 2020 | CIKM | Investigating Online Toxicity in Users Interactions with the Mainstream Media Channels on YouTube. | Sultan Alshamrani, Mohammed Abuhamad, Ahmed Abusnaina, David Mohaisen |
| 2020 | ICDCS | Soteria: Detecting Adversarial Examples in Control Flow Graph-based Malware Classifiers. | Hisham Alasmary, Ahmed Abusnaina, Rhongho Jang, Mohammed Abuhamad, Afsah Anwar, DaeHun Nyang, David Mohaisen |
| 2020 | WISA | Insights into Attacks' Progression: Prediction of Spatio-Temporal Behavior of DDoS Attacks. | Ahmed Abusnaina, Mohammed Abuhamad, DaeHun Nyang, Songqing Chen, An Wang, David Mohaisen |
| 2018 | CCS | Large-Scale and Language-Oblivious Code Authorship Identification. | Mohammed Abuhamad, Tamer AbuHmed, Aziz Mohaisen, DaeHun Nyang |