Atif Mashkoor

Publications

472

Citations

H-Index

2009

Active since

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

Rows per page

1–5 of 24