未登录

返回

机构信息待补充

0H指数

0论文数

0被引数

收录论文 5

发表时间

An empirical evaluation of pre-trained large language models for repairing declarative formal specifications 对预训练大型语言模型修复声明性形式规范的经验评估

Empirical Software Engineering

IF3.6

2025-07-25

0

OAAI

Mohannad Alhanahnah; Md Rashedul Hasan; Lisong Xu; Hamid Bagheri

分享

收藏

autoMPI: Automated Multiple Perspective Attack Investigation With Semantics Aware Execution Partitioning

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2023-04-01

1

PREAI

Alhanahnah, Mohannad; Ma, Shiqing; Gehani, Ashish; Ciocarlie, Gabriela F.; Yegneswaran, Vinod; Jha, Somesh; Zhang, Xiangyu

分享

收藏

IOTCOM: Dissecting Interaction Threats in IoT Systems

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2023-04-01

8

PREAI

Alhanahnah, Mohannad; Stevens, Clay; Chen, Bocheng; Yan, Qiben; Bagheri, Hamid

分享

收藏

DINA: Detecting Hidden Android Inter-App Communication in Dynamic Loaded Code

IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY

IF8

2020-01-01

16

OAAI

Alhanahnah, Mohannad; Yan, Qiben; Bagheri, Hamid; Zhou, Hao; Tsutano, Yutaka; Srisa-an, Witawas; Luo, Xiapu

分享

收藏

Context-Aware Multifaceted Trust Framework For Evaluating Trustworthiness of Cloud Providers 用于评估云提供商可信度的上下文感知多方面信任框架

FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE

IF6.1

2018-02-01

31

PREAI

Alhanahnah, Mohannad; Bertok, Peter; Tari, Zahir; Alouneh, Sahel

分享

收藏