Atif Mashkoor - Publications, H-index & Citations

Atif Mashkoor

johannes kepler university linz

17H指数

138论文数

995被引数

收录论文 8

发表时间

Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems 承诺驱动建模：面向 cyber-physical systems 的结构化建模方法

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025

IF0

2026-01-01

PREAI

Schaber, Felix; Mashkoor, Atif; Leuschel, Michael

Failure Divergence Refinement for Event-B Failure Divergence Refinement for Event-B Event-B的失败分歧精化

THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025

IF0

2026-01-01

PREAI

Stock, Sebastian; Leuschel, Michael; Mashkoor, Atif

Application of AI to formal methods — an analysis of current trends 人工智能在形式化方法中的应用——当前趋势分析

Empirical Software Engineering

IF3.6

2025-10-14

OAAI

Sebastian Stock; Jannik Dunkelau; Atif Mashkoor

Teaching Engineering of AI-Intensive Systems

IEEE SOFTWARE

IF3

2024-03-01

OAAI

Mashkoor, Atif; Assuncao, Wesley K. G.; Egyed, Alexander

A Fuzzy AHP-based approach for prioritization of cost overhead factors in agile software development

APPLIED SOFT COMPUTING

IF6.6

2023-01-01

OAAI

Abusaeed, Syed; Khan, Saif Ur Rehman; Mashkoor, Atif

A Literature Review of Using Machine Learning in Software Development Life Cycle Stages 在软件开发生命周期阶段使用机器学习的文献综述

IEEE ACCESS

IF3.6

2021-01-01

OAAI

Shafiq, Saad; Mashkoor, Atif; Mayr-Dorn, Christoph; Egyed, Alexander

Software Safety and Security Risk Mitigation in Cyber-physical Systems INTRODUCTION

IEEE SOFTWARE

IF3

2018-01-01

PREAI

Biro, Miklos; Mashkoor, Atif; Sametinger, Johannes; Seker, Remzi

Build Software or Buy: A Study on Developing Large Scale Software

IEEE ACCESS

IF3.6

2017-01-01

OAAI

Shahzad, Basit; Abdullatif, Abdullatif M.; Ikram, Naveed; Mashkoor, Atif

研究方向