MDG-SAT: an automated methodology for efficient safety checking. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Sa'ed Abed; Mounir Boukadoum (Int. J. Crit. Comput. Based Syst., 2012)

Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Yvon Savaria; Claude Thibeault (FTSCS, 2013)

Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Yvon Savaria; Claude Thibeault (MEMOCODE, 2014)

Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Yvon Savaria (DATE, 2015)

Probabilistic Formal Verification of the SATS Concept of Operation. - Muhammad Usama Sardar; Nida Afaq; Khaza Anuarul Hoque; Taylor T. Johnson; Osman Hasan (NFM, 2016)

Formal analysis of fault tree using probabilistic model checking: A solar array case study. - Marwan Ammar; Khaza Anuarul Hoque; Otmane Aït Mohamed (SysCon, 2016)

Applying formal verification to early assessment of FPGA-based aerospace applications: Methodology and experience. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Yvon Savaria (SysCon, 2016)

Formal specification and dependability analysis of optical communication networks. - Umair Siddique; Khaza Anuarul Hoque; Taylor T. Johnson (DATE, 2017)

Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. - Nathalie Cauchi; Khaza Anuarul Hoque; Alessandro Abate; Mariëlle Stoelinga (BuildSys, 2017)

Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Yvon Savaria (J. Appl. Log., 2017)

Modelling Smart Buildings Using Fault Maintenance Trees. - Alessandro Abate; Carlos E. Budde; Nathalie Cauchi; Arnaud van Harmelen; Khaza Anuarul Hoque; Mariëlle Stoelinga (EPEW, 2018)

Formal Dependability Modeling and Optimization of Scrubbed-Partitioned TMR for SRAM-based FPGAs. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Yvon Savaria (CoRR, 2018)

Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA). - Muhammad Usama Sardar; Nida Afaq; Osman Hasan; Khaza Anuarul Hoque (J. Autom. Reason., 2018)

Cyber-Physical Specification Mismatches. - Luan Viet Nguyen; Khaza Anuarul Hoque; Stanley Bak; Steven Drager 001; Taylor T. Johnson (ACM Trans. Cyber Phys. Syst., 2018)

Maintenance of Smart Buildings using Fault Trees. - Nathalie Cauchi; Khaza Anuarul Hoque; Mariëlle Stoelinga; Alessandro Abate (ACM Trans. Sens. Networks, 2018)

Security, Privacy and Safety Risk Assessment for Virtual Reality Learning Environment Applications. - Aniket Gulhane; Akhil Vyas; Reshmi Mitra; Roland Oruche; Gabriela Hoefer; Samaikya Valluripally; Prasad Calyam; Khaza Anuarul Hoque (CCNC, 2019)

Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings. - Khaza Anuarul Hoque; Nathalie Cauchi; Alessandro Abate (CoRR, 2019)

False Data Injection Attacks in Internet of Things and Deep Learning enabled Predictive Analytics. - Gautam Raj Mode; Prasad Calyam; Khaza Anuarul Hoque (CoRR, 2019)

Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Yvon Savaria (Reliab. Eng. Syst. Saf., 2019)

Adversarial Examples in Deep Learning for Multivariate Time Series Regression. - Gautam Raj Mode; Khaza Anuarul Hoque (AIPR, 2020)

Attack Trees for Security and Privacy in Social Virtual Reality Learning Environments. - Samaikya Valluripally; Aniket Gulhane; Reshmi Mitra; Khaza Anuarul Hoque; Prasad Calyam (CCNC, 2020)

Crafting Adversarial Examples for Deep Learning Based Prognostics. - Gautam Raj Mode; Khaza Anuarul Hoque (ICMLA, 2020)

High-level Modeling of Manufacturing Faults in Deep Neural Network Accelerators. - Shamik Kundu; Ahmet Soyyigit; Khaza Anuarul Hoque; Kanad Basu (IOLTS, 2020)

