Khaza Anuarul Hoque
Khaza Anuarul Hoque
Assistant Professor, University of Missouri
Adresse e-mail validée de missouri.edu - Page d'accueil
Titre
Citée par
Citée par
Année
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
212015
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
212014
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
172014
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
112017
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
102019
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
102017
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
92018
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
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
72019
Adversarial Examples in Deep Learning for Multivariate Time Series Regression
GR Mode, KA Hoque
arXiv preprint arXiv:2009.11911, 2020
62020
Maintenance of Smart Buildings using Fault Trees
N Cauchi, KA Hoque, M Stoelinga, A Abate
ACM Transactions on Sensor Networks (TOSN), 2018
62018
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
62016
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
42020
Formal Specification and Dependability Analysis of Optical Communication Networks
U Siddique, KA Hoque, TT Johnson
Design, Automation, and Test in Europe, 2017
42017
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
32019
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
32018
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
32016
Early Dependability Analysis of FPGA-Based Space Applications Using Formal Verification
KA Hoque
Concordia University, 2016
32016
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
32012
Crafting Adversarial Examples for Deep Learning Based Prognostics
GR Mode, KA Hoque
2020 19th IEEE International Conference on Machine Learning and Applications …, 2020
2*2020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20