Incremental Model Checking in the Modal Mu-Calculus. - Oleg Sokolsky; Scott A. Smolka (CAV, 1994)

The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems. - Rance Cleaveland; Jayesh N. Gada; Philip M. Lewis; Scott A. Smolka; Oleg Sokolsky; Shipei Zhang (Specification of Parallel Algorithms, 1994)

On the Parallel Complexity of Model Checking in the Modal Mu-Calculus - Shipei Zhang; Oleg Sokolsky; Scott A. Smolka (LICS, 1994)

Local Model Checking for Real-Time Systems (Extended Abstract). - Oleg Sokolsky; Scott A. Smolka (CAV, 1995)

XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems. - Duncan Clarke; Hanêne Ben-Abdallah; Insup Lee 001; Hong-liang Xie; Oleg Sokolsky (CAV, 1996)

The Concurrency Factory: A Development Environment for Concurrent Systems. - Rance Cleaveland; Philip M. Lewis; Scott A. Smolka; Oleg Sokolsky (CAV, 1996)

The Concurrency Factory Software Development Environment. - Rance Cleaveland; Philip M. Lewis; Scott A. Smolka; Oleg Sokolsky (TACAS, 1996)

Analytical Design of Evolutionary Control Flow Components. - Insup Lee 001; Oleg Sokolsky (HASE, 1997)

Praobabilistic Resource Failure in Real-Time Process Algebra. - Anna Philippou; Rance Cleaveland; Insup Lee 001; Scott A. Smolka; Oleg Sokolsky (CONCUR, 1998)

Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. - Oleg Sokolsky; Mohamed F. Younis; Insup Lee 001; Hee-Hwan Kwak; Jeffrey X. Zhou (IEEE Real Time Technology and Applications Symposium, 1998)

Symbolic Schedulability Analysis of Real-Time Systems. - Hee-Hwan Kwak; Insup Lee 001; Anna Philippou; Jin-Young Choi; Oleg Sokolsky (RTSS, 1998)

Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. - Hee-Hwan Kwak; Insup Lee 001; Oleg Sokolsky (Monterey Workshop, 1998)

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 006; Lance Lang; Allan Khoury; Keith E. Campbell; Chen Qiang; Arnaud Sahuguet (AMIA, 1999)

Formally specified monitoring of temporal properties. - Moonjoo Kim 001; Mahesh Viswanathan 001; Hanêne Ben-Abdallah; Sampath Kannan; Insup Lee 001; Oleg Sokolsky (ECRTS, 1999)

Runtime Assurance Based On Formal Specifications. - Insup Lee 001; Sampath Kannan; Moonjoo Kim 001; Oleg Sokolsky; Mahesh Viswanathan 001 (PDPTA, 1999)

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. - Yifei Dong; Xiaoqun Du; Y. S. Ramakrishna; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka; Oleg Sokolsky; Eugene W. Stark; David Scott Warren (TACAS, 1999)

Steering of real-time systems based on monitoring and checking. - Oleg Sokolsky; Sampath Kannan; Moonjoo Kim 001; Insup Lee 001; Mahesh Viswanathan 001 (WORDS (Fall), 1999)

Specification and Analysis of Real-Time Systems with PARAGON. - Oleg Sokolsky; Insup Lee 001; Hanêne Ben-Abdallah (Ann. Softw. Eng., 1999)

Weak Bisimulation for Probabilistic Systems. - Anna Philippou; Insup Lee 001; Oleg Sokolsky (CONCUR, 2000)

Equivalence and Preorder Checking for Finite-State Systems. - Rance Cleaveland; Oleg Sokolsky (Handbook of Process Algebra, 2001)

Hierarchical Hybrid Modeling of Embedded Systems. - Rajeev Alur; Thao Dang 001; Joel M. Esposito; Rafael Fierro; Yerang Hur; Franjo Ivancic; Vijay Kumar 001; Insup Lee 001; Pradyumna Mishra; George J. Pappas; Oleg Sokolsky (EMSOFT, 2001)

A Family of Resource-Bound Real-Time Process Algebras. - Insup Lee 001; Jin-Young Choi; Hee-Hwan Kwak; Anna Philippou; Oleg Sokolsky (FORTE, 2001)

Compositional Refinement for Hierarchical Hybrid Systems. - Rajeev Alur; Radu Grosu; Insup Lee 001; Oleg Sokolsky (HSCC, 2001)

Java-MaC: a Run-time Assurance Tool for Java Programs. - Moonjoo Kim 001; Sampath Kannan; Insup Lee 001; Oleg Sokolsky; Mahesh Viswanathan 001 (RV@CAV, 2001)

Hiding resources that can fail: An axiomatic perspective. - Anna Philippou; Oleg Sokolsky; Insup Lee 001; Rance Cleaveland; Scott A. Smolka (Inf. Process. Lett., 2001)

Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. - Rajeev Alur; Calin Belta; Franjo Ivancic; Vijay Kumar 001; Harvey Rubin; Jonathan Schug; Oleg Sokolsky; Jonathan Webb (HiPC, 2002)

A General Resource Framework for Real-Time Systems. - Insup Lee 001; Anna Philippou; Oleg Sokolsky (RISSEF, 2002)

A Temporal Logic Based Theory of Test Coverage and Generation. - Hyoung Seok Hong; Insup Lee 001; Oleg Sokolsky; Hasan Ural (TACAS, 2002)

Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. - Moonjoo Kim 001; Sampath Kannan; Insup Lee 001; Oleg Sokolsky; Mahesh Viswanathan 001 (RV@FLoC, 2002)

Monitoring, Checking, and Steering of Real-Time Systems. - Moonjoo Kim 001; Insup Lee 001; Usa Sammapun; Jangwoo Shin; Oleg Sokolsky (RV@FLoC, 2002)

Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. - Hee-Hwan Kwak; Insup Lee 001; Oleg Sokolsky (Sci. Comput. Program., 2002)

Verisim: Formal Analysis of Network Simulations. - Karthikeyan Bhargavan; Carl A. Gunter; Moonjoo Kim 001; Insup Lee 001; Davor Obradovic; Oleg Sokolsky; Mahesh Viswanathan 001 (IEEE Trans. Software Eng., 2002)

