Khaza Anuarul Hoque

Orcid: 0000-0002-1625-6479

According to our database1, Khaza Anuarul Hoque authored at least 45 papers between 2012 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Moving Target Defense Through Approximation for Low-Power Neuromorphic Edge Intelligence.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., March, 2024

Formal Verification for Blockchain-based Insurance Claims Processing.
CoRR, 2024

2023
Exposing Reliability Degradation and Mitigation in Approximate DNNs Under Permanent Faults.
IEEE Trans. Very Large Scale Integr. Syst., April, 2023

Detection of Security and Privacy Attacks Disrupting User Immersive Experience in Virtual Reality Learning Environments.
IEEE Trans. Serv. Comput., 2023

Motion Planning Using Hyperproperties for Time Window Temporal Logic.
IEEE Robotics Autom. Lett., 2023

RobustPdM: Designing Robust Predictive Maintenance against Adversarial Attacks.
CoRR, 2023

LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI.
Proceedings of the IEEE Conference Virtual Reality and 3D User Interfaces, 2023

Model Checking Time Window Temporal Logic for Hyperproperties.
Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring.
Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality.
Proceedings of the 28th International Conference on Intelligent User Interfaces, 2023

Improving Reliability of Spiking Neural Networks through Fault Aware Threshold Voltage Optimization.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Security-Aware Approximate Spiking Neural Networks.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023


2022
Modeling and Defense of Social Virtual Reality Attacks Inducing Cybersickness.
IEEE Trans. Dependable Secur. Comput., 2022

Runtime Monitoring of Time Window Temporal Logic.
IEEE Robotics Autom. Lett., 2022

TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning.
Proceedings of the IEEE International Symposium on Mixed and Augmented Reality, 2022

Is Approximation Universally Defensive Against Adversarial Attacks in Deep Neural Networks?
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021
Exploring Fault-Energy Trade-offs in Approximate DNN Hardware Accelerators.
Proceedings of the 22nd International Symposium on Quality Electronic Design, 2021

Rule-based Adaptations to Control Cybersickness in Social Virtual Reality Learning Environments.
Proceedings of the 8th International Conference on Future Internet of Things and Cloud, 2021

ClaimChain: Secure Blockchain Platform for Handling Insurance Claims Processing.
Proceedings of the 2021 IEEE International Conference on Blockchain, 2021

2020
Crafting Adversarial Examples for Deep Learning Based Prognostics (Extended Version).
CoRR, 2020

Impact of False Data Injection Attacks on Deep Learning Enabled Predictive Analytics.
Proceedings of the NOMS 2020, 2020

High-level Modeling of Manufacturing Faults in Deep Neural Network Accelerators.
Proceedings of the 26th IEEE International Symposium on On-Line Testing and Robust System Design, 2020

Crafting Adversarial Examples for Deep Learning Based Prognostics.
Proceedings of the 19th IEEE International Conference on Machine Learning and Applications, 2020

Attack Trees for Security and Privacy in Social Virtual Reality Learning Environments.
Proceedings of the IEEE 17th Annual Consumer Communications & Networking Conference, 2020

Adversarial Examples in Deep Learning for Multivariate Time Series Regression.
Proceedings of the 49th IEEE Applied Imagery Pattern Recognition Workshop, 2020

2019
Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs.
Reliab. Eng. Syst. Saf., 2019

False Data Injection Attacks in Internet of Things and Deep Learning enabled Predictive Analytics.
CoRR, 2019

Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings.
CoRR, 2019

Security, Privacy and Safety Risk Assessment for Virtual Reality Learning Environment Applications.
Proceedings of the 16th IEEE Annual Consumer Communications & Networking Conference, 2019

2018
Maintenance of Smart Buildings using Fault Trees.
ACM Trans. Sens. Networks, 2018

Cyber-Physical Specification Mismatches.
ACM Trans. Cyber Phys. Syst., 2018

Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA).
J. Autom. Reason., 2018

Formal Dependability Modeling and Optimization of Scrubbed-Partitioned TMR for SRAM-based FPGAs.
CoRR, 2018

Modelling Smart Buildings Using Fault Maintenance Trees.
Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017
Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications.
J. Appl. Log., 2017

Efficient probabilistic model checking of smart building maintenance using fault maintenance trees.
Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, 2017

Formal specification and dependability analysis of optical communication networks.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016
Applying formal verification to early assessment of FPGA-based aerospace applications: Methodology and experience.
Proceedings of the Annual IEEE Systems Conference, 2016

Formal analysis of fault tree using probabilistic model checking: A solar array case study.
Proceedings of the Annual IEEE Systems Conference, 2016

Probabilistic Formal Verification of the SATS Concept of Operation.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015
Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014
Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications.
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

2013
Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2012
MDG-SAT: an automated methodology for efficient safety checking.
Int. J. Crit. Comput. Based Syst., 2012


  Loading...