Follow
Khaza Anuarul Hoque
Khaza Anuarul Hoque
Other namesKhaza Hoque
Assistant Professor, Electrical Engineering and Computer Science (EECS), University of Missouri
Verified email at missouri.edu - Homepage
Title
Cited by
Cited by
Year
Security, Privacy and Safety Risk Assessment for Virtual Reality Learning Environment Applications
A Gulhane, A Vyas, R Mitra, R Oruche, G Hoefer, S Valluripally, P Calyam, ...
2019 16th IEEE Annual Consumer Communications & Networking Conference (CCNC …, 2019
512019
Adversarial examples in deep learning for multivariate time series regression
GR Mode, KA Hoque
2020 IEEE Applied Imagery Pattern Recognition Workshop (AIPR), 1-10, 2020
502020
Attack trees for security and privacy in social virtual reality learning environments
S Valluripally, A Gulhane, R Mitra, KA Hoque, P Calyam
2020 IEEE 17th Annual Consumer Communications & Networking Conference (CCNC …, 2020
322020
Towards An Accurate Reliability, Availability and Maintainability Analysis Approach for Satellite Systems Based on Probabilistic Model Checking
KA Hoque, OA Mohamed, Y Savaria
Design, Automation, and Test in Europe, 2015
272015
Probabilistic Model Checking Based DAL Analysis to Optimize a Combined TMR-Blind-Scrubbing Mitigation Technique for FPGA-Based Aerospace Applications
KA Hoque, OA Mohamed, Y Savaria, C Thibeault
International Conference on Formal Methods and Models for Co-Design, 2014
242014
Modeling and defense of social virtual reality attacks inducing cybersickness
S Valluripally, A Gulhane, KA Hoque, P Calyam
IEEE Transactions on Dependable and Secure Computing 19 (6), 4127-4144, 2021
222021
Crafting adversarial examples for deep learning based prognostics
GR Mode, KA Hoque
2020 19th IEEE International Conference on Machine Learning and Applications …, 2020
22*2020
False data injection attacks in internet of things and deep learning enabled predictive analytics
GR Mode, P Calyam, KA Hoque
arXiv preprint arXiv:1910.01716, 2019
222019
Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking
KA Hoque, OA Mohamed, Y Savaria, C Thibeault
Formal Techniques for Safety-Critical Systems 419, 54-70, 2014
222014
Impact of false data injection attacks on deep learning enabled predictive analytics
GR Mode, P Calyam, KA Hoque
NOMS 2020-2020 IEEE/IFIP Network Operations and Management Symposium, 1-7, 2020
202020
Efficient probabilistic model checking of smart building maintenance using fault maintenance trees
N Cauchi, KA Hoque, A Abate, M Stoelinga
Proceedings of the 4th ACM International Conference on Systems for Energy …, 2017
172017
Cyber-physical specification mismatches
LV Nguyen, KA Hoque, S Bak, S Drager, TT Johnson
ACM Transactions on Cyber-Physical Systems 2 (4), 1-26, 2018
162018
Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications
KA Hoque, OA Mohamed, Y Savaria
Journal of Applied Logic 25, 47-68, 2017
152017
Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs
KA Hoque, OA Mohamed, Y Savaria
Reliability Engineering & System Safety 182, 107-119, 2019
142019
ClaimChain: Secure Blockchain Platform for Handling Insurance Claims Processing
NR Bhamidipati, V Vakkavanthula, G Stafford, M Dahir, R Neupane, ...
2021 IEEE International Conference on Blockchain (Blockchain), 55-64, 2021
132021
Exploring Fault-Energy Trade-offs in Approximate DNN Hardware Accelerators
A Siddique, K Basu, KA Hoque
2021 22nd International Symposium on Quality Electronic Design (ISQED), 343-348, 2021
102021
Maintenance of Smart Buildings using Fault Trees
N Cauchi, KA Hoque, M Stoelinga, A Abate
ACM Transactions on Sensor Networks (TOSN), 2018
102018
Formal Analysis of Fault Tree using Probabilistic Model Checking: A Solar Array Case Study
M Ammar, KA Hoque, OA Mohamed
10th IEEE International Systems Conference, 2016
102016
Runtime Monitoring of Time Window Temporal Logic
E Bonnah, KA Hoque
IEEE Robotics and Automation Letters 7 (3), 5888-5895, 2022
92022
High-level modeling of manufacturing faults in deep neural network accelerators
S Kundu, A Soyyiğit, KA Hoque, K Basu
2020 IEEE 26th International Symposium on On-Line Testing and Robust System …, 2020
92020
The system can't perform the operation now. Try again later.
Articles 1–20