Data Flow Testing as Model Checking. - Hyoung Seok Hong; Sung Deok Cha; Insup Lee 001; Oleg Sokolsky; Hasan Ural (ICSE, 2003)

Generating embedded software from hierarchical hybrid models. - Rajeev Alur; Franjo Ivancic; Jesung Kim; Insup Lee 001; Oleg Sokolsky (LCTES, 2003)

Modeling and Analysis of Power-Aware Systems. - Oleg Sokolsky; Anna Philippou; Insup Lee 001; Kyriakos Christou (TACAS, 2003)

Preface. - Oleg Sokolsky; Mahesh Viswanathan 001 (RV@CAV, 2003)

Hierarchical modeling and analysis of embedded systems. - Rajeev Alur; Thao Dang 001; Joel M. Esposito; Yerang Hur; Franjo Ivancic; Vijay Kumar 001; Insup Lee 001; Pradyumna Mishra; George J. Pappas; Oleg Sokolsky (Proc. IEEE, 2003)

Model-based Testing and Monitoring for Hybrid Embedded Systems. - Li Tan; Jesung Kim; Oleg Sokolsky; Insup Lee 001 (IRI, 2004)

Specification-based Testing with Linear Temporal Logic. - Li Tan; Oleg Sokolsky; Insup Lee 001 (IRI, 2004)

Is runtime verification applicable to cheat detection? - Margaret DeLap; Björn Knutsson; Honghui Lu; Oleg Sokolsky; Usa Sammapun; Insup Lee 001; Christos Tsarouchis (NETGAMES, 2004)

Resource Modeling for Embedded Systems Design. - Oleg Sokolsky (WSTFEUS, 2004)

Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification. - Usa Sammapun; Arvind Easwaran; Insup Lee 001; Oleg Sokolsky (RV@ETAPS, 2004)

Java-MaC: A Run-Time Assurance Approach for Java Programs. - Moonzoo Kim; Mahesh Viswanathan 001; Sampath Kannan; Insup Lee 001; Oleg Sokolsky (Formal Methods Syst. Des., 2004)

Research challenges in embedded and hybrid systems. - Insup Lee 001; Oleg Sokolsky (SIGBED Rev., 2004)

RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. - Usa Sammapun; Insup Lee 001; Oleg Sokolsky (RTCSA, 2005)

Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. - Hyoung Seok Hong; Insup Lee 001; Oleg Sokolsky (SCAM, 2005)

Generating Properties for Runtime Monitoring from Software Specification Patterns. - Oscar Mondragon; Ann Q. Gates; Humberto Mendoza; Oleg Sokolsky (SEKE, 2005)

JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. - Ann Q. Gates; Steve Roach; Irbis Gallegos; Omar Ochoa; Oleg Sokolsky (WORDS, 2005)

Steering of Discrete Event Systems: Control Theory Approach. - Arvind Easwaran; Sampath Kannan; Oleg Sokolsky (RV@CAV, 2005)

A Family of Resource-Bound Real-Time Process Algebras. - Insup Lee 001; Anna Philippou; Oleg Sokolsky (APC 25, 2005)

Run-Time Checking of Dynamic Properties. - Oleg Sokolsky; Usa Sammapun; Insup Lee 001; Jesung Kim (RV@CAV, 2005)

