# Waqar Ahmad

According to our database

Collaborative distances:

^{1}, Waqar Ahmad authored at least 36 papers between 2011 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

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

J. Electron. Test., 2020

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

CoRR, 2020

CoRR, 2020

CoRR, 2020

Comput. Chem. Eng., 2020

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

IEEE Access, 2020

Proceedings of the IEEE International Systems Conference, 2020

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019

FLAP, 2019

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

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

Proceedings of the 14th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2018

2017

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

J. Appl. Log., 2016

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

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

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

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

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