default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWasi Haider Butt
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j20]Anum Tariq
, Shoab Ahmed Khan, Wasi Haider Butt, Asim Javaid, Tehmina Shehryar:
An IoT-Enabled Real-Time Dynamic Scheduler for Flexible Job Shop Scheduling (FJSS) in an Industry 4.0-Based Manufacturing Execution System (MES 4.0). IEEE Access 12: 49653-49666 (2024)- [j19]Anum Tariq, Shoab Ahmed Khan, Wasi Haider Butt, Asim Javaid, Tehmina Shehryar:
Corrections to "An IoT-Enabled Real-Time Dynamic Scheduler for Flexible Job Shop Scheduling (FJSS) in an Industry 4.0-Based Manufacturing Execution System (MES 4.0)". IEEE Access 12: 118941 (2024) - [j18]Muhammad Waqas Ahmad, Muhammad Usman Akram, Mashood Mohammad Mohsan, Kashif Saghar, Rashid Ahmad, Wasi Haider Butt:
Transformer-based sensor failure prediction and classification framework for UAVs. Expert Syst. Appl. 248: 123415 (2024) - [j17]Attique Ur Rehman, Wasi Haider Butt, Tahir Muhammad Ali, Sabeen Javaid, Maram Fahhad Almufareh, Mamoona Humayun, Hameedur Rahman, Azka Mir, Momina Shaheen:
A Machine Learning-Based Framework for Accurate and Early Diagnosis of Liver Diseases: A Comprehensive Study on Feature Selection, Data Imbalance, and Algorithmic Performance. Int. J. Intell. Syst. 2024(1) (2024) - [c36]Muhammad Arslan Shahid, Arslan Shaukat, Muhammad Usman Akram, Wasi Haider Butt:
Classification of Fetal Cardiac Arrhythmia Using Heart Rate Variability and Machine Learning. ICACS 2024: 1-7 - 2023
- [c35]Sadia Khalid, Uzair Rasheed, Mishal Muneer, Wasi Haider Butt, Rabia Mehmood, Usman Qamar:
Common Problems in Software Requirement Engineering Process: An Overview of Pakistani Software Industry. ICACS 2023: 1-6 - 2022
- [j16]Mehreen Khan, Farooque Azam, Muhammad Rashid, Fatima Samea, Muhammad Waseem Anwar, Abdul Wahab Muzaffar, Wasi Haider Butt:
A Retargetable Model-Driven Framework for the Development of Mobile User Interfaces. J. Circuits Syst. Comput. 31(1): 2250018:1-2250018:30 (2022) - [c34]Nazish Yousaf, Madeha Arif, Misbah Mehboob Awan, Wasi Haider Butt:
Investigation of Latest CASE Tools for Database Engineering: A Systematic Literature Review. FIT 2022: 7-12 - [c33]Rudeema Chughtai, Farooque Azam, Muhammad Waseem Anwar, Wasi Haider Butt, Muhammad Umar Farooq:
A Lecture Centric Automated Distractor Generation for Post-Graduate Software Engineering Courses. FIT 2022: 100-105 - [c32]Misbah Mehboob Awan, Wasi Haider Butt, Muhammad Waseem Anwar, Farooque Azam:
Seamless Runtime Transformations from Natural Language to Formal Methods - A usecase of Z-Notation. SoSE 2022: 375-380 - 2021
- [j15]Anam Amjad, Farooque Azam, Muhammad Waseem Anwar, Wasi Haider Butt:
A Systematic Review on the Data Interoperability of Application Layer Protocols in Industrial IoT. IEEE Access 9: 96528-96545 (2021) - [i2]TahirMohammadAli, Attique Ur Rehman, AliNawaz, Wasi Haider Butt:
An Adaptive E-Learning System Using Justification Based Truth Maintenance System. CoRR abs/2107.05049 (2021) - 2020
- [j14]Iqra Qasim, Muhammad Waseem Anwar, Farooque Azam, Hanny Tufail, Wasi Haider Butt, Muhammad Nouman Zafar:
A Model-Driven Mobile HMI Framework (MMHF) for Industrial Control Systems. IEEE Access 8: 10827-10846 (2020) - [j13]Muhammad Waseem Anwar, Muhammad Rashid, Farooque Azam, Aamir Naeem, Muhammad Kashif, Wasi Haider Butt:
A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification. IEEE Access 8: 104407-104431 (2020) - [j12]Hanny Tufail, Farooque Azam, Muhammad Waseem Anwar, Muhammad Nouman Zafar, Abdul Wahab Muzaffar, Wasi Haider Butt:
A Model-Driven Alarms Framework (MAF) With Mobile Clients Support for Wide-Ranging Industrial Control Systems. IEEE Access 8: 174279-174304 (2020) - [c31]Muhammad Waseem Anwar, Imran Ahsan, Farooque Azam, Wasi Haider Butt, Muhammad Rashid:
A Natural Language Processing (NLP) Framework for Embedded Systems to Automatically Extract Verification Aspects from Textual Design Requirements. ICCAE 2020: 7-12 - [c30]Muhammad Waseem Anwar, Shumaila Qamar, Farooque Azam, Wasi Haider Butt, Muhammad Rashid:
Bridging the Gap between Design and Verification of Embedded Systems in Model Based System Engineering: A Meta-model for Modeling Universal Verification Methodology (UVM) Test Benches. ICCMS 2020: 82-87 - [c29]M. Irtaza Nawaz Tarar, Faizan Ahmed, Wasi Haider Butt:
Automated Summarization of Bug Reports to speed-up software development/maintenance process by using Natural Language Processing (NLP). ICCSE 2020: 483-488 - [c28]Yawar Rasheed, Muhammad Abbas, Muhammad Waseem Anwar, Wasi Haider Butt, Urooj Fatima:
A Novel Model Driven Framework for Image Enhancement and Object Recognition. ICIST 2020: 14-25 - [c27]Shumaila Qamar, Wasi Haider Butt, Muhammad Waseem Anwar, Farooque Azam, Muhammad Qasim Khan:
A Comprehensive Investigation of Universal Verification Methodology (UVM) Standard for Design Verification. ICSCA 2020: 339-343 - [i1]Ali Nawaz, Attique Ur Rehman, Wasi Haider Butt:
A Survey of Requirement Engineering Process in Android Application Development. CoRR abs/2008.13113 (2020)
2010 – 2019
- 2019
- [j11]Nazish Yousaf, Farooque Azam, Wasi Haider Butt, Muhammad Waseem Anwar, Muhammad Rashid:
Automated Model-Based Test Case Generation for Web User Interfaces (WUI) From Interaction Flow Modeling Language (IFML) Models. IEEE Access 7: 67331-67354 (2019) - [j10]Qurat Ul Ain, Wasi Haider Butt, Muhammad Waseem Anwar, Farooque Azam, Bilal Maqbool:
A Systematic Review on Code Clone Detection. IEEE Access 7: 86121-86144 (2019) - [j9]Ayesha Kiran, Wasi Haider Butt, Muhammad Waseem Anwar, Farooque Azam, Bilal Maqbool:
A Comprehensive Investigation of Modern Test Suite Optimization Trends, Tools and Techniques. IEEE Access 7: 89093-89117 (2019) - [j8]Iqra Zafar, Farooque Azam, Muhammad Waseem Anwar, Bilal Maqbool, Wasi Haider Butt, Aiman Khan Nazir:
A Novel Framework to Automatically Generate Executable Web Services From BPMN Models. IEEE Access 7: 93653-93677 (2019) - [j7]Umair Sabir, Farooque Azam, Sami ul Haq, Muhammad Waseem Anwar, Wasi Haider Butt, Anam Amjad:
A Model Driven Reverse Engineering Framework for Generating High Level UML Models From Java Source Code. IEEE Access 7: 158931-158950 (2019) - [j6]Maryum Hamdani, Wasi Haider Butt, Muhammad Waseem Anwar, Imran Ahsan, Farooque Azam, Mudassar Adeel Ahmed:
A Novel Framework to Automatically Generate IFML Models From Plain Text Requirements. IEEE Access 7: 183489-183513 (2019) - [j5]Muhammad Waseem Anwar, Muhammad Rashid, Farooque Azam, Muhammad Kashif, Wasi Haider Butt:
A model-driven framework for design and verification of embedded systems through SystemVerilog. Des. Autom. Embed. Syst. 23(3-4): 179-223 (2019) - [j4]Aneeqa Ramzan, Muhammad Usman Akram, Arslan Shaukat, Sajid Gul Khawaja, Ubaidullah Yasin, Wasi Haider Butt:
Automated glaucoma detection using retinal layers segmentation and optic cup-to-disc ratio in optical coherence tomography images. IET Image Process. 13(3): 409-420 (2019) - [c26]Tayyaba Rasool, Wasi Haider Butt, Arslan Shaukat, M. Usman Akram:
Multi-Label Fake News Detection using Multi-layered Supervised Learning. ICCAE 2019: 73-77 - [c25]Areebah Altaf, Urooj Fatima, Wasi Haider Butt, Muhammad Waseem Anwar, Maryum Hamdani:
A Systematic Literature Review on Factors Impacting Agile Adaptation in Global Software Development. ICCCM 2019: 158-163 - [c24]M. Irtaza Nawaz Tarar, Mubashir Ali, Wasi Haider Butt:
Bug Report Summarization: A systematic Literature Review. ICETC 2019: 257-261 - 2018
- [j3]Anam Amjad, Farooque Azam, Muhammad Waseem Anwar, Wasi Haider Butt, Muhammad Rashid:
Event-Driven Process Chain for Modeling and Verification of Business Requirements-A Systematic Literature Review. IEEE Access 6: 9027-9048 (2018) - [j2]Anam Amjad, Farooque Azam, Muhammad Waseem Anwar, Wasi Haider Butt, Muhammad Rashid, Aamir Naeem:
UMLPACE for Modeling and Verification of Complex Business Requirements in Event-Driven Process Chain (EPC). IEEE Access 6: 76198-76216 (2018) - [j1]Qurat-ul-Ain Mubarak, Muhammad Usman Akram, Arslan Shaukat, Farhan Hussain, Sajid Gul Khawaja, Wasi Haider Butt:
Analysis of PCG signals using quality assessment and homomorphic filters for localization and classification of heart sounds. Comput. Methods Programs Biomed. 164: 143-157 (2018) - [c23]Muhammad Sufian, Zirak Khan, Saad Rehman, Wasi Haider Butt:
A Systematic Literature Review: Software Requirements Prioritization Techniques. FIT 2018: 35-40 - [c22]Wajeeha Aslam, Wasi Haider Butt, Muhammad Waseem Anwar:
A Systematic Review on Social Network Analysis: Tools, Algorithms and Frameworks. ICCBD 2018: 92-97 - [c21]Fateh ur Rehman, Muhammad Abbas, Sajjad Murtaza, Wasi Haider Butt, Saad Rehman, Usman Qamar:
SimFiller. Similarity-Based Missing Values Filling Algorithm. ICDIM 2018: 77-81 - [c20]Fauqia Ilyas, Farooque Azam, Wasi Haider Butt, Kinza Zahra:
Inferring Social Relationships Through Network: A Systematic Literature Review. ICISA 2018: 75-87 - [c19]Kinza Zahra, Farooque Azam, Wasi Haider Butt, Fauqia Ilyas:
User Identification on Social Networks Through Text Mining Techniques: A Systematic Literature Review. ICISA 2018: 485-498 - [c18]Bilal Maqbool, Farooque Azam, Muhammad Waseem Anwar, Wasi Haider Butt, Jahan Zeb, Iqra Zafar, Aiman Khan Nazir, Zuneera Umair:
A Comprehensive Investigation of BPMN Models Generation from Textual Requirements - Techniques, Tools and Trends. ICISA 2018: 543-557 - [c17]Kinza Zahra, Farooque Azam, Wasi Haider Butt, Fauqia Ilyas:
A Framework for User Characterization based on Tweets Using Machine Learning Algorithms. ICNCC 2018: 11-16 - [c16]Fauqia Ilyas, Farooque Azam, Wasi Haider Butt, Kinza Zahra:
A Novel Method for Inferring Person-to-person Relationship Using Wi-Fi. ICNCC 2018: 200-205 - [c15]Ayesha Saeed, Wasi Haider Butt, Farwa Kazmi, Madeha Arif:
Survey of Software Development Effort Estimation Techniques. ICSCA 2018: 82-86 - [c14]Nazish Yousaf, Muhammad Waseem Anwar, Farooque Azam, Wasi Haider Butt:
A Comprehensive Investigation of Formal System Verification Tools and Approaches. IntelliSys (2) 2018: 1245-1255 - 2017
- [c13]Fatima Khalique, Wasi Haider Butt, Shoab Ahmad Khan:
Creating Domain Non-functional Requirements Software Product Line Engineering Using Model Transformations. FIT 2017: 41-45 - [c12]Qadeem Khan, Usman Qamar, Wasi Haider Butt, Saad Rehman:
Implementation and Analysis of Novel Clustering Algorithm Without Initial Value Selection for Software Architectural Styles Data Set. FIT 2017: 64-69 - [c11]Wahid Hussain, Nazar Abbas Saqib, Muazzam Ali Khan, Wasi Haider Butt:
Botnet Traffic Analysis Using Flow Graphs. ICBBS 2017: 172-176 - [c10]Mudassar Adeel Ahmed, Wasi Haider Butt, Imran Ahsan, Muhammad Waseem Anwar, Muhammad Latif, Farooque Azam:
A Novel Natural Language Processing (NLP) Approach to Automatically Generate Conceptual Class Model from Initial Software Requirements. ICISA 2017: 476-484 - [c9]Farhana Nazir, Wasi Haider Butt, Muhammad Waseem Anwar, Muazzam Ali Khan Khattak:
The Applications of Natural Language Processing (NLP) for Software Requirement Engineering - A Systematic Literature Review. ICISA 2017: 485-493 - [c8]Ali Athar, Wasi Haider Butt, Muhammad Waseem Anwar, Muhammad Latif, Farooque Azam:
Exploring the Ensemble of Classifiers for Sentimental Analysis: A Systematic Literature Review. ICMLC 2017: 410-414 - [c7]Ejaz Farooq, Shoab Ahmad Khan, Wasi Haider Butt:
Covert network analysis to detect key players using correlation and social network analysis. ICC 2017: 94:1-94:6 - [c6]Imran Ahsan, Wasi Haider Butt, Mudassar Adeel Ahmed, Muhammad Waseem Anwar:
A comprehensive investigation of natural language processing techniques and tools to generate automated test cases. ICC 2017: 132:1-132:10 - 2016
- [c5]Saadia Ismail, Majed Alshmari, Usman Qamar, Wasi Haider Butt, Khalid Latif, Hafiz Farooq Ahmad:
HL7 FHIR Compliant Data Access Model for Maternal Health Information System. BIBE 2016: 51-56 - [c4]A. B. N. Alvi, Usman Qamar, Abdul Wahab Muzaffar, Wasi Haider Butt:
A Novel Hybrid Classifiers based Model for mining in Neuro-imaging. ICC 2016 2016: 13:1-13:6 - 2014
- [c3]Sobia Shafiq, Wasi Haider Butt, Usman Qamar:
Attack Type Prediction Using Hybrid Classifier. ADMA 2014: 488-498 - 2011
- [c2]Wasi Haider Butt, Sameera Amjad, Farooque Azam:
Requirement Conflicts Resolution: Using Requirement Filtering and Analysis. ICCSA (5) 2011: 383-397 - 2010
- [c1]M. Usman Akram, Aftab Khan, Khalid Iqbal, Wasi Haider Butt:
Retinal Images: Optic Disk Localization and Detection. ICIAR (2) 2010: 40-49
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
