Waqar Ahmad

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 44

Top Topics

Convolutional Neural Network

Theorem Proving

Top Venues

Publications

Muhammad Awais Amin, Jawad-ur-Rehman Chughtai, Waqar Ahmad, Waqas Haider Bangyal, Irfan Ul Haq
Trajectory Data Mining and Trip Travel Time Prediction on Specific Roads. CoRR (2024)
Waqar Ahmad, Hossein Mahdavi, Ilker Hamzaoglu
An efficient versatile video coding motion estimation hardware. J. Real Time Image Process. 21 (2) (2024)
Syed M. Fasih, Asad Ali, Talha Mabood, Atif Ullah, Muhammad Hanif, Waqar Ahmad
Fruit Fly Detection and Classification in IoT Setup. ICCSA (Workshops 5) (2023)
Waqar Ahmad, Wenjun Yan, Min Ling, Chengdu Liang
DNA-Incorporated Biomimetic Olfactory Neuroepithelium That Facilitates Artificial Intelligence. Adv. Intell. Syst. 5 (6) (2023)
Waqar Amin, Fawad Hussain, Sheraz Anjum, Sharoon Saleem, Waqar Ahmad, Mubashir Hussain
HyDra: Hybrid Task Mapping Application Framework for NOC-Based MPSoCs. IEEE Access 11 (2023)
Shahid Khan, Waqar Ahmad, Osman Hasan
A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis. SMACD (2022)
Waqar Ahmad, Maryam Edalati
Urdu Speech and Text Based Sentiment Analyzer. CoRR (2022)
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar
Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem Proving. IEEE Syst. J. 16 (2) (2022)
Zanib Qaiser, Waqar Ahmad, Mir Yasir Umair, Zahid Mahmood
Unsupervised Vessel Segmentation Method in Retinal Images. FIT (2022)
Fakhri Alam Khan, Ateeq Ur Rehman Butt, Muhammad Asif, Waqar Ahmad, Muhammad Nawaz, Mona Jamjoom, Eatedal Alabdulkreem
Correction to: Computer-aided diagnosis for burnt skin images using deep convolutional neural network. Multim. Tools Appl. 81 (28) (2022)
Waqar Ahmad, Berke Ayrancioglu, Ilker Hamzaoglu
Low Error Efficient Approximate Adders for FPGAs. IEEE Access 9 (2021)
Jawad Qammar, Waqar Ahmad
Resolution Representation Based Person Re-Identification for Smart Cities Using Deep Neural Networks (DNNs). ICIT (2021)
Waqar Ahmad, Ilker Hamzaoglu
An Efficient Approximate Sum of Absolute Differences Hardware for FPGAs. ICCE (2021)
Waqar Ahmad, Osman Hasan, Falah Awwad, Nabil Bastaki, Syed Rafay Hasan
Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving. IEEE Syst. J. 14 (4) (2020)
Mohamed Ali Jama, Wenli Zhao, Waqar Ahmad, Antonio Buffo, Ville Alopaeus
Analytical time-stepping solution of the discretized population balance equation. Comput. Chem. Eng. 135 (2020)
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar, Sowmith Nethula
ETMA: A New Software for Event Tree Analysis with Application to Power Protection. CoRR (2020)
Waqar Ahmad, Misbah Kazmi, Hazrat Ali
Human Activity Recognition using Multi-Head CNN followed by LSTM. CoRR (2020)
Mahum Naseer, Waqar Ahmad, Osman Hasan
Formal Verification of ECCs for Memories Using ACL2. J. Electron. Test. 36 (5) (2020)
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar
A Formally Verified HOL4 Algebra for Event Trees. CoRR (2020)
Fakhri Alam Khan, Ateeq Ur Rehman Butt, Muhammad Asif, Waqar Ahmad, Muhammad Nawaz, Mona Jamjoom, Eatedal Alabdulkreem
Computer-aided diagnosis for burnt skin images using deep convolutional neural network. Multim. Tools Appl. 79 (45-46) (2020)
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar, Sowmith Nethula
ETMA: An Efficient Tool for Event Trees Modeling and Analysis. SysCon (2020)
Waqar Ahmad, Osman Hasan, Sofiène Tahar
Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation. Formal Aspects Comput. 32 (1) (2020)
Waqar Ahmad, Berke Ayrancioglu, Ilker Hamzaoglu
Comparison of Approximate Circuits for H.264 and HEVC Motion Estimation. DSD (2020)
Muhammad Sarmad Mahmood Malik, Muhammad Asim Ali, Muhammad Asif Khan, Muhammad Ehatisham-ul-Haq, Syed Nasir Mehmood Shah, Mobashar Rehman, Waqar Ahmad
Generation of Highly Nonlinear and Dynamic AES Substitution-Boxes (S-Boxes) Using Chaos-Based Rotational Matrices. IEEE Access 8 (2020)
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. FLAP 6 (3) (2019)
Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar
On the formalization of importance measures using HOL theorem proving. FormaliSE@ICSE (2019)
Waqar Ahmad, Naveed Khan Baloch, Fawad Hussain, Muhammad Asif Khan, Maurizio Martina
3D-HEVC Neighboring Block Based Disparity Vector (NBDV) Derivation Architecture: Complexity and Implementation Analysis. ApplePies (2019)
Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar
Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking. NFM (2018)
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4. CoRR (2018)
Waqar Ahmad, Imran Hafeez Abbassi, Usman Sanwal, Hasan Mahmood
Accelerating Viterbi Algorithm using Custom Instruction Approach. CoRR (2018)
Waqar Ahmad, Imran Hafeez Abbassi, Usman Sanwal, Hasan Mahmood
Accelerating Viterbi Algorithm using Custom Instruction Approach. MESA (2018)
Abdul Rehman, Sadia Din, Anand Paul, Waqar Ahmad
An Algorithm for Alleviating the Effect of Hotspot on Throughput in Wireless Sensor Networks. LCN Workshops (2017)
Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar
Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking. CoRR (2017)
Waqar Ahmad, Osman Hasan, Usman Pervez, Junaid Qadir
Reliability modeling and analysis of communication networks. J. Netw. Comput. Appl. 78 (2017)
Waqar Ahmad, Osman Hasan, Sofiène Tahar
Formal Dependability Modeling and Analysis: A Survey. CICM (2016)
Waqar Ahmad, Osman Hasan
Formal Availability Analysis Using Theorem Proving. ICFEM (2016)
Waqar Ahmad, Osman Hasan, Usman Pervez, Junaid Qadir
Reliability Modeling and Analysis of Communication Networks. CoRR (2016)
Waqar Ahmad, Osman Hasan
Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach. CoRR (2016)
Waqar Ahmad, Osman Hasan
Formal Availability Analysis using Theorem Proving. CoRR (2016)
Waqar Ahmad, Osman Hasan
Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach. SETTA (2016)
Waqar Ahmad, Osman Hasan, Sofiène Tahar
Formal Dependability Modeling and Analysis: A Survey. CoRR (2016)
Waqar Ahmad, Osman Hasan, Sofiène Tahar
Formalization of Reliability Block Diagrams in Higher-order Logic. J. Appl. Log. 18 (2016)
Waqar Ahmad, Javed Iqbal, Maurizio Martina, Guido Masera
High Level Synthesis based FPGA Implementation of H.264/AVC Sub-Pixel Luma Interpolation Filters. EMS (2016)
Waqar Ahmad, Christian Kästner, Joshua Sunshine, Jonathan Aldrich
Inter-app communication in Android: developer challenges. MSR (2016)
Waqar Ahmad, Osman Hasan
Towards Formal Fault Tree Analysis using Theorem Proving. CoRR (2015)
Waqar Ahmad, Osman Hasan, Sofiène Tahar
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. IWIL@LPAR (2015)
Waqar Ahmad, Osman Hasan, Sofiène Tahar
Formal reliability analysis of wireless sensor network data transport protocols using HOL. WiMob (2015)
Waqar Ahmad, Joshua Sunshine, Christian Kästner, Adam S. Wynne
Enforcing fine-grained security and privacy policies in an ecosystem within an ecosystem. MobileDeLi (2015)
Waqar Ahmad, Maurizio Martina, Guido Masera
Complexity and implementation analysis of synthesized view distortion estimation architecture in 3D High Efficiency Video Coding. IC3D (2015)
Waqar Ahmad, Osman Hasan
Towards Formal Fault Tree Analysis Using Theorem Proving. CICM (2015)
Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi
Towards the Formal Reliability Analysis of Oil and Gas Pipelines. CICM (2014)
Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi
Towards the Formal Reliability Analysis of Oil and Gas Pipelines. CoRR (2014)
Zainab Jahangir, Waqar Ahmad, Khadija Shabbiri
Alternate Phosphorylation/O-GlcNAc Modification on Human Insulin IRSs: A Road towards Impaired Insulin Signaling in Alzheimer and Diabetes. Adv. Bioinformatics 2014 (2014)
Guoping Xiao, Waqar Ahmad, Syed Azhar Ali Zaidi, Massimo Ruo Roch, Giovanni Causapruno
High Speed VLSI Architecture for Finding the First W Maximum/Minimum Values. ApplePies (2014)
Rajeev Kumar Kanth, Pasi Liljeberg, Hannu Tenhunen, Qiansu Wan, Waqar Ahmad, Li-Rong Zheng, Harish Kumar
Insight into the Requirements of Self-aware, Adaptive and Reliable Embedded Sub-systems of Satellite Spacecraft. PECCS (2011)