Oleg Sokolsky

ORCID

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 102

Top Venues

CoRR

ICCPS

CHASE

Publications

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)
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)
Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Causal Repair of Learning-enabled Cyber-physical Systems. CoRR (2023)
Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA (2023)
Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
Repairing Learning-Enabled Controllers While Preserving What Works. CoRR (2023)
Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
Imprecise Bayesian Neural Networks. CoRR (2023)
Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
Conservative Safety Monitors of Stochastic Dynamical Systems. NFM (2023)
Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. RTAS (2023)
Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee
Take Me Home: Reversing Distribution Shifts using Reinforcement Learning. CoRR (2023)
Xiayan Ji, Hyon-Young Choi, Oleg Sokolsky, Insup Lee
Incremental Anomaly Detection with Guarantee in the Internet of Medical Things. IoTDI (2023)
Ramneet Kaur, Xiayan Ji, Souradeep Dutta, Michele Caprio, Yahan Yang, Elena Bernardis, Oleg Sokolsky, Insup Lee
Using Semantic Information for Defining and Detecting OOD Inputs. CoRR (2023)
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)
Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. ICAA (2023)
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)
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. CoRR (2023)
Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning. CoRR (2023)
Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
Conservative Safety Monitors of Stochastic Dynamical Systems. CoRR (2023)
Yahan Yang, Souradeep Dutta, Kuk Jin Jang, Oleg Sokolsky, Insup Lee
Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing. ICCPS (2023)
Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
Distributionally Robust Statistical Verification with Imprecise Neural Networks. CoRR (2023)
Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps. VTC Spring (2022)
Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
Evaluating Alarm Classifiers with High-confidence Data Programming. ACM Trans. Comput. Heal. 3 (4) (2022)
Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer
Improving Neural Network Robustness via Persistency of Excitation. ACC (2022)
Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee
iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection. CoRR (2022)
Amanda Watson, Jean Park, Sydney Pugh, Oleg Sokolsky, James Weimer, Insup Lee
Medical Cyber-Physical Systems: IoMT Applications and Challenges. IEEECONF (2022)
Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. Principles of Systems Design (2022)
Mengyu Liu, Lin Zhang, Pengyuan Lu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee
Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks. RTSS (2022)
Kaustubh Sridhar, Souradeep Dutta, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations. CoRR (2022)
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
Confidence Composition for Monitors of Verification Assumptions. ICCPS (2022)
Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee
iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection. AAAI (2022)
Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi, Marcio Juliato, Manoj R. Sastry, Lily L. Yang, James Weimer, Oleg Sokolsky, Insup Lee
A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems. CoRR (2022)
Shuo Li, Xiayan Ji, Edgar Dobriban, Oleg Sokolsky, Insup Lee
PAC-Wrap: Semi-Supervised PAC Anomaly Detection. KDD (2022)
Matthew Chan, Nathaniel Snyder, Marcus Lucas, Luis Garcia, Oleg Sokolsky, James Weimer, Insup Lee, Paulo Tabuada, Saman A. Zonouz, Mani B. Srivastava
Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. CoRR (2022)
Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. ICCPS (2022)
Shuo Li, Xiayan Ji, Edgar Dobriban, Oleg Sokolsky, Insup Lee
PAC-Wrap: Semi-Supervised PAC Anomaly Detection. CoRR (2022)
Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data. CoRR (2022)
Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky, Insup Lee
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Alan Ismaiel, Ivan Ruchkin, Oleg Sokolsky, Insup Lee, Jason Shu
Data Generation With Prospect: A Probability Specification Tool. WSC (2021)
Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky
Towards Virtualization-Agnostic Latency for Time-Sensitive Applications. RTNS (2021)
Kim G. Larsen, Oleg Sokolsky, Ji Wang
Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017). Sci. Comput. Program. 206 (2021)
Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. CoRR (2021)
Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, Insup Lee
Detecting OODs as datapoints with High Uncertainty. CoRR (2021)
Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer
Robust Learning via Persistency of Excitation. CoRR (2021)
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
Confidence Composition for Monitors of Verification Assumptions. CoRR (2021)
Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. CHASE (2021)
Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing. VTC Spring (2021)
Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. Formal Methods in Outer Space (2021)
Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs. CoRR (2021)
Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee
Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. SAFECOMP Workshops (2020)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. MEMOCODE (2020)
Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
A Retrospective Look at the Monitoring and Checking (MaC) Framework. RV (2019)
Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky
Overhead-Aware Deployment of Runtime Monitors. RV (2019)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE (2019)
Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee
LCV: A Verification Tool for Linear Controller Software. TACAS (1) (2019)
Teng Zhang, Ramneet Kaur, Insup Lee, Oleg Sokolsky
Runtime Verification of Parametric Properties Using SMEDL. From Reactive Systems to Cyber-Physical Systems (2019)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR (2019)
Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. DESTION@CPSIoTWeek (2019)
BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models. ACM Trans. Cyber Phys. Syst. 3 (3) (2019)
Oleg Sokolsky, Nicola Bezzo
Resiliency in Cyber-Physical Systems [Guest Editors' Introduction]. Computer 51 (11) (2018)
Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky
Flexible Monitor Deployment for Runtime Verification of Large Scale Software. ISoLA (4) (2018)
Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, Insup Lee
Data Freshness Over-Engineering: Formulation and Results. ISORC (2018)
Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
Parameter Invariant Monitoring for Signal Temporal Logic. HSCC (2018)
Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky
Multi-Mode Virtualization for Soft Real-Time Systems. RTAS (2018)
Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi
Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges. IEEE CLOUD (2018)
Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee
Cyber-physical system checkpointing and recovery. ICCPS (2018)
Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee
OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. ISORC (2018)
Hung Nguyen, Radoslav Ivanov, Linh T. X. Phan, Oleg Sokolsky, James Weimer, Insup Lee
LogSafe: Secure and Scalable Data Logger for IoT Devices. IoTDI (2018)
Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee, Oleg Sokolsky
Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. SETTA (2018)
James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, Insup Lee
Parameter-Invariant Monitor Design for Cyber-Physical Systems. Proc. IEEE 106 (1) (2018)
Damoon Soudbakhsh, Linh Thi Xuan Phan, Anuradha M. Annaswamy, Oleg Sokolsky
Co-Design of Arbitrated Network Control Systems With Overrun Strategies. IEEE Trans. Control. Netw. Syst. 5 (1) (2018)
Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
Self-Driving Vehicle Verification Towards a Benchmark. CoRR (2018)
Gregor Gößler, Oleg Sokolsky, Jean-Bernard Stefani
Counterfactual Causality from First Principles? CREST@ETAPS (2017)
Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. J. Log. Algebraic Methods Program. 92 (2017)
Gang Wang, Shan Lin, Margaret Mullen-Fortino, Oleg Sokolsky, Insup Lee
Transmission delay performance in telemedicine: A case study. EMBC (2017)
Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee
Automatic Verification of Finite Precision Implementations of Linear Controllers. TACAS (1) (2017)
Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky
Monitoring Time Intervals. RV (2017)
Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee
Extensible Energy Planning Framework for Preemptive Tasks. ISORC (2017)
Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky
Scalable Verification of Linear Controller Software. TACAS (2016)
Sanjian Chen, Oleg Sokolsky, James Weimer, Insup Lee
Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study. J. Comput. Sci. Eng. 10 (3) (2016)
Nicola Bezzo, James Weimer, Yanwei Du, Oleg Sokolsky, Sang Hyuk Son, Insup Lee
A stochastic approach for attack resilient UAV motion planning. ACC (2016)
Teng Zhang, Peter Gebhard, Oleg Sokolsky
SMEDL: Combining Synchronous and Asynchronous Monitoring. RV (2016)
Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T. X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, William Hanson III, Insup Lee
Cloud-Based Secure Logger for Medical Devices. CHASE (2016)
Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee
Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). RTCSA (2016)
Oleg Sokolsky, Teng Zhang, Insup Lee, Michael McDougall
Monitoring Assumptions in Assume-Guarantee Contracts. PrePost@IFM (2016)
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee
Representation of Confidence in Assurance Cases Using the Beta Distribution. HASE (2016)
Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky
Executing Model-Based Tests on Platform-Specific Implementations (T). ASE (2015)
Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee
A Hybrid Approach to Causality Analysis. RV (2015)
Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee
Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. SAFECOMP (2015)
BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee
Platform-specific timing verification framework in model-based implementation. DATE (2015)
Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky
Automatic verification of linear controller software. EMSOFT (2015)
Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee
Representing Confidence in Assurance Case Evidence. SAFECOMP Workshops (2015)
Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee
Hierarchical multi-formalism proofs of cyber-physical systems. MEMOCODE (2015)
Meng Xu, Linh Thi Xuan Phan, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher D. Gill, Insup Lee
Cache-aware compositional analysis of real-time multicore virtualization platforms. Real Time Syst. 51 (6) (2015)
Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee
An Intraoperative Glucose Control Benchmark for Formal Verification. ADHS (2015)
Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee
Towards Assurance for Plug & Play Medical Systems. SAFECOMP (2015)
Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee
Verified ROS-Based Deployment of Platform-Independent Control Systems. NFM (2015)
Sisu Xi, Chong Li, Chenyang Lu, Christopher D. Gill, Meng Xu, Linh T. X. Phan, Insup Lee, Oleg Sokolsky
RT-Open Stack: CPU Resource Management for Real-Time Cloud Computing. CLOUD (2015)
BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
Platform-Specific Code Generation from Platform-Independent Timed Models. RTSS (2015)
Xiali Hei, Xiaojiang Du, Shan Lin, Insup Lee, Oleg Sokolsky
Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System. IEEE Trans. Parallel Distributed Syst. 26 (11) (2015)
Jérôme Hugues, Oleg Sokolsky
Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems. Sci. Comput. Program. 106 (2015)

Oleg Sokolsky.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Oleg Sokolsky