Impact of False Data Injection Attacks on Deep Learning Enabled Predictive Analytics. - Gautam Raj Mode; Prasad Calyam; Khaza Anuarul Hoque (NOMS, 2020)

Crafting Adversarial Examples for Deep Learning Based Prognostics (Extended Version). - Gautam Raj Mode; Khaza Anuarul Hoque (CoRR, 2020)

ClaimChain: Secure Blockchain Platform for Handling Insurance Claims Processing. - Naga Ramya Bhamidipati; Varsha Vakkavanthula; George Stafford; Masrik A. Dahir; Roshan Lal Neupane; Ernest Bonnah; Songjie Wang; J. V. R. Murthy; Khaza Anuarul Hoque; Prasad Calyam (Blockchain, 2021)

Rule-based Adaptations to Control Cybersickness in Social Virtual Reality Learning Environments. - Samaikya Valluripally; Vaibhav Akashe; Michael Fisher 007; David Falana; Khaza Anuarul Hoque; Prasad Calyam (FiCloud, 2021)

Exploring Fault-Energy Trade-offs in Approximate DNN Hardware Accelerators. - Ayesha Siddique; Kanad Basu; Khaza Anuarul Hoque (ISQED, 2021)

Is Approximation Universally Defensive Against Adversarial Attacks in Deep Neural Networks? - Ayesha Siddique; Khaza Anuarul Hoque (DATE, 2022)

TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning. - Ripan Kumar Kundu; Rifatul Islam; Prasad Calyam; Khaza Anuarul Hoque (ISMAR, 2022)

Runtime Monitoring of Time Window Temporal Logic. - Ernest Bonnah; Khaza Anuarul Hoque (IEEE Robotics Autom. Lett., 2022)

Modeling and Defense of Social Virtual Reality Attacks Inducing Cybersickness. - Samaikya Valluripally; Aniket Gulhane; Khaza Anuarul Hoque; Prasad Calyam (IEEE Trans. Dependable Secur. Comput., 2022)

Towards a Domain-Agnostic Knowledge Graph-as-a-Service Infrastructure for Active Cyber Defense with Intelligent Agents. - Prasad Calyam; Mayank Kejriwal; Praveen Rao 001; Jianlin Cheng; Weichao Wang; Linquan Bai; V. Sriram Siddhardh Nadendla; Sanjay Madria; Sajal K. Das 001; Rohit Chadha; Khaza Anuarul Hoque; Kannappan Palaniappan; et al. (AIPR, 2023)

Security-Aware Approximate Spiking Neural Networks. - Syed Tihaam Ahmad; Ayesha Siddique; Khaza Anuarul Hoque (DATE, 2023)

Improving Reliability of Spiking Neural Networks through Fault Aware Threshold Voltage Optimization. - Ayesha Siddique; Khaza Anuarul Hoque (DATE, 2023)

VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality. - Ripan Kumar Kundu; Osama Yahia Elsaid; Prasad Calyam; Khaza Anuarul Hoque (IUI, 2023)

QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring. - Ernest Bonnah; Khaza Anuarul Hoque (MEMOCODE, 2023)

Model Checking Time Window Temporal Logic for Hyperproperties. - Ernest Bonnah; Luan Viet Nguyen; Khaza Anuarul Hoque (MEMOCODE, 2023)

LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI. - Ripan Kumar Kundu; Rifatul Islam; John Quarles; Khaza Anuarul Hoque (VR, 2023)

RobustPdM: Designing Robust Predictive Maintenance against Adversarial Attacks. - Ayesha Siddique; Ripan Kumar Kundu; Gautam Raj Mode; Khaza Anuarul Hoque (CoRR, 2023)

Motion Planning Using Hyperproperties for Time Window Temporal Logic. - Ernest Bonnah; Luan Viet Nguyen; Khaza Anuarul Hoque (IEEE Robotics Autom. Lett., 2023)

