Atif Mashkoor - Publications, H-index & Citations

Back

Atif Mashkoor

johannes kepler university linz

17H-index

138Paper Count

995Citation Count

Published Papers 8

Publication Date

Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025

IF0

2026-01-01

PREAI

Schaber, Felix; Mashkoor, Atif; Leuschel, Michael

Save

Failure Divergence Refinement for Event-B

THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025

IF0

2026-01-01

PREAI

Stock, Sebastian; Leuschel, Michael; Mashkoor, Atif

Save

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

Save

Teaching Engineering of AI-Intensive Systems

IEEE SOFTWARE

IF3

2024-03-01

OAAI

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

Save

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

Save

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

Save

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

Save

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

Save

Research Directions