Oleg Sokolsky

Oleg Sokolsky

University of Pennsylvania

H-index: 54

North America-United States

About Oleg Sokolsky

Oleg Sokolsky, With an exceptional h-index of 54 and a recent h-index of 23 (since 2020), a distinguished researcher at University of Pennsylvania, specializes in the field of Software design and software architecture for embedded systems, formal methods, runtime verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works

Out-of-Distribution Detection in Dependent Data for Cyber-Physical Systems with Conformal Guarantees

iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness

Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems

CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems

Short: Integrated sensing platform for detecting social isolation and loneliness in the elderly community

Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing

Causal repair of learning-enabled cyber-physical systems

Oleg Sokolsky Information

University

Position

___

Citations(all)

9882

Citations(since 2020)

2454

Cited By

8465

hIndex(all)

54

hIndex(since 2020)

23

i10Index(all)

168

i10Index(since 2020)

68

Email

University Profile Page

University of Pennsylvania

Google Scholar

View Google Scholar Profile

Oleg Sokolsky Skills & Research Interests

Software design and software architecture for embedded systems

formal methods

runtime verification

Top articles of Oleg Sokolsky

Title

Journal

Author(s)

Publication Date

Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works

Pengyuan Lu

Lin Zhang

Mengyu Liu

Kaustubh Sridhar

Oleg Sokolsky

...

2024/4/6

Out-of-Distribution Detection in Dependent Data for Cyber-Physical Systems with Conformal Guarantees

ACM Transactions on Cyber-Physical Systems

Ramneet Kaur

Yahan Yang

Oleg Sokolsky

Insup Lee

2024

iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness

Xiayan Ji

Ahhyun Yuh

Hyonyoung Choi

Viktor Erdélyi

Teruhiro Mizumoto

...

2023/11/29

Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems

Lin Zhang

Kaustubh Sridhar

Mengyu Liu

Pengyuan Lu

Xin Chen

...

2023/5/9

CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems

Ramneet Kaur

Kaustubh Sridhar

Sangdon Park

Yahan Yang

Susmit Jha

...

2023/5/9

Short: Integrated sensing platform for detecting social isolation and loneliness in the elderly community

Xiayan Ji

Xian Li

Ahhyun Yuh

Claire Kendell

Amanda Watson

...

2023/6/21

Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing

Yahan Yang

Souradeep Dutta

Kuk Jin Jang

Oleg Sokolsky

Insup Lee

2023/5/9

Causal repair of learning-enabled cyber-physical systems

Pengyuan Lu

Ivan Ruchkin

Matthew Cleaveland

Oleg Sokolsky

Insup Lee

2023/6/6

Incremental Anomaly Detection with Guarantee in the Internet of Medical Things

Xiayan Ji

Hyonyoung Choi

Oleg Sokolsky

Insup Lee

2023/5/9

Predicting out-of-distribution performance of deep neural networks using model conformance

Ramneet Kaur

Susmit Jha

Anirban Roy

Oleg Sokolsky

Insup Lee

2023/6/6

iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness

Xiayan Ji

Ahhyun Yuh

Hyonyoung Choi

Amanda Watson

Claire Kendell

...

2023/5/9

Conservative Safety Monitors of Stochastic Dynamical Systems

Matthew Cleaveland

Oleg Sokolsky

Insup Lee

Ivan Ruchkin

2023/5/16

Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis

Matthew Cleaveland

Ivan Ruchkin

Oleg Sokolsky

Insup Lee

2022/5/4

T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification

Vivian Lin

Radoslav Ivanov

James Weimer

Oleg Sokolsky

Insup Lee

2022/12/29

iDECODe: In-distribution equivariance for conformal out-of-distribution detection

Proceedings of the AAAI Conference on Artificial Intelligence

Ramneet Kaur

Susmit Jha

Anirban Roy

Sangdon Park

Edgar Dobriban

...

2022/6/28

Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks

Mengyu Liu

Lin Zhang

Pengyuan Lu

Kaustubh Sridhar

Fanxin Kong

...

2022/12/5

Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps

Akshaj Gupta

Joseph John Cherukara

Deepak Gangadharan

BaekGyu Kim

Oleg Sokolsky

...

2022/6/19

Evaluating Alarm Classifiers with High-confidence Data Programming

ACM Transactions on Computing for Healthcare

Sydney Pugh

Ivan Ruchkin

Christopher Bonafide

Sara Demauro

Oleg Sokolsky

...

2022/11/3

Improving neural network robustness via persistency of excitation

Kaustubh Sridhar

Oleg Sokolsky

Insup Lee

James Weimer

2022/6/8

Medical Cyber-Physical Systems: IoMT Applications and Challenges

Amanda Watson

Jean Park

Sydney Pugh

Oleg Sokolsky

James Weimer

...

2022/10/31

See List of Professors in Oleg Sokolsky University(University of Pennsylvania)

Co-Authors

H-index: 105
George J. Pappas

George J. Pappas

University of Pennsylvania

H-index: 77
Chenyang Lu

Chenyang Lu

Washington University in St. Louis

H-index: 75
Insup Lee

Insup Lee

University of Pennsylvania

H-index: 54
Scott  A. Smolka

Scott A. Smolka

Stony Brook University

H-index: 48
Rance Cleaveland

Rance Cleaveland

University of Maryland

academic-engine