Formal Modeling and Verification of IoT-based Smart Transport System using SPIN Model Checker

Authors: Rashid, Muhammad, Qadeer, Muhammad, Raza, Husnain, Shabbir, Ifra, Rasool, Imran, Zafar, Nazir Ahmad

Source: 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) Humanitarian Technology Conference (KHI-HTC), 2024 IEEE 1st Karachi Section. :1-6 Jan, 2024

Relation: 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC)

Formal Verification and Validation of IoT-based Railway Gate Controlling System at Level Crossing

Authors: Rashid, Muhammad, Qadeer, Muhammad, Raza, Husnain, Shabir, Ifra, Rasool, Imran, Zafar, Nazir Ahmad

Source: 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) Humanitarian Technology Conference (KHI-HTC), 2024 IEEE 1st Karachi Section. :1-6 Jan, 2024

Relation: 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC)

Formal Modeling and Verification of IoT-based Smart Waste Management System using SPIN

Authors: Rashid, Muhammad, Rehman, Muhammad Masood Ul, Raza, Husnain, Qadeer, Muhammad, Rasool, Imran, Zafar, Nazir Ahmad

Source: 2023 17th International Conference on Open Source Systems and Technologies (ICOSST) Open Source Systems and Technologies (ICOSST), 2023 17th International Conference on. :1-6 Dec, 2023

Relation: 2023 17th International Conference on Open Source Systems and Technologies (ICOSST)

Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker

Authors: Rashid, Muhammad, Qadeer, Muhammad, Raza, Husnain, Ul Rehman, Muhammad Masood, Rasool, Imran, Zafar, Nazir Ahmad

Source: 2023 International Conference on Frontiers of Information Technology (FIT) FIT Frontiers of Information Technology (FIT), 2023 International Conference on. :262-267 Dec, 2023

Relation: 2023 International Conference on Frontiers of Information Technology (FIT)

This result is not displayed to guests.
Login for full access.

Spatio-Temporal Crop Classification On Volumetric Data

Authors: Qadeer, Muhammad Usman, Saeed, Salar, Taj, Murtaza, Muhammad, Abubakr

Source: 2021 IEEE International Conference on Image Processing (ICIP) Image Processing (ICIP), 2021 IEEE International Conference on. :3812-3816 Sep, 2021

Relation: 2021 IEEE International Conference on Image Processing (ICIP)

Smart Assistance for Disables using Bluetooth and Arduino

Authors: Raza, Ali, Qadeer, Muhammad Ahsan, Tariq, Zoha, Ahmed, Zain, Yousaf, Saqib, Shah, Asadullah

Source: 2020 IEEE 7th International Conference on Engineering Technologies and Applied Sciences (ICETAS) Engineering Technologies and Applied Sciences (ICETAS) 2020 IEEE 7th International Conference on. :1-4 Dec, 2020

Relation: 2020 IEEE 7th International Conference on Engineering Technologies and Applied Sciences (ICETAS)

Interesterification of waste cooking oil via microwave irradiation for glycerol-free biodiesel production

Authors: Qadeer, Muhammad Umer ^{a, b}, Ayoub, Muhammad ^{a, c, ⁎}, Nazir, Muhammad Hamza ^d, Javed, Muhammad Asad ^{e, ⁎⁎}, Zulqarnain ^{a, f}, Zahid, Imtisal ^d, Ameen, Mariam ^d, Sher, Farooq ^g, Ibrahim, Alhassan ^b

Source: In Biomass and Bioenergy June 2025 197

Tricuspid valve replacement with mechanical versus biological prostheses: a systematic review and meta-analysis.

Authors: Abdul Qadeer, Muhammad¹ (AUTHOR), Abdullah, Ali¹ (AUTHOR), Noorani, Amber² (AUTHOR), Khan, Abdul Hadi¹ (AUTHOR), Mustafa, Muhammad Saqlain¹ (AUTHOR), Nadeem, Zain Ali³ (AUTHOR), Samad, Shahzaib¹ (AUTHOR), Siddiq, Muhammad Usama¹ (AUTHOR), Siddiqui, Rabeeya Qutub Uddin² (AUTHOR), Said, Sameh M.^4,5 (AUTHOR) Sameh.Said@wmchealth.org

Source: Journal of Cardiothoracic Surgery. 11/26/2024, Vol. 19 Issue 1, p1-13. 13p.

Subject Terms: *TRICUSPID valve, *BIOPROSTHETIC heart valves, *BIOPROSTHESIS, *SURVIVAL rate, *VALVES

Implementation of Wireless Mesh Network for IoT based Smart Homes

Authors: Qadeer, Muhammad Usman, Liaquat, Sheroze, Shafique, Muhammad Ali, Kashif, Abdul Rahman

Source: 2019 International Symposium on Recent Advances in Electrical Engineering (RAEE) Recent Advances in Electrical Engineering (RAEE), 2019 International Symposium on. 4:1-6 Aug, 2019

Relation: 2019 International Symposium on Recent Advances in Electrical Engineering (RAEE)

A review on fundamentals for designing hydrogen evolution electrocatalyst