Real-time and embedded technology and applications symposium (RTAS '05). - Oleg Sokolsky; Tarek F. Abdelzaher (SIGBED Rev., 2005)

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. - 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 (Simulation and Verification of Dynamic Systems, 2006)

Incremental schedulability analysis of hierarchical real-time components. - Arvind Easwaran; Insik Shin; Oleg Sokolsky; Insup Lee 001 (EMSOFT, 2006)

R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. - Fabian Kratz; Oleg Sokolsky; George J. Pappas; Insup Lee 001 (HSCC, 2006)

Schedulability analysis of AADL models. - Oleg Sokolsky; Insup Lee 001; Duncan Clarke (IPDPS, 2006)

Network-Code Machine: Programmable Real-Time Communication Schedules. - Sebastian Fischmeister; Oleg Sokolsky; Insup Lee 001 (IEEE Real Time Technology and Applications Symposium, 2006)

Simulation-Based Graph Similarity. - Oleg Sokolsky; Sampath Kannan; Insup Lee 001 (TACAS, 2006)

Compositional modeling and refinement for hierarchical hybrid systems. - Rajeev Alur; Radu Grosu; Insup Lee 001; Oleg Sokolsky (J. Log. Algebraic Methods Program., 2006)

Introduction to special issue. - John Hatcliff; Insup Lee 001; Oleg Sokolsky (SIGBED Rev., 2006)

07011 Executive Summary – Runtime Verification. - Bernd Finkbeiner; Klaus Havelund; Grigore Rosu; Oleg Sokolsky (Runtime Verification, 2007)

07011 Abstracts Collection – Runtime Verification. - Bernd Finkbeiner; Klaus Havelund; Grigore Rosu; Oleg Sokolsky (Runtime Verification, 2007)

Runtime Verification for Wireless Sensor Network Applications. - Oleg Sokolsky; Usa Sammapun; John Regehr; Insup Lee 001 (Runtime Verification, 2007)

Compositional Schedulability Analysis of Hierarchical Real-Time Systems. - Arvind Easwaran; Insup Lee 001; Insik Shin; Oleg Sokolsky (ISORC, 2007)

Logic-Based Regulatory Conformance Checking. - Nikhil Dinesh; Aravind K. Joshi; Insup Lee 001; Oleg Sokolsky (Monterey Workshop, 2007)

Statistical Runtime Checking of Probabilistic Properties. - Usa Sammapun; Insup Lee 001; Oleg Sokolsky; John Regehr (RV, 2007)

Generating Properties for Runtime Monitoring from Software Specification Patterns. - Oscar Mondragon; Ann Q. Gates; Steve Roach; Humberto Mendoza; Oleg Sokolsky (Int. J. Softw. Eng. Knowl. Eng., 2007)

Guest Editors' Foreword. - Christopher D. Gill; Oleg Sokolsky (J. Comput. Syst. Sci., 2007)

Resources in process algebra. - Insup Lee 001; Anna Philippou; Oleg Sokolsky (J. Log. Algebraic Methods Program., 2007)

A Verifiable Language for Programming Real-Time Communication Schedules. - Sebastian Fischmeister; Oleg Sokolsky; Insup Lee 001 (IEEE Trans. Computers, 2007)

Process-Algebraic Analysis of Timing and Schedulability Properties. - Anna Philippou; Oleg Sokolsky (Handbook of Real-Time and Embedded Systems, 2007)

Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. - Nikhil Dinesh; Aravind K. Joshi; Insup Lee 001; Oleg Sokolsky (DEON, 2008)

Performance Analysis of AADL Models Using Real-Time Calculus. - Oleg Sokolsky; Alexander Chernoguzov (Monterey Workshop, 2008)

Checking Traces for Regulatory Conformance. - Nikhil Dinesh; Aravind K. Joshi; Insup Lee 001; Oleg Sokolsky (RV, 2008)

Process-Algebraic Interpretation of AADL Models. - Oleg Sokolsky; Insup Lee 001; Duncan Clarke (Ada-Europe, 2009)

QuanTM: a quantitative trust management system. - Andrew G. West; Adam J. Aviv; Jian Chang; Vinayak S. Prabhu; Matt Blaze; Sampath Kannan; Insup Lee 001; Jonathan M. Smith; Oleg Sokolsky (EUROSEC, 2009)

Formally Verifiable Networking. - Anduo Wang; Limin Jia 001; Changbin Liu; Boon Thau Loo; Oleg Sokolsky; Prithwish Basu (HotNets, 2009)

Declarative Network Verification. - Anduo Wang; Prithwish Basu; Boon Thau Loo; Oleg Sokolsky (PADL, 2009)

A Compositional Scheduling Framework for Digital Avionics Systems. - Arvind Easwaran; Insup Lee 001; Oleg Sokolsky; Steve Vestal (RTCSA, 2009)

DMaC: Distributed Monitoring and Checking. - Wenchao Zhou; Oleg Sokolsky; Boon Thau Loo; Insup Lee 001 (RV, 2009)

Model-Based Testing of GUI-Driven Applications. - Vivien Chinnapongse; Insup Lee 001; Oleg Sokolsky; Shaohui Wang; Paul L. Jones (SEUS, 2009)

Dynamic Trust Management. - Matt Blaze; Sampath Kannan; Insup Lee 001; Oleg Sokolsky; Jonathan M. Smith; Angelos D. Keromytis; Wenke Lee (Computer, 2009)

Medical cyber physical systems. - Insup Lee 001; Oleg Sokolsky (DAC, 2010)

10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. - Klaus Havelund; Martin Leucker; Martin Sachenbacher; Oleg Sokolsky; Brian C. Williams (Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 2010)

10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. - Klaus Havelund; Martin Leucker; Martin Sachenbacher; Oleg Sokolsky; Brian C. Williams (Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 2010)

Compositional Analysis of Multi-mode Systems. - Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (ECRTS, 2010)

A Process Algebraic Framework for Modeling Resource Demand and Supply. - Anna Philippou; Insup Lee 001; Oleg Sokolsky; Jin-Young Choi (FORMATS, 2010)

Toward patient safety in closed-loop medical device systems. - David Arney; Miroslav Pajic; Julian M. Goldman; Insup Lee 001; Rahul Mangharam; Oleg Sokolsky (ICCPS, 2010)

Prototyping closed loop physiologic control with the medical device coordination framework. - Andrew L. King; David Arney; Insup Lee 001; Oleg Sokolsky; John Hatcliff; Sam Procter (SEHC@ICSE, 2010)

GSA: a framework for rapid prototyping of smart alarm systems. - 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; et al. (IHI, 2010)

Assurance Cases in Model-Driven Development of the Pacemaker Software. - Eunkyoung Jee; Insup Lee 001; Oleg Sokolsky (ISoLA (2), 2010)

A Safety-Assured Development Approach for Real-Time Software. - Eunkyoung Jee; Shaohui Wang; Jeong-Ki Kim; Jaewoo Lee; Oleg Sokolsky; Insup Lee 001 (RTCSA, 2010)

Demo of the Generic Smart Alarm: a framework for the design, analysis, and implementation of smart alarms and other clinical decision support systems. - Andrew L. King; Alex Roederer; Sanjian Chen; Nicholas Stevens; Philip Asare; Oleg Sokolsky; Insup Lee 001; Margaret Mullen-Fortino; Soojin Park (Wireless Health, 2010)

Editorial. - Oleg Sokolsky; Serdar Tasiran (J. Log. Comput., 2010)

Compositional analysis of real-time embedded systems. - Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (CASES, 2011)

Link spamming Wikipedia for profit. - Andrew G. West; Jian Chang; Krishna K. Venkatasubramanian; Oleg Sokolsky; Insup Lee 001 (CEAS, 2011)

Medical Cyber-Physical Systems. - Oleg Sokolsky (ECBS, 2011)

ToMaTo: a trustworthy code mashup development tool. - Jian Chang; Krishna K. Venkatasubramanian; Andrew G. West; Sampath Kannan; Oleg Sokolsky; Myuhng Joo Kim; Insup Lee 001 (Mashups/Dataview@ECOWS, 2011)

Biomedical devices and systems security. - David Arney; Krishna K. Venkatasubramanian; Oleg Sokolsky; Insup Lee 001 (EMBC, 2011)

Safety-assured development of the GPCA infusion pump software. - BaekGyu Kim; Anaheed Ayoub; Oleg Sokolsky; Insup Lee 001; Paul L. Jones; Yi Zhang 051; Raoul Praful Jetley (EMSOFT, 2011)

Challenges in the regulatory approval of medical cyber-physical systems. - Oleg Sokolsky; Insup Lee 001; Mats Per Erik Heimdahl (EMSOFT, 2011)

On effective testing of health care simulation software. - Christian Murphy; M. S. Raunak 001; Andrew L. King; Sanjian Chen; Christopher Imbriano; Gail E. Kaiser; Insup Lee 001; Oleg Sokolsky; Lori A. Clarke; Leon J. Osterweil (SEHC@ICSE, 2011)

Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems. - Sanjian Chen; Linh T. X. Phan; Jaewoo Lee; Insup Lee 001; Oleg Sokolsky (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

A Semantic Framework for Mode Change Protocols. - Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

Runtime Verification of Traces under Recording Uncertainty. - Shaohui Wang; Anaheed Ayoub; Oleg Sokolsky; Insup Lee 001 (RV, 2011)

AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP. - Jian Chang; Krishna K. Venkatasubramanian; Andrew G. West; Sampath Kannan; Boon Thau Loo; Oleg Sokolsky; Insup Lee 001 (TRUST, 2011)

Demo of the medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. - Philip Asare; Danyang Cong; Santosh G. Vattam; BaekGyu Kim; Oleg Sokolsky; Insup Lee 001; Shan Lin 001; Margaret Mullen-Fortino (Wireless Health, 2011)

Permission to speak: A logic for access control and conformance. - Nikhil Dinesh; Aravind K. Joshi; Insup Lee 001; Oleg Sokolsky (J. Log. Algebraic Methods Program., 2011)

Improving resource utilization for compositional scheduling using DPRM interfaces. - Jaewoo Lee; Linh T. X. Phan; Sanjian Chen; Oleg Sokolsky; Insup Lee 001 (SIGBED Rev., 2011)

CARTS: a tool for compositional analysis of real-time systems. - Linh T. X. Phan; Jaewoo Lee; Arvind Easwaran; Vinay Ramaswamy; Sanjian Chen; Insup Lee 001; Oleg Sokolsky (SIGBED Rev., 2011)

The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. - Philip Asare; Danyang Cong; Santosh G. Vattam; BaekGyu Kim; Andrew L. King; Oleg Sokolsky; Insup Lee 001; Shan Lin 001; Margaret Mullen-Fortino (IHI, 2012)

A Safety Case Pattern for Model-Based Development Approach. - Anaheed Ayoub; BaekGyu Kim; Insup Lee 001; Oleg Sokolsky (NASA Formal Methods, 2012)

A model-based I/O interface synthesis framework for the cross-platform software modeling. - BaekGyu Kim; Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (RSP, 2012)

Realizing Compositional Scheduling through Virtualization. - Jaewoo Lee; Sisu Xi; Sanjian Chen; Linh T. X. Phan; Christopher D. Gill; Insup Lee 001; Chenyang Lu 001; Oleg Sokolsky (IEEE Real-Time and Embedded Technology and Applications Symposium, 2012)

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. - Miroslav Pajic; Zhihao Jiang; Insup Lee 001; Oleg Sokolsky; Rahul Mangharam (IEEE Real-Time and Embedded Technology and Applications Symposium, 2012)

A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. - Anaheed Ayoub; BaekGyu Kim; Insup Lee 001; Oleg Sokolsky (SAFECOMP, 2012)

Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272). - Peter H. Feiler; Jérôme Hugues; Oleg Sokolsky (Dagstuhl Reports, 2012)

Introduction to the special issue on runtime verification. - Oleg Sokolsky; Grigore Rosu (Formal Methods Syst. Des., 2012)

Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences, and Classification. - Eugene Y. Vasserman; Krishna K. Venkatasubramanian; Oleg Sokolsky; Insup Lee 001 (IEEE Secur. Priv., 2012)

Security and Interoperable-Medical-Device Systems, Part 1. - Krishna K. Venkatasubramanian; Eugene Y. Vasserman; Oleg Sokolsky; Insup Lee 001 (IEEE Secur. Priv., 2012)

Challenges and Research Directions in Medical Cyber-Physical Systems. - Insup Lee 001; Oleg Sokolsky; Sanjian Chen; John Hatcliff; Eunkyoung Jee; BaekGyu Kim; Andrew L. King; Margaret Mullen-Fortino; Soojin Park; Alex Roederer; Krishna K. Venkatasubramanian (Proc. IEEE, 2012)

Introduction to the special section on runtime verification. - Oleg Sokolsky; Klaus Havelund; Insup Lee 001 (Int. J. Softw. Tools Technol. Transf., 2012)

PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. - Anna Philippou; Insup Lee 001; Oleg Sokolsky (Theor. Comput. Sci., 2012)

Platform-dependent code generation for embedded real-time software. - BaekGyu Kim; Linh T. X. Phan; Oleg Sokolsky; Insup Lee 001 (CASES, 2013)

Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. - James Weimer; Nicola Bezzo; Miroslav Pajic; George J. Pappas; Oleg Sokolsky; Insup Lee 001 (CPSW@CISS, 2013)

Assuring the safety of on-demand medical cyber-physical systems. - Andrew L. King; Lu Feng 001; Oleg Sokolsky; Insup Lee 001 (CPSNA, 2013)

Message from the program co-chairs. - Rolf Ernst; Oleg Sokolsky (EMSOFT, 2013)

Panel Position Statements. - Kudakwashe Dube; Deshendran Moodley; Bill Thies; Jane W.-S. Liu; Joseph A. Cafazzo; Oleg Sokolsky (FHIES, 2013)

A Modal Specification Approach for On-Demand Medical Systems. - Andrew L. King; Lu Feng 001; Oleg Sokolsky; Insup Lee 001 (FHIES, 2013)

Towards synthesis of platform-aware attack-resilient control systems: extended abstract. - Miroslav Pajic; Nicola Bezzo; James Weimer; Rajeev Alur; Rahul Mangharam; Nathan Michael; George J. Pappas; Oleg Sokolsky; Paulo Tabuada; Stephanie Weirich; Insup Lee 001 (HiCoNS, 2013)

Contract-based blame assignment by trace analysis. - Shaohui Wang; Anaheed Ayoub; Radoslav Ivanov; Oleg Sokolsky; Insup Lee 001 (HiCoNS, 2013)

Platform dependent code generation of real-time embedded software. - BaekGyu Kim; Insup Lee 001; Linh T. X. Phan; Oleg Sokolsky (ICCPS, 2013)

Synthesis of platform-aware attack-resilient vehicular systems. - Miroslav Pajic; Nathan Michael; Nicola Bezzo; James Weimer; Oleg Sokolsky; George J. Pappas; Paulo Tabuada; Insup Lee 001 (ICCPS, 2013)

Co-design of control and platform with dropped signals. - Damoon Soudbakhsh; Linh T. X. Phan; Oleg Sokolsky; Insup Lee 001; Anuradha Annaswamy (ICCPS, 2013)

TrustForge: Flexible access control for collaborative crowd-sourced environment. - Jian Chang; Peter Gebhard; Andreas Haeberlen; Zachary G. Ives; Insup Lee 001; Oleg Sokolsky; Krishna K. Venkatasubramanian (PST, 2013)

Overhead-aware compositional analysis of real-time systems. - Linh T. X. Phan; Meng Xu 010; Jaewoo Lee; Insup Lee 001; Oleg Sokolsky (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

A Causality Analysis Framework for Component-Based Real-Time Systems. - Shaohui Wang; Anaheed Ayoub; BaekGyu Kim; Gregor Gößler; Oleg Sokolsky; Insup Lee 001 (RV, 2013)

Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. - Paolo Masci 001; Anaheed Ayoub; Paul Curzon; Insup Lee 001; Oleg Sokolsky; Harold W. Thimbleby (SAFECOMP, 2013)

AS-CRED: Reputation and Alert Service for Interdomain Routing. - Jian Chang; Krishna K. Venkatasubramanian; Andrew G. West; Sampath Kannan; Insup Lee 001; Boon Thau Loo; Oleg Sokolsky (IEEE Syst. J., 2013)

Attack-resilient minimum mean-squared error estimation. - James Weimer; Nicola Bezzo; Miroslav Pajic; Oleg Sokolsky; Insup Lee 001 (ACC, 2014)

Towards Assurance Cases for Resilient Control Systems. - James Weimer; Oleg Sokolsky; Nicola Bezzo; Insup Lee 001 (CPSNA, 2014)

Real-time multi-core virtual machine scheduling in Xen. - Sisu Xi; Meng Xu 010; Chenyang Lu 001; Linh T. X. Phan; Christopher D. Gill; Oleg Sokolsky; Insup Lee 001 (EMSOFT, 2014)

Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. - Lian Duan; Sanjai Rayadurgam; Mats Per Erik Heimdahl; Anaheed Ayoub; Oleg Sokolsky; Insup Lee 001 (FHIES/SEHC, 2014)

From Requirements to Code: Model Based Development of a Medical Cyber Physical System. - Anitha Murugesan; Mats Per Erik Heimdahl; Michael W. Whalen; Sanjai Rayadurgam; John Komp; Lian Duan; BaekGyu Kim; Oleg Sokolsky; Insup Lee 001 (FHIES/SEHC, 2014)

Functional Alarms for Systems of Interoperable Medical Devices. - Krishna K. Venkatasubramanian; Eugene Y. Vasserman; Oleg Sokolsky; Insup Lee 001 (HASE, 2014)

Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. - Anitha Murugesan; Oleg Sokolsky; Sanjai Rayadurgam; Michael W. Whalen; Mats Per Erik Heimdahl; Insup Lee 001 (ICCPS, 2014)

Robustness of attack-resilient state estimators. - Miroslav Pajic; James Weimer; Nicola Bezzo; Paulo Tabuada; Oleg Sokolsky; Insup Lee 001; George J. Pappas (ICCPS, 2014)

Attack resilient state estimation for autonomous robotic systems. - Nicola Bezzo; James Weimer; Miroslav Pajic; Oleg Sokolsky; George J. Pappas; Insup Lee 001 (IROS, 2014)

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. - Lu Feng 001; Andrew L. King; Sanjian Chen; Anaheed Ayoub; Junkil Park; Nicola Bezzo; Oleg Sokolsky; Insup Lee 001 (MCPS, 2014)

Safety-critical medical device development using the UPP2SF model translation tool. - Miroslav Pajic; Zhihao Jiang; Insup Lee 001; Oleg Sokolsky; Rahul Mangharam (ACM Trans. Embed. Comput. Syst., 2014)

Model-Driven Safety Analysis of Closed-Loop Medical Systems. - Miroslav Pajic; Rahul Mangharam; Oleg Sokolsky; David Arney; Julian M. Goldman; Insup Lee 001 (IEEE Trans. Ind. Informatics, 2014)

RT-Open Stack: CPU Resource Management for Real-Time Cloud Computing. - Sisu Xi; Chong Li; Chenyang Lu 001; Christopher D. Gill; Meng Xu 010; Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (CLOUD, 2015)

An Intraoperative Glucose Control Benchmark for Formal Verification. - Sanjian Chen; Matthew O'Kelly; James Weimer; Oleg Sokolsky; Insup Lee 001 (ADHS, 2015)

Platform-specific timing verification framework in model-based implementation. - BaekGyu Kim; Lu Feng 001; Linh T. X. Phan; Oleg Sokolsky; Insup Lee 001 (DATE, 2015)

Automatic verification of linear controller software. - Miroslav Pajic; Junkil Park; Insup Lee 001; George J. Pappas; Oleg Sokolsky (EMSOFT, 2015)

A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. - Sanjian Chen; Lu Feng 001; Michael R. Rickels; Amy Peleckis; Oleg Sokolsky; Insup Lee 001 (ICHI, 2015)

Robust Medical Monitor Design. - James Weimer; Oleg Sokolsky; Insup Lee 001 (ICHI, 2015)

Executing Model-Based Tests on Platform-Specific Implementations (T). - Dongjiang You; Sanjai Rayadurgam; Mats Per Erik Heimdahl; John Komp; BaekGyu Kim; Oleg Sokolsky (ASE, 2015)

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 001 (MEMOCODE, 2015)

Verified ROS-Based Deployment of Platform-Independent Control Systems. - Wenrui Meng; Junkil Park; Oleg Sokolsky; Stephanie Weirich; Insup Lee 001 (NFM, 2015)

Platform-Specific Code Generation from Platform-Independent Timed Models. - BaekGyu Kim; Lu Feng 001; Oleg Sokolsky; Insup Lee 001 (RTSS, 2015)

A Hybrid Approach to Causality Analysis. - Shaohui Wang; Yoann Geoffroy; Gregor Gößler; Oleg Sokolsky; Insup Lee 001 (RV, 2015)

Representing Confidence in Assurance Case Evidence. - Lian Duan; Sanjai Rayadurgam; Mats Per Erik Heimdahl; Oleg Sokolsky; Insup Lee 001 (SAFECOMP Workshops, 2015)

Towards Assurance for Plug & Play Medical Systems. - Andrew L. King; Lu Feng 001; Sam Procter; Sanjian Chen; Oleg Sokolsky; John Hatcliff; Insup Lee 001 (SAFECOMP, 2015)

Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. - Krishna K. Venkatasubramanian; Eugene Y. Vasserman; Vasiliki Sfyrla; Oleg Sokolsky; Insup Lee 001 (SAFECOMP, 2015)

Cache-aware compositional analysis of real-time multicore virtualization platforms. - Meng Xu 010; Linh Thi Xuan Phan; Oleg Sokolsky; Sisu Xi; Chenyang Lu 001; Christopher D. Gill; Insup Lee 001 (Real Time Syst., 2015)

Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems. - Jérôme Hugues; Oleg Sokolsky (Sci. Comput. Program., 2015)

Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System. - Xiali Hei 001; Xiaojiang Du; Shan Lin 001; Insup Lee 001; Oleg Sokolsky (IEEE Trans. Parallel Distributed Syst., 2015)

A stochastic approach for attack resilient UAV motion planning. - Nicola Bezzo; James Weimer; Yanwei Du; Oleg Sokolsky; Sang Hyuk Son; Insup Lee 001 (ACC, 2016)

Cloud-Based Secure Logger for Medical Devices. - Hung Nguyen 002; Bipeen Acharya; Radoslav Ivanov; Andreas Haeberlen; Linh T. X. Phan; Oleg Sokolsky; Jesse Walker; James Weimer; William Hanson III; Insup Lee 001 (CHASE, 2016)

Representation of Confidence in Assurance Cases Using the Beta Distribution. - Lian Duan; Sanjai Rayadurgam; Mats Per Erik Heimdahl; Oleg Sokolsky; Insup Lee 001 (HASE, 2016)

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 001 (RTCSA, 2016)

SMEDL: Combining Synchronous and Asynchronous Monitoring. - Teng Zhang; Peter Gebhard; Oleg Sokolsky (RV, 2016)

Scalable Verification of Linear Controller Software. - Junkil Park; Miroslav Pajic; Insup Lee 001; Oleg Sokolsky (TACAS, 2016)

Monitoring Assumptions in Assume-Guarantee Contracts. - Oleg Sokolsky; Teng Zhang; Insup Lee 001; Michael McDougall (PrePost@IFM, 2016)

Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study. - Sanjian Chen; Oleg Sokolsky; James Weimer; Insup Lee 001 (J. Comput. Sci. Eng., 2016)

Transmission delay performance in telemedicine: A case study. - Gang Wang; Shan Lin 001; Margaret Mullen-Fortino; Oleg Sokolsky; Insup Lee 001 (EMBC, 2017)

Extensible Energy Planning Framework for Preemptive Tasks. - Jin Hyun Kim; Deepak Gangadharan; Oleg Sokolsky; Axel Legay; Insup Lee 001 (ISORC, 2017)

Monitoring Time Intervals. - Teng Zhang; John Wiegley; Insup Lee 001; Oleg Sokolsky (RV, 2017)

Automatic Verification of Finite Precision Implementations of Linear Controllers. - Junkil Park; Miroslav Pajic; Oleg Sokolsky; Insup Lee 001 (TACAS (1), 2017)

Counterfactual Causality from First Principles? - Gregor Gößler; Oleg Sokolsky; Jean-Bernard Stefani (CREST@ETAPS, 2017)

A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. - Junkil Park; Insup Lee 001; Oleg Sokolsky; Dae-Yon Hwang; So Jin Ahn; Jin-Young Choi; Inhye Kang (J. Log. Algebraic Methods Program., 2017)

Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges. - Deepak Gangadharan; Oleg Sokolsky; Insup Lee 001; BaekGyu Kim; Chung-Wei Lin; Shinichi Shiraishi (IEEE CLOUD, 2018)

Parameter Invariant Monitoring for Signal Temporal Logic. - Nima Roohi; Ramneet Kaur; James Weimer; Oleg Sokolsky; Insup Lee 001 (HSCC, 2018)

Cyber-physical system checkpointing and recovery. - Fanxin Kong; Meng Xu 010; James Weimer; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2018)

LogSafe: Secure and Scalable Data Logger for IoT Devices. - Hung Nguyen 002; Radoslav Ivanov; Linh T. X. Phan; Oleg Sokolsky; James Weimer; Insup Lee 001 (IoTDI, 2018)

Flexible Monitor Deployment for Runtime Verification of Large Scale Software. - Teng Zhang; Gregory Eakman; Insup Lee 001; Oleg Sokolsky (ISoLA (4), 2018)

Data Freshness Over-Engineering: Formulation and Results. - Dagaen Golomb; Deepak Gangadharan; Sanjian Chen; Oleg Sokolsky; Insup Lee 001 (ISORC, 2018)

OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. - Radoslav Ivanov; Hung Nguyen 002; James Weimer; Oleg Sokolsky; Insup Lee 001 (ISORC, 2018)

Multi-Mode Virtualization for Soft Real-Time Systems. - Haoran Li; Meng Xu 010; Chong Li; Chenyang Lu 001; Christopher D. Gill; Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (RTAS, 2018)

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. - Teng Zhang; John Wiegley; Theophilos Giannakopoulos; Gregory Eakman; Clément Pit-Claudel; Insup Lee 001; Oleg Sokolsky (SETTA, 2018)

Resiliency in Cyber-Physical Systems [Guest Editors' Introduction]. - Oleg Sokolsky; Nicola Bezzo (Computer, 2018)

Self-Driving Vehicle Verification Towards a Benchmark. - Nima Roohi; Ramneet Kaur; James Weimer; Oleg Sokolsky; Insup Lee 001 (CoRR, 2018)

Parameter-Invariant Monitor Design for Cyber-Physical Systems. - James Weimer; Radoslav Ivanov; Sanjian Chen; Alexander Roederer; Oleg Sokolsky; Insup Lee 001 (Proc. IEEE, 2018)

Co-Design of Arbitrated Network Control Systems With Overrun Strategies. - Damoon Soudbakhsh; Linh Thi Xuan Phan; Anuradha M. Annaswamy; Oleg Sokolsky (IEEE Trans. Control. Netw. Syst., 2018)

Runtime Verification of Parametric Properties Using SMEDL. - Teng Zhang; Ramneet Kaur; Insup Lee 001; Oleg Sokolsky (From Reactive Systems to Cyber-Physical Systems, 2019)

Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. - Radoslav Ivanov; James Weimer; Oleg Sokolsky; Insup Lee 001 (DESTION@CPSIoTWeek, 2019)

Detecting security leaks in hybrid systems with information flow analysis. - Luan Viet Nguyen; Gautam Mohan; James Weimer; Oleg Sokolsky; Insup Lee 001; Rajeev Alur (MEMOCODE, 2019)

A Retrospective Look at the Monitoring and Checking (MaC) Framework. - Sampath Kannan; Moonzoo Kim; Insup Lee 001; Oleg Sokolsky; Mahesh Viswanathan 001 (RV, 2019)

Overhead-Aware Deployment of Runtime Monitors. - Teng Zhang; Greg Eakman; Insup Lee 001; Oleg Sokolsky (RV, 2019)

LCV: A Verification Tool for Linear Controller Software. - Junkil Park; Miroslav Pajic; Oleg Sokolsky; Insup Lee 001 (TACAS (1), 2019)

Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models. - BaekGyu Kim; Lu Feng 001; Oleg Sokolsky; Insup Lee 001 (ACM Trans. Cyber Phys. Syst., 2019)

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. - Luan Viet Nguyen; Gautam Mohan; James Weimer; Oleg Sokolsky; Insup Lee 001; Rajeev Alur (MEMOCODE, 2020)

Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. - Ramneet Kaur; Radoslav Ivanov; Matthew Cleaveland; Oleg Sokolsky; Insup Lee 001 (SAFECOMP Workshops, 2020)

Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. - Ivan Ruchkin; Oleg Sokolsky; James Weimer; Tushar Hedaoo; Insup Lee 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. - Ivan Ruchkin; Matthew Cleaveland; Oleg Sokolsky; Insup Lee 001 (Formal Methods in Outer Space, 2021)

High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. - Sydney Pugh; Ivan Ruchkin; Christopher P. Bonafide; Sara B. DeMauro; Oleg Sokolsky; Insup Lee 001; James Weimer (CHASE, 2021)

Towards Virtualization-Agnostic Latency for Time-Sensitive Applications. - Haoran Li; Meng Xu 010; Chong Li; Chenyang Lu 001; Christopher D. Gill; Linh T. X. Phan; Insup Lee 001; Oleg Sokolsky (RTNS, 2021)

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 001 (VTC Spring, 2021)

Data Generation With Prospect: A Probability Specification Tool. - Alan Ismaiel; Ivan Ruchkin; Oleg Sokolsky; Insup Lee 001; Jason Shu (WSC, 2021)

Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs. - Ramneet Kaur; Susmit Jha; Anirban Roy; Oleg Sokolsky; Insup Lee 001 (CoRR, 2021)

Robust Learning via Persistency of Excitation. - Kaustubh Sridhar; Oleg Sokolsky; Insup Lee 001; James Weimer (CoRR, 2021)

Detecting OODs as datapoints with High Uncertainty. - Ramneet Kaur; Susmit Jha; Anirban Roy; Sangdon Park 001; Oleg Sokolsky; Insup Lee 001 (CoRR, 2021)

Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017). - Kim G. Larsen; Oleg Sokolsky; Ji Wang 001 (Sci. Comput. Program., 2021)

Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator. - Lin Zhang 039; Pengyuan Lu; Fanxin Kong; Xin Chen 002; Oleg Sokolsky; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 2021)

iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection. - Ramneet Kaur; Susmit Jha; Anirban Roy; Sangdon Park 001; Edgar Dobriban; Oleg Sokolsky; Insup Lee 001 (AAAI, 2022)

Medical Cyber-Physical Systems: IoMT Applications and Challenges. - Amanda Watson; Jean Park; Sydney Pugh; Oleg Sokolsky; James Weimer; Insup Lee 001 (IEEECONF, 2022)

Improving Neural Network Robustness via Persistency of Excitation. - Kaustubh Sridhar; Oleg Sokolsky; Insup Lee 001; James Weimer (ACC, 2022)

T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. - Vivian Lin; Radoslav Ivanov; James Weimer; Oleg Sokolsky; Insup Lee 001 (Principles of Systems Design, 2022)

Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. - Matthew Cleaveland; Ivan Ruchkin; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2022)

Confidence Composition for Monitors of Verification Assumptions. - Ivan Ruchkin; Matthew Cleaveland; Radoslav Ivanov; Pengyuan Lu; Taylor J. Carpenter; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2022)

PAC-Wrap: Semi-Supervised PAC Anomaly Detection. - Shuo Li; Xiayan Ji; Edgar Dobriban; Oleg Sokolsky; Insup Lee 001 (KDD, 2022)

Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks. - Mengyu Liu; Lin Zhang 039; Pengyuan Lu; Kaustubh Sridhar; Fanxin Kong; Oleg Sokolsky; Insup Lee 001 (RTSS, 2022)

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 001 (VTC Spring, 2022)

