Khaza Anuarul Hoque

Khaza Anuarul Hoque

University of Missouri

H-index: 13

North America-United States

About Khaza Anuarul Hoque

Khaza Anuarul Hoque, With an exceptional h-index of 13 and a recent h-index of 12 (since 2020), a distinguished researcher at University of Missouri, specializes in the field of Cyber-Physical Systems, Formal Verification, Safe AI, Hardware, EDA.

His recent articles reflect a diverse array of research interests and contributions to the field:

Formal Verification for Blockchain-based Insurance Claims Processing

Explainable predictive maintenance is not enough: quantifying trust in remaining useful life estimation

Moving Target Defense through Approximation for Low-Power Neuromorphic Edge Intelligence

Towards a Domain-Agnostic Knowledge Graph-as-a-Service Infrastructure for Active Cyber Defense with Intelligent Agents

QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring

Model Checking Time Window Temporal Logic for Hyperproperties

Motion Planning using Hyperproperties for Time Window Temporal Logic

Security-Aware Approximate Spiking Neural Networks

Khaza Anuarul Hoque Information

University

Position

Assistant Professor

Citations(all)

472

Citations(since 2020)

392

Cited By

157

hIndex(all)

13

hIndex(since 2020)

12

i10Index(all)

15

i10Index(since 2020)

13

Email

University Profile Page

Google Scholar

Khaza Anuarul Hoque Skills & Research Interests

Cyber-Physical Systems

Formal Verification

Safe AI

Hardware

EDA

Top articles of Khaza Anuarul Hoque

Formal Verification for Blockchain-based Insurance Claims Processing

arXiv preprint arXiv:2402.13169

2024/2/20

Explainable predictive maintenance is not enough: quantifying trust in remaining useful life estimation

Annual Conference of the PHM Society

2023/10/26

Ripan Kumar Kundu
Ripan Kumar Kundu

H-Index: 4

Khaza Anuarul Hoque
Khaza Anuarul Hoque

H-Index: 7

Moving Target Defense through Approximation for Low-Power Neuromorphic Edge Intelligence

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

2023/10/25

Ayesha Siddique
Ayesha Siddique

H-Index: 2

Khaza Anuarul Hoque
Khaza Anuarul Hoque

H-Index: 7

QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring

2023/9/21

Ernest Bonnah
Ernest Bonnah

H-Index: 2

Khaza Anuarul Hoque
Khaza Anuarul Hoque

H-Index: 7

Model Checking Time Window Temporal Logic for Hyperproperties

2023/9/21

Ernest Bonnah
Ernest Bonnah

H-Index: 2

Khaza Anuarul Hoque
Khaza Anuarul Hoque

H-Index: 7

Motion Planning using Hyperproperties for Time Window Temporal Logic

IEEE Robotics and Automation Letters

2023/5/29

Ernest Bonnah
Ernest Bonnah

H-Index: 2

Khaza Anuarul Hoque
Khaza Anuarul Hoque

H-Index: 7

Security-Aware Approximate Spiking Neural Networks

2023/4/17

Ayesha Siddique
Ayesha Siddique

H-Index: 2

Khaza Anuarul Hoque
Khaza Anuarul Hoque

H-Index: 7

Improving Reliability of Spiking Neural Networks through Fault Aware Threshold Voltage Optimization

2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)

2023/4

Ayesha Siddique
Ayesha Siddique

H-Index: 2

Khaza Anuarul Hoque
Khaza Anuarul Hoque

H-Index: 7

VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality

2023/3/27

LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI

2023/3/25

Ripan Kumar Kundu
Ripan Kumar Kundu

H-Index: 4

Khaza Anuarul Hoque
Khaza Anuarul Hoque

H-Index: 7

RobustPdM: designing robust predictive maintenance against adversarial attacks

arXiv preprint arXiv:2301.10822

2023/1/25

Exposing Reliability Degradation and Mitigation in Approximate DNNs under Permanent Faults

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

2023

Ayesha Siddique
Ayesha Siddique

H-Index: 2

Khaza Anuarul Hoque
Khaza Anuarul Hoque

H-Index: 7

Runtime Monitoring of Time Window Temporal Logic

IEEE Robotics and Automation Letters

2022/3/18

Ernest Bonnah
Ernest Bonnah

H-Index: 2

Khaza Anuarul Hoque
Khaza Anuarul Hoque

H-Index: 7

Is approximation universally defensive against adversarial attacks in deep neural networks?

2022/3/14

Ayesha Siddique
Ayesha Siddique

H-Index: 2

Khaza Anuarul Hoque
Khaza Anuarul Hoque

H-Index: 7

Detection of Security and Privacy Attacks Disrupting User Immersive Experience in Virtual Reality Learning Environments

IEEE Transactions on Services Computing

2022/11/24

TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning

2022/10/17

Modeling and defense of social virtual reality attacks inducing cybersickness

IEEE Transactions on Dependable and Secure Computing

2021/10/19

ClaimChain: Secure Blockchain Platform for Handling Insurance Claims Processing

2021/12/6

Rule-based Adaptations to Control Cybersickness in Social Virtual Reality Learning Environments

2021/11/15

See List of Professors in Khaza Anuarul Hoque University(University of Missouri)

Co-Authors

academic-engine