According to our database1, Waqar Ahmad authored at least 36 papers between 2011 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the IEEE International Conference on Consumer Electronics, 2021
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
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
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
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
J. Netw. Comput. Appl., 2017
Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking.
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
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
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
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
Insight into the Requirements of Self-aware, Adaptive and Reliable Embedded Sub-systems of Satellite Spacecraft.
Proceedings of the PECCS 2011, 2011