Atif Mashkoor

Johannes Kepler University of Linz — Austria

Computer Science · Physical Sciences

17h-index986citations138works1.72yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(43), Advanced Software Engineering Methodologies(43), Model-Driven Software Engineering Techniques(36), Software Engineering Research(35), Software Reliability and Analysis Research(24)

Publications138 total

Development and Validation of a Formal Model and Prototype for an Air Traffic Control System
Formal Aspects of Computing·2025Open Access
Application of AI to formal methods — an analysis of current trends
Empirical Software Engineering·2025Open Access
Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems
Lecture notes in computer science·2025· 1 cited
Failure Divergence Refinement for Event-B
Lecture notes in computer science·2025
Failure divergence refinement for Event-B
arXiv (Cornell University)·2025Open Access
A Systematic Literature Review on Graphical User Interface Testing Through Software Patterns
IET Software·2025· 1 citedOpen Access
Towards a Novel Approach to Railway Safety Using STPA and Promise Theory
Lecture notes in computer science·2025· 2 cited
Application of AI to formal methods - an analysis of current trends
arXiv (Cornell University)·2024Open Access
An adaptive synthetic sampling and batch generation-oriented hybrid approach for addressing class imbalance problem in software defect prediction
Soft Computing·2024· 6 citedOpen Access
Teaching Engineering of AI-intensive Systems
2024
MOBICAT: a model-driven engineering approach for automatic GUI code generation for Android applications
Frontiers in Computer Science·2024· 3 citedOpen Access
Supporting High-Level to Low-Level Requirements Coverage Reviewing with Large Language Models
2024· 6 citedOpen Access
Towards Leveraging Fine-Grained Dependencies to Check Requirements Traceability Correctness
2024Open Access
Balanced knowledge distribution among software development teams—Observations from open‐ and closed‐source software development
Journal of Software Evolution and Process·2024· 3 citedOpen Access
Trace preservation in B and Event-B refinements
Journal of Logical and Algebraic Methods in Programming·2024Open Access
A conceptual framework for context-driven self-adaptive intelligent user interface based on Android
Cognition Technology & Work·2024· 8 citedOpen Access
An Automated Ontology-Based Requirements Traceability Technique in Agile Software Development Context
Communications in computer and information science·2024
Assessing the Maturity of Blockchain-Based Implementations with Software Reliability Growth Models
Communications in computer and information science·2024
Teaching Engineering of AI-Intensive Systems
IEEE Software·2023· 4 citedOpen Access
Code smells in pull requests: An exploratory study
Software Practice and Experience·2023· 4 citedOpen Access
page 1 of 7Next →

Frequent Co-authors

Alexander Egyed(14), Angelo Gargantini(9), Jean‐Pierre Jacquot(9), Silvia Bonfanti(8), Miklós Bíró(6), Johannes Sametinger(5), Michael Alexander Tröls(5), Christoph Mayr‐Dorn(4), Saad Shafiq(3), Paolo Arcaini(3), Felix Kossak(3), Saif Ur Rehman Khan(2), Elvinia Riccobene(2), Basit Shahzad(2), Jeanine Souquières(2), Remzi Seker(1), Syed Abusaeed(1), Marco Carissoni(1), Abdullatif M. Abdullatif(1), Naveed Ikram(1)