• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 536 matches

• 2024
• 
  Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Oleg Sokolsky, Fanxin Kong, Insup Lee:
  Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works. ACM Comput. Surv. 56(8): 211:1-211:31 (2024)
• 
  Yahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee:
  Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees. ACM Trans. Cyber Phys. Syst. 8(2): 21 (2024)
• 
  Insup Lee, Wonjun Lee:
  UniQGAN: Towards Improved Modulation Classification With Adversarial Robustness Using Scalable Generator Design. IEEE Trans. Dependable Secur. Comput. 21(2): 732-745 (2024)
• 
  Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann:
  Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. AAAI 2024: 20984-20992
• 
  Xiayan Ji, Ahhyun Yuh, Viktor Erdélyi, Teruhiro Mizumoto, Hyonyoung Choi, Sean Lee Harrison, Emma Cho, James Weimer, Hajime Nagahara, Teruo Higashino, George Demiris, Oleg Sokolsky, Insup Lee:
  Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. CHI Extended Abstracts 2024: 518:1-518:9
• 
  Michele Caprio, Yusuf Sale, Eyke Hüllermeier, Insup Lee:
  A Novel Bayes' Theorem for Upper Probabilities. Epi UAI 2024: 1-12
• 
  Kiwon Sohn, Insup Choi, Seongwan Kim, Jaeho Lee, Jungyong Lee, Joonghang Kim:
  A Strategy to Maximize the Utilization of AI Neural Processors on an Automotive Computing Platform. ICCE 2024: 1-4
• 
  Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
  Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS 2024: 1-11
• 
  Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee:
  Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. ICCPS 2024: 212-223
• 
  Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee:
  DC4L: Distribution shift recovery via data-driven control for deep learning models. L4DC 2024: 1526-1538
• 
  Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee:
  Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. SIGSOFT FSE Companion 2024: 467-471
• 
  Xinmeng Huang, Shuo Li, Mengxin Yu, Matteo Sesia, Hamed Hassani, Insup Lee, Osbert Bastani, Edgar Dobriban:
  Uncertainty in Language Models: Assessment through Rank-Calibration. CoRR abs/2404.03163 (2024)
• 
  Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee:
  Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works. CoRR abs/2404.04472 (2024)
• 2023
• 
  Youngjoon Kim, Insup Lee, Hyuk Kwon, Kyeongsik Lee, Ji Won Yoon:
  BAN: Predicting APT Attack Based on Bayesian Network With MITRE ATT&CK Framework. IEEE Access 11: 91949-91968 (2023)
• 
  Chanho Shin, Insup Lee, Changhee Choi:
  Exploiting TTP Co-Occurrence via GloVe-Based Embedding With MITRE ATT&CK Framework. IEEE Access 11: 100823-100831 (2023)
• 
  Insup Lee, Changhee Choi:
  Camp2Vec: Embedding cyber campaign with ATT&CK framework for attack group analysis. ICT Express 9(6): 1065-1070 (2023)
• 
  Yahan Yang, Soham Dan, Dan Roth, Insup Lee:
  In and Out-of-Domain Text Adversarial Robustness via Label Smoothing. ACL (2) 2023: 657-669
• 
  Xiayan Ji, Xian Li, Ahhyun Yuh, Amanda Watson, Claire Kendell, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdélyi, George Demiris, Oleg Sokolsky, Insup Lee:
  Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. CHASE 2023: 148-152
• 
  Wenwen Si, Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani:
  Angelic Patches for Improving Third-Party Object Detector Performance. CVPR 2023: 24638-24647
• 
  Kuk Jin Jang, Souradeep Dutta, Jean Park, James Weimer, Insup Lee:
  Memory Classifiers for Robust ECG Classification against Physiological Noise. EMBC 2023: 1-5
• 
  Yahan Yang, Elior Sulem, Insup Lee, Dan Roth:
  Bootstrapping Small & High Performance Language Models with Unmasking-Removal Training Policy. EMNLP 2023: 457-464
• 
  Tarek Hamid, Insup Lee, Amanda Watson:
  SpectraVue - An Interactive Web Application Enabling Rapid Data Visualization and Analysis for Wearable Spectroscopy Research. UbiComp/ISWC Adjunct 2023: 146-150
• 
  Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
  Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. ICAA 2023: 19-28
• 
  Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
  Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA 2023: 1-10
• 
  Xiayan Ji, Ahhyun Yuh, Hyon-Young Choi, Amanda Watson, Claire Kendell, Xian Li, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdélyi, George Demiris, Oleg Sokolsky, Insup Lee:
  iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. ICCPS 2023: 272-273
• 
  Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Yahan Yang, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
  CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems. ICCPS 2023: 120-131
• 
  Sydney Pugh, Souradeep Dutta, Ramneet Kaur, Yahan Yang, Elena Bernardis, Insup Lee:
  Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression. ICCPS 2023: 249-250
• 
  Yahan Yang, Souradeep Dutta, Kuk Jin Jang, Oleg Sokolsky, Insup Lee:
  Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing. ICCPS 2023: 264-265
• 
  Xiayan Ji, Ahhyun Yuh, Hyon-Young Choi, Viktor Erdélyi, Teruhiro Mizumoto, Sean Lee Harrison, James Weimer, George Demiris, Takeshi Nakagawa, Takashi Suehiro, Yasuyuki Gondo, Hajime Nagahara, Oleg Sokolsky, Teruo Higashino, Insup Lee:
  iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness. ICMU 2023: 1-6
• 
  Yahan Yang, Sunghye Cho, Maxine Covello, Azia Knox, Osbert Bastani, James Weimer, Edgar Dobriban, Robert T. Schultz, Insup Lee, Julia Parish-Morris:
  Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism. INTERSPEECH 2023: 4603-4607

skipping 506 more matches