Waqar Ahmad

Hossein Mahdavi

J. Real Time Image Process., April, 2024

2023

DNA-Incorporated Biomimetic Olfactory Neuroepithelium That Facilitates Artificial Intelligence.

[BibT_eX]

[DOI]

Adv. Intell. Syst., June, 2023

HyDra: Hybrid Task Mapping Application Framework for NOC-Based MPSoCs.

[BibT_eX]

[DOI]

IEEE Access, 2023

Fruit Fly Detection and Classification in IoT Setup.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2023 Workshops, 2023

2022

Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem Proving.

[BibT_eX]

[DOI]

Mohamed Abdelghany

IEEE Syst. J., 2022

Correction to: Computer-aided diagnosis for burnt skin images using deep convolutional neural network.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2022

Urdu Speech and Text Based Sentiment Analyzer.

[BibT_eX]

[DOI]

Maryam Edalati

CoRR, 2022

A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis.

[BibT_eX]

[DOI]

Shahid Khan

Proceedings of the 18th International Conference on Synthesis, 2022

Unsupervised Vessel Segmentation Method in Retinal Images.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Frontiers of Information Technology, 2022

2021

Low Error Efficient Approximate Adders for FPGAs.

[BibT_eX]

[DOI]

Berke Ayrancioglu

IEEE Access, 2021

An Efficient Approximate Sum of Absolute Differences Hardware for FPGAs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Resolution Representation Based Person Re-Identification for Smart Cities Using Deep Neural Networks (DNNs).

[BibT_eX]

[DOI]

Jawad Qammar

Proceedings of the International Conference on Information Technology, 2021

2020

Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving.

[BibT_eX]

[DOI]

IEEE Syst. J., 2020

Computer-aided diagnosis for burnt skin images using deep convolutional neural network.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2020

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

[BibT_eX]

[DOI]

Formal Aspects Comput., 2020

Formal Verification of ECCs for Memories Using ACL2.

[BibT_eX]

[DOI]

Mahum Naseer

J. Electron. Test., 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

A Formally Verified HOL4 Algebra for Event Trees.

[BibT_eX]

[DOI]

Mohamed Abdelghany

CoRR, 2020

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

[BibT_eX]

[DOI]

Muhammad Sarmad Mahmood Malik

Misbah Kazmi

Hazrat Ali

CoRR, 2020

Analytical time-stepping solution of the discretized population balance equation.

[BibT_eX]

[DOI]

Comput. Chem. Eng., 2020

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

[BibT_eX]

[DOI]

Muhammad Asim Ali

Muhammad Asif Khan

Muhammad Ehatisham-ul-Haq

Syed Nasir Mehmood Shah

Mobashar Rehman

IEEE Access, 2020

ETMA: An Efficient Tool for Event Trees Modeling and Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Systems Conference, 2020

Comparison of Approximate Circuits for H.264 and HEVC Motion Estimation.

[BibT_eX]

[DOI]

Berke Ayrancioglu

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

2019

Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving.

[BibT_eX]

[DOI]

FLAP, 2019

On the formalization of importance measures using HOL theorem proving.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2019

2018

Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4.

[BibT_eX]

[DOI]

CoRR, 2018

Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Accelerating Viterbi Algorithm using Custom Instruction Approach.

[BibT_eX]

[DOI]

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

2017

High-Level Synthesis Based VLSI Architectures for Video Coding.

[BibT_eX]

[DOI]

PhD thesis, 2017

Reliability modeling and analysis of communication networks.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

An Algorithm for Alleviating the Effect of Hotspot on Throughput in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Local Computer Networks Workshops, 2017

2016

Formalization of Reliability Block Diagrams in Higher-order Logic.

[BibT_eX]

[DOI]

J. Appl. Log., 2016

Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach.

[BibT_eX]

[DOI]

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

Inter-app communication in Android: developer challenges.

[BibT_eX]

[DOI]

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

Formal Dependability Modeling and Analysis: A Survey.

[BibT_eX]

[DOI]

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

Formal Availability Analysis Using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2016

High Level Synthesis based FPGA Implementation of H.264/AVC Sub-Pixel Luma Interpolation Filters.

[BibT_eX]

[DOI]

Proceedings of the 2016 European Modelling Symposium, 2016

2015

Formal reliability analysis of wireless sensor network data transport protocols using HOL.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Towards Formal Fault Tree Analysis Using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the IWIL@LPAR 2015, 2015

Complexity and implementation analysis of synthesized view distortion estimation architecture in 3D High Efficiency Video Coding.

[BibT_eX]

[DOI]

Maurizio Martina

Guido Masera

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.

[BibT_eX]

[DOI]

Zainab Jahangir