| 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 | 75 | 2020 |
| 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 | 71 | 2019 |
| 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 | 40 | 2020 |
| 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 | 36 | 2021 |
| 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 | 34 | 2015 |
| 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 | 28 | 2019 |
| Crafting adversarial examples for deep learning based prognostics GR Mode, KA Hoque 2020 19th IEEE International Conference on Machine Learning and Applications …, 2020 | 27* | 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 | 27 | 2020 |
| 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 | 25 | 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 | 23 | 2014 |
| 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 | 18 | 2021 |
| Detection of Security and Privacy Attacks Disrupting User Immersive Experience in Virtual Reality Learning Environments S Valluripally, B Frailey, B Kruse, B Palipatana, R Oruche, A Gulhane, ... IEEE Transactions on Services Computing, 2022 | 17 | 2022 |
| 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 | 17 | 2017 |
| TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning RK Kundu, R Islam, P Calyam, KA Hoque IEEE International Symposium on Mixed and Augmented Reality (ISMAR), 1-10, 2022 | 16 | 2022 |
| 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 | 16 | 2021 |
| 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 | 15 | 2019 |
| 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 | 15 | 2017 |
| LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI RK Kundu, R Islam, J Quarles, KA Hoque 2023 IEEE Conference Virtual Reality and 3D User Interfaces (VR), 609-619, 2023 | 14 | 2023 |
| 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 | 14 | 2018 |
| Maintenance of Smart Buildings using Fault Trees N Cauchi, KA Hoque, M Stoelinga, A Abate ACM Transactions on Sensor Networks (TOSN), 2018 | 14 | 2018 |
Alessandro AbateProfessor of Verification and Control, University of Oxford, UK確認したメール アドレス: cs.ox.ac.uk