Oleg Sokolsky - RankMe

290 papers A* 11A 22B 34C 17Misc 21Journal 75Unranked 101

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	IoT-Based Loneliness Monitoring for Older Adults: Lessons From Japanese and US Communities. IEEE Access Teruhiro Mizumoto, Viktor Erdélyi, Xiayan Ji, Ahhyun Yuh, Takeshi Nakagawa, Takashi Suehiro, Hajime Nagahara, Yasuyuki Gondo, George Demiris, Oleg Sokolsky, Insup Lee, Teruo Higashino
2026	J	`jnl`	SMILE: Sensor Data-driven Detection and Counterfactual Pattern Analysis for Loneliness in Older Adults. ACM Trans. Comput. Heal. Xiayan Ji, Ahhyun Yuh, Viktor Erdélyi, Teruhiro Mizumoto, Hyonyoung Choi, Sean Lee Harrison, Emma Cho, Takashi Suehiro, Takeshi Nakagawa, Yutian Cheng, Yasuyuki Gondo, Hajime Nagahara, Teruo Higashino, George Demiris, Oleg Sokolsky, Insup Lee
2026	J	`jnl`	SafeGen-LLM: Enhancing Safety Generalization in Task Planning for Robotic Systems. CoRR Jialiang Fan, Weizhe Xu, Mengyu Liu, Oleg Sokolsky, Insup Lee, Fangxin Kong
2025	—	`conf`	Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation. ICCPS Pengyuan Lu, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2025	J	`jnl`	Conservative Perception Models for Probabilistic Model Checking. CoRR Matthew Cleaveland, Pengyuan Lu, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2025	—	`conf`	Distributionally Robust Statistical Verification with Imprecise Neural Networks. HSCC Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2025	—	`conf`	Reliable and Interpretable Visual Field Progression Prediction with Diffusion Models and Conformal Risk Control. MICCAI (15) Wenwen Si, Vivian Lin, Bo Sun, Kuk Jin Jang, Rubo Xing, Almiqdad Saeed, Rina Nagatani, Oleg Sokolsky, Insup Lee, Lama Al-Aswad
2025	—	`conf`	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios. ICCPS Vivian Lin, Ramneet Kaur, Yahan Yang, Souradeep Dutta, Yiannis Kantaros, Anirban Roy, Susmit Jha, Oleg Sokolsky, Insup Lee
2025	J	`jnl`	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios. CoRR Vivian Lin, Ramneet Kaur, Yahan Yang, Souradeep Dutta, Yiannis Kantaros, Anirban Roy, Susmit Jha, Oleg Sokolsky, Insup Lee
2024	A*	`conf`	AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties. NeurIPS Xiayan Ji, Anton Xue, Eric Wong, Oleg Sokolsky, Insup Lee
2024	J	`jnl`	AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties. CoRR Xiayan Ji, Anton Xue, Eric Wong, Oleg Sokolsky, Insup Lee
2024	B	`conf`	Automating Weak Label Generation for Data Programming with Clinicians in the Loop. CHASE Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, Navish Yarna, Ramneet Kaur, Souradeep Dutta, Elena Bernardis, Oleg Sokolsky, Insup Lee
2024	J	`jnl`	Automating Weak Label Generation for Data Programming with Clinicians in the Loop. CoRR Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, Navish Yarna, Ramneet Kaur, Souradeep Dutta, Elena Bernardis, Oleg Sokolsky, Insup Lee
2024	J	`jnl`	Credal Bayesian Deep Learning. Trans. Mach. Learn. Res. Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
2024	—	`conf`	DC4L: Distribution shift recovery via data-driven control for deep learning models. L4DC Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee
2024	A	`conf`	Deadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning. RTSS Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong
2024	—	`conf`	Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. CHI Extended Abstracts 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
2024	C	`conf`	Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning. MEMOCODE Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong
2024	J	`jnl`	Out-of-distribution Detection in Dependent Data for Cyber-physical Systems with Conformal Guarantees. ACM Trans. Cyber Phys. Syst. Ramneet Kaur, Yahan Yang, Oleg Sokolsky, Insup Lee
2024	J	`jnl`	Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works. CoRR Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee
2024	J	`jnl`	Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works. ACM Comput. Surv. Pengyuan Lu, Lin Zhang, Mengyu Liu, Kaustubh Sridhar, Oleg Sokolsky, Fanxin Kong, Insup Lee
2024	—	`conf`	Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2024	—	`conf`	Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. SIGSOFT FSE Companion Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
2023	—	`conf`	CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems. ICCPS Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Yahan Yang, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
2023	—	`conf`	Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Causal Repair of Learning-enabled Cyber-physical Systems. CoRR Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2023	—	`conf`	Conservative Safety Monitors of Stochastic Dynamical Systems. NFM Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2023	J	`jnl`	Conservative Safety Monitors of Stochastic Dynamical Systems. CoRR Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Distributionally Robust Statistical Verification with Imprecise Neural Networks. CoRR Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning. CoRR Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Imprecise Bayesian Neural Networks. CoRR Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
2023	—	`conf`	Incremental Anomaly Detection with Guarantee in the Internet of Medical Things. IoTDI Xiayan Ji, Hyon-Young Choi, Oleg Sokolsky, Insup Lee
2023	—	`conf`	Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing. ICCPS Yahan Yang, Souradeep Dutta, Kuk Jin Jang, Oleg Sokolsky, Insup Lee
2023	—	`conf`	Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. ICAA Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
2023	A	`conf`	Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. RTAS Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Repairing Learning-Enabled Controllers While Preserving What Works. CoRR Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2023	B	`conf`	Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. CHASE 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
2023	J	`jnl`	Take Me Home: Reversing Distribution Shifts using Reinforcement Learning. CoRR Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach. CoRR Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Using Semantic Information for Defining and Detecting OOD Inputs. CoRR Ramneet Kaur, Xiayan Ji, Souradeep Dutta, Michele Caprio, Yahan Yang, Elena Bernardis, Oleg Sokolsky, Insup Lee
2023	—	`conf`	iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. ICCPS 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
2023	—	`conf`	iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness. ICMU 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
2022	J	`jnl`	A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems. CoRR Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi, Marcio Juliato, Manoj R. Sastry, Lily L. Yang, James Weimer, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	CODiT: Conformal Out-of-Distribution Detection in Time-Series Data. CoRR Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
2022	—	`conf`	Confidence Composition for Monitors of Verification Assumptions. ICCPS Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	Evaluating Alarm Classifiers with High-confidence Data Programming. ACM Trans. Comput. Heal. Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
2022	A	`conf`	Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks. RTSS Mengyu Liu, Lin Zhang, Pengyuan Lu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee
2022	—	`conf`	Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps. VTC Spring Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
2022	C	`conf`	Improving Neural Network Robustness via Persistency of Excitation. ACC Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer
2022	J	`jnl`	Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. CoRR Matthew Chan, Nathaniel Snyder, Marcus Lucas, Luis Garcia, Oleg Sokolsky, James Weimer, Insup Lee, Paulo Tabuada, Saman A. Zonouz, Mani B. Srivastava
2022	—	`conf`	Medical Cyber-Physical Systems: IoMT Applications and Challenges. IEEECONF Amanda Watson, Jean Park, Sydney Pugh, Oleg Sokolsky, James Weimer, Insup Lee
2022	—	`conf`	Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. ICCPS Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2022	A*	`conf`	PAC-Wrap: Semi-Supervised PAC Anomaly Detection. KDD Shuo Li, Xiayan Ji, Edgar Dobriban, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	PAC-Wrap: Semi-Supervised PAC Anomaly Detection. CoRR Shuo Li, Xiayan Ji, Edgar Dobriban, Oleg Sokolsky, Insup Lee
2022	—	`conf`	T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. Principles of Systems Design Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations. CoRR Kaustubh Sridhar, Souradeep Dutta, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
2022	A*	`conf`	iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection. AAAI Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection. CoRR Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee
2021	J	`jnl`	Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs. CoRR Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
2021	J	`jnl`	Confidence Composition for Monitors of Verification Assumptions. CoRR Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
2021	—	`conf`	Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. Formal Methods in Outer Space Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2021	Misc	`conf`	Data Generation With Prospect: A Probability Specification Tool. WSC Alan Ismaiel, Ivan Ruchkin, Oleg Sokolsky, Insup Lee, Jason Shu
2021	J	`jnl`	Detecting OODs as datapoints with High Uncertainty. CoRR Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, Insup Lee
2021	—	`conf`	E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing. VTC Spring Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
2021	B	`conf`	High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. CHASE Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
2021	J	`jnl`	Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. CoRR Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2021	J	`jnl`	Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017). Sci. Comput. Program. Kim G. Larsen, Oleg Sokolsky, Ji Wang
2021	J	`jnl`	Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator. ACM Trans. Embed. Comput. Syst. Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky, Insup Lee
2021	J	`jnl`	Robust Learning via Persistency of Excitation. CoRR Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer
2021	Misc	`conf`	Towards Virtualization-Agnostic Latency for Time-Sensitive Applications. RTNS Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky
2020	—	`conf`	Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. SAFECOMP Workshops Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2020	B	`ed.`	Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings ATVA Dang Van Hung, Oleg Sokolsky
2020	J	`jnl`	Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee
2020	C	`conf`	REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. MEMOCODE Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
2019	B	`conf`	A Retrospective Look at the Monitoring and Checking (MaC) Framework. RV Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
2019	—	`conf`	Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. DESTION@CPSIoTWeek Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee
2019	C	`conf`	Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
2019	J	`jnl`	Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models. ACM Trans. Cyber Phys. Syst. BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
2019	—	`ed.`	From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday From Reactive Systems to Cyber-Physical Systems Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
2019	—	`conf`	LCV: A Verification Tool for Linear Controller Software. TACAS (1) Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee
2019	B	`conf`	Overhead-Aware Deployment of Runtime Monitors. RV Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky
2019	J	`jnl`	REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
2019	—	`conf`	Runtime Verification of Parametric Properties Using SMEDL. From Reactive Systems to Cyber-Physical Systems Teng Zhang, Ramneet Kaur, Insup Lee, Oleg Sokolsky
2018	—	`conf`	Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges. IEEE CLOUD Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi
2018	J	`jnl`	Co-Design of Arbitrated Network Control Systems With Overrun Strategies. IEEE Trans. Control. Netw. Syst. Damoon Soudbakhsh, Linh Thi Xuan Phan, Anuradha M. Annaswamy, Oleg Sokolsky
2018	Misc	`conf`	Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. SETTA Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee, Oleg Sokolsky
2018	—	`conf`	Cyber-physical system checkpointing and recovery. ICCPS Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee
2018	C	`conf`	Data Freshness Over-Engineering: Formulation and Results. ISORC Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, Insup Lee
2018	—	`conf`	Flexible Monitor Deployment for Runtime Verification of Large Scale Software. ISoLA (4) Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky
2018	—	`conf`	LogSafe: Secure and Scalable Data Logger for IoT Devices. IoTDI Hung Nguyen, Radoslav Ivanov, Linh T. X. Phan, Oleg Sokolsky, James Weimer, Insup Lee
2018	A	`conf`	Multi-Mode Virtualization for Soft Real-Time Systems. RTAS Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky
2018	C	`conf`	OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. ISORC Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee
2018	—	`conf`	Parameter Invariant Monitoring for Signal Temporal Logic. HSCC Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
2018	J	`jnl`	Parameter-Invariant Monitor Design for Cyber-Physical Systems. Proc. IEEE James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, Insup Lee
2018	J	`jnl`	Resiliency in Cyber-Physical Systems [Guest Editors' Introduction]. Computer Oleg Sokolsky, Nicola Bezzo
2018	J	`jnl`	Self-Driving Vehicle Verification Towards a Benchmark. CoRR Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
2017	J	`jnl`	A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. J. Log. Algebraic Methods Program. Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang
2017	—	`conf`	Automatic Verification of Finite Precision Implementations of Linear Controllers. TACAS (1) Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee
2017	—	`conf`	Counterfactual Causality from First Principles? CREST Gregor Gößler, Oleg Sokolsky, Jean-Bernard Stefani
2017	Misc	`ed.`	Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings SETTA Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
2017	C	`conf`	Extensible Energy Planning Framework for Preemptive Tasks. ISORC Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee
2017	B	`conf`	Monitoring Time Intervals. RV Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky
2017	—	`conf`	Transmission delay performance in telemedicine: A case study. EMBC Gang Wang, Shan Lin, Margaret Mullen-Fortino, Oleg Sokolsky, Insup Lee
2016	C	`conf`	A stochastic approach for attack resilient UAV motion planning. ACC Nicola Bezzo, James Weimer, Yanwei Du, Oleg Sokolsky, Sang Hyuk Son, Insup Lee
2016	B	`conf`	Cloud-Based Secure Logger for Medical Devices. CHASE Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T. X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, William Hanson III, Insup Lee
2016	J	`jnl`	Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study. J. Comput. Sci. Eng. Sanjian Chen, Oleg Sokolsky, James Weimer, Insup Lee
2016	—	`conf`	Monitoring Assumptions in Assume-Guarantee Contracts. PrePost@IFM Oleg Sokolsky, Teng Zhang, Insup Lee, Michael McDougall
2016	B	`conf`	Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). RTCSA Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee
2016	—	`ed.`	Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016. CREST Gregor Gößler, Oleg Sokolsky
2016	—	`conf`	Representation of Confidence in Assurance Cases Using the Beta Distribution. HASE Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee
2016	B	`conf`	SMEDL: Combining Synchronous and Asynchronous Monitoring. RV Teng Zhang, Peter Gebhard, Oleg Sokolsky
2016	A	`conf`	Scalable Verification of Linear Controller Software. TACAS Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky
2015	—	`conf`	A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. ICHI Sanjian Chen, Lu Feng, Michael R. Rickels, Amy Peleckis, Oleg Sokolsky, Insup Lee
2015	B	`conf`	A Hybrid Approach to Causality Analysis. RV Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee
2015	—	`conf`	An Intraoperative Glucose Control Benchmark for Formal Verification. ADHS Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee
2015	Misc	`conf`	Automatic verification of linear controller software. EMSOFT Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky
2015	J	`jnl`	Cache-aware compositional analysis of real-time multicore virtualization platforms. Real Time Syst. Meng Xu, Linh Thi Xuan Phan, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher D. Gill, Insup Lee
2015	A*	`conf`	Executing Model-Based Tests on Platform-Specific Implementations (T). ASE Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky
2015	C	`conf`	Hierarchical multi-formalism proofs of cyber-physical systems. MEMOCODE Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee
2015	J	`jnl`	Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System. IEEE Trans. Parallel Distributed Syst. Xiali Hei, Xiaojiang Du, Shan Lin, Insup Lee, Oleg Sokolsky
2015	A	`conf`	Platform-Specific Code Generation from Platform-Independent Timed Models. RTSS BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
2015	A	`conf`	Platform-specific timing verification framework in model-based implementation. DATE BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee
2015	J	`jnl`	Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems. Sci. Comput. Program. Jérôme Hugues, Oleg Sokolsky
2015	B	`conf`	RT-Open Stack: CPU Resource Management for Real-Time Cloud Computing. CLOUD Sisu Xi, Chong Li, Chenyang Lu, Christopher D. Gill, Meng Xu, Linh T. X. Phan, Insup Lee, Oleg Sokolsky
2015	—	`conf`	Representing Confidence in Assurance Case Evidence. SAFECOMP Workshops Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee
2015	B	`conf`	Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. SAFECOMP Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee
2015	—	`conf`	Robust Medical Monitor Design. ICHI James Weimer, Oleg Sokolsky, Insup Lee
2015	B	`conf`	Towards Assurance for Plug & Play Medical Systems. SAFECOMP Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee
2015	—	`conf`	Verified ROS-Based Deployment of Platform-Independent Control Systems. NFM Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee
2014	—	`conf`	A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. MCPS Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee
2014	A	`conf`	Attack resilient state estimation for autonomous robotic systems. IROS Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee
2014	C	`conf`	Attack-resilient minimum mean-squared error estimation. ACC James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, Insup Lee
2014	—	`conf`	From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
2014	—	`conf`	Functional Alarms for Systems of Interoperable Medical Devices. HASE Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky, Insup Lee
2014	—	`conf`	Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. ICCPS Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee
2014	J	`jnl`	Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Trans. Ind. Informatics Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, Insup Lee
2014	Misc	`conf`	Real-time multi-core virtual machine scheduling in Xen. EMSOFT Sisu Xi, Meng Xu, Chenyang Lu, Linh T. X. Phan, Christopher D. Gill, Oleg Sokolsky, Insup Lee
2014	—	`conf`	Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. FHIES/SEHC Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee
2014	—	`conf`	Robustness of attack-resilient state estimators. ICCPS Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas
2014	J	`jnl`	Safety-critical medical device development using the UPP2SF model translation tool. ACM Trans. Embed. Comput. Syst. Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
2014	—	`conf`	Towards Assurance Cases for Resilient Control Systems. CPSNA James Weimer, Oleg Sokolsky, Nicola Bezzo, Insup Lee
2013	B	`conf`	A Causality Analysis Framework for Component-Based Real-Time Systems. RV Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee
2013	—	`conf`	A Modal Specification Approach for On-Demand Medical Systems. FHIES Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee
2013	J	`jnl`	AS-CRED: Reputation and Alert Service for Interdomain Routing. IEEE Syst. J. Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Insup Lee, Boon Thau Loo, Oleg Sokolsky
2013	—	`conf`	Assuring the safety of on-demand medical cyber-physical systems. CPSNA Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee
2013	A	`conf`	Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms. RTSS Meng Xu, Linh T. X. Phan, Insup Lee, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher D. Gill
2013	—	`conf`	Co-design of control and platform with dropped signals. ICCPS Damoon Soudbakhsh, Linh T. X. Phan, Oleg Sokolsky, Insup Lee, Anuradha Annaswamy
2013	—	`conf`	Contract-based blame assignment by trace analysis. HiCoNS Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
2013	Misc	`conf`	Message from the program co-chairs. EMSOFT Rolf Ernst, Oleg Sokolsky
2013	B	`conf`	Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. SAFECOMP Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby
2013	A	`conf`	Overhead-aware compositional analysis of real-time systems. IEEE Real-Time and Embedded Technology and Applications Symposium Linh T. X. Phan, Meng Xu, Jaewoo Lee, Insup Lee, Oleg Sokolsky
2013	—	`conf`	Panel Position Statements. FHIES Kudakwashe Dube, Deshendran Moodley, Bill Thies, Jane W.-S. Liu, Joseph A. Cafazzo, Oleg Sokolsky
2013	—	`conf`	Platform dependent code generation of real-time embedded software. ICCPS BaekGyu Kim, Insup Lee, Linh T. X. Phan, Oleg Sokolsky
2013	Misc	`conf`	Platform-dependent code generation for embedded real-time software. CASES BaekGyu Kim, Linh T. X. Phan, Oleg Sokolsky, Insup Lee
2013	Misc	`ed.`	Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013 EMSOFT Rolf Ernst, Oleg Sokolsky
2013	—	`conf`	Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. CPSW@CISS James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, Insup Lee
2013	—	`conf`	Synthesis of platform-aware attack-resilient vehicular systems. ICCPS Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, Insup Lee
2013	—	`conf`	Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee
2013	C	`conf`	TrustForge: Flexible access control for collaborative crowd-sourced environment. PST Jian Chang, Peter Gebhard, Andreas Haeberlen, Zachary G. Ives, Insup Lee, Oleg Sokolsky, Krishna K. Venkatasubramanian
2012	—	`conf`	A Safety Case Pattern for Model-Based Development Approach. NASA Formal Methods Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky
2012	B	`conf`	A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. SAFECOMP Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky
2012	C	`conf`	A model-based I/O interface synthesis framework for the cross-platform software modeling. RSP BaekGyu Kim, Linh T. X. Phan, Insup Lee, Oleg Sokolsky
2012	J	`jnl`	Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272). Dagstuhl Reports Peter H. Feiler, Jérôme Hugues, Oleg Sokolsky
2012	J	`jnl`	Challenges and Research Directions in Medical Cyber-Physical Systems. Proc. IEEE Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew L. King, Margaret Mullen-Fortino, Soojin Park, Alex Roederer, Krishna K. Venkatasubramanian
2012	A	`conf`	From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. IEEE Real-Time and Embedded Technology and Applications Symposium Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
2012	J	`jnl`	Introduction to the special issue on runtime verification. Formal Methods Syst. Des. Oleg Sokolsky, Grigore Rosu
2012	J	`jnl`	Introduction to the special section on runtime verification. Int. J. Softw. Tools Technol. Transf. Oleg Sokolsky, Klaus Havelund, Insup Lee
2012	J	`jnl`	PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. Theor. Comput. Sci. Anna Philippou, Insup Lee, Oleg Sokolsky
2012	A	`conf`	Realizing Compositional Scheduling through Virtualization. IEEE Real-Time and Embedded Technology and Applications Symposium Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T. X. Phan, Christopher D. Gill, Insup Lee, Chenyang Lu, Oleg Sokolsky
2012	J	`jnl`	Security and Interoperable-Medical-Device Systems, Part 1. IEEE Secur. Priv. Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky, Insup Lee
2012	J	`jnl`	Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences, and Classification. IEEE Secur. Priv. Eugene Y. Vasserman, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee
2012	—	`conf`	The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. IHI Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Andrew L. King, Oleg Sokolsky, Insup Lee, Shan Lin, Margaret Mullen-Fortino
2011	A	`conf`	A Semantic Framework for Mode Change Protocols. IEEE Real-Time and Embedded Technology and Applications Symposium Linh T. X. Phan, Insup Lee, Oleg Sokolsky
2011	—	`conf`	AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP. TRUST Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Boon Thau Loo, Oleg Sokolsky, Insup Lee
2011	—	`conf`	Biomedical devices and systems security. EMBC David Arney, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee
2011	J	`jnl`	CARTS: a tool for compositional analysis of real-time systems. SIGBED Rev. Linh T. X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Sanjian Chen, Insup Lee, Oleg Sokolsky
2011	Misc	`conf`	Challenges in the regulatory approval of medical cyber-physical systems. EMSOFT Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl
2011	Misc	`conf`	Compositional analysis of real-time embedded systems. CASES Linh T. X. Phan, Insup Lee, Oleg Sokolsky
2011	—	`conf`	Demo of the medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. Wireless Health Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Oleg Sokolsky, Insup Lee, Shan Lin, Margaret Mullen-Fortino
2011	J	`jnl`	Improving resource utilization for compositional scheduling using DPRM interfaces. SIGBED Rev. Jaewoo Lee, Linh T. X. Phan, Sanjian Chen, Oleg Sokolsky, Insup Lee
2011	—	`conf`	Link spamming Wikipedia for profit. CEAS Andrew G. West, Jian Chang, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee
2011	—	`conf`	Medical Cyber-Physical Systems. ECBS Oleg Sokolsky
2011	—	`conf`	On effective testing of health care simulation software. SEHC@ICSE Christian Murphy, M. S. Raunak, Andrew L. King, Sanjian Chen, Christopher Imbriano, Gail E. Kaiser, Insup Lee, Oleg Sokolsky, Lori A. Clarke, Leon J. Osterweil
2011	J	`jnl`	Permission to speak: A logic for access control and conformance. J. Log. Algebraic Methods Program. Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky
2011	A	`conf`	Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Sanjian Chen, Linh T. X. Phan, Jaewoo Lee, Insup Lee, Oleg Sokolsky
2011	B	`conf`	Runtime Verification of Traces under Recording Uncertainty. RV Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee
2011	Misc	`conf`	Safety-assured development of the GPCA infusion pump software. EMSOFT BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley
2011	—	`conf`	ToMaTo: a trustworthy code mashup development tool. Mashups/Dataview@ECOWS Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Oleg Sokolsky, Myuhng Joo Kim, Insup Lee
2010	—	`conf`	10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
2010	—	`conf`	10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
2010	—	`conf`	A Process Algebraic Framework for Modeling Resource Demand and Supply. FORMATS Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi
2010	B	`conf`	A Safety-Assured Development Approach for Real-Time Software. RTCSA Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee
2010	—	`conf`	Assurance Cases in Model-Driven Development of the Pacemaker Software. ISoLA (2) Eunkyoung Jee, Insup Lee, Oleg Sokolsky
2010	B	`conf`	Compositional Analysis of Multi-mode Systems. ECRTS Linh T. X. Phan, Insup Lee, Oleg Sokolsky
2010	—	`conf`	Demo of the Generic Smart Alarm: a framework for the design, analysis, and implementation of smart alarms and other clinical decision support systems. Wireless Health Andrew L. King, Alex Roederer, Sanjian Chen, Nicholas Stevens, Philip Asare, Oleg Sokolsky, Insup Lee, Margaret Mullen-Fortino, Soojin Park
2010	J	`jnl`	Editorial. J. Log. Comput. Oleg Sokolsky, Serdar Tasiran
2010	—	`ed.`	Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers Monterey Workshop Christine Choppy, Oleg Sokolsky
2010	—	`conf`	GSA: a framework for rapid prototyping of smart alarm systems. IHI Andrew L. King, Alex Roederer, David Arney, Sanjian Chen, Margaret Mullen-Fortino, Ana Rosa Giannareas, William Hanson III, Vanessa Kern, Nicholas Stevens, Jonathan Tannen, Adrian Viesca Trevino, Soojin Park, Oleg Sokolsky, Insup Lee
2010	A*	`conf`	Medical cyber physical systems. DAC Insup Lee, Oleg Sokolsky
2010	—	`conf`	Prototyping closed loop physiologic control with the medical device coordination framework. SEHC@ICSE Andrew L. King, David Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter
2010	B	`ed.`	Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings RV Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
2010	—	`ed.`	Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010 Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
2010	—	`conf`	Toward patient safety in closed-loop medical device systems. ICCPS David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, Oleg Sokolsky
2009	B	`conf`	A Compositional Scheduling Framework for Digital Avionics Systems. RTCSA Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal
2009	C	`conf`	Declarative Network Verification. PADL Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky
2009	J	`jnl`	Dynamic Trust Management. Computer Matt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, Wenke Lee
2009	Misc	`conf`	Formally Verifiable Networking. HotNets Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu
2009	—	`conf`	Model-Based Testing of GUI-Driven Applications. SEUS Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, Paul L. Jones
2009	Misc	`conf`	Process-Algebraic Interpretation of AADL Models. Ada-Europe Oleg Sokolsky, Insup Lee, Duncan Clarke
2009	—	`conf`	QuanTM: a quantitative trust management system. EUROSEC Andrew G. West, Adam J. Aviv, Jian Chang, Vinayak S. Prabhu, Matt Blaze, Sampath Kannan, Insup Lee, Jonathan M. Smith, Oleg Sokolsky
2008	B	`conf`	Checking Traces for Regulatory Conformance. RV Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky
2008	—	`conf`	Performance Analysis of AADL Models Using Real-Time Calculus. Monterey Workshop Oleg Sokolsky, Alexander Chernoguzov
2008	—	`conf`	Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. DEON Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky
2008	B	`ed.`	Runtime Verification, 02.01. - 06.01.2007 Runtime Verification Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky
2007	B	`conf`	07011 Abstracts Collection -- Runtime Verification. Runtime Verification Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky
2007	B	`conf`	07011 Executive Summary -- Runtime Verification. Runtime Verification Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky
2007	J	`jnl`	A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Trans. Computers Sebastian Fischmeister, Oleg Sokolsky, Insup Lee
2007	—	`ed.`	Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers Monterey Workshop Fabrice Kordon, Oleg Sokolsky
2007	C	`conf`	Compositional Schedulability Analysis of Hierarchical Real-Time Systems. ISORC Arvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky
2007	J	`jnl`	Generating Properties for Runtime Monitoring from Software Specification Patterns. Int. J. Softw. Eng. Knowl. Eng. Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky
2007	J	`jnl`	Guest Editors' Foreword. J. Comput. Syst. Sci. Christopher D. Gill, Oleg Sokolsky
2007	—	`conf`	Logic-Based Regulatory Conformance Checking. Monterey Workshop Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky
2007	—	`ch.`	Process-Algebraic Analysis of Timing and Schedulability Properties. Handbook of Real-Time and Embedded Systems Anna Philippou, Oleg Sokolsky
2007	J	`jnl`	Resources in process algebra. J. Log. Algebraic Methods Program. Insup Lee, Anna Philippou, Oleg Sokolsky
2007	B	`conf`	Runtime Verification for Wireless Sensor Network Applications. Runtime Verification Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee
2007	B	`ed.`	Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers RV Oleg Sokolsky, Serdar Tasiran
2007	B	`conf`	Statistical Runtime Checking of Probabilistic Properties. RV Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr
2006	—	`conf`	06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher
2006	J	`jnl`	Compositional modeling and refinement for hierarchical hybrid systems. J. Log. Algebraic Methods Program. Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
2006	—	`ed.`	Emerging Directions in Embedded and Ubiquitous Computing, EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings EUC Workshops Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong Chun Lee, Daeyoung Kim, Young-Sik Jeong, Cheng-Zhong Xu
2006	Misc	`conf`	Incremental schedulability analysis of hierarchical real-time components. EMSOFT Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee
2006	J	`jnl`	Introduction to special issue. SIGBED Rev. John Hatcliff, Insup Lee, Oleg Sokolsky
2006	—	`conf`	Network-Code Machine: Programmable Real-Time Communication Schedules. IEEE Real Time Technology and Applications Symposium Sebastian Fischmeister, Oleg Sokolsky, Insup Lee
2006	—	`conf`	R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. HSCC Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee
2006	A	`conf`	Schedulability analysis of AADL models. IPDPS Oleg Sokolsky, Insup Lee, Duncan Clarke
2006	A	`conf`	Simulation-Based Graph Similarity. TACAS Oleg Sokolsky, Sampath Kannan, Insup Lee
2005	—	`conf`	A Family of Resource-Bound Real-Time Process Algebras. APC 25 Insup Lee, Anna Philippou, Oleg Sokolsky
2005	C	`conf`	Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. SCAM Hyoung Seok Hong, Insup Lee, Oleg Sokolsky
2005	C	`conf`	Generating Properties for Runtime Monitoring from Software Specification Patterns. SEKE Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky
2005	—	`conf`	JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky
2005	B	`conf`	RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. RTCSA Usa Sammapun, Insup Lee, Oleg Sokolsky
2005	J	`jnl`	Real-time and embedded technology and applications symposium (RTAS '05). SIGBED Rev. Oleg Sokolsky, Tarek F. Abdelzaher
2005	—	`conf`	Run-Time Checking of Dynamic Properties. RV@CAV Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim
2005	—	`conf`	Steering of Discrete Event Systems: Control Theory Approach. RV@CAV Arvind Easwaran, Sampath Kannan, Oleg Sokolsky
2004	—	`conf`	Is runtime verification applicable to cheat detection? NETGAMES Margaret DeLap, Björn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee, Christos Tsarouchis
2004	J	`jnl`	Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods Syst. Des. Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky
2004	Misc	`conf`	Model-based Testing and Monitoring for Hybrid Embedded Systems. IRI Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee
2004	J	`jnl`	Research challenges in embedded and hybrid systems. SIGBED Rev. Insup Lee, Oleg Sokolsky
2004	—	`conf`	Resource Modeling for Embedded Systems Design. WSTFEUS Oleg Sokolsky
2004	—	`conf`	Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification. RV@ETAPS Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky
2004	Misc	`conf`	Specification-based Testing with Linear Temporal Logic. IRI Li Tan, Oleg Sokolsky, Insup Lee
2003	A*	`conf`	Data Flow Testing as Model Checking. ICSE Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural
2003	B	`conf`	Generating embedded software from hierarchical hybrid models. LCTES Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky
2003	J	`jnl`	Hierarchical modeling and analysis of embedded systems. Proc. IEEE Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky
2003	A	`conf`	Modeling and Analysis of Power-Aware Systems. TACAS Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou
2003	—	`conf`	Preface. RV@CAV Oleg Sokolsky, Mahesh Viswanathan
2003	—	`ed.`	Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003 RV@CAV Oleg Sokolsky, Mahesh Viswanathan
2002	—	`conf`	A General Resource Framework for Real-Time Systems. RISSEF Insup Lee, Anna Philippou, Oleg Sokolsky
2002	A	`conf`	A Temporal Logic Based Theory of Test Coverage and Generation. TACAS Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural
2002	—	`conf`	Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. RV@FLoC Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
2002	—	`conf`	Monitoring, Checking, and Steering of Real-Time Systems. RV@FLoC Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky
2002	J	`jnl`	Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. Sci. Comput. Program. Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky
2002	J	`jnl`	Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng. Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
2002	Misc	`conf`	Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. HiPC Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb
2001	C	`conf`	A Family of Resource-Bound Real-Time Process Algebras. FORTE Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky
2001	—	`conf`	Compositional Refinement for Hierarchical Hybrid Systems. HSCC Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
2001	—	`ch.`	Equivalence and Preorder Checking for Finite-State Systems. Handbook of Process Algebra Rance Cleaveland, Oleg Sokolsky
2001	J	`jnl`	Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka
2001	Misc	`conf`	Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky
2001	—	`conf`	Java-MaC: a Run-time Assurance Tool for Java Programs. RV@CAV Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
2000	A	`conf`	Verisim: Formal analysis of network simulations. ISSTA Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
2000	B	`conf`	Weak Bisimulation for Probabilistic Systems. CONCUR Anna Philippou, Insup Lee, Oleg Sokolsky
1999	A	`conf`	Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren
1999	B	`conf`	Formally specified monitoring of temporal properties. ECRTS Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky
1999	Misc	`conf`	HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents. AMIA Barry G. Silverman, Oleg Sokolsky, Val Tannen, Alex Wong, Lance Lang, Allan Khoury, Keith E. Campbell, Chen Qiang, Arnaud Sahuguet
1999	Misc	`conf`	Runtime Assurance Based On Formal Specifications. PDPTA Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan
1999	J	`jnl`	Specification and Analysis of Real-Time Systems with PARAGON. Ann. Softw. Eng. Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah
1999	—	`conf`	Steering of real-time systems based on monitoring and checking. WORDS (Fall) Oleg Sokolsky, Sampath Kannan, Moonjoo Kim, Insup Lee, Mahesh Viswanathan
1998	—	`conf`	Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. Monterey Workshop Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky
1998	B	`conf`	Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky
1998	A	`conf`	Symbolic Schedulability Analysis of Real-Time Systems. RTSS Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky
1998	—	`conf`	Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. IEEE Real Time Technology and Applications Symposium Oleg Sokolsky, Mohamed F. Younis, Insup Lee, Hee-Hwan Kwak, Jeffrey X. Zhou
1997	—	`conf`	Analytical Design of Evolutionary Control Flow Components. HASE Insup Lee, Oleg Sokolsky
1996	A	`conf`	The Concurrency Factory Software Development Environment. TACAS Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
1996	A*	`conf`	The Concurrency Factory: A Development Environment for Concurrent Systems. CAV Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
1996	A*	`conf`	XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems. CAV Duncan Clarke, Hanêne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky
1995	A*	`conf`	Local Model Checking for Real-Time Systems (Extended Abstract). CAV Oleg Sokolsky, Scott A. Smolka
1994	A*	`conf`	Incremental Model Checking in the Modal Mu-Calculus. CAV Oleg Sokolsky, Scott A. Smolka
1994	A*	`conf`	On the Parallel Complexity of Model Checking in the Modal Mu-Calculus LICS Shipei Zhang, Oleg Sokolsky, Scott A. Smolka
1994	—	`conf`	The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems. Specification of Parallel Algorithms Rance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang