A Contextual Analysis of Pascal Programs. - Robert P. Cook; Insup Lee 001 (Softw. Pract. Exp., 1982)

DYMOS: a dynamic modification system. - Robert P. Cook; Insup Lee 001 (SIGSOFT, 1983)

Integrated environments. - Insup Lee 001 (SIGSOFT, 1983)

A distributed testbed for active sensory processing. - Insup Lee 001; Samuel M. Goldwasser (ICRA, 1985)

Language Constructs for Distributed Real-Time Programming. - Insup Lee 001; Vijay Gehlot (RTSS, 1985)

Proving a Network of Real-Time Processes Correct. - Amy E. Zwarico; Insup Lee 001 (RTSS, 1985)

Synthesis and Mapping Algorithms for a Reconfigurable Optical Interconnection Network. - Insup Lee 001; Samuel M. Goldwasser; David Smitley (ICPP, 1986)

Protocols for Timed Synchronous Process Communications. - Insup Lee 001; Susan B. Davidson (RTSS, 1986)

Partitioning of Massive/Real-Time Programs for Parallel Processing. - Insup Lee 001; Noah S. Prywes; Boleslaw K. Szymanski (Adv. Comput., 1986)

Generalized I/O with Timing Constraints. - Insup Lee 001; Susan B. Davidson (ICDCS, 1987)

Synthesis of Topologies with Minimum Total Expansion. - Insup Lee 001; David Smitley (ICPP, 1987)

Adding Time to Synchronous Process Communications. - Insup Lee 001; Susan B. Davidson (IEEE Trans. Computers, 1987)

Timed Acceptances: A Model of Time Dependent Processes. - Insup Lee 001; Amy E. Zwarico (FTRTFT, 1988)

Formal specification and analysis of DMI-an X-25 based protocol. - Vijay Gehlot; Insup Lee 001 (INFOCOM, 1988)

A Synthesis Algorithm for Reconfigurable Interconnection Networks. - Insup Lee 001; David Smitley (IEEE Trans. Computers, 1988)

Language constructs for timed atomic commitment. - Susan B. Davidson; Insup Lee 001; Victor Fay Wolfe (FTCS, 1989)

A protocol for timed atomic commitment. - Susan B. Davidson; Insup Lee 001; Victor Fay Wolfe (ICDCS, 1989)

Communicating Shared Resources: A Model for Distributed Real-Time Systems. - Richard Gerber 001; Insup Lee 001 (RTSS, 1989)

A Predictable Real-Time Kernel for Distributed Multisensor Systems. - Insup Lee 001; Robert B. King; Richard P. Paul (Computer, 1989)

Synthesizing Minimum Total Expansion Topologies for Reconfigurable Interconnection Networks. - David Smitley; Insup Lee 001 (J. Parallel Distributed Comput., 1989)

CCSR: A Calculus for Communicating Shared Resources. - Richard Gerber 001; Insup Lee 001 (CONCUR, 1990)

A Proof System for Communicating Shared Resources. - Richard Gerber 001; Insup Lee 001 (RTSS, 1990)

A Performance Analysis of Times Synchronous Communication Primitives. - Insup Lee 001; Susan B. Davidson (IEEE Trans. Computers, 1990)

Specification and Analysis of Resource-Bound Real-Time Systems. - Richard Gerber 001; Insup Lee 001 (REX Workshop, 1991)

Implementing a Real-Time Process Algebra in HOL. - Richard Gerber 001; Elsa L. Gunter; Insup Lee 001 (TPHOLs, 1991)

Timed Atomic Commitment. - Susan B. Davidson; Insup Lee 001; Victor Fay Wolfe (IEEE Trans. Computers, 1991)

CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. - Patrice Brémond-Grégoire; Susan B. Davidson; Insup Lee 001 (NAPAW, 1992)

A Layered Approach to Automating the Verification of Real-Time Systems. - Richard Gerber 001; Insup Lee 001 (IEEE Trans. Software Eng., 1992)

ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. - Patrice Brémond-Grégoire; Insup Lee 001; Richard Gerber 001 (CONCUR, 1993)

Deadlock Prevention in the RTC Programming System for Distributed Real-Time Applications. - Victor Fay Wolfe; Susan B. Davidson; Insup Lee 001 (ICDCS, 1993)

Fast Parallel Algorithms for Model Checking Using BDDs. - Insup Lee 001; Sanguthevar Rajasekaran (IPPS, 1993)

Deadlock Prevention in Concurrent Real-Time Systems. - Susan B. Davidson; Insup Lee 001; Victor Fay Wolfe (Real Time Syst., 1993)

RTC: Language Support for Real-Time Concurrency. - Victor Fay Wolfe; Susan B. Davidson; Insup Lee 001 (Real Time Syst., 1993)

A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation. - Insup Lee 001; Sanguthevar Rajasekaran (CAV, 1994)

A process algebraic approach to the specification and analysis of resource-bound real-time systems. - Insup Lee 001; Patrice Brémond-Grégoire; Richard Gerber 001 (Proc. IEEE, 1994)

A Resource-Based Prioritized Bisimulation for Real-Time Systems - Richard Gerber 001; Insup Lee 001 (Inf. Comput., 1994)

Automation of analysis and simulation for understanding of large real-time Ada software. - Moon Lee; Noah S. Prywes; Insup Lee 001 (ICECCS, 1995)

Testing Real-Time Constraints in a Process Algebraic Setting. - Duncan Clarke; Insup Lee 001 (ICSE, 1995)

A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. - Hanêne Ben-Abdallah; Insup Lee 001; Jin-Young Choi (RTSS, 1995)

The Specification and Schedulability Analysis of Real-Time Systems using ACSR. - Jin-Young Choi; Insup Lee 001; Hong-liang Xie (RTSS, 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)

An Efficient State Space Generation for Analysis of Real-Time Systems. - Inhye Kang; Insup Lee 001 (ISSTA, 1996)

Testing-Based Analysis of Real-Time System Models. - Duncan Clarke; Insup Lee 001 (ITC, 1996)

A Theory of Testing for Soft Real-Time Processes. - Rance Cleaveland; Insup Lee 001; Philip M. Lewis; Scott A. Smolka (SEKE, 1996)

Schedulability and safety analysis in the graphical communicating shared resources. - Hanêne Ben-Abdallah; Young-Si Kim; Insup Lee 001 (WORDS, 1996)

Formal Verification, Testing and Checking of Real-Time Systems. - Insup Lee 001 (ACM Comput. Surv., 1996)

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

Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. - Hanêne Ben-Abdallah; Insup Lee 001; Young-Si Kim (RE, 1997)

Automatic Test Generation for the Analysis of a Real-Time System: Case Stud. - Duncan Clarke; Insup Lee 001 (IEEE Real Time Technology and Applications Symposium, 1997)

