Quantitative Verification for Monitoring Event-Streaming Systems

by Su, Guoxin, Liu, Li, Zhang, Minjie, Rosenblum, David
Published 2020

Predicting Urban Water Quality with Ubiquitous Data - A Data-driven Approach

by Liu, Ye, Liang, Yuxuan, Ouyang, Kun, Liu, Shuming, Rosenblum, David, Zheng, Yu
Published 2020

Self-checking deep neural networks for anomalies and adversaries in deployment

by XIAO, Yan, BESCHASTNIKH, Ivan, LIN, Yun, HUNDAL, Rajdeep Singh, XIE, Xiaofei, ROSENBLUM, David S., DONG, Jin Song
Published 2022