| 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 | 49 | 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 | 48 | 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 | 29 | 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 | 28 | 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 | 24 | 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 | 22 | 2014 |
| Crafting adversarial examples for deep learning based prognostics GR Mode, KA Hoque 2020 19th IEEE International Conference on Machine Learning and Applications …, 2020 | 21* | 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 | 20 | 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 | 20 | 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 | 19 | 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 | 18 | 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 | 16 | 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 | 14 | 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 | 13 | 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 | 10 | 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 | 9 | 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 | 9 | 2020 |
| Maintenance of Smart Buildings using Fault Trees N Cauchi, KA Hoque, M Stoelinga, A Abate ACM Transactions on Sensor Networks (TOSN), 2018 | 9 | 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 | 8 | 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 | 8 | 2016 |
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteAdresse e-mail validée de utwente.nl