Automatic generation of tests for timing constraints from requirements. - Duncan Clarke; Insup Lee 001 (WORDS, 1997)

A Complete Axiomatization of Finite-State ACSR Processes. - Patrice Brémond-Grégoire; Jin-Young Choi; Insup Lee 001 (Inf. Comput., 1997)

A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. - Patrice Brémond-Grégoire; Insup Lee 001 (Theor. Comput. Sci., 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)

Web-based Simulation Experiments. - Enver Yücesan; Chun-Hung Chen; Insup Lee 001 (WSC, 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)

A Graphical Language for Specifying and Analyzing Real-Time Systems. - Hanêne Ben-Abdallah; Insup Lee 001 (Integr. Comput. Aided Eng., 1998)

A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. - Hanêne Ben-Abdallah; Jin-Young Choi; Duncan Clarke; Young-Si Kim; Insup Lee 001; Hong-liang Xie (Real Time Syst., 1998)

Parallel Algorithms for Relational Coarsest Partition Problems. - Sanguthevar Rajasekaran; Insup Lee 001 (IEEE Trans. Parallel Distributed Syst., 1998)

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)

Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. - Rajeev Alur; Joel M. Esposito; Moonjoo Kim 001; Vijay Kumar 001; Insup Lee 001 (World Congress on Formal Methods, 1999)

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

Process algebraic approach to the parametric analysis of object scheduling in real-time systems. - Hee-Hwan Kwak; Insup Lee 001 (WORDS (Fall), 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)

Modular Specification of Hybrid Systems in CHARON. - Rajeev Alur; Radu Grosu; Yerang Hur; Vijay Kumar 001; Insup Lee 001 (HSCC, 2000)

A Framework for Embedded Real-Time System Design. - Jin-Young Choi; Hee-Hwan Kwak; Insup Lee 001 (IPDPS Workshops, 2000)

A Framework and Architecture for Multirobot Coordination. - Rajeev Alur; Aveek K. Das; Joel M. Esposito; Rafael Fierro; Gregory Z. Grudic; Yerang Hur; Vijay Kumar 001; Insup Lee 001; J. P. Lee; James P. Ostrowski; George J. Pappas; Ben Southall; et al. (ISER, 2000)

Fundamental R&D Issues in Real-Time Distributed Computing. - Insup Lee 001; Mike Jones; Hermann Kopetz; K. H. Kim; Thomas F. Lawrence; Bhavani Thuraisingham (ISORC, 2000)

Distributed web-based simulation optimization. - Yuh-Chuyn Luo; Chun-Hung Chen; Enver Yücesan; Insup Lee 001 (WSC, 2000)

An Efficient State Space Generation for the Analysis of Real-Time Systems. - Inhye Kang; Insup Lee 001; Young-Si Kim (IEEE Trans. Software Eng., 2000)

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)

Measuring False-Positive by Automated Real-Time Correlated Hacking Behavior Analysis. - Jia Wang; Insup Lee 001 (ISC, 2001)

Fair Real-Time Traffic Scheduling over a Wireless LA. - Maria Adamou; Sanjeev Khanna; Insup Lee 001; Insik Shin; Shiyu Zhou (RTSS, 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)

Characterizing Non-Zenoness on Real-Time Processes. - Jitka Stríbrná; Insup Lee 001 (MTCS, 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)

Distributed web-based simulation experiments for optimization. - Enver Yücesan; Yuh-Chuyn Luo; Chun-Hung Chen; Insup Lee 001 (Simul. Pract. Theory, 2001)

Distributed Simulation of Multi-Agent Hybrid Systems. - Yerang Hur; Insup Lee 001 (Symposium on Object-Oriented Real-Time Distributed Computing, 2002)

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

Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements. - Insik Shin; Insup Lee 001; Sang Lyul Min (RTSS, 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)

A Framework and Architecture for Multi-Robot Coordination. - Rafael Fierro; Aveek K. Das; John R. Spletzer; Joel M. Esposito; Vijay Kumar 001; James P. Ostrowski; George J. Pappas; Camillo J. Taylor; Yerang Hur; Rajeev Alur; Insup Lee 001; Gregory Z. Grudic; et al. (Int. J. Robotics Res., 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)

Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study. - Yerang Hur; Rafael Fierro; Insup Lee 001 (ISORC, 2003)

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

Modular Code Generation from Hybrid Automata based on Data Dependency. - Jesung Kim; Insup Lee 001 (IEEE Real Time Technology and Applications Symposium, 2003)

Periodic Resource Model for Compositional Real-Time Guarantees. - Insik Shin; Insup Lee 001 (RTSS, 2003)

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

Testing and Monitoring Model-based Generated Program. - Li Tan; Jesung Kim; Insup Lee 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)

A Compositional Framework for Real-Time Guarantees. - Insik Shin; Insup Lee 001 (ASWSD, 2004)

Sound Code Generation from Communicating Hybrid Models. - Yerang Hur; Jesung Kim; Insup Lee 001; Jin-Young Choi (HSCC, 2004)

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)

Compositional Real-Time Scheduling Framework. - Insik Shin; Insup Lee 001 (RTSS, 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)

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. - Rajeev Alur; David Arney; Elsa L. Gunter; Insup Lee 001; Jaime Lee; Wonhong Nam; Frederick Pearce; Stephen Van Albert; Jiaxiang Zhou (Int. J. Softw. Tools Technol. Transf., 2004)

Quantifying eavesdropping vulnerability in sensor networks. - Madhukar Anand; Zachary G. Ives; Insup Lee 001 (DMSN, 2005)

Distributed-code generation from hybrid systems models for time-delayed multirate systems. - Madhukar Anand; Sebastian Fischmeister; Jesung Kim; Insup Lee 001 (EMSOFT, 2005)

Security in Sensor Networks for Medical Systems Torso Architecture. - Chaitanya Penubarthi; Myuhng Joo Kim; Insup Lee 001 (ICCSA (1), 2005)

A Compositional Framework for Real-Time Embedded Systems. - Insik Shin; Insup Lee 001 (ISAS, 2005)

Code Generation from Hybrid Systems Models for Distributed Embedded Systems. - Madhukar Anand; Jesung Kim; Insup Lee 001 (ISORC, 2005)

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)

Opportunities and Obligations for Physical Computing Systems. - John A. Stankovic; Insup Lee 001; Aloysius K. Mok; Raj Rajkumar (Computer, 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)

Preface. - Rajeev Alur; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 2005)

Generating Sound and Resource-Aware Code from Hybrid Systems Models. - Madhukar Anand; Sebastian Fischmeister; Jesung Kim; Insup Lee 001 (ASWSD, 2006)

