


Остановите войну!
for scientists:
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
- 2022
- [i16]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) - [i15]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) - 2021
- [j49]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) - [j48]Lin Zhang
, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky, Insup Lee:
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator. ACM Trans. Embed. Comput. Syst. 20(5s): 79:1-79:24 (2021) - [c155]Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. Formal Methods in Outer Space 2021: 137-146 - [c154]Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer:
High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. CHASE 2021: 70-81 - [c153]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 - [c152]Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan
, BaekGyu Kim, Oleg Sokolsky, Insup Lee:
E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing. VTC Spring 2021: 1-6 - [c151]Alan Ismaiel, Ivan Ruchkin, Oleg Sokolsky, Insup Lee, Jason Shu:
Data Generation With Prospect: A Probability Specification Tool. WSC 2021: 1-12 - [i14]Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs. CoRR abs/2103.12628 (2021) - [i13]Kaustubh Sridhar, Oleg Sokolsky, Insup Lee, James Weimer:
Robust Learning via Persistency of Excitation. CoRR abs/2106.02078 (2021) - [i12]Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, Insup Lee:
Detecting OODs as datapoints with High Uncertainty. CoRR abs/2108.06380 (2021) - [i11]Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee:
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. CoRR abs/2111.03781 (2021) - [i10]Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee:
Confidence Composition for Monitors of Verification Assumptions. CoRR abs/2111.03782 (2021) - 2020
- [j47]Ivan Ruchkin
, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee:
Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3288-3299 (2020) - [c150]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 - [c149]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 - [e12]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
- [j46]BaekGyu Kim
, Lu Feng, Oleg Sokolsky, Insup Lee:
Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models. ACM Trans. Cyber Phys. Syst. 3(3): 28:1-28:32 (2019) - [c148]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 - [c147]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 - [c146]Luan Viet Nguyen
, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur:
Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE 2019: 14:1-14:11 - [c145]Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
A Retrospective Look at the Monitoring and Checking (MaC) Framework. RV 2019: 1-14 - [c144]Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky:
Overhead-Aware Deployment of Runtime Monitors. RV 2019: 375-381 - [c143]Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee:
LCV: A Verification Tool for Linear Controller Software. TACAS (1) 2019: 213-225 - [e11]Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky:
From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11500, Springer 2019, ISBN 978-3-030-31513-9 [contents] - [i9]Luan Viet Nguyen
, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur:
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR abs/1902.04064 (2019) - 2018
- [j45]Oleg Sokolsky
, Nicola Bezzo:
Resiliency in Cyber-Physical Systems [Guest Editors' Introduction]. Computer 51(11): 10-12 (2018) - [j44]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) - [j43]Damoon Soudbakhsh, Linh Thi Xuan Phan, Anuradha M. Annaswamy, Oleg Sokolsky:
Co-Design of Arbitrated Network Control Systems With Overrun Strategies. IEEE Trans. Control. Netw. Syst. 5(1): 128-141 (2018) - [c142]Deepak Gangadharan
, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi:
Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges. IEEE CLOUD 2018: 106-113 - [c141]Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee:
Parameter Invariant Monitoring for Signal Temporal Logic. HSCC 2018: 187-196 - [c140]Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee:
Cyber-physical system checkpointing and recovery. ICCPS 2018: 22-31 - [c139]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 - [c138]Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky:
Flexible Monitor Deployment for Runtime Verification of Large Scale Software. ISoLA (4) 2018: 42-50 - [c137]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 - [c136]Dagaen Golomb, Deepak Gangadharan
, Sanjian Chen, Oleg Sokolsky, Insup Lee:
Data Freshness Over-Engineering: Formulation and Results. ISORC 2018: 174-183 - [c135]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 - [c134]Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel
, Insup Lee, Oleg Sokolsky:
Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. SETTA 2018: 31-49 - [i8]Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee:
Self-Driving Vehicle Verification Towards a Benchmark. CoRR abs/1806.08810 (2018) - 2017
- [j42]Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang:
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. J. Log. Algebraic Methods Program. 92: 1-18 (2017) - [c133]Gang Wang, Shan Lin, Margaret Mullen-Fortino, Oleg Sokolsky, Insup Lee:
Transmission delay performance in telemedicine: A case study. EMBC 2017: 3723-3727 - [c132]Jin Hyun Kim, Deepak Gangadharan
, Oleg Sokolsky, Axel Legay, Insup Lee:
Extensible Energy Planning Framework for Preemptive Tasks. ISORC 2017: 32-41 - [c131]Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky:
Monitoring Time Intervals. RV 2017: 330-345 - [c130]Junkil Park, Miroslav Pajic
, Oleg Sokolsky, Insup Lee:
Automatic Verification of Finite Precision Implementations of Linear Controllers. TACAS (1) 2017: 153-169 - [c129]Gregor Gößler, Oleg Sokolsky, Jean-Bernard Stefani:
Counterfactual Causality from First Principles? CREST@ETAPS 2017: 47-53 - [e10]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
- [j41]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) - [c128]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 - [c127]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 - [c126]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 - [c125]Deepak Gangadharan
, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee:
Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). RTCSA 2016: 76-84 - [c124]Teng Zhang, Peter Gebhard, Oleg Sokolsky:
SMEDL: Combining Synchronous and Asynchronous Monitoring. RV 2016: 482-490 - [c123]Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky:
Scalable Verification of Linear Controller Software. TACAS 2016: 662-679 - [c122]Oleg Sokolsky, Teng Zhang, Insup Lee, Michael McDougall:
Monitoring Assumptions in Assume-Guarantee Contracts. PrePost@IFM 2016: 46-53 - [e9]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
- [j40]Meng Xu, Linh Thi Xuan Phan, Oleg Sokolsky
, Sisu Xi, Chenyang Lu, Christopher D. Gill, Insup Lee:
Cache-aware compositional analysis of real-time multicore virtualization platforms. Real Time Syst. 51(6): 675-723 (2015) - [j39]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) - [j38]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) - [c121]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 - [c120]Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee:
An Intraoperative Glucose Control Benchmark for Formal Verification. ADHS 2015: 211-217 - [c119]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 - [c118]Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas
, Oleg Sokolsky:
Automatic verification of linear controller software. EMSOFT 2015: 217-226 - [c117]Sanjian Chen, Lu Feng, Michael R. Rickels
, Amy Peleckis, Oleg Sokolsky, Insup Lee:
A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. ICHI 2015: 213-222 - [c116]James Weimer, Oleg Sokolsky, Insup Lee:
Robust Medical Monitor Design. ICHI 2015: 445 - [c115]Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky:
Executing Model-Based Tests on Platform-Specific Implementations (T). ASE 2015: 418-428 - [c114]Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan
, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee:
Hierarchical multi-formalism proofs of cyber-physical systems. MEMOCODE 2015: 90-95 - [c113]Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee:
Verified ROS-Based Deployment of Platform-Independent Control Systems. NFM 2015: 248-262 - [c112]BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee:
Platform-Specific Code Generation from Platform-Independent Timed Models. RTSS 2015: 75-86 - [c111]Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee:
A Hybrid Approach to Causality Analysis. RV 2015: 250-265 - [c110]Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee:
Representing Confidence in Assurance Case Evidence. SAFECOMP Workshops 2015: 15-26 - [c109]Andrew L. King, Lu Feng, Sam Procter
, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee:
Towards Assurance for Plug & Play Medical Systems. SAFECOMP 2015: 228-242 - [c108]Krishna K. Venkatasubramanian, Eugene Y. Vasserman
, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee:
Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. SAFECOMP 2015: 252-266 - 2014
- [j37]Miroslav Pajic
, Zhihao Jiang
, Insup Lee, Oleg Sokolsky, Rahul Mangharam:
Safety-critical medical device development using the UPP2SF model translation tool. ACM Trans. Embed. Comput. Syst. 13(4s): 127:1-127:26 (2014) - [j36]Miroslav Pajic
, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, Insup Lee:
Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Trans. Ind. Informatics 10(1): 3-16 (2014) - [c107]James Weimer, Nicola Bezzo, Miroslav Pajic
, Oleg Sokolsky
, Insup Lee:
Attack-resilient minimum mean-squared error estimation. ACC 2014: 1114-1119 - [c106]James Weimer, Oleg Sokolsky
, Nicola Bezzo, Insup Lee:
Towards Assurance Cases for Resilient Control Systems. CPSNA 2014: 1-6 - [c105]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 - [c104]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 - [c103]Anitha Murugesan
, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee:
From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC 2014: 96-112 - [c102]Krishna K. Venkatasubramanian, Eugene Y. Vasserman
, Oleg Sokolsky, Insup Lee:
Functional Alarms for Systems of Interoperable Medical Devices. HASE 2014: 247-248 - [c101]Anitha Murugesan
, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee:
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. ICCPS 2014: 139-150 - [c100]Miroslav Pajic
, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas
:
Robustness of attack-resilient state estimators. ICCPS 2014: 163-174 - [c99]Nicola Bezzo, James Weimer, Miroslav Pajic
, Oleg Sokolsky, George J. Pappas
, Insup Lee:
Attack resilient state estimation for autonomous robotic systems. IROS 2014: 3692-3698 - [c98]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
- [j35]Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West
, Sampath Kannan, Insup Lee, Boon Thau Loo, Oleg Sokolsky:
AS-CRED: Reputation and Alert Service for Interdomain Routing. IEEE Syst. J. 7(3): 396-409 (2013) - [c97]BaekGyu Kim, Linh T. X. Phan, Oleg Sokolsky, Insup Lee:
Platform-dependent code generation for embedded real-time software. CASES 2013: 8:1-8:10 - [c96]James Weimer, Nicola Bezzo, Miroslav Pajic
, George J. Pappas
, Oleg Sokolsky, Insup Lee:
Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. CPSW@CISS 2013: 197-216 - [c95]Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee:
Assuring the safety of on-demand medical cyber-physical systems. CPSNA 2013: 1-6 - [c94]Rolf Ernst, Oleg Sokolsky
:
Message from the program co-chairs. EMSOFT 2013 - [c93]Kudakwashe Dube, Deshendran Moodley, Bill Thies, Jane W.-S. Liu, Joseph A. Cafazzo, Oleg Sokolsky:
Panel Position Statements. FHIES 2013: 22-31 - [c92]Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee:
A Modal Specification Approach for On-Demand Medical Systems. FHIES 2013: 199-216 - [c91]Miroslav Pajic
, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas
, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich
, Insup Lee:
Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS 2013: 75-76 - [c90]Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, Insup Lee:
Contract-based blame assignment by trace analysis. HiCoNS 2013: 117-126 - [c89]Damoon Soudbakhsh, Linh T. X. Phan, Oleg Sokolsky, Insup Lee, Anuradha Annaswamy:
Co-design of control and platform with dropped signals. ICCPS 2013: 129-140 - [c88]BaekGyu Kim, Insup Lee, Linh T. X. Phan, Oleg Sokolsky:
Platform dependent code generation of real-time embedded software. ICCPS 2013: 246 - [c87]Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas
, Paulo Tabuada, Insup Lee:
Synthesis of platform-aware attack-resilient vehicular systems. ICCPS 2013: 251 - [c86]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 - [c85]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 - [c84]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 - [c83]Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee:
A Causality Analysis Framework for Component-Based Real-Time Systems. RV 2013: 285-303 - [c82]Paolo Masci
, Anaheed Ayoub, Paul Curzon
, Insup Lee, Oleg Sokolsky
, Harold W. Thimbleby:
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. SAFECOMP 2013: 228-240 - [e8]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
- [j34]Oleg Sokolsky, Grigore Rosu:
Introduction to the special issue on runtime verification. Formal Methods Syst. Des. 41(3): 233-235 (2012) - [j33]Krishna K. Venkatasubramanian, Eugene Y. Vasserman
, Oleg Sokolsky, Insup Lee:
Security and Interoperable-Medical-Device Systems, Part 1. IEEE Secur. Priv. 10(5): 61-63 (2012) - [j32]Eugene Y. Vasserman
, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee:
Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences, and Classification. IEEE Secur. Priv. 10(6): 70-73 (2012) - [j31]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:
Challenges and Research Directions in Medical Cyber-Physical Systems. Proc. IEEE 100(1): 75-90 (2012) - [j30]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) - [j29]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) - [c81]Philip Asare
, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Andrew L. King, Oleg Sokolsky, Insup Lee, Shan Lin, Margaret Mullen-Fortino:
The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. IHI 2012: 667-672 - [c80]Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky
:
A Safety Case Pattern for Model-Based Development Approach. NASA Formal Methods 2012: 141-146 - [c79]BaekGyu Kim, Linh T. X. Phan, Insup Lee, Oleg Sokolsky:
A model-based I/O interface synthesis framework for the cross-platform software modeling. RSP 2012: 16-22 - [c78]Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T. X. Phan