A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems. - Kaustubh Sridhar; Radoslav Ivanov; Vuk Lesi; Marcio Juliato; Manoj R. Sastry; Lily L. Yang; James Weimer; Oleg Sokolsky; Insup Lee 001 (CoRR, 2022)

Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations. - Kaustubh Sridhar; Souradeep Dutta; Ramneet Kaur; James Weimer; Oleg Sokolsky; Insup Lee 001 (CoRR, 2022)

CODiT: Conformal Out-of-Distribution Detection in Time-Series Data. - Ramneet Kaur; Kaustubh Sridhar; Sangdon Park 001; Susmit Jha; Anirban Roy; Oleg Sokolsky; Insup Lee 001 (CoRR, 2022)

Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. - Matthew Chan; Nathaniel Snyder; Marcus Lucas; Luis Garcia 001; Oleg Sokolsky; James Weimer; Insup Lee 001; Paulo Tabuada; Saman A. Zonouz; Mani B. Srivastava (CoRR, 2022)

Evaluating Alarm Classifiers with High-confidence Data Programming. - Sydney Pugh; Ivan Ruchkin; Christopher P. Bonafide; Sara B. DeMauro; Oleg Sokolsky; Insup Lee 001; James Weimer (ACM Trans. Comput. Heal., 2022)

Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community. - Xiayan Ji; Xian Li 006; Ahhyun Yuh; Amanda Watson; Claire Kendell; James Weimer; Hajime Nagahara; Teruo Higashino; Teruhiro Mizumoto; Viktor Erdélyi; George Demiris; Oleg Sokolsky; et al. (CHASE, 2023)

Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. - Ramneet Kaur; Susmit Jha; Anirban Roy; Oleg Sokolsky; Insup Lee 001 (ICAA, 2023)