Securing the drop-box architecture for assisted living. - Michael J. May; Wook Shin; Carl A. Gunter; Insup Lee 001 (FMSE, 2006)

Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. - Michael J. May; Carl A. Gunter; Insup Lee 001 (CSFW, 2006)

An analysis framework for network-code programs. - Madhukar Anand; Sebastian Fischmeister; Insup Lee 001 (EMSOFT, 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)

Formal Modeling and Analysis of the AFDX Frame Management Design. - Madhukar Anand; Steve Vestal; Samar Dajani-Brown; Insup Lee 001 (ISORC, 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)

Sensor Network Security: More Interesting Than You Think. - Madhukar Anand; Eric Cronin; Micah Sherr; Zachary G. Ives; Insup Lee 001 (HotSec, 2006)

High-Confidence Medical Device Software and Systems. - Insup Lee 001; George J. Pappas; Rance Cleaveland; John Hatcliff; Bruce H. Krogh; Peter Lee 001; Harvey Rubin; Lui Sha (Computer, 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)

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

Composition Techniques for Tree Communication Schedules. - Madhukar Anand; Sebastian Fischmeister; Insup Lee 001 (ECRTS, 2007)

A dynamic scheduling approach to designing flexible safety-critical systems. - Luís Almeida 001; Sebastian Fischmeister; Madhukar Anand; Insup Lee 001 (EMSOFT, 2007)

Robust Test Generation and Coverage for Hybrid Systems. - A. Agung Julius; Georgios E. Fainekos; Madhukar Anand; Insup Lee 001; George J. Pappas (HSCC, 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)

Compositional Analysis Framework Using EDP Resource Models. - Arvind Easwaran; Madhukar Anand; Insup Lee 001 (RTSS, 2007)

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

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

Editorial: Special issue on real-time wireless sensor networks. - Chenyang Lu 001; Insup Lee 001 (Real Time Syst., 2007)

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

Temporal Control in Real-Time Systems. - Insup Lee 001; Sebastian Fischmeister (Handbook of Real-Time and Embedded Systems, 2007)

Introduction and Overview. - Insup Lee 001; Joseph Y.-T. Leung; Sang Hyuk Son (Handbook of Real-Time and Embedded Systems, 2007)

Compositional Real-Time Schedulability Analysis. - Insik Shin; Insup Lee 001 (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)

Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors. - Insik Shin; Arvind Easwaran; Insup Lee 001 (ECRTS, 2008)

Hardware acceleration for verifiable, adaptive real-time communication. - Sebastian Fischmeister; Insup Lee 001; Robert Trausmuth (ETFA, 2008)

Compositional Feasibility Analysis of Conditional Real-Time Task Models. - Madhukar Anand; Arvind Easwaran; Sebastian Fischmeister; Insup Lee 001 (ISORC, 2008)

Robust and sustainable schedulability analysis of embedded software. - Madhukar Anand; Insup Lee 001 (LCTES, 2008)

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

Challenges and opportunities in deeply embedded systems security. - Madhukar Anand; Insup Lee 001 (SIGBED Rev., 2008)

Compositional schedulability analysis for cyber-physical systems. - Arvind Easwaran; Insup Lee 001 (SIGBED Rev., 2008)

A design framework for real-time embedded systems with code size and energy constraints. - Sheayun Lee; Insik Shin; Woonseok Kim; Insup Lee 001; Sang Lyul Min (ACM Trans. Embed. Comput. Syst., 2008)

Compositional real-time scheduling framework with periodic model. - Insik Shin; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 2008)

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

Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study. - David Arney; Julian M. Goldman; Susan F. Whitehead; Insup Lee 001 (BIODEVICES, 2009)

Improving Patient Safety with X-Ray and Anesthesia Machine Ventilator Synchronization: A Medical Device Interoperability Case Study. - David Arney; Julian M. Goldman; Susan F. Whitehead; Insup Lee 001 (BIOSTEC (Selected Papers), 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)

Resource Scopes: Toward Language Support for Compositional Determinism. - Madhukar Anand; Sebastian Fischmeister; Insup Lee 001 (ISORC, 2009)

Strong and Weak Policy Relations. - Michael J. May; Carl A. Gunter; Insup Lee 001; Steve Zdancewic (POLICY, 2009)

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

Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems. - Linh T. X. Phan; Samarjit Chakraborty; Insup Lee 001 (RTSS, 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)

