Khaza Anuarul Hoque
Khaza Anuarul Hoque
Autres nomsKhaza Hoque
Assistant Professor, Electrical Engineering and Computer Science (EECS), University of Missouri
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
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
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
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
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
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
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
Crafting adversarial examples for deep learning based prognostics
GR Mode, KA Hoque
2020 19th IEEE International Conference on Machine Learning and Applications …, 2020
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
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
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
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
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
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
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
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
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
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
Maintenance of Smart Buildings using Fault Trees
N Cauchi, KA Hoque, M Stoelinga, A Abate
ACM Transactions on Sensor Networks (TOSN), 2018
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
Probabilistic formal verification of the SATS concept of operation
MU Sardar, N Afaq, KA Hoque, TT Johnson, O Hasan
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20