Causal Repair of Learning-Enabled Cyber-Physical Systems. - Pengyuan Lu; Ivan Ruchkin; Matthew Cleaveland; Oleg Sokolsky; Insup Lee 001 (ICAA, 2023)

iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness. - Xiayan Ji; Ahhyun Yuh; Hyon-Young Choi; Amanda Watson; Claire Kendell; Xian Li 006; James Weimer; Hajime Nagahara; Teruo Higashino; Teruhiro Mizumoto; Viktor Erdélyi; George Demiris; et al. (ICCPS, 2023)

CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems. - Ramneet Kaur; Kaustubh Sridhar; Sangdon Park 001; Yahan Yang; Susmit Jha; Anirban Roy; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2023)

Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing. - Yahan Yang; Souradeep Dutta; Kuk Jin Jang; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2023)

iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness. - 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; et al. (ICMU, 2023)

Incremental Anomaly Detection with Guarantee in the Internet of Medical Things. - Xiayan Ji; Hyon-Young Choi; Oleg Sokolsky; Insup Lee 001 (IoTDI, 2023)

Conservative Safety Monitors of Stochastic Dynamical Systems. - Matthew Cleaveland; Oleg Sokolsky; Insup Lee 001; Ivan Ruchkin (NFM, 2023)

Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. - Lin Zhang 039; Kaustubh Sridhar; Mengyu Liu; Pengyuan Lu; Xin Chen 002; Fanxin Kong; Oleg Sokolsky; Insup Lee 001 (RTAS, 2023)