Model Checking of Real-Time Properties of Resource-Bound Process Algebra. - Junkil Park; Jungjae Lee; Jin-Young Choi; Insup Lee 001 (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

Optimal virtual cluster-based multiprocessor scheduling. - Arvind Easwaran; Insik Shin; Insup Lee 001 (Real Time Syst., 2009)

Hardware Acceleration for Programmable Real-Time Ethernet. - Sebastian Fischmeister; Robert Trausmuth; Insup Lee 001 (IEEE Trans. Ind. Informatics, 2009)

Spam mitigation using spatio-temporal reputations from blacklist history. - Andrew G. West; Adam J. Aviv; Jian Chang; Insup Lee 001 (ACSAC, 2010)

Towards a data-centric view of cloud security. - Wenchao Zhou; Micah Sherr; William R. Marczak; Zhuoyao Zhang; Tao Tao; Boon Thau Loo; Insup Lee 001 (CloudDB@CIKM, 2010)

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

Cyber-physical systems: the next computing revolution. - Ragunathan Rajkumar; Insup Lee 001; Lui Sha; John A. Stankovic (DAC, 2010)

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

Modeling buffers with data refresh semantics in automotive architectures. - Linh Thi Xuan Phan; Reinhard Schneider 001; Samarjit Chakraborty; Insup Lee 001 (EMSOFT, 2010)

Detecting Wikipedia vandalism via spatio-temporal analysis of revision metadata? - Andrew G. West; Sampath Kannan; Insup Lee 001 (EUROSEC, 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)

Model-Based Programming of Modular Robots. - David Arney; Sebastian Fischmeister; Insup Lee 001; Yoshihito Takashima; Mark Yim (ISORC, 2010)

On the feasibility of dynamic rescheduling on the Intel Distributed Computing Platform. - Zhuoyao Zhang; Linh T. X. Phan; Godfrey Tan; Saumya Jain; Harrison Duong; Boon Thau Loo; Insup Lee 001 (Middleware (Industry Track), 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)

Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. - Eunkyoung Jee; Suin Kim; Sung Deok Cha; Insup Lee 001 (SAFECOMP, 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)

Spatio-temporal analysis of Wikipedia metadata and the STiki anti-vandalism tool. - Andrew G. West; Sampath Kannan; Insup Lee 001 (Int. Sym. Wikis, 2010)

STiki: an anti-vandalism tool for Wikipedia using spatio-temporal analysis of revision metadata. - Andrew G. West; Sampath Kannan; Insup Lee 001 (Int. Sym. Wikis, 2010)

UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture. - Jin Hyun Kim; Jin-Young Choi; Inhye Kang; Insup Lee 001 (J. Univers. Comput. Sci., 2010)

Multiprocessor real-time scheduling considering concurrency and urgency. - Jinkyu Lee 001; Arvind Easwaran; Insik Shin; Insup Lee 001 (SIGBED Rev., 2010)

Generating Reliable Code from Hybrid-Systems Models. - Madhukar Anand; Sebastian Fischmeister; Yerang Hur; Jesung Kim; Insup Lee 001 (IEEE Trans. Computers, 2010)

Timed and Resource-oriented Statecharts for Embedded Software. - Jin Hyun Kim; Inhye Kang; Jin-Young Choi; Insup Lee 001 (IEEE Trans. Ind. Informatics, 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)

Towards the effective temporal association mining of spam blacklists. - Andrew G. West; Insup Lee 001 (CEAS, 2011)

Multilingual Vandalism Detection using Language-Independent & Ex Post Facto Evidence - Notebook for PAN at CLEF 2011. - Andrew G. West; Insup Lee 001 (CLEF (Notebook Papers/Labs/Workshop), 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)

Computing Logical Form on Regulatory Texts. - Nikhil Dinesh; Aravind K. Joshi; Insup Lee 001 (EMNLP, 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)

Reputation-based networked control with data-corrupting channels. - Shreyas Sundaram; Jian Chang; Krishna K. Venkatasubramanian; Chinwendu Enyioha; Insup Lee 001; George J. Pappas (HSCC, 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)

Video Quality Driven Buffer Sizing via Frame Drops. - Deepak Gangadharan; Linh T. X. Phan; Samarjit Chakraborty; Roger Zimmermann; Insup Lee 001 (RTCSA (1), 2011)

Towards a Compositional Multi-modal Framework for Adaptive Cyber-physical Systems. - Linh T. X. Phan; Insup Lee 001 (RTCSA (2), 2011)

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

An empirical analysis of scheduling techniques for real-time cloud-based data processing. - Linh T. X. Phan; Zhuoyao Zhang; Qi Zheng; Boon Thau Loo; Insup Lee 001 (SOCA, 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)

Autonomous link spam detection in purely collaborative environments. - Andrew G. West; Avantika Agrawal; Phillip Baker; Brittney Exline; Insup Lee 001 (Int. Sym. Wikis, 2011)

What Wikipedia deletes: characterizing dangerous collaborative content. - Andrew G. West; Insup Lee 001 (Int. Sym. Wikis, 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)

Zero-laxity based real-time multiprocessor scheduling. - Jinkyu Lee 001; Arvind Easwaran; Insik Shin; Insup Lee 001 (J. Syst. Softw., 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)

Generating composite behavior of embedded software components based on UML behavioral model and process algebra. - Jin Hyun Kim; Jin-Young Choi; Inhye Kang; Insup Lee 001 (ACM SIGSOFT Softw. Eng. Notes, 2011)

Invited talk: Challenges in Medical Cyber-Physical Systems. - Insup Lee 001 (DSN Workshops, 2012)

Evaluation of a smart alarm for intensive care using clinical data. - Andrew L. King; Kelsea Fortino; Nicholas Stevens; Sachin Shah; Margaret Fortino-Mullen; Insup Lee 001 (EMBC, 2012)

Spamming for Science: Active Measurement in Web 2.0 Abuse Research. - Andrew G. West; Pedram Hayati; Vidyasagar M. Potdar; Insup Lee 001 (Financial Cryptography Workshops, 2012)

HMM-based characterization of channel behavior for networked control systems. - Jian Chang; Krishna K. Venkatasubramanian; Chinwendu Enyioha; Shreyas Sundaram; George J. Pappas; Insup Lee 001 (HiCoNS, 2012)

Rationale and Architecture Principles for Medical Application Platforms. - John Hatcliff; Andrew L. King; Insup Lee 001; Alasdair Macdonald; Anura Fernando; Michael Robkin; Eugene Y. Vasserman; Sandy Weininger; Julian M. Goldman (ICCPS, 2012)

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)

Clinical decision support for integrated cyber-physical systems: a mixed methods approach. - Alex Roederer; Andrew Hicks; Enny Oyeniran; Insup Lee 001; Soojin Park (IHI, 2012)

Smart alarms: multivariate medical alarm integration for post CABG surgery patients. - Nicholas Stevens; Ana Rosa Giannareas; Vanessa Kern; Adrian Viesca Trevino; Margaret Fortino-Mullen; Andrew L. King; Insup Lee 001 (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)

Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines. - Hoon Sung Chwa; Hyoungbu Back; Sanjian Chen; Jinkyu Lee 001; Arvind Easwaran; Insik Shin; Insup Lee 001 (RTSS, 2012)

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

Towards content-driven reputation for collaborative code repositories. - Andrew G. West; Insup Lee 001 (WikiSym, 2012)

Trust in collaborative web applications. - Andrew G. West; Jian Chang; Krishna K. Venkatasubramanian; Insup Lee 001 (Future Gener. Comput. Syst., 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)

Special Issue on Cyber-Physical Systems [Scanning the Issue]. - Radha Poovendran; Krishna Sampigethaya; Sandeep K. S. Gupta; Insup Lee 001; K. Venkatesh Prasad; David Corman; James L. Paunicka (Proc. IEEE, 2012)

State-based scheduling with tree schedules: analysis and evaluation. - Madhukar Anand; Sebastian Fischmeister; Insup Lee 001; Linh T. X. Phan (Real Time Syst., 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)

Distributed aspects of the artificial pancreas. - Stephen D. Patek; Sanjian Chen; Patrick Keith-Hynes; Insup Lee 001 (Allerton, 2013)

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)

Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. - Paolo Masci 001; Anaheed Ayoub; Paul Curzon; Michael D. Harrison; Insup Lee 001; Harold W. Thimbleby (EICS, 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)

Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation. - Benjamin A. Kohl; Sanjian Chen; Margaret Mullen-Fortino; Insup Lee 001 (ICHI, 2013)

PIPAC: Patient infusion pattern based access control scheme for wireless insulin pump system. - Xiali Hei 001; Xiaojiang Du; Shan Lin 001; Insup Lee 001 (INFOCOM, 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)

Improving schedulability of fixed-priority real-time systems using shapers. - Linh T. X. Phan; Insup Lee 001 (IEEE Real-Time and Embedded Technology and Applications Symposium, 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)

