Atif Mashkoor

Statistics

Publications

Citations

472

H-Index

Active since

2009

Affiliations

Software Competence Center Hagenberg (Austria)(Current)

Johannes Kepler University of Linz

University of Bergamo

Laboratoire Lorrain de Recherche en Informatique et ses Applications

COMSATS University Islamabad

Atif Mashkoor is an author at Software Competence Center Hagenberg (Austria) specializing in engineering, software engineering, and systems engineering.

ORCID

Top concepts

EngineeringSoftware AnalysisSoftware EngineeringSystems EngineeringFormal MethodsSoftware DesignComputer ScienceFormal VerificationVerificationSoftware Testing

Publications per year

2009–2022

Publications

Software Safety and Security Risk Mitigation in Cyber-physical Systems

Miklós Bíró, Atif Mashkoor, Johannes Sametinger et al. · IEEE Software · 2017 · 35 citations · Full text

Engineering, Information Security, Safety Science +21

Intelligent Autonomous Systems

Atif Mashkoor, Paolo Arcaini, Angelo Gargantini · Computer · 2020 · 35 citations

Intelligent Autonomous Systems, Engineering, Applied Intelligent System +15

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

Syed Abusaeed, Saif Ur Rehman Khan, Atif Mashkoor · Applied Soft Computing · 2022 · 30 citations · Full text

Integrating formal methods into medical software development: The ASM approach

Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini et al. · Science of Computer Programming · 2017 · 29 citations · Full text

Software Maintenance, Formal Specification, Method Engineering +13

A systematic literature review of the use of formal methods in medical software systems

Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor · Journal of Software Evolution and Process · 2018 · 29 citations

Software Maintenance, Engineering, Software Systems +25

1–5 of 24