Imprecise Bayesian Neural Networks. - Michele Caprio; Souradeep Dutta; Kuk Jin Jang; Vivian Lin; Radoslav Ivanov; Oleg Sokolsky; Insup Lee 001 (CoRR, 2023)

Take Me Home: Reversing Distribution Shifts using Reinforcement Learning. - Vivian Lin; Kuk Jin Jang; Souradeep Dutta; Michele Caprio; Oleg Sokolsky; Insup Lee 001 (CoRR, 2023)

Using Semantic Information for Defining and Detecting OOD Inputs. - Ramneet Kaur; Xiayan Ji; Souradeep Dutta; Michele Caprio; Yahan Yang; Elena Bernardis; Oleg Sokolsky; Insup Lee 001 (CoRR, 2023)

Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning. - Mengyu Liu; Pengyuan Lu; Xin Chen 002; Fanxin Kong; Oleg Sokolsky; Insup Lee 001 (CoRR, 2023)

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 001 (CHASE, 2024)

Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan. - 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; et al. (CHI Extended Abstracts, 2024)

Repairing Learning-Enabled Controllers While Preserving What Works. - Pengyuan Lu; Matthew Cleaveland; Oleg Sokolsky; Insup Lee 001; Ivan Ruchkin (ICCPS, 2024)