Detection of Security and Privacy Attacks Disrupting User Immersive Experience in Virtual Reality Learning Environments. - Samaikya Valluripally; Benjamin Frailey; Brady Kruse; Boonakij Palipatana; Roland Oruche; Aniket Gulhane; Khaza Anuarul Hoque; Prasad Calyam (IEEE Trans. Serv. Comput., 2023)

Exposing Reliability Degradation and Mitigation in Approximate DNNs Under Permanent Faults. - Ayesha Siddique; Khaza Anuarul Hoque (IEEE Trans. Very Large Scale Integr. Syst., 2023)

Efficient SMT-Based Model Checking for HyperTWTL. - Ernest Bonnah; Luan Viet Nguyen; Khaza Anuarul Hoque (ICFEM, 2024)

Preserving Personal Space: Differentially Private Cybersickness Detection in Immersive Virtual Reality Environments. - Ripan Kumar Kundu; Khaza Anuarul Hoque (ISMAR, 2024)

Mazed and Confused: A Dataset of Cybersickness, Working Memory, Mental Load, Physical Load, and Attention During a Real Walking Task in VR. - Jyotirmay Nag Setu; Joshua M. Le; Ripan Kumar Kundu; Barry Giesbrecht; Tobias Höllerer; Khaza Anuarul Hoque; Kevin Desai; John Quarles (ISMAR, 2024)

Formal Verification for Blockchain-based Insurance Claims Processing. - Roshan Lal Neupane; Ernest Bonnah; Bishnu Bhusal; Kiran Neupane; Khaza Anuarul Hoque; Prasad Calyam (NOMS, 2024)

Moving Target Defense Through Approximation for Low-Power Neuromorphic Edge Intelligence. - Ayesha Siddique; Khaza Anuarul Hoque (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

EdgeGuard: Robust and Fault-Aware Design for Resilient Edge Computing AI Accelerators. - Sabrina Ahmed; Khaza Anuarul Hoque; Benjamin Carrion Schafer (ACM Great Lakes Symposium on VLSI, 2025)

Explainable AI-Guided Efficient Approximate DNN Generation for Multi-Pod Systolic Arrays. - Ayesha Siddique; Khurram Khalil; Khaza Anuarul Hoque (ISQED, 2025)

Advancing Cybersickness Prediction in Immersive Virtual Reality Using Pre-Trained Large Foundation Models. - Ripan Kumar Kundu; Khaza Anuarul Hoque (VR Workshops, 2025)

SecretVR: Differential Privacy Defense Against Membership Inference Privacy Attacks in Virtual Reality. - Ripan Kumar Kundu; Khaza Anuarul Hoque (VR Workshops, 2025)

RelaxVR: Cybersickness Reduction in Immersive Virtual Reality Through Explainable AI and Large Language Models. - Ripan Kumar Kundu; Khaza Anuarul Hoque (IEEE Access, 2025)

PEARL: An Adaptive and Explainable Hardware Trojan Detection Using Open Source and Enterprise Large Language Models. - Ripan Kumar Kundu; Khurram Khalil; Eric Garcia; Ethan Grassia; Prasad Calyam; Khaza Anuarul Hoque (IEEE Access, 2025)

Securing Virtual Reality Experiences: Unveiling and Tackling Cybersickness Attacks with Explainable AI. - Ripan Kumar Kundu; Matthew Denton; Genova Mongalo; Prasad Calyam; Khaza Anuarul Hoque (CoRR, 2025)

ApproXAI: Energy-Efficient Hardware Acceleration of Explainable AI using Approximate Computing. - Ayesha Siddique; Khurram Khalil; Khaza Anuarul Hoque (CoRR, 2025)

EPSILON: Adaptive Fault Mitigation in Approximate Deep Neural Network using Statistical Signatures. - Khurram Khalil; Khaza Anuarul Hoque (CoRR, 2025)

Hyperproperty-Constrained Secure Reinforcement Learning. - Ernest Bonnah; Luan Viet Nguyen; Khaza Anuarul Hoque (CoRR, 2025)