Khaza Anuarul Hoque
Orcid: 0000-0002-1625-6479
According to our database1,
Khaza Anuarul Hoque
authored at least 48 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
Proceedings of the NOMS 2024 IEEE Network Operations and Management Symposium, 2024
Mazed and Confused: A Dataset of Cybersickness, Working Memory, Mental Load, Physical Load, and Attention During a Real Walking Task in VR.
Proceedings of the IEEE International Symposium on Mixed and Augmented Reality, 2024
Preserving Personal Space: Differentially Private Cybersickness Detection in Immersive Virtual Reality Environments.
Proceedings of the IEEE International Symposium on Mixed and Augmented Reality, 2024
Proceedings of the Formal Methods and Software Engineering, 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
IEEE Robotics Autom. Lett., 2023
CoRR, 2023
Proceedings of the IEEE Conference Virtual Reality and 3D User Interfaces, 2023
Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023
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
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Towards a Domain-Agnostic Knowledge Graph-as-a-Service Infrastructure for Active Cyber Defense with Intelligent Agents.
Proceedings of the 52nd IEEE Applied Imagery Pattern Recognition Workshop, 2023
2022
IEEE Trans. Dependable Secur. Comput., 2022
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
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
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
Proceedings of the 26th IEEE International Symposium on On-Line Testing and Robust System Design, 2020
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
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
Security, Privacy and Safety Risk Assessment for Virtual Reality Learning Environment Applications.
Proceedings of the 16th IEEE Annual Consumer Communications & Networking Conference, 2019
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
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
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
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
Int. J. Crit. Comput. Based Syst., 2012