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
182014
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
142019
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
122019
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
122017
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
112018
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
10*2020
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
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
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
Crafting Adversarial Examples for Deep Learning Based Prognostics
GR Mode, KA Hoque
2020 19th IEEE International Conference on Machine Learning and Applications …, 2020
5*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
52020
Formal Specification and Dependability Analysis of Optical Communication Networks
U Siddique, KA Hoque, TT Johnson
Design, Automation, and Test in Europe, 2017
42017
Early Dependability Analysis of FPGA-Based Space Applications Using Formal Verification
KA Hoque
Concordia University, 2016
42016
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
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20