Khaza Anuarul Hoque
Khaza Anuarul Hoque
Assistant Professor, University of Missouri
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
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
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
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
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 and System Safety, 2019
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
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
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
arXiv preprint arXiv:2009.11911, 2020
Maintenance of Smart Buildings using Fault Trees
N Cauchi, KA Hoque, M Stoelinga, A Abate
ACM Transactions on Sensor Networks (TOSN), 2018
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
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
Formal Specification and Dependability Analysis of Optical Communication Networks
U Siddique, KA Hoque, TT Johnson
Design, Automation, and Test in Europe, 2017
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
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees
A Abate, CE Budde, N Cauchi, KA Hoque, M Stoelinga
Proceedings of the European Conference of the PHM Society 4 (1), 2018
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
Early Dependability Analysis of FPGA-Based Space Applications Using Formal Verification
KA Hoque
Concordia University, 2016
MDG-SAT: an automated methodology for efficient safety checking
KA Hoque, O Ait Mohamed, S Abed, M Boukadoum
International Journal of Critical Computer-Based Systems 2 3 (1-2), 4-25, 2012
Crafting Adversarial Examples for Deep Learning Based Prognostics
GR Mode, KA Hoque
2020 19th IEEE International Conference on Machine Learning and Applications …, 2020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20