default search action
Oleg 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
- [j42]Pengyuan Lu
, Lin Zhang
Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works. ACM Comput. Surv. 56(8): 211:1-211:31 (2024) - [c188]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 - [c187]Xiayan Ji
Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. CHI Extended Abstracts 2024: 518:1-518:9 - [c186]Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS 2024: 1-11 - [c185]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 - [c184]Xi Zheng
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. SIGSOFT FSE Companion 2024: 467-471 - [i31]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) - [i30]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) - 2023
- [c183]Xiayan Ji
Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. CHASE 2023: 148-152 - [c182]Pengyuan Lu, Ivan Ruchkin
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
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems. ICCPS 2023: 120-131 - [c179]Yahan Yang
Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing. ICCPS 2023: 264-265 - [c178]Xiayan Ji
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
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
Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. RTAS 2023: 209-222 - [i29]Matthew Cleaveland, Ivan Ruchkin
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
Take Me Home: Reversing Distribution Shifts using Reinforcement Learning. CoRR abs/2302.10341 (2023) - [i26]Ramneet Kaur, Xiayan Ji, Souradeep Dutta, Michele Caprio
Using Semantic Information for Defining and Detecting OOD Inputs. CoRR abs/2302.11019 (2023) - [i25]Pengyuan Lu, Ivan Ruchkin
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
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
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
Confidence Composition for Monitors of Verification Assumptions. ICCPS 2022: 1-12 - [c168]Matthew Cleaveland, Ivan Ruchkin
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
Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks. RTSS 2022: 240-252 - [c165]Akshaj Gupta, Joseph John Cherukara
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
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
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
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
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
E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing. VTC Spring 2021: 1-6 - [c160]Alan Ismaiel, Ivan Ruchkin
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
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
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
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
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR abs/1902.04064 (2019) - 2018
- [j36]Oleg Sokolsky
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
Co-Design of Arbitrated Network Control Systems With Overrun Strategies. IEEE Trans. Control. Netw. Syst. 5(1): 128-141 (2018) - [c151]Deepak Gangadharan
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
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
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
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
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
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
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
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]Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas
Automatic verification of linear controller software. EMSOFT 2015: 217-226 - [c126]Sanjian Chen, Lu Feng, Michael R. Rickels
A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. ICHI 2015: 213-222 - [c125]James Weimer, Oleg Sokolsky, Insup Lee:
Robust Medical Monitor Design. ICHI 2015: 445 - [c124]Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp
Executing Model-Based Tests on Platform-Specific Implementations (T). ASE 2015: 418-428 - [c123]Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan
Hierarchical multi-formalism proofs of cyber-physical systems. MEMOCODE 2015: 90-95 - [c122]Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee:
Verified ROS-Based Deployment of Platform-Independent Control Systems. NFM 2015: 248-262 - [c121]BaekGyu Kim
Platform-Specific Code Generation from Platform-Independent Timed Models. RTSS 2015: 75-86 - [c120]Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee:
A Hybrid Approach to Causality Analysis. RV 2015: 250-265 - [c119]Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee:
Representing Confidence in Assurance Case Evidence. SAFECOMP Workshops 2015: 15-26 - [c118]Andrew L. King, Lu Feng, Sam Procter
Towards Assurance for Plug & Play Medical Systems. SAFECOMP 2015: 228-242 - [c117]Krishna K. Venkatasubramanian, Eugene Y. Vasserman
Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. SAFECOMP 2015: 252-266 - 2014
- [j28]Miroslav Pajic
Safety-critical medical device development using the UPP2SF model translation tool. ACM Trans. Embed. Comput. Syst. 13(4s): 127:1-127:26 (2014) - [j27]Miroslav Pajic
Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Trans. Ind. Informatics 10(1): 3-16 (2014) - [c116]James Weimer, Nicola Bezzo, Miroslav Pajic
Attack-resilient minimum mean-squared error estimation. ACC 2014: 1114-1119 - [c115]James Weimer, Oleg Sokolsky
Towards Assurance Cases for Resilient Control Systems. CPSNA 2014: 1-6 - [c114]Sisu Xi, Meng Xu, Chenyang Lu, Linh T. X. Phan, Christopher D. Gill, Oleg Sokolsky, Insup Lee:
Real-time multi-core virtual machine scheduling in Xen. EMSOFT 2014: 27:1-27:10 - [c113]Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee:
Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. FHIES/SEHC 2014: 64-80 - [c112]Anitha Murugesan
From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC 2014: 96-112 - [c111]Krishna K. Venkatasubramanian, Eugene Y. Vasserman
Functional Alarms for Systems of Interoperable Medical Devices. HASE 2014: 247-248 - [c110]Anitha Murugesan
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. ICCPS 2014: 139-150 - [c109]Miroslav Pajic
Robustness of attack-resilient state estimators. ICCPS 2014: 163-174 - [c108]Nicola Bezzo, James Weimer, Miroslav Pajic
Attack resilient state estimation for autonomous robotic systems. IROS 2014: 3692-3698 - [c107]Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee:
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. MCPS 2014: 94-99 - 2013
- [j26]Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West
AS-CRED: Reputation and Alert Service for Interdomain Routing. IEEE Syst. J. 7(3): 396-409 (2013) - [c106]BaekGyu Kim
Platform-dependent code generation for embedded real-time software. CASES 2013: 8:1-8:10 - [c105]James Weimer, Nicola Bezzo, Miroslav Pajic
Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. CPSW@CISS 2013: 197-216 - [c104]Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee:
Assuring the safety of on-demand medical cyber-physical systems. CPSNA 2013: 1-6 - [c103]Rolf Ernst, Oleg Sokolsky
Message from the program co-chairs. EMSOFT 2013 - [c102]Kudakwashe Dube, Deshendran Moodley, Bill Thies, Jane W.-S. Liu, Joseph A. Cafazzo, Oleg Sokolsky:
Panel Position Statements. FHIES 2013: 22-31 - [c101]Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee:
A Modal Specification Approach for On-Demand Medical Systems. FHIES 2013: 199-216 - [c100]Miroslav Pajic
Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS 2013: 75-76 - [c99]Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, Insup Lee:
Contract-based blame assignment by trace analysis. HiCoNS 2013: 117-126 - [c98]Damoon Soudbakhsh
Co-design of control and platform with dropped signals. ICCPS 2013: 129-140 - [c97]BaekGyu Kim
Platform dependent code generation of real-time embedded software. ICCPS 2013: 246 - [c96]Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas
Synthesis of platform-aware attack-resilient vehicular systems. ICCPS 2013: 251 - [c95]Jian Chang, Peter Gebhard, Andreas Haeberlen, Zachary G. Ives, Insup Lee, Oleg Sokolsky, Krishna K. Venkatasubramanian:
TrustForge: Flexible access control for collaborative crowd-sourced environment. PST 2013: 291-300 - [c94]Linh T. X. Phan, Meng Xu, Jaewoo Lee, Insup Lee, Oleg Sokolsky:
Overhead-aware compositional analysis of real-time systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 237-246 - [c93]Meng Xu, Linh T. X. Phan, Insup Lee, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher D. Gill:
Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms. RTSS 2013: 1-10 - [c92]Shaohui Wang, Anaheed Ayoub, BaekGyu Kim
A Causality Analysis Framework for Component-Based Real-Time Systems. RV 2013: 285-303 - [c91]Paolo Masci
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. SAFECOMP 2013: 228-240 - [e9]Rolf Ernst, Oleg Sokolsky:
Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013. IEEE 2013, ISBN 978-1-4799-1443-2 [contents] - 2012
- [j25]Oleg Sokolsky, Grigore Rosu:
Introduction to the special issue on runtime verification. Formal Methods Syst. Des. 41(3): 233-235 (2012) - [j24]Krishna K. Venkatasubramanian, Eugene Y. Vasserman
Security and Interoperable-Medical-Device Systems, Part 1. IEEE Secur. Priv. 10(5): 61-63 (2012) - [j23]Eugene Y. Vasserman
Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences, and Classification. IEEE Secur. Priv. 10(6): 70-73 (2012) - [j22]Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim
Challenges and Research Directions in Medical Cyber-Physical Systems. Proc. IEEE 100(1): 75-90 (2012) - [j21]Oleg Sokolsky, Klaus Havelund, Insup Lee:
Introduction to the special section on runtime verification. Int. J. Softw. Tools Technol. Transf. 14(3): 243-247 (2012) - [j20]Anna Philippou, Insup Lee, Oleg Sokolsky
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. Theor. Comput. Sci. 413(1): 2-20 (2012) - [c90]Philip Asare
The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. IHI 2012: 667-672 - [c89]Anaheed Ayoub, BaekGyu Kim
A Safety Case Pattern for Model-Based Development Approach. NASA Formal Methods 2012: 141-146 - [c88]BaekGyu Kim
A model-based I/O interface synthesis framework for the cross-platform software modeling. RSP 2012: 16-22 - [c87]Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T. X. Phan, Christopher D. Gill, Insup Lee, Chenyang Lu, Oleg Sokolsky:
Realizing Compositional Scheduling through Virtualization. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 13-22 - [c86]Miroslav Pajic
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 173-184 - [c85]Anaheed Ayoub, BaekGyu Kim
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. SAFECOMP 2012: 305-316 - [i7]Peter H. Feiler, Jérôme Hugues, Oleg Sokolsky:
Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272). Dagstuhl Reports 2(7): 30-55 (2012) - 2011
- [j19]Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky
Permission to speak: A logic for access control and conformance. J. Log. Algebraic Methods Program. 80(1): 50-74 (2011) - [j18]Jaewoo Lee, Linh T. X. Phan, Sanjian Chen, Oleg Sokolsky, Insup Lee:
Improving resource utilization for compositional scheduling using DPRM interfaces. SIGBED Rev. 8(1): 38-45 (2011) - [j17]Linh T. X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Sanjian Chen, Insup Lee, Oleg Sokolsky:
CARTS: a tool for compositional analysis of real-time systems. SIGBED Rev. 8(1): 62-63 (2011) - [c84]Linh T. X. Phan, Insup Lee, Oleg Sokolsky:
Compositional analysis of real-time embedded systems. CASES 2011: 237-238 - [c83]Andrew G. West, Jian Chang, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee:
Link spamming Wikipedia for profit. CEAS 2011: 152-161 - [c82]Oleg Sokolsky:
Medical Cyber-Physical Systems. ECBS 2011: 2 - [c81]Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Oleg Sokolsky, Myuhng Joo Kim, Insup Lee:
ToMaTo: a trustworthy code mashup development tool. Mashups/Dataview@ECOWS 2011: 5:1-5:8 - [c80]David Arney, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee:
Biomedical devices and systems security. EMBC 2011: 2376-2379 - [c79]BaekGyu Kim
Safety-assured development of the GPCA infusion pump software. EMSOFT 2011: 155-164 - [c78]Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl:
Challenges in the regulatory approval of medical cyber-physical systems. EMSOFT 2011: 227-232 - [c77]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:
On effective testing of health care simulation software. SEHC@ICSE 2011: 40-47 - [c76]Sanjian Chen, Linh T. X. Phan, Jaewoo Lee
Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 81-90 - [c75]Linh T. X. Phan, Insup Lee, Oleg Sokolsky
A Semantic Framework for Mode Change Protocols. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 91-100 - [c74]Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky
Runtime Verification of Traces under Recording Uncertainty. RV 2011: 442-456 - [c73]Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Boon Thau Loo, Oleg Sokolsky, Insup Lee:
AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP. TRUST 2011: 262-276 - [c72]Philip Asare
Demo of the medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. Wireless Health 2011: 16 - 2010
- [j16]Oleg Sokolsky, Serdar Tasiran:
Editorial. J. Log. Comput. 20(3): 649-650 (2010) - [c71]Insup Lee, Oleg Sokolsky
Medical cyber physical systems. DAC 2010: 743-748 - [c70]Linh T. X. Phan, Insup Lee, Oleg Sokolsky
Compositional Analysis of Multi-mode Systems. ECRTS 2010: 197-206 - [c69]Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi
A Process Algebraic Framework for Modeling Resource Demand and Supply. FORMATS 2010: 183-197 - [c68]David Arney, Miroslav Pajic
Toward patient safety in closed-loop medical device systems. ICCPS 2010: 139-148 - [c67]Andrew L. King, David Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter
Prototyping closed loop physiologic control with the medical device coordination framework. SEHC@ICSE 2010: 1-11 - [c66]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:
GSA: a framework for rapid prototyping of smart alarm systems. IHI 2010: 487-491 - [c65]Eunkyoung Jee, Insup Lee, Oleg Sokolsky:
Assurance Cases in Model-Driven Development of the Pacemaker Software. ISoLA (2) 2010: 343-356 - [c64]Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee
A Safety-Assured Development Approach for Real-Time Software. RTCSA 2010: 133-142 - [c63]Andrew L. King, Alex Roederer, Sanjian Chen, Nicholas Stevens, Philip Asare
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 2010: 210-211 - [e8]Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams:
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010. Dagstuhl Seminar Proceedings 10451, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [e7]Christine Choppy, Oleg Sokolsky
Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers. Lecture Notes in Computer Science 6028, Springer 2010, ISBN 978-3-642-12565-2 [contents] - [e6]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2 [contents] - [i6]Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams:
10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems 2010 - [i5]Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams:
10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems 2010
2000 – 2009
- 2009
- [j15]Matt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky
Dynamic Trust Management. Computer 42(2): 44-52 (2009) - [c62]Oleg Sokolsky, Insup Lee, Duncan Clarke:
Process-Algebraic Interpretation of AADL Models. Ada-Europe 2009: 222-236 - [c61]Andrew G. West, Adam J. Aviv
QuanTM: a quantitative trust management system. EUROSEC 2009: 28-35 - [c60]Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo
Formally Verifiable Networking. HotNets 2009 - [c59]Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky
Declarative Network Verification. PADL 2009: 61-75 - [c58]Arvind Easwaran
A Compositional Scheduling Framework for Digital Avionics Systems. RTCSA 2009: 371-380 - [c57]Wenchao Zhou, Oleg Sokolsky
DMaC: Distributed Monitoring and Checking. RV 2009: 184-201 - [c56]Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, Paul L. Jones:
Model-Based Testing of GUI-Driven Applications. SEUS 2009: 203-214 - 2008
- [c55]Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky:
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. DEON 2008: 110-124 - [c54]Oleg Sokolsky, Alexander Chernoguzov:
Performance Analysis of AADL Models Using Real-Time Calculus. Monterey Workshop 2008: 227-249 - [c53]Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky
Checking Traces for Regulatory Conformance. RV 2008: 86-103 - [e5]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
Runtime Verification, 02.01. - 06.01.2007. Dagstuhl Seminar Proceedings 07011, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 2007
- [j14]Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky:
Generating Properties for Runtime Monitoring from Software Specification Patterns. Int. J. Softw. Eng. Knowl. Eng. 17(1): 107-126 (2007) - [j13]Christopher D. Gill, Oleg Sokolsky:
Guest Editors' Foreword. J. Comput. Syst. Sci. 73(2): 155 (2007) - [j12]Insup Lee, Anna Philippou, Oleg Sokolsky
Resources in process algebra. J. Log. Algebraic Methods Program. 72(1): 98-122 (2007) - [j11]Sebastian Fischmeister, Oleg Sokolsky
A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Trans. Computers 56(11): 1505-1519 (2007) - [c52]Arvind Easwaran
Compositional Schedulability Analysis of Hierarchical Real-Time Systems. ISORC 2007: 274-281 - [c51]Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky:
Logic-Based Regulatory Conformance Checking. Monterey Workshop 2007: 147-160 - [c50]Usa Sammapun
Statistical Runtime Checking of Probabilistic Properties. RV 2007: 164-175 - [e4]Fabrice Kordon, Oleg Sokolsky
Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4888, Springer 2007, ISBN 978-3-540-77418-1 [contents] - [e3]Oleg Sokolsky
Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4839, Springer 2007, ISBN 978-3-540-77394-8 [contents] - [r1]Anna Philippou, Oleg Sokolsky:
Process-Algebraic Analysis of Timing and Schedulability Properties. Handbook of Real-Time and Embedded Systems 2007 - [i4]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
07011 Executive Summary -- Runtime Verification. Runtime Verification 2007 - [i3]Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007 - [i2]Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee:
Runtime Verification for Wireless Sensor Network Applications. Runtime Verification 2007 - 2006
- [j10]Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
Compositional modeling and refinement for hierarchical hybrid systems. J. Log. Algebraic Methods Program. 68(1-2): 105-128 (2006) - [j9]John Hatcliff, Insup Lee, Oleg Sokolsky:
Introduction to special issue. SIGBED Rev. 3(4) (2006) - [c49]Arvind Easwaran
Incremental schedulability analysis of hierarchical real-time components. EMSOFT 2006: 272-281 - [c48]Fabian Kratz, Oleg Sokolsky, George J. Pappas
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. HSCC 2006: 392-406 - [c47]Oleg Sokolsky, Insup Lee, Duncan Clarke:
Schedulability analysis of AADL models. IPDPS 2006 - [c46]Sebastian Fischmeister, Oleg Sokolsky, Insup Lee:
Network-Code Machine: Programmable Real-Time Communication Schedules. IEEE Real Time Technology and Applications Symposium 2006: 311-324 - [c45]Oleg Sokolsky
Simulation-Based Graph Similarity. TACAS 2006: 426-440 - [e2]Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong Chun Lee, Daeyoung Kim, Young-Sik Jeong, Cheng-Zhong Xu:
Emerging Directions in Embedded and Ubiquitous Computing, EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings. Lecture Notes in Computer Science 4097, Springer 2006, ISBN 3-540-36850-7 [contents] - [i1]Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems 2006 - 2005
- [j8]Oleg Sokolsky, Tarek F. Abdelzaher:
Real-time and embedded technology and applications symposium (RTAS '05). SIGBED Rev. 2(2): 1-2 (2005) - [c44]Usa Sammapun, Insup Lee, Oleg Sokolsky:
RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. RTCSA 2005: 147-153 - [c43]Hyoung Seok Hong, Insup Lee, Oleg Sokolsky:
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. SCAM 2005: 25-34 - [c42]Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky:
Generating Properties for Runtime Monitoring from Software Specification Patterns. SEKE 2005: 267-273 - [c41]Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky:
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS 2005: 105-112 - [c40]Arvind Easwaran
Steering of Discrete Event Systems: Control Theory Approach. RV@CAV 2005: 21-39 - [c39]Oleg Sokolsky, Usa Sammapun
Run-Time Checking of Dynamic Properties. RV@CAV 2005: 91-108 - [c38]Insup Lee, Anna Philippou, Oleg Sokolsky:
A Family of Resource-Bound Real-Time Process Algebras. APC 25 2005: 221-226 - 2004
- [j7]Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky:
Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods Syst. Des. 24(2): 129-155 (2004) - [j6]Insup Lee, Oleg Sokolsky
Research challenges in embedded and hybrid systems. SIGBED Rev. 1(1): 1-5 (2004) - [c37]Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee:
Model-based Testing and Monitoring for Hybrid Embedded Systems. IRI 2004: 487-492 - [c36]Li Tan, Oleg Sokolsky, Insup Lee:
Specification-based Testing with Linear Temporal Logic. IRI 2004: 493-498 - [c35]Margaret DeLap, Björn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee, Christos Tsarouchis:
Is runtime verification applicable to cheat detection? NETGAMES 2004: 134-138 - [c34]Oleg Sokolsky:
Resource Modeling for Embedded Systems Design. WSTFEUS 2004: 99-103 - [c33]Usa Sammapun
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification. RV@ETAPS 2004: 123-143 - 2003
- [j5]Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas
Hierarchical modeling and analysis of embedded systems. Proc. IEEE 91(1): 11-28 (2003) - [c32]Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural:
Data Flow Testing as Model Checking. ICSE 2003: 232-243 - [c31]Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky
Generating embedded software from hierarchical hybrid models. LCTES 2003: 171-182 - [c30]Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou:
Modeling and Analysis of Power-Aware Systems. TACAS 2003: 409-425 - [c29]Oleg Sokolsky, Mahesh Viswanathan:
Preface. RV@CAV 2003: 246-247 - [e1]Oleg Sokolsky, Mahesh Viswanathan:
Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003. Electronic Notes in Theoretical Computer Science 89(2), Elsevier 2003 [contents] - 2002
- [j4]Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. Sci. Comput. Program. 42(1): 49-60 (2002) - [j3]Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan:
Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng. 28(2): 129-145 (2002) - [c28]Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb:
Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. HiPC 2002: 702-712 - [c27]Insup Lee, Anna Philippou, Oleg Sokolsky:
A General Resource Framework for Real-Time Systems. RISSEF 2002: 234-248 - [c26]Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural:
A Temporal Logic Based Theory of Test Coverage and Generation. TACAS 2002: 327-341 - [c25]Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. RV@FLoC 2002: 80-94 - [c24]Moonjoo Kim, Insup Lee, Usa Sammapun
Monitoring, Checking, and Steering of Real-Time Systems. RV@FLoC 2002: 95-111 - 2001
- [j2]Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka:
Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. 80(1): 3-13 (2001) - [c23]Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas
Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT 2001: 14-31 - [c22]Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky:
A Family of Resource-Bound Real-Time Process Algebras. FORTE 2001: 443-458 - [c21]Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
Compositional Refinement for Hierarchical Hybrid Systems. HSCC 2001: 33-48 - [c20]Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
Java-MaC: a Run-time Assurance Tool for Java Programs. RV@CAV 2001: 218-235 - [p1]Rance Cleaveland, Oleg Sokolsky
Equivalence and Preorder Checking for Finite-State Systems. Handbook of Process Algebra 2001: 391-424 - 2000
- [c19]Anna Philippou, Insup Lee, Oleg Sokolsky
Weak Bisimulation for Probabilistic Systems. CONCUR 2000: 334-349 - [c18]Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan:
Verisim: Formal analysis of network simulations. ISSTA 2000: 2-13
1990 – 1999
- 1999
- [j1]Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah:
Specification and Analysis of Real-Time Systems with PARAGON. Ann. Softw. Eng. 7: 211-234 (1999) - [c17]Barry G. Silverman, Oleg Sokolsky, Val Tannen, Alex Wong, Lance Lang, Allan Khoury, Keith E. Campbell, Chen Qiang, Arnaud Sahuguet:
HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents. AMIA 1999 - [c16]Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah
Formally specified monitoring of temporal properties. ECRTS 1999: 114-122 - [c15]Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan:
Runtime Assurance Based On Formal Specifications. PDPTA 1999: 279-287 - [c14]Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren:
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS 1999: 74-88 - [c13]Oleg Sokolsky, Sampath Kannan, Moonjoo Kim, Insup Lee, Mahesh Viswanathan:
Steering of real-time systems based on monitoring and checking. WORDS (Fall) 1999: 11-18 - 1998
- [c12]Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky:
Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404 - [c11]Oleg Sokolsky, Mohamed F. Younis
Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. IEEE Real Time Technology and Applications Symposium 1998: 220-229 - [c10]Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky:
Symbolic Schedulability Analysis of Real-Time Systems. RTSS 1998: 409-418 - [c9]Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky:
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. Monterey Workshop 1998: 38-49 - 1997
- [c8]Insup Lee, Oleg Sokolsky:
Analytical Design of Evolutionary Control Flow Components. HASE 1997: 48-55 - 1996
- [c7]Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
The Concurrency Factory: A Development Environment for Concurrent Systems. CAV 1996: 398-401 - [c6]Duncan Clarke, Hanêne Ben-Abdallah
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems. CAV 1996: 402-405 - [c5]Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
The Concurrency Factory Software Development Environment. TACAS 1996: 391-395 - 1995
- [c4]Oleg Sokolsky
Local Model Checking for Real-Time Systems (Extended Abstract). CAV 1995: 211-224 - 1994
- [c3]Oleg Sokolsky
Incremental Model Checking in the Modal Mu-Calculus. CAV 1994: 351-363 - [c2]Rance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang:
The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems. Specification of Parallel Algorithms 1994: 75-89 - [c1]Shipei Zhang, Oleg Sokolsky, Scott A. Smolka:
On the Parallel Complexity of Model Checking in the Modal Mu-Calculus. LICS 1994: 154-163
Coauthor Index
Mats P. E. Heimdahl
aka: Mats Per Erik Heimdahl
aka: Mats Per Erik Heimdahl
[j42] [c188] [c187] [c186] [c185] [c184] [i31] [i30] [c183] [c182] [c181] [c180] [c179] [c178] [c177] [c176] [c175] [c174] [i29] [i28] [i27] [i26] [i25] [i24] [i23] [i22] [i21] [j41] [c173] [c172] [c171] [c170] [c169] [c168] [c167] [c166] [c165] [i20] [i19] [i18] [i17] [i16] [i15] [j39] [c164] [c163] [c162] [c161] [c160] [i14] [i13] [i12] [i11] [i10] [j38] [c159] [c158] [j37] [c157] [c156] [c155] [c154] [c153] [c152] [i9] [j35] [c151] [c150] [c149] [c148] [c147] [c146] [c145] [c144] [c143] [i8] [j33] [c142] [c141] [c140] [c139] [j32] [c137] [c136] [c135] [c134] [c132] [c131] [j31] [j29] [c130] [c129] [c128] [c127] [c126] [c125] [c123] [c122] [c121] [c120] [c119] [c118] [c117] [j28] [j27] [c116] [c115] [c114] [c113] [c112] [c111] [c110] [c109] [c108] [c107] [j26] [c106] [c105] [c104] [c101] [c100] [c99] [c98] [c97] [c96] [c95] [c94] [c93] [c92] [c91] [j24] [j23] [j22] [j21] [j20] [c90] [c89] [c88] [c87] [c86] [c85] [j19] [j18] [j17] [c84] [c83] [c81] [c80] [c79] [c78] [c77] [c76] [c75] [c74] [c73] [c72] [c71] [c70] [c69] [c68] [c67] [c66] [c65] [c64] [c63] [e6] [j15] [c62] [c61] [c58] [c57] [c56] [c55] [c53] [j12] [j11] [c52] [c51] [c50] [i2] [j10] [j9] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c39] [c38] [j7] [j6] [c37] [c36] [c35] [c33] [j5] [c32] [c31] [c30] [j4] [j3] [c27] [c26] [c25] [c24] [j2] [c23] [c22] [c21] [c20] [c19] [c18] [j1] [c16] [c15] [c13] [c12] [c11] [c10] [c9] [c8] [c6]
Linh T. X. Phan
aka: Linh Thi Xuan Phan
aka: Linh Thi Xuan Phan
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: