Wasi Haider Butt

Orcid: 0000-0002-1347-3662

According to our database1, Wasi Haider Butt authored at least 54 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
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, 2024

Classification of Fetal Cardiac Arrhythmia Using Heart Rate Variability and Machine Learning.
Proceedings of the 5th International Conference on Advancements in Computational Sciences, 2024

2023
Common Problems in Software Requirement Engineering Process: An Overview of Pakistani Software Industry.
Proceedings of the 4th International Conference on Advancements in Computational Sciences, 2023

2022
A Retargetable Model-Driven Framework for the Development of Mobile User Interfaces.
J. Circuits Syst. Comput., 2022

Seamless Runtime Transformations from Natural Language to Formal Methods - A usecase of Z-Notation.
Proceedings of the 17th Annual System of Systems Engineering Conference, 2022

Investigation of Latest CASE Tools for Database Engineering: A Systematic Literature Review.
Proceedings of the International Conference on Frontiers of Information Technology, 2022

A Lecture Centric Automated Distractor Generation for Post-Graduate Software Engineering Courses.
Proceedings of the International Conference on Frontiers of Information Technology, 2022

2021
An Adaptive E-Learning System Using Justification Based Truth Maintenance System.
CoRR, 2021

A Systematic Review on the Data Interoperability of Application Layer Protocols in Industrial IoT.
IEEE Access, 2021

2020
A Survey of Requirement Engineering Process in Android Application Development.
CoRR, 2020

A Model-Driven Alarms Framework (MAF) With Mobile Clients Support for Wide-Ranging Industrial Control Systems.
IEEE Access, 2020

A Model-Driven Mobile HMI Framework (MMHF) for Industrial Control Systems.
IEEE Access, 2020

A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification.
IEEE Access, 2020

A Comprehensive Investigation of Universal Verification Methodology (UVM) Standard for Design Verification.
Proceedings of the 9th International Conference on Software and Computer Applications, 2020

A Novel Model Driven Framework for Image Enhancement and Object Recognition.
Proceedings of the Information and Software Technologies - 26th International Conference, 2020

Automated Summarization of Bug Reports to speed-up software development/maintenance process by using Natural Language Processing (NLP).
Proceedings of the 15th International Conference on Computer Science & Education, 2020

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.
Proceedings of the ICCMS '20: The 12th International Conference on Computer Modeling and Simulation, 2020

A Natural Language Processing (NLP) Framework for Embedded Systems to Automatically Extract Verification Aspects from Textual Design Requirements.
Proceedings of the ICCAE 2020: 12th International Conference on Computer and Automation Engineering, 2020

2019
Automated glaucoma detection using retinal layers segmentation and optic cup-to-disc ratio in optical coherence tomography images.
IET Image Process., 2019

A model-driven framework for design and verification of embedded systems through SystemVerilog.
Des. Autom. Embed. Syst., 2019

A Novel Framework to Automatically Generate Executable Web Services From BPMN Models.
IEEE Access, 2019

Automated Model-Based Test Case Generation for Web User Interfaces (WUI) From Interaction Flow Modeling Language (IFML) Models.
IEEE Access, 2019

A Model Driven Reverse Engineering Framework for Generating High Level UML Models From Java Source Code.
IEEE Access, 2019

A Comprehensive Investigation of Modern Test Suite Optimization Trends, Tools and Techniques.
IEEE Access, 2019

A Novel Framework to Automatically Generate IFML Models From Plain Text Requirements.
IEEE Access, 2019

A Systematic Review on Code Clone Detection.
IEEE Access, 2019

Bug Report Summarization: A systematic Literature Review.
Proceedings of the ICETC 2019, 2019

A Systematic Literature Review on Factors Impacting Agile Adaptation in Global Software Development.
Proceedings of the 2019 7th International Conference on Computer and Communications Management, 2019

