Waqar Ahmad

According to our database1, Waqar Ahmad authored at least 36 papers between 2011 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
An Efficient Approximate Sum of Absolute Differences Hardware for FPGAs.
Proceedings of the IEEE International Conference on Consumer Electronics, 2021

2020
Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving.
IEEE Syst. J., 2020

Computer-aided diagnosis for burnt skin images using deep convolutional neural network.
Multim. Tools Appl., 2020

Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation.
Formal Aspects Comput., 2020

Formal Verification of ECCs for Memories Using ACL2.
J. Electron. Test., 2020

ETMA: A New Software for Event Tree Analysis with Application to Power Protection.
CoRR, 2020

A Formally Verified HOL4 Algebra for Event Trees.
CoRR, 2020

Human Activity Recognition using Multi-Head CNN followed by LSTM.
CoRR, 2020

Analytical time-stepping solution of the discretized population balance equation.
Comput. Chem. Eng., 2020

Generation of Highly Nonlinear and Dynamic AES Substitution-Boxes (S-Boxes) Using Chaos-Based Rotational Matrices.
IEEE Access, 2020

ETMA: An Efficient Tool for Event Trees Modeling and Analysis.
Proceedings of the IEEE International Systems Conference, 2020

Comparison of Approximate Circuits for H.264 and HEVC Motion Estimation.
Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving.
FLAP, 2019

On the formalization of importance measures using HOL theorem proving.
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

3D-HEVC Neighboring Block Based Disparity Vector (NBDV) Derivation Architecture: Complexity and Implementation Analysis.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2019

2018
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4.
CoRR, 2018

Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Accelerating Viterbi Algorithm using Custom Instruction Approach.
Proceedings of the 14th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2018

2017
Reliability modeling and analysis of communication networks.
J. Netw. Comput. Appl., 2017

Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking.
CoRR, 2017

An Algorithm for Alleviating the Effect of Hotspot on Throughput in Wireless Sensor Networks.
Proceedings of the 42nd IEEE Conference on Local Computer Networks Workshops, 2017

2016
Formalization of Reliability Block Diagrams in Higher-order Logic.
J. Appl. Log., 2016

Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Inter-app communication in Android: developer challenges.
Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Formal Dependability Modeling and Analysis: A Survey.
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Formal Availability Analysis Using Theorem Proving.
Proceedings of the Formal Methods and Software Engineering, 2016

High Level Synthesis based FPGA Implementation of H.264/AVC Sub-Pixel Luma Interpolation Filters.
Proceedings of the 2016 European Modelling Symposium, 2016

2015
Formal reliability analysis of wireless sensor network data transport protocols using HOL.
Proceedings of the 11th IEEE International Conference on Wireless and Mobile Computing, 2015

Enforcing fine-grained security and privacy policies in an ecosystem within an ecosystem.
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Towards Formal Fault Tree Analysis Using Theorem Proving.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving.
Proceedings of the IWIL@LPAR 2015, 2015

Complexity and implementation analysis of synthesized view distortion estimation architecture in 3D High Efficiency Video Coding.
Proceedings of the 2015 International Conference on 3D Imaging, 2015

2014
Alternate Phosphorylation/O-GlcNAc Modification on Human Insulin IRSs: A Road towards Impaired Insulin Signaling in Alzheimer and Diabetes.
Adv. Bioinformatics, 2014

Towards the Formal Reliability Analysis of Oil and Gas Pipelines.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

High Speed VLSI Architecture for Finding the First W Maximum/Minimum Values.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2014

2011
Insight into the Requirements of Self-aware, Adaptive and Reliable Embedded Sub-systems of Satellite Spacecraft.
Proceedings of the PECCS 2011, 2011


  Loading...