Authors: Qadeer, Muhammad Abdul ^{a, b, 1}, Zhang, Xiaoxue ^{a, 1}, Farid, Muhammad Asim ^c, Tanveer, M. ^d, Yan, Yichang ^e, Du, Shangfeng ^{e, ⁎⁎}, Huang, Zhen-Feng ^{a, ⁎⁎⁎}, Tahir, Muhammad ^{e, f, ⁎}, Zou, Ji-Jun ^{a, ⁎⁎⁎⁎}

Source: In Journal of Power Sources 1 September 2024 613

Nondiagnostic advancements in revolutionizing lactose intolerance: A minireview for health sciences

Authors: Tariq, Zahra, Qadeer, Muhammad Imran, Anjum, Iram, Anjum, Sumaira, Hasan, Murtaza

Source: In Hybrid Advances August 2024 6

Role of Artificial Intelligence and Machine Learning in Interventional Cardiology

Authors: Subhan, Shoaib, Malik, Jahanzeb, Haq, Abair ul, Qadeer, Muhammad Saad, Zaidi, Syed Muhammad Jawad, Orooj, Fizza, Zaman, Hafsa, Mehmoodi, Amin, Majeedi, Umaid

Source: In Current Problems in Cardiology July 2023 48(7)

Effect of Communicative Approach on Proposal Writing Skills of Distance Learners at Allama Iqbal Open University Islamabad

Authors: Samiullah, Muhammad, Qadeer, Muhammad Zaigham

Source: Pakistan Journal of Distance and Online Learning. 2018 4(2):119-128.

Peer Reviewed: Y

Page Count: 10

Descriptors: Proposal Writing, Writing Skills, Distance Education, Open Universities, Foreign Countries, Graduate Students, Communicative Competence (Languages), Instructional Effectiveness, Writing Improvement, Content Area Writing, Chemistry, Science Education, Teaching Methods

Geographic Terms: Pakistan

Prevalence, Viral Load Dynamics, and Factors Influencing SARS-CoV-2 Infection: A Cross-sectional Study in Lahore, Pakistan.

Authors: Ahsan, Ali, Kalim, Zahra, Qadeer, Muhammad Abdul, Ullah Khan, Muhammad Saif, Imran, Muhammad, Sharif, Muhammad Anees, Jalil, Kiran, Rubab, Zoha, Shabbir, Chaudhry Ahmed

Source: Advancements in Life Sciences; Feb2025, Vol. 12 Issue 1, p98-104, 7p

Subject Terms: COVID-19, VIRAL load, DISEASE prevalence, POLYMERASE chain reaction, PUBLIC health

Review of biodiesel synthesis technologies, current trends, yield influencing factors and economical analysis of supercritical process

Authors: Qadeer, Muhammad Umer, Ayoub, Muhammad, Komiyama, Masaharu, Khan Daulatzai, Muteeb Ullah, Mukhtar, Ahmad, Saqib, Sidra, Ullah, Sami, Qyyum, Muhammad Abdul, Asif, Saira, Bokhari, Awais

Source: In Journal of Cleaner Production 1 August 2021 309

Development of lignin based heterogeneous solid acid catalyst derived from sugarcane bagasse for microwave assisted-transesterification of waste cooking oil

Authors: Nazir, Muhammad Hamza, Ayoub, Muhammad, Zahid, Imtisal, Shamsuddin, Rashid Bin, Yusup, Suzana, Ameen, Mariam, Zulqarnain, Qadeer, Muhammad Umer

Source: In Biomass and Bioenergy March 2021 146

Nanostructured Graphitic Carbon Nitride for Photocatalytic and Electrochemical Applications.

Alternate Title: 用于光催化和电化学应用的纳米结构石墨氮化碳. (Chinese)

Authors: Qadeer, Muhammad Abdul, Fareed, Iqra, Hussain, Asif, Farid, Muhammad Asim, Nazir, Sadia, Butt, Faheem K., Ji-Jun Zou, Tahir, Muhammad, Shang-Feng Du

Source: Journal of Electrochemistry; 2025, Vol. 31 Issue 1, p1-30, 30p

Subject Terms: FUEL cells, PHOTOELECTRICITY, RENEWABLE energy sources, HYDROGEN storage, ELECTROCATALYSTS

Isolation, identification and molecular characterization of Newcastle disease virus using SDS-PAGE

Authors: Mahboob, Shahid, Qadeer, Muhammad, Al-Ghanim, K.A., Al-Misned, F., Al-Mulhim, N.

Source: In Journal of King Saud University - Science January 2020 32(1):1000-1003

Impact of Job Status and Demographic Trends on Quality Education: A Case Study of Private Universities in Pakistan

Authors: Ali, Riasat, Khan, Abdul Maje, Qadeer, Muhammad Zaigham, Shahzad, Saqib

Source: Contemporary Issues in Education Research. 2009 2(4):101-110.

Peer Reviewed: Y

Page Count: 10

Descriptors: Foreign Countries, Higher Education, Private Colleges, Questionnaires, Educational Quality, College Faculty, College Administration, Administrators, College Students, Teacher Attitudes, Administrator Attitudes, Gender Differences, Comparative Analysis, Governance, Teacher Competencies, Student Characteristics, Teacher Characteristics, College Curriculum, Instructional Effectiveness, Masters Programs, Statistical Significance

Geographic Terms: Pakistan