DC4L: Distribution shift recovery via data-driven control for deep learning models. - Vivian Lin; Kuk Jin Jang; Souradeep Dutta; Michele Caprio; Oleg Sokolsky; Insup Lee 001 (L4DC, 2024)

Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning. - Mengyu Liu; Pengyuan Lu; Xin Chen 002; Oleg Sokolsky; Insup Lee 001; Fanxin Kong (MEMOCODE, 2024)

AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties. - Xiayan Ji; Anton Xue; Eric Wong 001; Oleg Sokolsky; Insup Lee 001 (NeurIPS, 2024)

Deadline-Safe Reach-Avoid Control Synthesis for Cyber-Physical Systems with Reinforcement Learning. - Mengyu Liu; Pengyuan Lu; Xin Chen 002; Oleg Sokolsky; Insup Lee 001; Fanxin Kong (RTSS, 2024)

Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. - Xi Zheng 001; Aloysius K. Mok; Ruzica Piskac; Yong Jae Lee; Bhaskar Krishnamachari; Dakai Zhu 001; Oleg Sokolsky; Insup Lee 001 (SIGSOFT FSE Companion, 2024)

Credal Bayesian Deep Learning. - Michele Caprio; Souradeep Dutta; Kuk Jin Jang; Vivian Lin; Radoslav Ivanov; Oleg Sokolsky; Insup Lee 001 (Trans. Mach. Learn. Res., 2024)

Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep, and Exploratory Works. - Pengyuan Lu; Lin Zhang 039; Mengyu Liu; Kaustubh Sridhar; Oleg Sokolsky; Fanxin Kong; Insup Lee 001 (ACM Comput. Surv., 2024)

Out-of-distribution Detection in Dependent Data for Cyber-physical Systems with Conformal Guarantees. - Ramneet Kaur; Yahan Yang; Oleg Sokolsky; Insup Lee 001 (ACM Trans. Cyber Phys. Syst., 2024)

Distributionally Robust Statistical Verification with Imprecise Neural Networks. - Souradeep Dutta; Michele Caprio; Vivian Lin; Matthew Cleaveland; Kuk Jin Jang; Ivan Ruchkin; Oleg Sokolsky; Insup Lee 001 (HSCC, 2025)

Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios. - Vivian Lin; Ramneet Kaur; Yahan Yang; Souradeep Dutta; Yiannis Kantaros; Anirban Roy; Susmit Jha; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2025)

Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation. - Pengyuan Lu; Oleg Sokolsky; Insup Lee 001; Ivan Ruchkin (ICCPS, 2025)

Conservative Perception Models for Probabilistic Model Checking. - Matthew Cleaveland; Pengyuan Lu; Oleg Sokolsky; Insup Lee 001; Ivan Ruchkin (CoRR, 2025)