research
∙
08/10/2023
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring
In various service-oriented applications such as distributed autonomous ...
share
research
∙
08/02/2023
Model Checking Time Window Temporal Logic for Hyperproperties
Hyperproperties extend trace properties to express properties of sets of...
research
∙
02/05/2023
LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI
Cybersickness is a common ailment associated with virtual reality (VR) u...
research
∙
02/03/2023
VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality
A plethora of recent research has proposed several automated methods bas...
research
∙
01/25/2023
RobustPdM: Designing Robust Predictive Maintenance against Adversarial Attacks
The state-of-the-art predictive maintenance (PdM) techniques have shown ...
research
∙
01/12/2023
Exposing Reliability Degradation and Mitigation in Approximate DNNs under Permanent Faults
Approximate computing is known for enhancing deep neural network acceler...
research
∙
01/12/2023
Improving Reliability of Spiking Neural Networks through Fault Aware Threshold Voltage Optimization
Spiking neural networks have made breakthroughs in computer vision by le...
research
∙
01/12/2023
Security-Aware Approximate Spiking Neural Networks
Deep Neural Networks (DNNs) and Spiking Neural Networks (SNNs) are both ...
research
∙
09/12/2022
TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning
Cybersickness can be characterized by nausea, vertigo, headache, eye str...
research
∙
12/02/2021
Is Approximation Universally Defensive Against Adversarial Attacks in Deep Neural Networks?
Approximate computing is known for its effectiveness in improvising the ...
research
∙
08/27/2021
Rule-based Adaptations to Control Cybersickness in Social Virtual Reality Learning Environments
Social virtual reality learning environments (VRLEs) provide immersive e...
research
∙
01/08/2021
Exploring Fault-Energy Trade-offs in Approximate DNN Hardware Accelerators
Systolic array-based deep neural network (DNN) accelerators have recentl...
research
∙
09/24/2020
Adversarial Examples in Deep Learning for Multivariate Time Series Regression
Multivariate time series (MTS) regression tasks are common in many real-...
research
∙
09/21/2020
Crafting Adversarial Examples for Deep Learning Based Prognostics (Extended Version)
In manufacturing, unexpected failures are considered a primary operation...
research
∙
06/05/2020
High-level Modeling of Manufacturing Faults in Deep Neural Network Accelerators
The advent of data-driven real-time applications requires the implementa...
research
∙
11/08/2019
Attack Trees for Security and Privacy in Social Virtual Reality Learning Environments
Social Virtual Reality Learning Environment (VRLE) is a novel edge compu...
research
∙
10/03/2019
False Data Injection Attacks in Internet of Things and Deep Learning enabled Predictive Analytics (Extended Version)
Industry 4.0 is the latest industrial revolution primarily merging autom...
research
∙
10/03/2019
False Data Injection Attacks in Internet of Things and Deep Learning enabled Predictive Analytics
Industry 4.0 is the latest industrial revolution primarily merging autom...
research
∙
11/29/2018
Security, Privacy and Safety Risk Assessment for Virtual Reality Learning Environment Applications
Social Virtual Reality based Learning Environments (VRLEs) such as vSoci...
research
∙
06/24/2018
Cyber-Physical Specification Mismatches
Embedded systems use increasingly complex software and are evolving into...
research
∙
01/12/2018
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
Cyber-physical systems, like Smart Buildings and power plants, have to m...
research
∙
01/11/2018
Formal Dependability Modeling and Optimization of Scrubbed-Partitioned TMR for SRAM-based FPGAs
SRAM-based FPGAs are popular in the aerospace industry for their field p...
research
∙
01/12/2017