Multi-Label Fake News Detection using Multi-layered Supervised Learning.
Proceedings of the 2019 11th International Conference on Computer and Automation Engineering, 2019

2018
Analysis of PCG signals using quality assessment and homomorphic filters for localization and classification of heart sounds.
Comput. Methods Programs Biomed., 2018

UMLPACE for Modeling and Verification of Complex Business Requirements in Event-Driven Process Chain (EPC).
IEEE Access, 2018

Event-Driven Process Chain for Modeling and Verification of Business Requirements-A Systematic Literature Review.
IEEE Access, 2018

A Comprehensive Investigation of Formal System Verification Tools and Approaches.
Proceedings of the Intelligent Systems and Applications, 2018

Survey of Software Development Effort Estimation Techniques.
Proceedings of the 7th International Conference on Software and Computer Applications, 2018

A Framework for User Characterization based on Tweets Using Machine Learning Algorithms.
Proceedings of the VII International Conference on Network, Communication and Computing, 2018

A Novel Method for Inferring Person-to-person Relationship Using Wi-Fi.
Proceedings of the VII International Conference on Network, Communication and Computing, 2018

User Identification on Social Networks Through Text Mining Techniques: A Systematic Literature Review.
Proceedings of the Information Science and Applications 2018, 2018

A Comprehensive Investigation of BPMN Models Generation from Textual Requirements - Techniques, Tools and Trends.
Proceedings of the Information Science and Applications 2018, 2018

Inferring Social Relationships Through Network: A Systematic Literature Review.
Proceedings of the Information Science and Applications 2018, 2018

SimFiller. Similarity-Based Missing Values Filling Algorithm.
Proceedings of the 2018 Thirteenth International Conference on Digital Information Management (ICDIM), 2018

A Systematic Literature Review: Software Requirements Prioritization Techniques.
Proceedings of the 2018 International Conference on Frontiers of Information Technology, 2018

2017
Covert network analysis to detect key players using correlation and social network analysis.
Proceedings of the Second International Conference on Internet of things and Cloud Computing, 2017

A comprehensive investigation of natural language processing techniques and tools to generate automated test cases.
Proceedings of the Second International Conference on Internet of things and Cloud Computing, 2017

Exploring the Ensemble of Classifiers for Sentimental Analysis: A Systematic Literature Review.
Proceedings of the 9th International Conference on Machine Learning and Computing, 2017

The Applications of Natural Language Processing (NLP) for Software Requirement Engineering - A Systematic Literature Review.
Proceedings of the Information Science and Applications 2017, 2017

A Novel Natural Language Processing (NLP) Approach to Automatically Generate Conceptual Class Model from Initial Software Requirements.
Proceedings of the Information Science and Applications 2017, 2017

Botnet Traffic Analysis Using Flow Graphs.
Proceedings of the 6th International Conference on Bioinformatics and Biomedical Science, 2017

Implementation and Analysis of Novel Clustering Algorithm Without Initial Value Selection for Software Architectural Styles Data Set.
Proceedings of the 2017 International Conference on Frontiers of Information Technology, 2017

Creating Domain Non-functional Requirements Software Product Line Engineering Using Model Transformations.
Proceedings of the 2017 International Conference on Frontiers of Information Technology, 2017

2016
A Novel Hybrid Classifiers based Model for mining in Neuro-imaging.
Proceedings of the International Conference on Internet of Things and Cloud Computing, 2016

HL7 FHIR Compliant Data Access Model for Maternal Health Information System.
Proceedings of the 16th IEEE International Conference on Bioinformatics and Bioengineering, 2016

2014
Attack Type Prediction Using Hybrid Classifier.
Proceedings of the Advanced Data Mining and Applications - 10th International Conference, 2014

2011
Requirement Conflicts Resolution: Using Requirement Filtering and Analysis.
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

2010
Retinal Images: Optic Disk Localization and Detection.
Proceedings of the Image Analysis and Recognition, 7th International Conference, 2010


  Loading...