A Reliable, Safe, and Secure Run-Time Platform for Cyber Physical Systems. - Sung-Soo Lim; Eun-Jin Im; Nikil D. Dutt; Kyung-Woo Lee; Insik Shin; Chang-Gun Lee; Insup Lee 001 (SOCA, 2013)

A trust model for vehicular network-based incident reports. - Cong Liao; Jian Chang; Insup Lee 001; Krishna K. Venkatasubramanian (WiVeC, 2013)

Analyzing and defending against web-based malware. - Jian Chang; Krishna K. Venkatasubramanian; Andrew G. West; Insup Lee 001 (ACM Comput. Surv., 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)

A comparison of compositional schedulability analysis techniques for hierarchical real-time systems. - Madhukar Anand; Sebastian Fischmeister; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 2013)

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

Wandering Data: A Scalable, Durable System for Effective Visualization of Patient Health Data. - Alexander Roederer; Jacqueline Soegaard; Insup Lee 001; Jonathan P. Wanderer; Soojin Park (CBMS, 2014)

Application of Python to AIMS Data to Analyze Intraoperative Hypotension through Pediatric Blood Pressure Curves. - Deepthi Shashidhar; Mingzhe Lin; Radoslav Ivanov; Insup Lee 001; Allan F. Simpao; Arul Lingappan; Jorge A. Gálvez; Pablo Laje; Alan W. Flake; Mohamed A. Rehman (CBMS, 2014)

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

Attack-resilient sensor fusion. - Radoslav Ivanov; Miroslav Pajic; Insup Lee 001 (DATE, 2014)

A layered approach for testing timing in the model-based implementation. - BaekGyu Kim; Hyeon I. Hwang; Taejoon Park; Sang Hyuk Son; Insup Lee 001 (DATE, 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)

Resilient multidimensional sensor fusion using measurement history. - Radoslav Ivanov; Miroslav Pajic; Insup Lee 001 (HiCoNS, 2014)

Demo abstract: ROSLab - A modular programming environment for robotic applications. - Nicola Bezzo; Junkil Park; Andrew L. King; Peter Gebhard; Radoslav Ivanov; Insup Lee 001 (ICCPS, 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)

Exploring the twin peaks using probabilistic verification techniques. - Anitha Murugesan; Lu Feng 001; Mats Per Erik Heimdahl; Sanjai Rayadurgam; Michael W. Whalen; Insup Lee 001 (TwinPeaks, 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 Design Environment for the Rapid Specification and Fabrication of Printable Robots. - Ankur M. Mehta; Nicola Bezzo; Peter Gebhard; Byoungkwon An; Vijay Kumar 001; Insup Lee 001; Daniela Rus (ISER, 2014)

The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems with OpenFlow. - Andrew L. King; Sanjian Chen; Insup Lee 001 (ISORC, 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)

MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors. - Jaewoo Lee; Kieu-My Phan; Xiaozhe Gu; Jiyeon Lee; Arvind Easwaran; Insik Shin; Insup Lee 001 (RTSS, 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)

Robust estimation using context-aware filtering. - Radoslav Ivanov; Nikolay Atanasov 001; Miroslav Pajic; George J. Pappas; Insup Lee 001 (Allerton, 2015)

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. - Jin Hyun Kim; Abdeldjalil Boudjadar; Ulrik Nyman; Marius Mikucionis; Kim G. Larsen; Arne Skou; Insup Lee 001; Linh Thi Xuan Phan (CBSE, 2015)

Attack-resilient state estimation in the presence of noise. - Miroslav Pajic; Paulo Tabuada; Insup Lee 001; George J. Pappas (CDC, 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)

Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals. - Alexander Roederer; James Weimer; Joseph DiMartino; Jacob Gutsche; Insup Lee 001 (EMBC, 2015)

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

Early detection of critical pulmonary shunts in infants. - Radoslav Ivanov; James Weimer; Allan F. Simpao; Mohamed A. Rehman; Insup Lee 001 (ICCPS, 2015)

Sensor attack detection in the presence of transient faults. - Junkil Park; Radoslav Ivanov; James Weimer; Miroslav Pajic; Insup Lee 001 (ICCPS, 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)

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. - Abdeldjalil Boudjadar; Jin Hyun Kim; Alexandre David; Kim G. Larsen; Marius Mikucionis; Ulrik Nyman; Arne Skou; Insup Lee 001; Linh Thi Xuan Phan (ISORC, 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)

Medical Cyber-Physical Systems: The Early Years. - Insup Lee 001 (IEEE Des. Test, 2015)

Parameter-Invariant Design of Medical Alarms. - James Weimer; Radoslav Ivanov; Alexander Roederer; Sanjian Chen; Insup Lee 001 (IEEE Des. Test, 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)

Formal synthesis of application and platform behaviors of embedded software systems. - Jinhyun Kim; Inhye Kang; Jin-Young Choi; Insup Lee 001; Sungwon Kang (Softw. Syst. Model., 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)

Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data. - Alexander Roederer; Joseph DiMartino; Jacob Gutsche; Margaret Mullen-Fortino; Sachin Shah; C. William Hanson; Insup Lee 001 (CHASE, 2016)

Adaptive Transient Fault Model for Sensor Attack Detection. - Minsu Jo; Junkil Park; Youngmi Baek; Radoslav Ivanov; James Weimer; Sang Hyuk Son; Insup Lee 001 (CPSNA, 2016)

Making DDS really real-time with openflow. - Hyon-Young Choi; Andrew L. King; Insup Lee 001 (EMSOFT, 2016)

Advanced Split-TCP with End-to-End Protocol Semantics over Wireless Networks. - Bong-Ho Kim; Doru Calin; Insup Lee 001 (GLOBECOM, 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)

Estimation of Blood Oxygen Content Using Context-Aware Filtering. - Radoslav Ivanov; Nikolay Atanasov 001; James Weimer; Miroslav Pajic; Allan F. Simpao; Mohamed A. Rehman; George J. Pappas; Insup Lee 001 (ICCPS, 2016)

Online planning for energy-efficient and disturbance-aware UAV operations. - Nicola Bezzo; Kartik Mohta; Cameron Nowzari; Insup Lee 001; Vijay Kumar 001; George J. Pappas (IROS, 2016)

Human-interpretable diagnostic information for robotic planning systems. - Lu Feng 001; Laura R. Humphrey; Insup Lee 001; Ufuk Topcu (IROS, 2016)

Analysis and Implementation of GlEnergy Saving for Mixed-Criticalityobal Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation. - Meng Xu 010; Linh Thi Xuan Phan; Hyon-Young Choi; Insup Lee 001 (RTAS, 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)

Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models. - Minsu Jo; Junkil Park; Youngmi Baek; Radoslav Ivanov; James Weimer; Sang Hyuk Son; Insup Lee 001 (RTCSA, 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)

Optimizing the resource requirements of hierarchical scheduling systems. - Jin Hyun Kim; Axel Legay; Louis-Marie Traonouez; Abdeldjalil Boudjadar; Ulrik Nyman; Kim G. Larsen; Insup Lee 001; Jin-Young Choi (SIGBED Rev., 2016)

Towards compositional mixed-criticality real-time scheduling in open systems: invited paper. - Jaewoo Lee; Hoon Sung Chwa; Arvind Easwaran; Insik Shin; Insup Lee 001 (SIGBED Rev., 2016)

Cache-aware interfaces for compositional real-time systems: invited paper. - Linh Thi Xuan Phan; Meng Xu 010; Insup Lee 001 (SIGBED Rev., 2016)

Prediction of Critical Pulmonary Shunts in Infants. - Radoslav Ivanov; James Weimer; Allan F. Simpao; Mohamed A. Rehman; Insup Lee 001 (IEEE Trans. Control. Syst. Technol., 2016)

Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. - Radoslav Ivanov; Miroslav Pajic; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 2016)

