Publications
-
Safety Verification for Linear Systems
-
A Hierarchical Behavior Analysis Approach for Automated Trainee Performance Evaluation in Training Ranges
In this paper we present a closed loop mixed reality training system that provides automatic assessment of trainee performance during kinetic military exercises.
-
Time-Aware Relational Abstractions for Hybrid Systems
We present a technique to compute a time-aware relational abstraction for verifying (timing-related) safety properties of cyber-physical systems.
-
A Multicenter Evaluation of Oral Pressure Therapy for the Treatment of Obstructive Sleep Apnea
We aimed to evaluate the impact of a novel noninvasive oral pressure therapy (OPT) (Winx®, ApniCure) system on polysomnographic measures of sleep-disordered breathing, sleep architecture, and sleep stability in obstructive…
-
Logic and Epistemology in Safety Cases
-
In-well pumped blue GaN-based vertical-external-cavity surface-emitting lasers
We describe the properties of in-well pumped blue InGaN/GaN vertical-external-cavity surface-emitting lasers.
-
Returning lost dollars with real-time fraud analytics
This presentation includes a high level tour of PARC's customer-centered research process, some of the analytics we use, our plans for real-time analytics, and a demonstration of the Metal Detector…
-
Privacy in content-oriented networking
In this paper, we present a systematic privacy analysis of CON and the common building blocks among its various architectural instances in order to highlight emerging privacy threats, and analyze…
-
Fraud detection for healthcare
We present a fraud screening solution to identify suspicious pharmacies from a large dataset of pharmacy claims.
-
Manufacturability analysis and design feedback system developed using semantic framework
This paper describes a new architecture and platform for authoring and applying manufacturability rules for design.
-
DoS & DDoS in Named Data Networking
In this paper, we focus on DoS in a specific candidate next generation Internet architecture called Named Data Networking (NDN) - an instantiation of Content-Centric Networking approach.
-
Examining the Link between Forms of Bullying Behaviors and Perceptions of Safety and Belonging among Secondary School Students
Findings highlight heterogeneity in bullying behaviors and underscore the importance of prevention and intervention programming that addresses safety and belonging.