Atif Mashkoor
Johannes Kepler Universität Linz
H-index: 18
Europe-Austria
Top articles of Atif Mashkoor
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Code smells in pull requests: An exploratory study | Software: Practice and Experience | Muhammad Ilyas Azeem Saad Shafiq Atif Mashkoor Alexander Egyed | 2024/3 |
Balanced knowledge distribution among software development teams—Observations from open‐and closed‐source software development | Journal of Software: Evolution and Process | Saad Shafiq Christoph Mayr‐Dorn Atif Mashkoor Alexander Egyed | 2024/2/13 |
Trace preservation in B and Event-B refinements | Journal of Logical and Algebraic Methods in Programming | Sebastian Stock Atif Mashkoor Michael Leuschel Alexander Egyed | 2024/2/1 |
A conceptual framework for context-driven self-adaptive intelligent user interface based on Android | Cognition, Technology & Work | Mughees Ali Saif Ur Rehman Khan Atif Mashkoor Anam Taskeen | 2024/2 |
Validation-driven development | Sebastian Stock Atif Mashkoor Alexander Egyed | 2023/11/9 | |
Modeling and analysis of a safety-critical interactive system through validation obligations | David Geleßus Sebastian Stock Fabian Vu Michael Leuschel Atif Mashkoor | 2023/5/15 | |
A Context Ontology-Based Model to Mitigate Root Causes of Uncertainty in Cyber-Physical Systems | Mah Noor Asmat Saif Ur Rehman Khan Atif Mashkoor Irum Inayat | 2023/8/21 | |
A Fuzzy AHP-based approach for prioritization of cost overhead factors in agile software development | Syed Abusaeed Saif Ur Rehman Khan Atif Mashkoor | 2023 | |
Database and Expert Systems Applications-DEXA 2023 Workshops: 34th International Conference, DEXA 2023, Penang, Malaysia, August 28–30, 2023, Proceedings | Gabriele Kotsis A Min Tjoa Ismail Khalil Bernhard Moser Atif Mashkoor | 2023/8/20 | |
Model‐driven engineering of safety and security software systems: A systematic mapping study and future research directions | Atif Mashkoor Alexander Egyed Robert Wille Sebastian Stock | 2023/7 | |
Safety and security of cyber‐physical systems | Miklos Biro Atif Mashkoor Johannes Sametinger | 2023/7/2 | |
Teaching Engineering of AI-intensive Systems | IEEE Software | Atif Mashkoor Wesley Klewerton Guez Assuncao Alexander Egyed | 2023/12/25 |
Validation by abstraction and refinement | Sebastian Stock Fabian Vu David Geleßus Michael Leuschel Atif Mashkoor | 2023/5/15 | |
Trace refinement in B and Event-B | Sebastian Stock Atif Mashkoor Michael Leuschel Alexander Egyed | 2022/10/10 | |
Journal of Software: Evolution and Process | Atif Mashkoor Alexander Egyed Robert Wille Sebastian Stock | 2022 | |
Database and Expert Systems Applications-DEXA 2022 Workshops: 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings | Gabriele Kotsis A Min Tjoa Ismail Khalil Bernhard Moser Alfred Taudes | 2022/8/15 | |
Rigorous model-driven engineering of software-intensive safety-critical systems/submitted by Dr. Atif Mashkoor | Atif Mashkoor | 2022 | |
Application of Validation Obligations to Security Concerns | Sebastian Stock Atif Mashkoor Alexander Egyed | 2022/8/15 | |
Formalization of Advanced VOs semantics and VO Refinement | arXiv preprint arXiv:2205.08988 | Sebastian Stock Fabian Vu David Geleßus Atif Mashkoor Michael Leuschel | 2022/5/18 |
Instant and global consistency checking during collaborative engineering | Software and Systems Modeling | Michael Alexander Tröls Luciano Marchezan Atif Mashkoor Alexander Egyed | 2022/12 |