Modeling Opportunities in mHealth Cyber-Physical Systems. - Wendy Nilsen; Emre Ertin; Eric B. Hekler; Santosh Kumar 001; Insup Lee 001; Rahul Mangharam; Misha Pavel; James M. Rehg; William T. Riley; Daniel E. Rivera; Donna Spruijt-Metz (Mobile Health - Sensors, Analytic Methods, and Applications, 2017)

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

Resilient linear classification: an approach to deal with attacks on training data. - Sangdon Park 001; James Weimer; Insup Lee 001 (ICCPS, 2017)

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

vCAT: Dynamic Cache Management Using CAT Virtualization. - Meng Xu 010; Linh Thi Xuan Phan; Xuan Phan; Hyon-Young Choi; Insup Lee 001 (RTAS, 2017)

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

Trapfetch: A breakpoint-based prefetcher for both launch and run-time. - Jiwoong Won; Oseok Kwon; Junhee Ryu; Junbeom Hur; Insup Lee 001; Kyungtae Kang (SMC, 2017)

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

Enhanced Split TCP with End-to-End Protocol Semantics over Wireless Networks. - Bong-Ho Kim; Doru Calin; Insup Lee 001 (WCNC, 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)

Protecting interoperable clinical environment with authentication. - Liang Cheng 004; Zhangtan Li; Yi Zhang 051; Yang Zhang 021; Insup Lee 001 (SIGBED Rev., 2017)

Attack-Resilient State Estimation for Noisy Dynamical Systems. - Miroslav Pajic; Insup Lee 001; George J. Pappas (IEEE Trans. Control. Netw. Syst., 2017)

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. - Junkil Park; Radoslav Ivanov; James Weimer; Miroslav Pajic; Sang Hyuk Son; Insup Lee 001 (ACM Trans. Cyber Phys. Syst., 2017)

MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling. - Jaewoo Lee; Hoon Sung Chwa; Linh T. X. Phan; Insik Shin; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 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)

Towards Context-Aware Cyber-Physical Systems. - Radoslav Ivanov; James Weimer; Insup Lee 001 (MT@CPSWeek, 2018)

ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing. - Alberto Huertas Celdrán; Félix J. García Clemente; James Weimer; Insup Lee 001 (HealthCom, 2018)

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

Context-aware detection in medical cyber-physical systems. - Radoslav Ivanov; James Weimer; Insup Lee 001 (ICCPS, 2018)

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

KRS-DGIST: a resilient CPS testbed for radio-based train control: WiP abstract. - Yuchang Won; Buyeon Yu; Jaegeun Park; In-Hee Park; Haegeon Jeong; Jeanseong Baik; Kyungtae Kang; Insup Lee 001; Kyung-Joon Park; Yongsoon Eun (ICCPS, 2018)

Joint Rate Control and Demand Balancing for Electric Vehicle Charging. - Fanxin Kong; Xue Liu 001; Insup Lee 001 (IoTDI, 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)

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. - Jalil Boudjadar; Jin Hyun Kim; Linh Thi Xuan Phan; Insup Lee 001; Kim G. Larsen; Ulrik Nyman (ISORC, 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)

Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors. - Yazhou Tu; Zhiqiang Lin 001; Insup Lee 001; Xiali Hei 001 (USENIX Security Symposium, 2018)

An Attack-Resilient CPS Architecture for Hierarchical Control: A Case Study on Train Control Systems. - Yuchang Won; Buyeon Yu; Jaegeun Park; In-Hee Park; Haegeon Jeong; Jeanseong Baik; Kyungtae Kang; Insup Lee 001; Sang Hyuk Son; Kyung-Joon Park; Yongsoon Eun (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)

MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling. - Jaewoo Lee; Saravanan Ramanathan; Kieu-My Phan; Arvind Easwaran; Insik Shin; Insup Lee 001 (IEEE Trans. Computers, 2018)

Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems. - Jin Hyun Kim; Kyong Hoon Kim; Arvind Easwaran; Insup Lee 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Guest Editorial: Special Issue on Medical Cyber-Physical Systems. - Insup Lee 001; Miroslav Pajic (ACM Trans. Cyber Phys. 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)

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. - Mohammadhosein Hasanbeig; Yiannis Kantaros; Alessandro Abate; Daniel Kroening; George J. Pappas; Insup Lee 001 (CDC, 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)

Verisig: verifying safety properties of hybrid systems with neural network controllers. - Radoslav Ivanov; James Weimer; Rajeev Alur; George J. Pappas; Insup Lee 001 (HSCC, 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)

Holistic Resource Allocation for Multicore Real-Time Systems. - Meng Xu 010; Linh Thi Xuan Phan; Hyon-Young Choi; Yuhan Lin; Haoran Li; Chenyang Lu 001; Insup Lee 001 (RTAS, 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)

Guest Editorial Special Issue on RRCPS: Reliable and Resilient Cyber-Physical Systems. - Kyungtae Kang; Insup Lee 001; Kai Liu 001; Man-Ki Yoon; Kyung-Joon Park (IEEE Internet Things J., 2019)

Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments. - Lorenzo Fernández Maimó; Alberto Huertas Celdrán; Ángel Luis Perales Gómez; Félix J. García Clemente; James Weimer; Insup Lee 001 (Sensors, 2019)

Continuous Estimation Using Context-Dependent Discrete Measurements. - Radoslav Ivanov; Nikolay Atanasov 001; Miroslav Pajic; James Weimer; George J. Pappas; Insup Lee 001 (IEEE Trans. Autom. Control., 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)

Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. - Sangdon Park 001; Osbert Bastani; James Weimer; Insup Lee 001 (AISTATS, 2020)

