A conceptual framework for context-driven self-adaptive intelligent user interface based on Android M Ali, SUR Khan, A Mashkoor, A Taskeen Cognition, Technology & Work 26 (1), 83-106, 2024 | | 2024 |
A conceptual model for mitigation of root causes of uncertainty in cyber-physical systems MN Asmat, SUR Khan, A Mashkoor International Conference on Database and Expert Systems Applications, 9-17, 2021 | 2 | 2021 |
A Context Ontology-Based Model to Mitigate Root Causes of Uncertainty in Cyber-Physical Systems MN Asmat, SUR Khan, A Mashkoor, I Inayat International Conference on Database and Expert Systems Applications, 45-56, 2023 | | 2023 |
A Fuzzy AHP-based approach for prioritization of cost overhead factors in agile software development S Abusaeed, SUR Khan, A Mashkoor Applied Soft Computing, 109977, 2023 | 21 | 2023 |
A literature review of using machine learning in software development life cycle stages S Shafiq, A Mashkoor, C Mayr-Dorn, A Egyed IEEE Access 9, 140896-140920, 2021 | 53 | 2021 |
A preliminary systematic literature review of the use of formal methods in medical software systems S Bonfanti, AM Gargantini, A Mashkoor Industrial Proceedings of the 23rd European & Asian System, Software …, 2016 | 3 | 2016 |
A synthesis of existing approaches to specify non-functional properties S Colin, A Lanoix, A Mashkoor, J Souquières | 4 | 2008 |
A systematic literature review of the use of formal methods in medical software systems S Bonfanti, A Gargantini, A Mashkoor Journal of Software: Evolution and Process 30 (5), e1943, 2018 | 28 | 2018 |
A traceability dataset for open source systems M Hammoudi, C Mayr-Dorn, A Mashkoor, A Egyed 2021 IEEE/ACM 18th International Conference on Mining Software Repositories …, 2021 | 5 | 2021 |
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings M Butler, KD Schewe, A Mashkoor, M Biro Springer, 2016 | 2 | 2016 |
Addressing Client Needs for Cloud Computing using Formal Foundations A Buga, ST Nemes, A Mashkoor arXiv preprint arXiv:1808.04222, 2018 | | 2018 |
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study A Buga, A Mashkoor, ST Nemeş, KD Schewe, P Songprasop Computer Languages, Systems & Structures 54, 297-315, 2018 | 4 | 2018 |
Analysis of experiences with the engineering of a medical device using state-based formal methods A Mashkoor, A Egyed 2018 IEEE International Conference on Software Quality, Reliability and …, 2018 | 5 | 2018 |
Application of Validation Obligations to Security Concerns S Stock, A Mashkoor, A Egyed International Conference on Database and Expert Systems Applications, 337-346, 2022 | | 2022 |
APSEC 2021 M Hammoudi, C Mayr-Dorn, A Mashkoor, K Li, T Wang, S Schulz, ... | | |
Artificial intelligence and software engineering: Are we ready? A Mashkoor, T Menzies, A Egyed, R Ramler Computer 55 (3), 24-28, 2022 | 20 | 2022 |
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino S Bonfanti, M Carissoni, A Gargantini, A Mashkoor NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017 | 31 | 2017 |
AsmetaA: animator for abstract state machines S Bonfanti, A Gargantini, A Mashkoor International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018 | 10 | 2018 |
B événementiel pour la modélisation du domaine: application au transport A Mashkoor, JP Jacquot, J Souquières Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL …, 2009 | 20 | 2009 |
Balanced Knowledge Distribution among Software Development Teams--Observations from Open-Source and Closed-Source Software Development S Shafiq, C Mayr-Dorn, A Mashkoor, A Egyed arXiv preprint arXiv:2207.12851, 2022 | | 2022 |