Follow
Khaza Anuarul Hoque
Title
Cited by
Cited by
Year
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
252015
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
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
212019
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
182014
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
17*2020
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
152020
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
142017
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
132019
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
132018
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
132017
Crafting adversarial examples for deep learning based prognostics
GR Mode, KA Hoque
2020 19th IEEE International Conference on Machine Learning and Applications …, 2020
12*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
102020
Probabilistic formal verification of the SATS concept of operation
MU Sardar, N Afaq, KA Hoque, TT Johnson, O Hasan
NASA Formal Methods Symposium, 191-205, 2016
82016
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
72016
Early Dependability Analysis of FPGA-Based Space Applications Using Formal Verification
KA Hoque
Concordia University, 2016
72016
Maintenance of Smart Buildings using Fault Trees
N Cauchi, KA Hoque, M Stoelinga, A Abate
ACM Transactions on Sensor Networks (TOSN), 2018
62018
Formal Specification and Dependability Analysis of Optical Communication Networks
U Siddique, KA Hoque, TT Johnson
Design, Automation, and Test in Europe, 2017
42017
Applying Formal Verification to Early Assessment of FPGA-based Aerospace Applications: Methodology and Experience
KA Hoque, OA Mohamed, Y Savaria
10th IEEE International Systems Conference, 2016
42016
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, 2021
32021
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
32021
The system can't perform the operation now. Try again later.
Articles 1–20