20 citations · 26 across the 9 of their papers we have counts for
9 papers
Formal Verification for Blockchain-based Insurance Claims Processing
Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal +3
Insurance claims processing involves multi-domain entities and multi-source data, along with a number of human-agent interactions. Use of Blockchain technology-based platform can s…
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring
Ernest Bonnah, Khaza Anuarul Hoque
In various service-oriented applications such as distributed autonomous delivery, healthcare, tourism, transportation, and many others, where service agents need to perform serial…
Model Checking Time Window Temporal Logic for Hyperproperties
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Hyperproperties extend trace properties to express properties of sets of traces, and they are increasingly popular in specifying various security and performance-related properties…
LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI
Ripan Kumar Kundu, Rifatul Islam, John Quarles +1
Cybersickness is a common ailment associated with virtual reality (VR) user experiences. Several automated methods exist based on machine learning (ML) and deep learning (DL) to de…
VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality
Ripan Kumar Kundu, Osama Yahia Elsaid, Prasad Calyam +1
A plethora of recent research has proposed several automated methods based on machine learning (ML) and deep learning (DL) to detect cybersickness in Virtual reality (VR). However,…
Exposing Reliability Degradation and Mitigation in Approximate DNNs under Permanent Faults
Ayesha Siddique, Khaza Anuarul Hoque
Approximate computing is known for enhancing deep neural network accelerators' energy efficiency by introducing inexactness with a tolerable accuracy loss. However, small accuracy…