52 citations · 194 across the 34 of their papers we have counts for
5 papers · 1 filter
Security, Privacy and Safety Risk Assessment for Virtual Reality Learning Environment Applications
Aniket Gulhane, Akhil Vyas, Reshmi Mitra +5
Social Virtual Reality based Learning Environments (VRLEs) such as vSocial render instructional content in a three-dimensional immersive computer experience for training youth with…
Cyber-Physical Specification Mismatches
Luan V. Nguyen, Khaza Anuarul Hoque, Stanley Bak +2
Embedded systems use increasingly complex software and are evolving into cyber-physical systems (CPS) with sophisticated interaction and coupling between physical and computational…
Maintenance of Smart Buildings using Fault Trees
Nathalie Cauchi, Khaza Anuarul Hoque, Marielle Stoelinga +1
Timely maintenance is an important means of increasing system dependability and life span. Fault Maintenance trees (FMTs) are an innovative framework incorporating both maintenance…
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate +1
Cyber-physical systems, like Smart Buildings and power plants, have to meet high standards, both in terms of reliability and availability. Such metrics are typically evaluated usin…
Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs
Khaza Anuarul Hoque, Otmane Ait Mohamed, Yvon Savaria
SRAM-based FPGAs are popular in the aerospace industry for their field programmability and low cost. However, they suffer from cosmic radiation-induced Single Event Upsets (SEUs).…