Case study: verifying the safety of an autonomous racing car with a neural network controller. - Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Rajeev Alur; George J. Pappas; Insup Lee 001 (HSCC, 2020)

PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. - Sangdon Park 001; Osbert Bastani; Nikolai Matni; Insup Lee 001 (ICLR, 2020)

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)

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. - Yiannis Kantaros; Taylor J. Carpenter; Sangdon Park 001; Radoslav Ivanov; Sooyong Jang; Insup Lee 001; James Weimer (CoRR, 2020)

Class-Weighted Evaluation Metrics for Imbalanced Data Classification. - Akhilesh Gupta; Nesime Tatbul; Ryan Marcus; Shengtian Zhou; Insup Lee 001; Justin Gottschlich (CoRR, 2020)

Inaugural Issue Editorial. - John A. Stankovic; Insup Lee 001 (ACM Trans. Comput. Heal., 2020)

Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. - Esen Yel; Taylor J. Carpenter; Carmelo Di Franco; Radoslav Ivanov; Yiannis Kantaros; Insup Lee 001; James Weimer; Nicola Bezzo (IEEE Robotics Autom. Mag., 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)

MAuth-CAN: Masquerade-Attack-Proof Authentication for In-Vehicle Networks. - Hyo Jin Jo; Jin Hyun Kim; Hyon-Young Choi; Wonsuk Choi 001; Dong Hoon Lee 001; Insup Lee 001 (IEEE Trans. Veh. Technol., 2020)

ModelGuard: Runtime Validation of Lipschitz-continuous Models. - Taylor J. Carpenter; Radoslav Ivanov; Insup Lee 001; James Weimer (ADHS, 2021)

Improving Classifier Confidence using Lossy Label-Invariant Transformations. - Sooyong Jang; Insup Lee 001; James Weimer (AISTATS, 2021)

ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Taylor T. Johnson; Diego Manzanas Lopez; Luis Benet; Marcelo Forets; Sebastián Guadalupe; Christian Schilling 001; Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Insup Lee 001 (ARCH@ADHS, 2021)

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)

Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. - Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Rajeev Alur; George J. Pappas; Insup Lee 001 (CAV (1), 2021)

VitalCore: Analytics and Support Dashboard for Medical Device Integration. - Hyon-Young Choi; Amanda Lor; Mike Megonegal; Xiayan Ji; Amanda Watson; James Weimer; Insup Lee 001 (CHASE, 2021)

FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data. - Pengyuan Lu; Xian Li 006; Sooyong Jang; Alexander Lee; Sydney Pugh; Amanda Watson; Ragnhildur I. Bjarnadottir; Robert Lucero; George Demiris; Ani Nenkova; James Weimer; Insup Lee 001 (CHASE, 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)

RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk. - Amanda Watson; Pengyuan Lu; Elliot Greenberg; J. Todd R. Lawrence; Theodore J. Ganley; Insup Lee 001; James Weimer (CHASE, 2021)

Real-time detectors for digital and physical adversarial inputs to perception systems. - Yiannis Kantaros; Taylor J. Carpenter; Kaustubh Sridhar; Yahan Yang; Insup Lee 001; James Weimer (ICCPS, 2021)

PAC Confidence Predictions for Deep Neural Network Classifiers. - Sangdon Park 001; Shuo Li; Insup Lee 001; Osbert Bastani (ICLR, 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)

Confidence Calibration with Bounded Error Using Transformations. - Sooyong Jang; Radoslav Ivanov; Insup Lee 001; James Weimer (CoRR, 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)

Stacked LSTM based deep recurrent neural network with kalman smoothing for blood glucose prediction. - Md Fazle Rabby; Yazhou Tu; Md. Imran Hossen; Insup Lee 001; Anthony S. Maida; Xiali Hei 001 (BMC Medical Informatics Decis. Mak., 2021)

Verifying the Safety of Autonomous Systems with Neural Network Controllers. - Radoslav Ivanov; Taylor J. Carpenter; James Weimer; Rajeev Alur; George J. Pappas; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 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)

Hierarchical Scheduling. - Jin Hyun Kim; Deepak Gangadharan; Kyong Hoon Kim; Insik Shin; Insup Lee 001 (Handbook of Real-Time Computing, 2022)

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)

PacJam: Securing Dependencies Continuously via Package-Oriented Debloating. - Pardis Pashakhanloo; Aravind Machiry; Hyon-Young Choi; Anthony Canino; Kihong Heo; Insup Lee 001; Mayur Naik (AsiaCCS, 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)

GlucoScan: Noninvasive Glucose Monitoring Device. - Claire Kendell; Amanda Watson; Insup Lee 001; James Weimer (CHASE, 2022)

AutoWean: Extubation Failure Risk Estimation for Critically Ill Patients. - Jean Park; Amanda Watson; Xiayan Ji; Kyle C. Quinn; James Weimer; Insup Lee 001 (CHASE, 2022)

Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. - Souradeep Dutta; Kaustubh Sridhar; Osbert Bastani; Edgar Dobriban; James Weimer; Insup Lee 001; Julia Parish-Morris (CoRL, 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)

Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems. - Yahan Yang; Ramneet Kaur; Souradeep Dutta; Insup Lee 001 (ICCPS, 2022)

PAC Prediction Sets Under Covariate Shift. - Sangdon Park 001; Edgar Dobriban; Insup Lee 001; Osbert Bastani (ICLR, 2022)

Sequential Covariate Shift Detection Using Classifier Two-Sample Tests. - Sooyong Jang; Sangdon Park 001; Insup Lee 001; Osbert Bastani (ICML, 2022)

Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. - Matthew Cleaveland; Esen Yel; Yiannis Kantaros; Insup Lee 001; Nicola Bezzo (IROS, 2022)

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

PAC Prediction Sets for Meta-Learning. - Sangdon Park 001; Edgar Dobriban; Insup Lee 001; Osbert Bastani (NeurIPS, 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)

Towards PAC Multi-Object Detection and Tracking. - Shuo Li; Sangdon Park 001; Xiayan Ji; Insup Lee 001; Osbert Bastani (CoRR, 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)

Memory Classifiers: Two-stage Classification for Robustness in Machine Learning. - Souradeep Dutta; Yahan Yang; Elena Bernardis; Edgar Dobriban; 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)

Introduction to the Special Issue on Internet-of-Medical-Things. - Paul Bogdan; Radu Grosu; Insup Lee 001 (ACM Trans. Comput. Heal., 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)

Lumos: An Open-Source Device for Wearable Spectroscopy Research. - Amanda Watson; Claire Kendell; Anush Niranjan Lingamoorthy; Insup Lee 001; James Weimer (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022)

In and Out-of-Domain Text Adversarial Robustness via Label Smoothing. - Yahan Yang; Soham Dan; Dan Roth 001; Insup Lee 001 (ACL (2), 2023)

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)

