default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOleg Sokolsky
Person information
- affiliation: University of Pennsylvania, Philadelphia, PA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j43]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)- [j42]Ramneet Kaur, Yahan Yang, Oleg Sokolsky, Insup Lee:
Out-of-distribution Detection in Dependent Data for Cyber-physical Systems with Conformal Guarantees. ACM Trans. Cyber Phys. Syst. 8(4): 46:1-46:27 (2024) - [c190]Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, Navish Yarna, Ramneet Kaur, Souradeep Dutta, Elena Bernardis, Oleg Sokolsky, Insup Lee:
Automating Weak Label Generation for Data Programming with Clinicians in the Loop. CHASE 2024: 25-36 - [c189]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 - [c188]Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS 2024: 1-11 - [c187]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 - [c186]Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong:
Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning. MEMOCODE 2024: 34-45 - [c185]Xiayan Ji, Anton Xue, Eric Wong, Oleg Sokolsky, Insup Lee:
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties. NeurIPS 2024 - [c184]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 - [i32]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) - [i31]Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, Navish Yarna, Ramneet Kaur, Souradeep Dutta, Elena Bernardis, Oleg Sokolsky, Insup Lee:
Automating Weak Label Generation for Data Programming with Clinicians in the Loop. CoRR abs/2407.07982 (2024) - [i30]Xiayan Ji, Anton Xue, Eric Wong, Oleg Sokolsky, Insup Lee:
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties. CoRR abs/2410.24178 (2024) - 2023
- [c183]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 - [c182]Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA 2023: 1-10 - [c181]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 - [c180]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 - [c179]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 - [c178]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 - [c177]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 - [c176]Xiayan Ji, Hyon-Young Choi, Oleg Sokolsky, Insup Lee:
Incremental Anomaly Detection with Guarantee in the Internet of Medical Things. IoTDI 2023: 327-339 - [c175]Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
Conservative Safety Monitors of Stochastic Dynamical Systems. NFM 2023: 140-156 - [c174]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: 209-222 - [i29]Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee:
Conservative Safety Monitors of Stochastic Dynamical Systems. CoRR abs/2301.11330 (2023) - [i28]Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee:
Imprecise Bayesian Neural Networks. CoRR abs/2302.09656 (2023) - [i27]Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee:
Take Me Home: Reversing Distribution Shifts using Reinforcement Learning. CoRR abs/2302.10341 (2023) - [i26]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 abs/2302.11019 (2023) - [i25]Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Causal Repair of Learning-enabled Cyber-physical Systems. CoRR abs/2304.02813 (2023) - [i24]Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee:
Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning. CoRR abs/2304.12508 (2023) - [i23]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 abs/2308.14815 (2023) - [i22]Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
Repairing Learning-Enabled Controllers While Preserving What Works. CoRR abs/2311.03477 (2023) - [i21]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 abs/2311.07377 (2023) - 2022
- [j41]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): 43:1-43:24 (2022) - [c173]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: 7104-7114 - [c172]Amanda Watson, Jean Park, Sydney Pugh, Oleg Sokolsky, James Weimer, Insup Lee:
Medical Cyber-Physical Systems: IoMT Applications and Challenges. IEEECONF 2022: 998-1004 - [c171]Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer:
Improving Neural Network Robustness via Persistency of Excitation. ACC 2022: 1521-1526 - [c170]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: 585-603 - [c169]Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee:
Confidence Composition for Monitors of Verification Assumptions. ICCPS 2022: 1-12 - [c168]Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee:
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. ICCPS 2022: 92-103 - [c167]Shuo Li, Xiayan Ji, Edgar Dobriban, Oleg Sokolsky, Insup Lee:
PAC-Wrap: Semi-Supervised PAC Anomaly Detection. KDD 2022: 945-955 - [c166]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: 240-252 - [c165]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: 1-7 - [i20]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 abs/2201.02331 (2022) - [i19]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 abs/2205.08650 (2022) - [i18]Shuo Li, Xiayan Ji, Edgar Dobriban, Oleg Sokolsky, Insup Lee:
PAC-Wrap: Semi-Supervised PAC Anomaly Detection. CoRR abs/2205.10798 (2022) - [i17]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 abs/2206.06496 (2022) - [i16]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 abs/2207.11769 (2022) - [i15]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 abs/2210.07531 (2022) - 2021
- [j40]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: 102622 (2021) - [j39]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): 79:1-79:24 (2021) - [c164]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: 137-146 - [c163]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: 70-81 - [c162]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: 35-45 - [c161]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: 1-6 - [c160]Alan Ismaiel, Ivan Ruchkin, Oleg Sokolsky, Insup Lee, Jason Shu:
Data Generation With Prospect: A Probability Specification Tool. WSC 2021: 1-12 - [i14]Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs. CoRR abs/2103.12628 (2021) - [i13]Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer:
Robust Learning via Persistency of Excitation. CoRR abs/2106.02078 (2021) - [i12]Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, Insup Lee:
Detecting OODs as datapoints with High Uncertainty. CoRR abs/2108.06380 (2021) - [i11]Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee:
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. CoRR abs/2111.03781 (2021) - [i10]Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee:
Confidence Composition for Monitors of Verification Assumptions. CoRR abs/2111.03782 (2021) - 2020
- [j38]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): 3288-3299 (2020) - [c159]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: 1-12 - [c158]Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. SAFECOMP Workshops 2020: 82-97 - [e13]Dang Van Hung, Oleg Sokolsky:
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings. Lecture Notes in Computer Science 12302, Springer 2020, ISBN 978-3-030-59151-9 [contents]
2010 – 2019
- 2019
- [j37]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): 28:1-28:32 (2019) - [c157]Teng Zhang, Ramneet Kaur, Insup Lee, Oleg Sokolsky:
Runtime Verification of Parametric Properties Using SMEDL. From Reactive Systems to Cyber-Physical Systems 2019: 276-293 - [c156]Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee:
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. DESTION@CPSIoTWeek 2019: 62-63 - [c155]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: 14:1-14:11 - [c154]Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
A Retrospective Look at the Monitoring and Checking (MaC) Framework. RV 2019: 1-14 - [c153]Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky:
Overhead-Aware Deployment of Runtime Monitors. RV 2019: 375-381 - [c152]Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee:
LCV: A Verification Tool for Linear Controller Software. TACAS (1) 2019: 213-225 - [e12]Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky:
From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11500, Springer 2019, ISBN 978-3-030-31513-9 [contents] - [i9]Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur:
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR abs/1902.04064 (2019) - 2018
- [j36]Oleg Sokolsky, Nicola Bezzo:
Resiliency in Cyber-Physical Systems [Guest Editors' Introduction]. Computer 51(11): 10-12 (2018) - [j35]James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, Insup Lee:
Parameter-Invariant Monitor Design for Cyber-Physical Systems. Proc. IEEE 106(1): 71-92 (2018) - [j34]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): 128-141 (2018) - [c151]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: 106-113 - [c150]Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee:
Parameter Invariant Monitoring for Signal Temporal Logic. HSCC 2018: 187-196 - [c149]Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee:
Cyber-physical system checkpointing and recovery. ICCPS 2018: 22-31 - [c148]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: 141-152 - [c147]Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky:
Flexible Monitor Deployment for Runtime Verification of Large Scale Software. ISoLA (4) 2018: 42-50 - [c146]Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee:
OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. ISORC 2018: 103-106 - [c145]Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, Insup Lee:
Data Freshness Over-Engineering: Formulation and Results. ISORC 2018: 174-183 - [c144]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: 117-128 - [c143]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: 31-49 - [i8]Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee:
Self-Driving Vehicle Verification Towards a Benchmark. CoRR abs/1806.08810 (2018) - 2017
- [j33]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: 1-18 (2017) - [c142]Gang Wang, Shan Lin, Margaret Mullen-Fortino, Oleg Sokolsky, Insup Lee:
Transmission delay performance in telemedicine: A case study. EMBC 2017: 3723-3727 - [c141]Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee:
Extensible Energy Planning Framework for Preemptive Tasks. ISORC 2017: 32-41 - [c140]Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky:
Monitoring Time Intervals. RV 2017: 330-345 - [c139]Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee:
Automatic Verification of Finite Precision Implementations of Linear Controllers. TACAS (1) 2017: 153-169 - [c138]Gregor Gößler, Oleg Sokolsky, Jean-Bernard Stefani:
Counterfactual Causality from First Principles? CREST@ETAPS 2017: 47-53 - [e11]Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang:
Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Lecture Notes in Computer Science 10606, Springer 2017, ISBN 978-3-319-69482-5 [contents] - 2016
- [j32]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) - [c137]Nicola Bezzo, James Weimer, Yanwei Du, Oleg Sokolsky, Sang Hyuk Son, Insup Lee:
A stochastic approach for attack resilient UAV motion planning. ACC 2016: 1366-1372 - [c136]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: 89-94 - [c135]Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee:
Representation of Confidence in Assurance Cases Using the Beta Distribution. HASE 2016: 86-93 - [c134]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: 76-84 - [c133]Teng Zhang, Peter Gebhard, Oleg Sokolsky:
SMEDL: Combining Synchronous and Asynchronous Monitoring. RV 2016: 482-490 - [c132]Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky:
Scalable Verification of Linear Controller Software. TACAS 2016: 662-679 - [c131]Oleg Sokolsky, Teng Zhang, Insup Lee, Michael McDougall:
Monitoring Assumptions in Assume-Guarantee Contracts. PrePost@IFM 2016: 46-53 - [e10]Gregor Gößler, Oleg Sokolsky:
Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016. EPTCS 224, 2016 [contents] - 2015
- [j31]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): 675-723 (2015) - [j30]Jérôme Hugues, Oleg Sokolsky:
Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems. Sci. Comput. Program. 106: 1-2 (2015) - [j29]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): 3108-3121 (2015) - [c130]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: 179-186 - [c129]Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee:
An Intraoperative Glucose Control Benchmark for Formal Verification. ADHS 2015: 211-217 - [c128]BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee:
Platform-specific timing verification framework in model-based implementation. DATE 2015: 235-240 - [c127]