Oleg Sokolsky
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
104
Venues
42
Active years
1994–2025
Best venue rank
A*
Where they publish
- BRV10 papers
- ARTAS9 papers
- ATACAS8 papers
- Journal PublishedEMSOFT7 papers
- BSAFECOMP6 papers
- ARTSS5 papers
- BCHASE4 papers
- CMEMOCODE4 papers
- CISORC4 papers
- BRTCSA4 papers
- A*CAV4 papers
- A*ICSE3 papers
- BVTC2 papers
- CISoLA2 papers
- Journal PublishedCASES2 papers
- BECRTS2 papers
- NationalIRI2 papers
- BCONCUR2 papers
- AMICCAI1 paper
- A*CHI1 paper
- A*AAAI1 paper
- NationalACSSC1 paper
- A*KDD1 paper
- NationalWSC1 paper
- NationalRTNS1 paper
- NationalSETTA1 paper
- ADATE1 paper
- AIROS1 paper
- NationalCISS1 paper
- CPST1 paper
- CRSP1 paper
- A*DAC1 paper
- NationalHOTNETS1 paper
- CPADL1 paper
- CSEKE1 paper
- CSCAM1 paper
- NationalHiPC1 paper
- CFORTE1 paper
- AISSTA1 paper
- NationalAMIA1 paper
- NationalPDPTA1 paper
- A*LICS1 paper
Papers
104 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MICCAI | Reliable and Interpretable Visual Field Progression Prediction with Diffusion Models and Conformal Risk Control. | Wenwen Si, Vivian Lin, Bo Sun, Kuk Jin Jang, Rubo Xing, Almiqdad Saeed, Rina Nagatani, Oleg Sokolsky, Insup Lee, Lama Al-Aswad |
| 2024 | CHASE | Automating Weak Label Generation for Data Programming with Clinicians in the Loop. | Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, Navish Yarna, Ramneet Kaur, Souradeep Dutta, Elena Bernardis, Oleg Sokolsky, Insup Lee |
| 2024 | CHI | Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. | Xiayan Ji, Ahhyun Yuh, Viktor Erdlyi, Teruhiro Mizumoto, Hyonyoung Choi, Sean Lee Harrison, Emma Cho, James Weimer, Hajime Nagahara, Teruo Higashino, George Demiris, Oleg Sokolsky, Insup Lee |
| 2024 | MEMOCODE | Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning. | Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong |
| 2024 | RTSS | Deadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning. | Mengyu Liu, Pengyuan Lu, Xin Chen, Oleg Sokolsky, Insup Lee, Fanxin Kong |
| 2023 | CHASE | Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. | Xiayan Ji, Xian Li, Ahhyun Yuh, Amanda Watson, Claire Kendell, James Weimer, Hajime Nagahara, Teruo Higashino, Teruhiro Mizumoto, Viktor Erdlyi, George Demiris, Oleg Sokolsky, Insup Lee |
| 2023 | RTAS | Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. | Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen, Fanxin Kong, Oleg Sokolsky, Insup Lee |
| 2022 | AAAI | iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection. | Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee |
| 2022 | ACSSC | Medical Cyber-Physical Systems: IoMT Applications and Challenges. | Amanda Watson, Jean Park, Sydney Pugh, Oleg Sokolsky, James Weimer, Insup Lee |
| 2022 | KDD | PAC-Wrap: Semi-Supervised PAC Anomaly Detection. | Shuo Li, Xiayan Ji, Edgar Dobriban, Oleg Sokolsky, Insup Lee |
| 2022 | VTC | Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps. | Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee |
| 2022 | RTSS | Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks. | Mengyu Liu, Lin Zhang, Pengyuan Lu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee |
| 2021 | CHASE | High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. | Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer |
| 2021 | VTC | E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing. | Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee |
| 2021 | WSC | Data Generation With Prospect: A Probability Specification Tool. | Alan Ismaiel, Ivan Ruchkin, Oleg Sokolsky, Insup Lee, Jason Shu |
| 2021 | RTNS | Towards Virtualization-Agnostic Latency for Time-Sensitive Applications. | Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
| 2020 | MEMOCODE | REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. | Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur |
| 2020 | SAFECOMP | Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. | Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee |
| 2019 | MEMOCODE | Detecting security leaks in hybrid systems with information flow analysis. | Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur |
| 2019 | RV | A Retrospective Look at the Monitoring and Checking (MaC) Framework. | Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan |
| 2019 | RV | Overhead-Aware Deployment of Runtime Monitors. | Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky |
| 2019 | TACAS | LCV: A Verification Tool for Linear Controller Software. | Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee |
| 2018 | ISoLA | Flexible Monitor Deployment for Runtime Verification of Large Scale Software. | Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky |
| 2018 | ISORC | Data Freshness Over-Engineering: Formulation and Results. | Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, Insup Lee |
| 2018 | ISORC | OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. | Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee |
| 2018 | RTAS | Multi-Mode Virtualization for Soft Real-Time Systems. | Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
| 2018 | SETTA | Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. | Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clment Pit-Claudel, Insup Lee, Oleg Sokolsky |
| 2017 | ISORC | Extensible Energy Planning Framework for Preemptive Tasks. | Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee |
| 2017 | RV | Monitoring Time Intervals. | Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky |
| 2017 | TACAS | Automatic Verification of Finite Precision Implementations of Linear Controllers. | Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee |
| 2016 | CHASE | Cloud-Based Secure Logger for Medical Devices. | Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T. X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, William Hanson III, Insup Lee |
| 2016 | RTCSA | Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). | Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee |
| 2016 | RV | SMEDL: Combining Synchronous and Asynchronous Monitoring. | Teng Zhang, Peter Gebhard, Oleg Sokolsky |
| 2016 | TACAS | Scalable Verification of Linear Controller Software. | Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky |
| 2015 | DATE | Platform-specific timing verification framework in model-based implementation. | BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee |
| 2015 | EMSOFT | Automatic verification of linear controller software. | Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky |
| 2015 | MEMOCODE | Hierarchical multi-formalism proofs of cyber-physical systems. | Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee |
| 2015 | RTSS | Platform-Specific Code Generation from Platform-Independent Timed Models. | BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee |
| 2015 | RV | A Hybrid Approach to Causality Analysis. | Shaohui Wang, Yoann Geoffroy, Gregor Gler, Oleg Sokolsky, Insup Lee |
| 2015 | SAFECOMP | Representing Confidence in Assurance Case Evidence. | Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee |
| 2015 | SAFECOMP | Towards Assurance for Plug & Play Medical Systems. | Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee |
| 2015 | SAFECOMP | Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. | Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee |
| 2014 | EMSOFT | Real-time multi-core virtual machine scheduling in Xen. | Sisu Xi, Meng Xu, Chenyang Lu, Linh T. X. Phan, Christopher D. Gill, Oleg Sokolsky, Insup Lee |
| 2014 | IROS | Attack resilient state estimation for autonomous robotic systems. | Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee |
| 2013 | CASES | Platform-dependent code generation for embedded real-time software. | BaekGyu Kim, Linh T. X. Phan, Oleg Sokolsky, Insup Lee |
| 2013 | CISS | Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. | James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, Insup Lee |
| 2013 | EMSOFT | Message from the program co-chairs. | Rolf Ernst, Oleg Sokolsky |
| 2013 | PST | TrustForge: Flexible access control for collaborative crowd-sourced environment. | Jian Chang, Peter Gebhard, Andreas Haeberlen, Zachary G. Ives, Insup Lee, Oleg Sokolsky, Krishna K. Venkatasubramanian |
| 2013 | RTSS | Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms. | Meng Xu, Linh T. X. Phan, Insup Lee, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher D. Gill |
| 2013 | RTAS | Overhead-aware compositional analysis of real-time systems. | Linh T. X. Phan, Meng Xu, Jaewoo Lee, Insup Lee, Oleg Sokolsky |
| 2013 | RV | A Causality Analysis Framework for Component-Based Real-Time Systems. | Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gler, Oleg Sokolsky, Insup Lee |
| 2013 | SAFECOMP | Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. | Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby |
| 2012 | RSP | A model-based I/O interface synthesis framework for the cross-platform software modeling. | BaekGyu Kim, Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
| 2012 | RTAS | Realizing Compositional Scheduling through Virtualization. | Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T. X. Phan, Christopher D. Gill, Insup Lee, Chenyang Lu, Oleg Sokolsky |
| 2012 | RTAS | From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. | Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam |
| 2012 | SAFECOMP | A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. | Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky |
| 2011 | CASES | Compositional analysis of real-time embedded systems. | Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
| 2011 | EMSOFT | Safety-assured development of the GPCA infusion pump software. | BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley |
| 2011 | EMSOFT | Challenges in the regulatory approval of medical cyber-physical systems. | Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl |
| 2011 | ICSE | On effective testing of health care simulation software. | 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 | RTAS | Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems. | Sanjian Chen, Linh T. X. Phan, Jaewoo Lee, Insup Lee, Oleg Sokolsky |
| 2011 | RTAS | A Semantic Framework for Mode Change Protocols. | Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
| 2011 | RV | Runtime Verification of Traces under Recording Uncertainty. | Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee |
| 2010 | DAC | Medical cyber physical systems. | Insup Lee, Oleg Sokolsky |
| 2010 | ECRTS | Compositional Analysis of Multi-mode Systems. | Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
| 2010 | ICSE | Prototyping closed loop physiologic control with the medical device coordination framework. | Andrew L. King, David Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter |
| 2010 | ISoLA | Assurance Cases in Model-Driven Development of the Pacemaker Software. | Eunkyoung Jee, Insup Lee, Oleg Sokolsky |
| 2010 | RTCSA | A Safety-Assured Development Approach for Real-Time Software. | Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee |
| 2009 | HOTNETS | Formally Verifiable Networking. | Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu |
| 2009 | PADL | Declarative Network Verification. | Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky |
| 2009 | RTCSA | A Compositional Scheduling Framework for Digital Avionics Systems. | Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal |
| 2009 | RV | Untitled record | Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee |
| 2008 | RV | Checking Traces for Regulatory Conformance. | Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky |
| 2007 | ISORC | Compositional Schedulability Analysis of Hierarchical Real-Time Systems. | Arvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky |
| 2007 | RV | Statistical Runtime Checking of Probabilistic Properties. | Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr |
| 2006 | EMSOFT | Incremental schedulability analysis of hierarchical real-time components. | Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee |
| 2006 | RTAS | Network-Code Machine: Programmable Real-Time Communication Schedules. | Sebastian Fischmeister, Oleg Sokolsky, Insup Lee |
| 2006 | TACAS | Simulation-Based Graph Similarity. | Oleg Sokolsky, Sampath Kannan, Insup Lee |
| 2005 | SEKE | Generating Properties for Runtime Monitoring from Software Specification Patterns. | Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky |
| 2005 | RTCSA | RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. | Usa Sammapun, Insup Lee, Oleg Sokolsky |
| 2005 | SCAM | Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. | Hyoung Seok Hong, Insup Lee, Oleg Sokolsky |
| 2004 | IRI | Model-based Testing and Monitoring for Hybrid Embedded Systems. | Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee |
| 2004 | IRI | Specification-based Testing with Linear Temporal Logic. | Li Tan, Oleg Sokolsky, Insup Lee |
| 2003 | ICSE | Data Flow Testing as Model Checking. | Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural |
| 2003 | TACAS | Modeling and Analysis of Power-Aware Systems. | Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou |
| 2002 | HiPC | Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. | Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb |
| 2002 | TACAS | A Temporal Logic Based Theory of Test Coverage and Generation. | Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural |
| 2001 | EMSOFT | Hierarchical Hybrid Modeling of Embedded Systems. | 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 | FORTE | A Family of Resource-Bound Real-Time Process Algebras. | Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky |
| 2000 | CONCUR | Weak Bisimulation for Probabilistic Systems. | Anna Philippou, Insup Lee, Oleg Sokolsky |
| 2000 | ISSTA | Verisim: Formal analysis of network simulations. | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan |
| 1999 | AMIA | HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents. | Barry G. Silverman, Oleg Sokolsky, Val Tannen, Alex Wong, Lance Lang, Allan Khoury, Keith E. Campbell, Chen Qiang, Arnaud Sahuguet |
| 1999 | ECRTS | Formally specified monitoring of temporal properties. | Moonjoo Kim, Mahesh Viswanathan, Hanne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky |
| 1999 | PDPTA | Runtime Assurance Based On Formal Specifications. | Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan |
| 1999 | TACAS | Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. | Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren |
| 1998 | CONCUR | Praobabilistic Resource Failure in Real-Time Process Algebra. | Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky |
| 1998 | RTSS | Symbolic Schedulability Analysis of Real-Time Systems. | Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky |
| 1998 | RTAS | Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. | Oleg Sokolsky, Mohamed F. Younis, Insup Lee, Hee-Hwan Kwak, Jeffrey X. Zhou |
| 1996 | CAV | XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems. | Duncan Clarke, Hanne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky |
| 1996 | CAV | The Concurrency Factory: A Development Environment for Concurrent Systems. | Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky |
| 1996 | TACAS | The Concurrency Factory Software Development Environment. | Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky |
| 1995 | CAV | Local Model Checking for Real-Time Systems (Extended Abstract). | Oleg Sokolsky, Scott A. Smolka |
| 1994 | CAV | Incremental Model Checking in the Modal Mu-Calculus. | Oleg Sokolsky, Scott A. Smolka |
| 1994 | LICS | On the Parallel Complexity of Model Checking in the Modal Mu-Calculus | Shipei Zhang, Oleg Sokolsky, Scott A. Smolka |