Angelic Patches for Improving Third-Party Object Detector Performance. - Wenwen Si; Shuo Li; Sangdon Park 001; Insup Lee 001; Osbert Bastani (CVPR, 2023)

Memory Classifiers for Robust ECG Classification against Physiological Noise. - Kuk Jin Jang; Souradeep Dutta; Jean Park; James Weimer; Insup Lee 001 (EMBC, 2023)

Bootstrapping Small & High Performance Language Models with Unmasking-Removal Training Policy. - Yahan Yang; Elior Sulem; Insup Lee 001; Dan Roth 001 (EMNLP, 2023)

SpectraVue - An Interactive Web Application Enabling Rapid Data Visualization and Analysis for Wearable Spectroscopy Research. - Tarek Hamid; Insup Lee 001; Amanda Watson (UbiComp/ISWC Adjunct, 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)

Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression. - Sydney Pugh; Souradeep Dutta; Ramneet Kaur; Yahan Yang; Elena Bernardis; 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)

Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism. - Yahan Yang; Sunghye Cho; Maxine Covello; Azia Knox; Osbert Bastani; James Weimer; Edgar Dobriban; Robert T. Schultz; Insup Lee 001; Julia Parish-Morris (INTERSPEECH, 2023)

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

Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. - Kaustubh Sridhar; Souradeep Dutta; James Weimer; Insup Lee 001 (L4DC, 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)

ADC-Bank: Detecting Acoustic Out-of-Band Signal Injection on Inertial Sensors. - Jianyi Zhang; Yuchen Wang; Yazhou Tu; Sara Rampazzi; Zhiqiang Lin 001; Insup Lee 001; Xiali Hei 001 (SmartSP, 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)

Detection of Adversarial Physical Attacks in Time-Series Image Data. - Ramneet Kaur; Yiannis Kantaros; Wenwen Si; James Weimer; Insup Lee 001 (CoRR, 2023)

Zero-shot Task Preference Addressing Enabled by Imprecise Bayesian Continual Learning. - Pengyuan Lu; Michele Caprio; Eric Eaton; Insup Lee 001 (CoRR, 2023)

TRAC: Trustworthy Retrieval Augmented Chatbot. - Shuo Li; Sangdon Park 001; Insup Lee 001; Osbert Bastani (CoRR, 2023)

Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare. - Sydney Pugh; Ivan Ruchkin; Insup Lee 001; James Weimer (CoRR, 2023)

Understanding Calibration for Multilingual Question Answering Models. - Yahan Yang; Soham Dan; Dan Roth 001; Insup Lee 001 (CoRR, 2023)

Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. - Matthew Cleaveland; Insup Lee 001; George J. Pappas; Lars Lindemann (AAAI, 2024)

Raproto: An Open-Source Platform for Rapid Prototyping with Wearable Devices. - Tarek Hamid; Kimberly Helm; Hyonyoung Choi; Jean Park; Claire Kendell; Stephanie Cummings; Steve Messe; Stefanie Modri; Insup Lee 001; James Weimer; Amanda Watson (BSN, 2024)

Preface; CHASE 2024. - Insup Lee 001; Weisong Shi; Zhe He 001; Ye Sun (CHASE, 2024)

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)

Uncertainty in Language Models: Assessment through Rank-Calibration. - Xinmeng Huang; Shuo Li; Mengxin Yu; Matteo Sesia; Hamed Hassani; Insup Lee 001; Osbert Bastani; Edgar Dobriban (EMNLP, 2024)

A Novel Bayes' Theorem for Upper Probabilities. - Michele Caprio; Yusuf Sale; Eyke Hüllermeier; Insup Lee 001 (Epi UAI, 2024)

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

Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. - Sydney Pugh; Ivan Ruchkin; James Weimer; Insup Lee 001 (ICCPS, 2024)

PAC Prediction Sets Under Label Shift. - Wenwen Si; Sangdon Park 001; Insup Lee 001; Edgar Dobriban; Osbert Bastani (ICLR, 2024)

Memory-Consistent Neural Networks for Imitation Learning. - Kaustubh Sridhar; Souradeep Dutta; Dinesh Jayaraman; James Weimer; Insup Lee 001 (ICLR, 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)

Fundus Image-based Visual Acuity Assessment with PAC-Guarantees. - Sooyong Jang; Kuk Jin Jang; Hyonyoung Choi; Yong-Seop Han; Seongjin Lee; Jin-hyun Kim; Insup Lee 001 (ML4H@NeurIPS, 2024)

IdentityKD: Identity-wise Cross-modal Knowledge Distillation for Person Recognition via mmWave Radar Sensors. - Liqun Shan; Rujun Zhang; Sai Venkatesh Chilukoti; Xingli Zhang 004; Insup Lee 001; Xiali Hei 001 (MMAsia, 2024)

TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction. - Shuo Li; Sangdon Park 001; Insup Lee 001; Osbert Bastani (NAACL-HLT, 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)

Benchmarking LLM Guardrails in Handling Multilingual Toxicity. - Yahan Yang; Soham Dan; Dan Roth 001; Insup Lee 001 (CoRR, 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)

Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees. - Yahan Yang; Ramneet Kaur; Souradeep Dutta; Insup Lee 001 (ACM Trans. Cyber Phys. Syst., 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)

Assessing Modality Bias in Video Question Answering Benchmarks with Multimodal Large Language Models. - Jean Park; Kuk Jin Jang; Basam Alasaly; Sriharsha Mopidevi; Andrew Zolensky; Eric Eaton; Insup Lee 001; Kevin Johnson (AAAI, 2025)

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)

Monitor and Recover: A Paradigm for Future Research on Distribution Shift in Learning-Enabled Cyber-Physical Systems. - Vivian Lin; Insup Lee 001 (ICCPS, 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)

REGENT: A Retrieval-Augmented Generalist Agent That Can Act In-Context in New Environments. - Kaustubh Sridhar; Souradeep Dutta; Dinesh Jayaraman; Insup Lee 001 (ICLR, 2025)

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

MR. Guard: Multilingual Reasoning Guardrail using Curriculum Learning. - Yahan Yang; Soham Dan; Shuo Li; Dan Roth 001; Insup Lee 001 (CoRR, 2025)

Effective Reinforcement Learning for Reasoning in Language Models. - Lianghuan Huang; Shuo Li; Sagnik Anupam; Insup Lee 001; Osbert Bastani (CoRR, 2025)

RICL: Adding In-Context Adaptability to Pre-Trained Vision-Language-Action Models. - Kaustubh Sridhar; Souradeep Dutta; Dinesh Jayaraman; Insup Lee 001 (CoRR, 2025)