Aamir Naeem 个人学术档案 - 学术资源搜索

引用次数

	总计	2020 年至今
引用	72	68
h 指数	3	3
i10 指数	3	3

0

22

11

20182019202020212022202320241 2 13 21 14 12 8

合著作者

Farooque AzamProfessor of Computer, National University of Sciences and Technology在 ceme.nust.edu.pk 的电子邮件经过验证
Muhammad Waseem AnwarSchool of Innovation, Design, and Engineering, Mälardalen University Västerås, Sweden在 mdu.se 的电子邮件经过验证
Anam AmjadNational University of Sciences and Technology在 ceme.nust.edu.pk 的电子邮件经过验证

Aamir Naeem

Aamir Naeem

PhD Cyber Security Scholar at Air University Islamabad

在 students.au.edu.pk 的电子邮件经过验证

Cyber Security Artificial Intelligence Machine Learning Model Driven Software Engineering


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
A unified model-based framework for the simplified execution of static and dynamic assertion-based verification MW Anwar, M Rashid, F Azam, A Naeem, M Kashif, WH Butt IEEE Access 8, 104407-104431, 2020	41	2020
Comparison of model checking tools using timed automata-PRISM and UPPAAL A Naeem, F Azam, A Amjad, MW Anwar 2018 IEEE International Conference on Computer and Communication Engineering …, 2018	16	2018
UMLPACE for modeling and verification of complex business requirements in event-driven process chain (EPC) A Amjad, F Azam, MW Anwar, WH Butt, M Rashid, A Naeem IEEE Access 6, 76198-76216, 2018	15	2018
TH-SOF-1576. Formal Verification Approach to Verify System Designs by Utilizing Model Driven Software Engineering (MDSE) A Naeem NUST, College of Electrical and Mechanical Engineering, 2018		2018

系统目前无法执行此操作，请稍后再试。

文章 1–4