Distributed co-operating processes and transactions. - Lui Sha; E. Douglas Jensen; Richard F. Rashid; J. Duane Northcutt (SIGCOMM, 1983)

Solutions for Some Practical Problems in Prioritized Preemptive Scheduling. - Lui Sha; John P. Lehoczky; Ragunathan Rajkumar (RTSS, 1986)

Performance of Real-Time Bus Scheduling Algorithms. - John P. Lehoczky; Lui Sha (SIGMETRICS, 1986)

Limitations of Ada for real-time scheduling. - Dennis Cornhill; Lui Sha; John P. Lehoczky (IRTAW, 1987)

Enhanced Aperiodic Responsiveness in Hard Real-Time Environments. - John P. Lehoczky; Lui Sha; Jay K. Strosnider (RTSS, 1987)

On Countering the Effects of Cycle-Stealing in a Hard Real-Time Environment. - Ragunathan Rajkumar; Lui Sha; John P. Lehoczky (RTSS, 1987)

The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks. - John B. Goodenough 002; Lui Sha (IRTAW, 1988)

Priority inversion and its control: An experimental investigation. - C. Douglass Locke; Lui Sha; R. Rajikumar; John P. Lehoczky; Gregory Burns (IRTAW, 1988)

Priority-Driven, Preemptive I/O Controllers for Real-Time Systems. - Brinkley Sprunt; David Blair Kirk; Lui Sha (ISCA, 1988)

Real-Time Synchronization Protocols for Multiprocessors. - Ragunathan Rajkumar; Lui Sha; John P. Lehoczky (RTSS, 1988)

Exploiting Unused Periodic Time for Aperiodic Service Using the Extended Priority Exchange Algorithm. - Brinkley Sprunt; John P. Lehoczky; Lui Sha (RTSS, 1988)

Concurrency Control for Distributed Real-Time Databases. - Lui Sha; Ragunathan Rajkumar; John P. Lehoczky (SIGMOD Rec., 1988)

Modular Concurrency Control and Failure Recovery. - Lui Sha; John P. Lehoczky; E. Douglas Jensen (IEEE Trans. Computers, 1988)

The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior. - John P. Lehoczky; Lui Sha; Y. Ding (RTSS, 1989)

Mode Change Protocols for Priority-Driven Preemptive Scheduling. - Lui Sha; Ragunathan Rajkumar; John P. Lehoczky; Krithi Ramamritham (Real Time Syst., 1989)

Aperiodic Task Scheduling for Hard Real-Time Systems. - Brinkley Sprunt; Lui Sha; John P. Lehoczky (Real Time Syst., 1989)

Real-Time Scheduling Support in Futurebus+. - Lui Sha; John P. Lehoczky; Ragunathan Rajkumar (RTSS, 1990)

Real-Time Scheduling Theory and Ada. - Lui Sha; John B. Goodenough 002 (Computer, 1990)

Priority Inheritance Protocols: An Approach to Real-Time Synchronization. - Lui Sha; Ragunathan Rajkumar; John P. Lehoczky (IEEE Trans. Computers, 1990)

A Real-Time Locking Protocol. - Lui Sha; Ragunathan Rajkumar; Sang Hyuk Son; Chun-Hyon Chang (IEEE Trans. Computers, 1991)

Scheduling real-time communication on dual-link networks. - Lui Sha; Shirish S. Sathaye; Jay K. Strosnider (RTSS, 1992)

Sources of Unbounded Priority Inversions in Real-Time Systems and a Comparative Study of Possible Solutions. - Sadegh Davari; Lui Sha (ACM SIGOPS Oper. Syst. Rev., 1992)

A Systematic Approach to Design Distributed Real-Time Systems. - Lui Sha; Shirish S. Sathaye (Computer, 1993)

Industrial Computing: A Grand Challenge - Guest Editor's Introduction. - Lui Sha (Computer, 1994)

Generalized rate-monotonic scheduling theory: a framework for developing real-time systems. - Lui Sha; Ragunathan Rajkumar; Shirish S. Sathaye (Proc. IEEE, 1994)

Fault-Tolerant Automatic Control. - Marc Bodson; John P. Lehoczky; Ragunathan Rajkumar; Lui Sha; Jennifer Stephan (Responsive Computer Systems, 1995)

The real-time publisher/subscriber inter-process communication model for distributed real-time systems: design and implementation. - Ragunathan Rajkumar; Michael Gagliardi; Lui Sha (IEEE Real Time Technology and Applications Symposium, 1995)

The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments. - Jay K. Strosnider; John P. Lehoczky; Lui Sha (IEEE Trans. Computers, 1995)

Designing for evolvability: building blocks for evolvable real-time systems. - Michael Gagliardi; Ragunathan Rajkumar; Lui Sha (IEEE Real Time Technology and Applications Symposium, 1996)

On task schedulability in real-time control systems. - Danbing Seto; John P. Lehoczky; Lui Sha; Kang G. Shin (RTSS, 1996)

Real-Time In the Real World. - Lui Sha (ACM Comput. Surv., 1996)

Analysis of Dual-Link Networks for Real-Time Applications. - Lui Sha; Shirish S. Sathaye; Jay K. Strosnider (IEEE Trans. Computers, 1997)

Composite Objects: Real-Time Programming with CORBA. - Andreas Polze; Lui Sha (EUROMICRO, 1998)

Task Period Selection and Schedulability in Real-Time Systems. - Danbing Seto; John P. Lehoczky; Lui Sha (RTSS, 1998)

Dependable System Upgrade. - Lui Sha (RTSS, 1998)

Using COTS Software in High Assurance Control Applications. - Lui Sha (HASE, 1999)

A Fault Tolerant Real-time Publisher/Subscriber Inter-Process Communication Architecture. - Xiaoyan He; Lui Sha (RTCSA, 1999)

On Scheduling Tasks in Reliable Real-Time Control Systems. - Ramesh Chandra; Lui Sha (RTSS, 1999)

An introduction to control and scheduling co-design. - Karl-Erik Årzén; Anton Cervin; Johan Eker; Lui Sha (CDC, 2000)

Online control optimization using load driven scheduling. - Lui Sha; Xue Liu 001; Marco Caccamo; Giorgio C. Buttazzo (CDC, 2000)

Elastic feedback control. - Marco Caccamo; Giorgio C. Buttazzo; Lui Sha (ECRTS, 2000)

Remote Lab: A Reliable Tele-Laboratory Environment. - Janek Schwarz; Andreas Polze; Kristopher Wehner; Lui Sha (International Conference on Internet Computing, 2000)

A Distributed Real Time Coordination Protocol. - Lui Sha; Danbing Seto (IPDPS Workshops, 2000)

Integration of CORBA Services with a Dynamic Real-Time Architecture. - Andreas Polze; Janek Schwarz; Kristopher Wehner; Lui Sha (IEEE Real Time Technology and Applications Symposium, 2000)

Capacity Sharing for Overrun Control. - Marco Caccamo; Giorgio C. Buttazzo; Lui Sha (RTSS, 2000)

Scheduling Tasks With Variable Deadlines. - Chi-Sheng Shih 001; Lui Sha; Jane W.-S. Liu (IEEE Real Time Technology and Applications Symposium, 2001)

Aperiodic Servers with Resource Constraints. - Marco Caccamo; Lui Sha (RTSS, 2001)

Service Class-Based Online QoS Management in Surveillance Radar Systems. - Chang-Gun Lee; Chi-Sheng Shih 001; Lui Sha (RTSS, 2001)

What Are the Top Ten Most Influential Parallel and Distributed Processing Concepts of the Past Millenium? - Mitchell D. Theys; Shoukat Ali; Howard Jay Siegel; K. Mani Chandy; Kai Hwang 001; Ken Kennedy; Lui Sha; Kang G. Shin; Marc Snir; Larry Snyder; Thomas L. Sterling (J. Parallel Distributed Comput., 2001)

Trade-Off Analysis of Real-Time Control Performance and Schedulability. - Danbing Seto; John P. Lehoczky; Lui Sha; Kang G. Shin (Real Time Syst., 2001)

Ensuring Integrity and Service Availability in a Web-Based Control Laboratory. - Sung-Soo Lim; Kihwal Lee; Lui Sha (Parallel Distributed Comput. Pract., 2001)

Using Simplicity to Control Complexity. - Lui Sha (IEEE Softw., 2001)

Upgrading Embedded Software in the Field: Dependability and Survivability. - Lui Sha (EMSOFT, 2002)

An Implicit Prioritized Access Protocol for Wireless Sensor Networks. - Marco Caccamo; Lynn Y. Zhang; Lui Sha; Giorgio C. Buttazzo (RTSS, 2002)

Queueing Model Based Network Server Performance Control. - Lui Sha; Xue Liu 001 (RTSS, 2002)

Guest Editorial. - Lui Sha; Tarek F. Abdelzaher (Real Time Syst., 2002)

Handling Execution Overruns in Hard Real-Time Control Systems. - Marco Caccamo; Giorgio C. Buttazzo; Lui Sha (IEEE Trans. Computers, 2002)

A Bluetooth loop scatternet formation algorithm. - Honghai Zhang; Jennifer C. Hou; Lui Sha (ICC, 2003)

Enhanced Processor Budget for QoS Management in Multimedia Systems. - Chang-Gun Lee; Lui Sha (IPDPS, 2003)

Acoustic Target Tracking Using Tiny Wireless Sensor Devices. - Qixin Wang; Wei-Peng Chen; Rong Zheng 001; Kihwal Lee; Lui Sha (IPSN, 2003)

Online Response Time Optimization of Apache Web Server. - Xue Liu 001; Lui Sha; Yixin Diao; Steve Froehlich; Joseph L. Hellerstein; Sujay S. Parekh (IWQoS, 2003)

Asynchronous wakeup for ad hoc networks. - Rong Zheng 001; Jennifer C. Hou; Lui Sha (MobiHoc, 2003)

Feedback Control with Queueing-Theoretic Prediction for Relative Delay Guarantees in Web Servers. - Ying Lu 002; Tarek F. Abdelzaher; Chenyang Lu 001; Lui Sha; Xue Liu 001 (IEEE Real Time Technology and Applications Symposium, 2003)

Template-Based Real-Time Dwell Scheduling with Energy Constraint. - Chi-Sheng Shih 001; Sathish Gopalakrishnan; Phanindra Ganti; Marco Caccamo; Lui Sha (IEEE Real Time Technology and Applications Symposium, 2003)

Real-Time Virtual Machines for Avionics Software Porting and Development. - Lui Sha (RTCSA, 2003)

Radar Dwell Scheduling Considering Physical Characteristics of Phased Array Antenna. - Chang-Gun Lee; Phil-Su Kang; Chi-Sheng Shih 001; Lui Sha (RTSS, 2003)

Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor Networks. - Xue Liu 001; Qixin Wang; Lui Sha; Wenbo He (RTSS, 2003)

Scheduling Real-Time Dwells Using Tasks with Synthetic Periods. - Chi-Sheng Shih 001; Sathish Gopalakrishnan; Phanindra Ganti; Marco Caccamo; Lui Sha (RTSS, 2003)

Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. - Hui Ding; Can Zheng; Lui Sha; Gul Agha (SEKE, 2003)

Automated Verification of the Dependability of Object-Oriented Real-Time Systems. - Hui Ding; Can Zheng; Gul Agha; Lui Sha (WORDS Fall, 2003)

Upgrading real-time control software in the field. - Lui Sha (Proc. IEEE, 2003)

Real-time communication and coordination in embedded sensor networks. - John A. Stankovic; Tarek F. Abdelzaher; Chenyang Lu 001; Lui Sha; Jennifer C. Hou (Proc. IEEE, 2003)

On the Scheduling of Flexible and Reliable Real-Time Control Systems. - Ramesh Chandra; Xue Liu 001; Lui Sha (Real Time Syst., 2003)

On time-out driven power management policies in wireless networks. - Rong Zheng 001; Jennifer C. Hou; Lui Sha (GLOBECOM, 2004)

An energy-aware data-centric generic utility based approach in wireless sensor networks. - Wei-Peng Chen; Lui Sha (IPSN, 2004)

Etherware: Domainware for Wireless Control Networks. - Girish Baliga; Scott R. Graham; Lui Sha; P. R. Kumar 001 (ISORC, 2004)

Time indexing in sensor networks. - Rong Zheng 001; Guanghui He; Indranil Gupta; Lui Sha (MASS, 2004)

Hard Real-Time Communication in Bus-Based Networks. - Sathish Gopalakrishnan; Lui Sha; Marco Caccamo (RTSS, 2004)

Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors. - Qixin Wang; Rong Zheng 001; Ajay Tirumala; Xue Liu 001; Lui Sha (RTSS, 2004)

Service Continuity in Networked Control Using Etherware. - Girish Baliga; Scott R. Graham; Lui Sha; P. R. Kumar 001 (IEEE Distributed Syst. Online, 2004)

Online QoS Optimization Using Service Classes in Surveillance Radar Systems. - Chang-Gun Lee; Chi-Sheng Shih 001; Lui Sha (Real Time Syst., 2004)

Real Time Scheduling Theory: A Historical Perspective. - Lui Sha; Tarek F. Abdelzaher; Karl-Erik Årzén; Anton Cervin; Theodore P. Baker; Alan Burns 001; Giorgio C. Buttazzo; Marco Caccamo; John P. Lehoczky; Aloysius K. Mok (Real Time Syst., 2004)

Open challenges in real time embedded systems. - Lui Sha (SIGBED Rev., 2004)

Enhanced Utilization Bounds for QoS Management. - Chang-Gun Lee; Lui Sha; Avinash Peddi (IEEE Trans. Computers, 2004)

Dynamic Clustering for Acoustic Target Tracking in Wireless Sensor Networks. - Wei-Peng Chen; Jennifer C. Hou; Lui Sha (IEEE Trans. Mob. Comput., 2004)

Real-Time Synchronization Protocols. - Lui Sha; Marco Caccamo (Handbook of Scheduling, 2004)

Real-Time Scheduling for Embedded Systems. - Marco Caccamo; Theodore P. Baker; Alan Burns 001; Giorgio C. Buttazzo; Lui Sha (Handbook of Networked and Embedded Control Systems, 2005)

Co-Design Based Approach to Improve Robustness in Networked Control Systems. - Sumant Kowshik; Girish Baliga; Scott R. Graham; Lui Sha (DSN, 2005)

Dependency Algebra: A Theoretical Framework for Dependency Management in Real-Time Control Systems. - Hui Ding; Kihwal Lee; Lui Sha (ECBS, 2005)

Timing Performance Control in Web Server Systems Utilizing Server Internal State Information. - Xue Liu 001; Rong Zheng 001; Jin Heo; Qixin Wang; Lui Sha (ICAS/ICNS, 2005)

Modeling 3-Tiered Web Applications. - Xue Liu 001; Jin Heo; Lui Sha (MASCOTS, 2005)

MAC layer support for group communication in wireless sensor networks. - Rong Zheng 001; Lui Sha; Wei Feng (MASS, 2005)

Process Resurrection: A Fast Recovery Mechanism for Real-Time Embedded Systems. - Kihwal Lee; Lui Sha (IEEE Real-Time and Embedded Technology and Applications Symposium, 2005)

A Dependable Online Testing and Upgrade Architecture for Real-Time Embedded Systems. - Kihwal Lee; Lui Sha (RTCSA, 2005)

Dependency Algebra: A Tool for Designing Robust Real-Time Systems. - Hui Ding; Lui Sha (RTSS, 2005)

Improved timing control for web server systems using internal state information. - Xue Liu 001; Rong Zheng 001; Jin Heo; Lui Sha (WWW (Special interest tracks and posters), 2005)

Prevention of failures due to assumptions made by software components in real-time systems. - Ajay Tirumala; Tanya L. Crenshaw; Lui Sha; Girish Baliga; Sumant Kowshik; Craig L. Robinson; Weerasak Witthawaskul (SIGBED Rev., 2005)

A framework for time indexing in sensor networks. - Guanghui He; Rong Zheng 001; Indranil Gupta; Lui Sha (ACM Trans. Sens. Networks, 2005)

Design and analysis of an MST-based topology control algorithm. - Ning Li 014; Jennifer C. Hou; Lui Sha (IEEE Trans. Wirel. Commun., 2005)

Static Analysis to Enforce Safe Value Flow in Embedded Control Systems. - Sumant Kowshik; Grigore Rosu; Lui Sha (DSN, 2006)

The Dependency Management Framework: A Case Study of the ION CubeSat. - Hui Ding; Leon Arber; Lui Sha; Marco Caccamo (ECRTS, 2006)

Adaptive Control of Multi-Tiered Web Applications Using Queueing Predictor. - Xue Liu 001; Jin Heo; Lui Sha; Xiaoyun Zhu (NOMS, 2006)

Switch Scheduling and Network Design for Real-Time Systems. - Sathish Gopalakrishnan; Marco Caccamo; Lui Sha (IEEE Real Time Technology and Applications Symposium, 2006)

A Pattern for Adaptive Behavior in Safety-Critical, Real-Time Middleware. - Tanya L. Crenshaw; Craig L. Robinson; Hui Ding; P. R. Kumar 001; Lui Sha (RTSS, 2006)

I-Living: An Open System Architecture for Assisted Living. - Qixin Wang; Wook Shin; Xue Liu 001; Zheng Zeng 001; Cham Oh; Bedoor K. AlShebli; Marco Caccamo; Carl A. Gunter; Elsa L. Gunter; Jennifer C. Hou; Karrie Karahalios; Lui Sha (SMC, 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)

Real-time virtual machines for avionics software migration. - Lui Sha; Chang-Gun Lee (Int. J. Embed. Syst., 2006)

Local Group Communication-aware MAC Protocol in Wireless Sensor Networks. - Rong Zheng 001; Jatindera Singh Walia; Lui Sha (Int. J. Wirel. Inf. Networks, 2006)

A microscopic study of power management in IEEE 802.11 wireless networks. - Chunyu Hu; Rong Zheng 001; Jennifer C. Hou; Lui Sha (Int. J. Wirel. Mob. Comput., 2006)

Finite-horizon scheduling of radar dwells with online template construction. - Sathish Gopalakrishnan; Marco Caccamo; Chi-Sheng Shih 001; Chang-Gun Lee; Lui Sha (Real Time Syst., 2006)

Feedback fault tolerance of real-time embedded systems: issues and possible solutions. - Xue Liu 001; Hui Ding; Kihwal Lee; Lui Sha; Marco Caccamo (SIGBED Rev., 2006)

Real time and embedded (RTE) GENI. - Lui Sha; Ashok K. Agrawala (SIGBED Rev., 2006)

Schedulability Envelope for Real-Time Radar Dwell Scheduling. - Chang-Gun Lee; Phil-Su Kang; Chi-Sheng Shih 001; Lui Sha (IEEE Trans. Computers, 2006)

Optimal Block Design for Asynchronous Wake-Up Schedules and Its Applications in Multihop Wireless Networks. - Rong Zheng 001; Jennifer C. Hou; Lui Sha (IEEE Trans. Mob. Comput., 2006)

Optimal real-time sampling rate assignment for wireless sensor networks. - Xue Liu 001; Qixin Wang; Wenbo He; Marco Caccamo; Lui Sha (ACM Trans. Sens. Networks, 2006)

Performance analysis of power management policies in wireless networks. - Rong Zheng 001; Jennifer C. Hou; Lui Sha (IEEE Trans. Wirel. Commun., 2006)

The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures. - Tanya L. Crenshaw; Elsa L. Gunter; Craig L. Robinson; Lui Sha; P. R. Kumar 001 (RTSS, 2007)

GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications. - Qixin Wang; Xue Liu 001; Jennifer C. Hou; Lui Sha (RTSS, 2007)

Building Robust Wireless LAN for Industrial Control with the DSSS-CDMA Cell Phone Network Paradigm. - Qixin Wang; Xue Liu 001; Weiqun Chen; Lui Sha; Marco Caccamo (IEEE Trans. Mob. Comput., 2007)

ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems. - Xue Liu 001; Hui Ding; Kihwal Lee; Qixin Wang; Lui Sha (ECRTS, 2008)

A Switch Design for Real-Time Industrial Networks. - Qixin Wang; Sathish Gopalakrishnan; Xue Liu 001; Lui Sha (IEEE Real-Time and Embedded Technology and Applications Symposium, 2008)

Impact of Cache Partitioning on Multi-tasking Real Time Embedded Systems. - Bach Duy Bui; Marco Caccamo; Lui Sha; Joseph Martinez (RTCSA, 2008)

Coscheduling of CPU and I/O Transactions in COTS-Based Embedded Systems. - Rodolfo Pellizzoni; Bach Duy Bui; Marco Caccamo; Lui Sha (RTSS, 2008)

Cyber-Physical Systems: A New Frontier. - Lui Sha; Sathish Gopalakrishnan; Xue Liu 001; Qixin Wang (SUTC, 2008)

Sharp Thresholds for Scheduling Recurring Tasks with Distance Constraints. - Sathish Gopalakrishnan; Marco Caccamo; Lui Sha (IEEE Trans. Computers, 2008)

ORTEGA: An Efficient and Flexible Online Fault Tolerance Architecture for Real-Time Control Systems. - Xue Liu 001; Qixin Wang; Sathish Gopalakrishnan; Wenbo He; Lui Sha; Hui Ding; Kihwal Lee (IEEE Trans. Ind. Informatics, 2008)

Lightning: A Hard Real-Time, Fast, and Lightweight Low-End Wireless Sensor Election Protocol for Acoustic Event Localization. - Qixin Wang; Rong Zheng 001; Ajay Tirumala; Xue Liu 001; Lui Sha (IEEE Trans. Mob. Comput., 2008)

Queueing-Model-Based Adaptive Control of Multi-Tiered Web Applications. - Xue Liu 001; Jin Heo; Lui Sha; Xiaoyun Zhu (IEEE Trans. Netw. Serv. Manag., 2008)

Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. - Lui Sha; José Meseguer 001 (Software-Intensive Systems and New Computing Paradigms, 2008)

Handling mixed-criticality in SoC-based real-time embedded systems. - Rodolfo Pellizzoni; Patrick O'Neil Meredith; Min-Young Nam; Mu Sun; Marco Caccamo; Lui Sha (EMSOFT, 2009)

ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs. - Min-Young Nam; Rodolfo Pellizzoni; Lui Sha; Richard M. Bradford (ICECCS, 2009)

The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety. - Stanley Bak; Deepti K. Chivukula; Olugbemiga Adekunle; Mu Sun; Marco Caccamo; Lui Sha (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

A Formal Architecture Pattern for Real-Time Distributed Systems. - Abdullah Al-Nayeem; Mu Sun; Xiaokang Qiu; Lui Sha; Steven P. Miller; Darren D. Cofer (RTSS, 2009)

Real-Time Control of I/O COTS Peripherals for Embedded Systems. - Stanley Bak; Emiliano Betti; Rodolfo Pellizzoni; Marco Caccamo; Lui Sha (RTSS, 2009)

Rapid Early-Phase Virtual Integration. - Sibin Mohan; Min-Young Nam; Rodolfo Pellizzoni; Lui Sha; Richard M. Bradford; Shana Fliginger (RTSS, 2009)

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

A framework for the safe interoperability of medical devices in the presence of network failures. - Cheolgi Kim; Mu Sun; Sibin Mohan; Heechul Yun; Lui Sha; Tarek F. Abdelzaher (ICCPS, 2010)

A reduced complexity design pattern for distributed hierarchical command and control system. - Heechul Yun; Po-Liang Wu; Maryam Rahmaniheris; Cheolgi Kim; Lui Sha (ICCPS, 2010)

A Formal Pattern Architecture for Safe Medical Systems. - Mu Sun; José Meseguer 001; Lui Sha (WRLA, 2010)

Design of robust adaptive frequency hopping for wireless medical telemetry systems. - Kyung-Joon Park; Tae Rim Park; Christopher D. Schmitz; Lui Sha (IET Commun., 2010)

An Interleaving Structure for Guaranteed QoS in Real-Time Broadcasting Systems. - Kyungtae Kang; Lui Sha (IEEE Trans. Computers, 2010)

Resource allocation contracts for open analytic runtime models. - Min-Young Nam; Dionisio de Niz; Lutz Wrage; Lui Sha (EMSOFT, 2011)

Limiting Worst-Case End-to-End Latency When Traffic Increases in a Switched Avionics Network. - Min-Young Nam; Eunsoo Seo; Lui Sha; Kyung-Joon Park; Kyungtae Kang (RTCSA (1), 2011)

Optimizing Tunable WCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems. - Man-Ki Yoon; Jung-Eun Kim; Lui Sha (RTSS, 2011)

Deterministic Real-time Thread Scheduling - Heechul Yun; Cheolgi Kim; Lui Sha (CoRR, 2011)

System-wide energy optimization for multiple DVS components and real-time tasks. - Heechul Yun; Po-Liang Wu; Anshu Arya; Cheolgi Kim; Tarek F. Abdelzaher; Lui Sha (Real Time Syst., 2011)

A Medical-Grade Wireless Architecture for Remote Electrocardiography. - Kyungtae Kang; Kyung-Joon Park; Jae-Jin Song; Chang-Hwan Yoon; Lui Sha (IEEE Trans. Inf. Technol. Biomed., 2011)

Model-based design of a wireless telemetry system and QoS assessment using AADL. - Kyungtae Kang; Min-Young Nam; Jaemyoun Lee; Juyoung Park; Homin Yoo; Lui Sha (BIBM Workshops, 2012)

Memory Access Control in Multiprocessor for Real-Time Systems with Mixed Criticality. - Heechul Yun; Gang Yao; Rodolfo Pellizzoni; Marco Caccamo; Lui Sha (ECRTS, 2012)

Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems. - Abdullah Al-Nayeem; Lui Sha; Darren D. Cofer; Steven P. Miller (ICCPS, 2012)

Compositional Verification of Architectural Models. - Darren D. Cofer; Andrew Gacek; Steven P. Miller; Michael W. Whalen; Brian LaValley; Lui Sha (NASA Formal Methods, 2012)

How to reliably integrate medical devices over wireless. - Cheolgi Kim; Mu Sun; Maryam Rahmaniheris; Lui Sha (SECON, 2012)

S3A: Secure System Simplex Architecture for Enhanced Security of Cyber-Physical Systems - Sibin Mohan; Stanley Bak; Emiliano Betti; Heechul Yun; Lui Sha; Marco Caccamo (CoRR, 2012)

Modeling towards incremental early analyzability of networked avionics systems using virtual integration. - Min-Young Nam; Kyungtae Kang; Rodolfo Pellizzoni; Kyung-Joon Park; Jung-Eun Kim; Lui Sha (ACM Trans. Embed. Comput. Syst., 2012)

Towards organ-centric compositional development of safe networked supervisory medical systems. - Woochul Kang; Po-Liang Wu; Maryam Rahmaniheris; Lui Sha; Richard B. Berlin Jr.; Julian M. Goldman (CBMS, 2013)

Modeling and architecture design of an MDPnP acute care monitoring system. - Maryam Rahmaniheris; Woochul Kang; Lue-Jane Lee; Lui Sha; Richard B. Berlin Jr.; Julian M. Goldman (CBMS, 2013)

On-chip control flow integrity check for real time embedded systems. - Fardin Abdi Taghi Abad; Joel van der Woude; Yi Lu; Stanley Bak; Marco Caccamo; Lui Sha; Renato Mancuso 001; Sibin Mohan (CPSNA, 2013)

Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems. - Jung-Eun Kim; Man-Ki Yoon; Sungjin Im; Richard M. Bradford; Lui Sha (DATE, 2013)

Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling. - Man-Ki Yoon; Jung-Eun Kim; Richard M. Bradford; Lui Sha (DATE, 2013)

Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems. - Abdullah Al-Nayeem; Cheolgi Kim; Woochul Kang; Po-Liang Wu; Lui Sha (EMSOFT, 2013)

S3A: secure system simplex architecture for enhanced security and robustness of cyber-physical systems. - Sibin Mohan; Stanley Bak; Emiliano Betti; Heechul Yun; Lui Sha; Marco Caccamo (HiCoNS, 2013)

L1Simplex: fault-tolerant control of cyber-physical systems. - Xiaofeng Wang 007; Naira Hovakimyan; Lui Sha (ICCPS, 2013)

A low complexity coordination architecture for networked supervisory medical systems. - Po-Liang Wu; Woochul Kang; Abdullah Al-Nayeem; Lui Sha; Richard B. Berlin Jr.; Julian M. Goldman (ICCPS, 2013)

SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems. - Man-Ki Yoon; Sibin Mohan; Jaesik Choi; Jung-Eun Kim; Lui Sha (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms. - Heechul Yun; Gang Yao; Rodolfo Pellizzoni; Marco Caccamo; Lui Sha (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

Keynote: "Re-engineering acute care". - Lui Sha (RTCSA, 2013)

Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound. - Kyungtae Kang; Kyung-Joon Park; Lui Sha; Qixin Wang (Real Time Syst., 2013)

Real-Time I/O Management System with COTS Peripherals. - Emiliano Betti; Stanley Bak; Rodolfo Pellizzoni; Marco Caccamo; Lui Sha (IEEE Trans. Computers, 2013)

NetSimplex: Controller Fault Tolerance Architecture in Networked Control Systems. - Jianguo Yao; Xue Liu 001; Guchuan Zhu; Lui Sha (IEEE Trans. Ind. Informatics, 2013)

Design and QoS of a Wireless System for Real-Time Remote Electrocardiography. - Kyungtae Kang; Junhee Ryu; Junbeom Hur; Lui Sha (IEEE J. Biomed. Health Informatics, 2013)

Model-Based Analysis of Wireless System Architectures for Real-Time Applications. - Kyungtae Kang; Min-Young Nam; Lui Sha (IEEE Trans. Mob. Comput., 2013)

Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems. - Jung-Eun Kim; Man-Ki Yoon; Richard M. Bradford; Lui Sha (COMPSAC, 2014)

A Treatment Validation Protocol for Cyber-Physical-Human Medical Systems. - Po-Liang Wu; Dhashrath Raguraman; Lui Sha; Richard B. Berlin Jr.; Julian M. Goldman (EUROMICRO-SEAA, 2014)

WiP abstract: A treatment coordination protocol for cyber-physical-human medical systems. - Po-Liang Wu; Dhashrath Raguraman; Lui Sha; Richard B. Berlin Jr.; Julian M. Goldman (ICCPS, 2014)

qPALS: Quality-Aware Synchrony Protocol for Distributed Real-Time Systems. - Woochul Kang; Lui Sha (KSII Trans. Internet Inf. Syst., 2014)

Guaranteeing the End-to-End Latency of an IMA System with an Increasing Workload. - Min-Young Nam; Jaemyoun Lee; Kyung-Joon Park; Lui Sha; Kyungtae Kang (IEEE Trans. Computers, 2014)

Memory heat map: anomaly detection in real-time embedded systems using memory behavior. - Man-Ki Yoon; Lui Sha; Sibin Mohan; Jaesik Choi (DAC, 2015)

Schedulability bound for integrated modular avionics partitions. - Jung-Eun Kim; Tarek F. Abdelzaher; Lui Sha (DATE, 2015)

WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence. - Renato Mancuso 001; Rodolfo Pellizzoni; Marco Caccamo; Lui Sha; Heechul Yun (ECRTS, 2015)

Safe Workflow Adaptation and Validation Protocol for Medical Cyber-Physical Systems. - Po-Liang Wu; Lui Sha; Richard B. Berlin Jr.; Julian M. Goldman (EUROMICRO-SEAA, 2015)

Exploiting structured human interactions to enhance estimation accuracy in cyber-physical systems. - Yunlong Gao; Shaohan Hu; Renato Mancuso 001; Hongwei Wang; Minje Kim; Po-Liang Wu; Lu Su 001; Lui Sha; Tarek F. Abdelzaher (ICCPS, 2015)

SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces. - Mohammad Hosseini 002; Yu Jiang 001; Po-Liang Wu; Richard B. Berlin Jr.; Lui Sha (ARM@Middleware, 2015)

Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model. - Jung-Eun Kim; Tarek F. Abdelzaher; Lui Sha (RTAS, 2015)

Medical-Grade Quality of Service for Real-Time Mobile Healthcare. - Kyungtae Kang; Qixin Wang; Junbeom Hur; Kyung-Joon Park; Lui Sha (Computer, 2015)

Intrusion Detection Using Execution Contexts Learned from System Call Distributions of Real-Time Embedded Systems. - Man-Ki Yoon; Sibin Mohan; Jaesik Choi; Mihai Christodorescu; Lui Sha (CoRR, 2015)

Worst Case Analysis of Packet Delay in Avionics Systems for Environmental Monitoring. - Kyungtae Kang; Min-Young Nam; Lui Sha (IEEE Syst. J., 2015)

The Design of Safe Networked Supervisory Medical Systems Using Organ-Centric Hierarchical Control Architecture. - Woochul Kang; Lui Sha; Richard B. Berlin Jr.; Julian M. Goldman (IEEE J. Biomed. Health Informatics, 2015)

An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity. - Zuxing Gu; Hong Song; Yu Jiang 001; Jeonghone Choi; Hongjiang He; Lui Sha; Ming Gu 001 (BIBM, 2016)

A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient. - Yu Jiang 001; Pengliu Tan; Houbing Song; Binhua Wan; Mohammad Hosseini 002; Lui Sha (CBMS, 2016)

An Organ-Centric Best Practice Assist System for Acute Care. - Maryam Rahmaniheris; Po-Liang Wu; Lui Sha; Richard R. Berlin (CBMS, 2016)

Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. - Yu Jiang 001; Han Liu 010; Houbing Song; Hui Kong 004; Ming Gu 001; Jiaguang Sun 001; Lui Sha (FM, 2016)

Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. - Chunhui Guo; Shangping Ren; Yu Jiang 001; Po-Liang Wu; Lui Sha; Richard B. Berlin Jr. (ICCPS, 2016)

Use runtime verification to improve the quality of medical care practice. - Yu Jiang 001; Han Liu 010; Hui Kong 004; Rui Wang 024; Mohammad Hosseini 002; Jia-Guang Sun 001; Lui Sha (ICSE (Companion Volume), 2016)

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. - Yu Jiang 001; Yixiao Yang; Han Liu 010; Hui Kong 004; Ming Gu 001; Jia-Guang Sun 001; Lui Sha (RTAS, 2016)

TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems. - Man-Ki Yoon; Sibin Mohan; Chien-Ying Chen; Lui Sha (RTAS, 2016)

On Maximizing Quality of Information for the Internet of Things: A Real-Time Scheduling Perspective (Invited Paper). - Jung-Eun Kim; Tarek F. Abdelzaher; Lui Sha; Amotz Bar-Noy; Reginald L. Hobbs; William Dron (RTCSA, 2016)

Sporadic Decision-Centric Data Scheduling with Normally-off Sensors. - Jung-Eun Kim; Tarek F. Abdelzaher; Lui Sha; Amotz Bar-Noy; Reginald L. Hobbs (RTSS, 2016)

Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems. - Andrew Y.-Z. Ou; Yu Jiang 001; Po-Liang Wu; Lui Sha; Richard B. Berlin Jr. (SMC, 2016)

The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection. - Man-Ki Yoon; Mihai Christodorescu; Lui Sha; Sibin Mohan (SYSTOR, 2016)

Real-Time Computing on Multicore Processors. - Lui Sha; Marco Caccamo; Renato Mancuso 001; Jung-Eun Kim; Man-Ki Yoon; Rodolfo Pellizzoni; Heechul Yun; Russell Kegley; Dennis R. Perlman; Greg Arundale; Richard M. Bradford (Computer, 2016)

Model-Driven Design of Clinical Guidance Systems. - Maryam Rahmaniheris; Yu Jiang 001; Lui Sha (CoRR, 2016)

A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. - Mohammad Hosseini 002; Yu Jiang 001; Po-Liang Wu; Richard B. Berlin Jr.; Shangping Ren; Lui Sha (J. Medical Syst., 2016)

Sepsis Patient Detection and Monitor Based on Auto-BN. - Yu Jiang 001; Lui Sha; Maryam Rahmaniheris; Binhua Wan; Mohammad Hosseini 002; Pengliu Tan; Richard B. Berlin Jr. (J. Medical Syst., 2016)

Schedulability Analysis for Memory Bandwidth Regulated Multicore Real-Time Systems. - Gang Yao; Heechul Yun; Zheng Pei Wu; Rodolfo Pellizzoni; Marco Caccamo; Lui Sha (IEEE Trans. Computers, 2016)

Memory Bandwidth Management for Efficient Performance Isolation in Multi-Core Platforms. - Heechul Yun; Gang Yao; Rodolfo Pellizzoni; Marco Caccamo; Lui Sha (IEEE Trans. Computers, 2016)

Real-Time Reachability for Verified Simplex Design. - Taylor T. Johnson; Stanley Bak; Marco Caccamo; Lui Sha (ACM Trans. Embed. Comput. Syst., 2016)

Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design. - Zhicheng Fu; Chunhui Guo; Shangping Ren; Yizong Ou; Lui Sha (CBMS, 2017)

Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. - Chunhui Guo; Zhicheng Fu; Shangping Ren; Yu Jiang 001; Maryam Rahmaniheris; Lui Sha (CBMS, 2017)

CPS Runtime Architecture And Automated Transformation of Applications. - Lui Sha (FEAST@CCS, 2017)

Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport. - Mohammad Hosseini 002; Richard R. Berlin; Yu Jiang 001; Lui Sha (CHASE, 2017)

Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. - Chunhui Guo; Zhicheng Fu; Shangping Ren; Yu Jiang 001; Lui Sha (COMPSAC (1), 2017)

Modeling and integrating physical environment assumptions in medical cyber-physical system design. - Zhicheng Fu; Chunhui Guo; Shangping Ren; Yu Jiang 001; Lui Sha (DATE, 2017)

A schedulability test for software migration on multicore system. - Jung-Eun Kim; Richard M. Bradford; Tarek F. Abdelzaher; Lui Sha (DATE, 2017)

Model and integrate medical resource availability into verifiably correct executable medical guidelines. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (ICCAD, 2017)

Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols. - Andrew Y.-Z. Ou; Maryam Rahmaniheris; Yu Jiang 001; Po-Liang Wu; Lui Sha (ICCAD, 2017)

A physiology-aware communication architecture for distributed emergency medical CPS. - Mohammad Hosseini 002; Richard R. Berlin; Lui Sha (ICCPS, 2017)

VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems. - Man-Ki Yoon; Bo Liu 044; Naira Hovakimyan; Lui Sha (ICCPS, 2017)

Study of Software-Related Causes in the FDA Medical Device Recalls. - Zhicheng Fu; Chunhui Guo; Shangping Ren; Yu Jiang 001; Lui Sha (ICECCS, 2017)

Physiology-Aware Rural Ambulance Routing. - Mohammad Hosseini 002; Richard B. Berlin Jr.; Lui Sha (ICHI, 2017)

Learning Execution Contexts from System Call Distribution for Anomaly Detection in Smart Embedded System. - Man-Ki Yoon; Sibin Mohan; Jaesik Choi; Mihai Christodorescu; Lui Sha (IoTDI, 2017)

A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. - Mohammad Hosseini 002; Yu Jiang 001; Ali Yekkehkhany; Richard R. Berlin; Lui Sha (MMSys, 2017)

Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. - Mohammad Hosseini 002; Yu Jiang 001; Richard R. Berlin; Lui Sha; Houbing Song (CoRR, 2017)

Communication and Synchronization of Distributed Medical Models: Design, Development, and Performance Analysis. - Mohammad Hosseini 002; Richard Berlin 001; Lui Sha; Axel Terfloth; Houbing Song (CoRR, 2017)

Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems. - Andrew Y.-Z. Ou; Yu Jiang 001; Po-Liang Wu; Lui Sha; Richard B. Berlin Jr. (J. Medical Syst., 2017)

Supporting Emergency Medical Care Teams with an Integrated Status Display Providing Real-Time Access to Medical Best Practices, Workflow Tracking, and Patient Data. - Po-Liang Wu; Min-Young Nam; Jeonghwan Choi; Alex Kirlik; Lui Sha; Richard B. Berlin Jr. (J. Medical Syst., 2017)

On Exploiting Structured Human Interactions to Enhance Sensing Accuracy in Cyber-physical Systems. - Hongwei Wang; Yunlong Gao; Shaohan Hu; Shiguang Wang; Renato Mancuso 001; Minje Kim; Po-Liang Wu; Lu Su 001; Lui Sha; Tarek F. Abdelzaher (ACM Trans. Cyber Phys. Syst., 2017)

Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. - Yu Jiang 001; Houbing Song; Rui Wang 024; Ming Gu 001; Jiaguang Sun 001; Lui Sha (IEEE Trans. Ind. Informatics, 2017)

Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. - Mohammad Hosseini 002; Yu Jiang 001; Richard R. Berlin; Lui Sha; Houbing Song (IEEE Trans. Multim., 2017)

IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system. - Zhicheng Fu; Zhao Wang; Chunhui Guo; Zhenyu Zhang 009; Shangping Ren; Lui Sha (DAC, 2018)

Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (ICCPS, 2018)

Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP. - Andrew Yi-Zong Ou; Maryam Rahmaniheris; Yu Jiang 001; Lui Sha; Zhicheng Fu; Shangping Ren (SAC, 2018)

A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases. - Zuxing Gu; Yu Jiang 001; Min Zhou 001; Ming Gu 001; Xiaoyu Song; Lui Sha (IEEE Access, 2018)

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report). - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (CoRR, 2018)

Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version). - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (CoRR, 2018)

Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (CoRR, 2018)

Athena: Towards Decision-Centric Anticipatory Sensor Information Delivery. - Jongdeog Lee; Kelvin Marcus; Tarek F. Abdelzaher; Md. Tanvir Al Amin; Amotz Bar-Noy; William Dron; Ramesh Govindan; Reginald L. Hobbs; Shaohan Hu; Jung-Eun Kim; Lui Sha; Shuochao Yao; et al. (J. Sens. Actuator Networks, 2018)

RSimplex: A Robust Control Architecture for Cyber And Physical Failures. - Xiaofeng Wang 007; Naira Hovakimyan; Lui Sha (ACM Trans. Cyber Phys. Syst., 2018)

Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. - Yu Jiang 001; Han Liu 010; Houbing Song; Hui Kong 004; Rui Wang 024; Yong Guan; Lui Sha (IEEE Trans. Intell. Transp. Syst., 2018)

A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems. - Jiyang Chen; Zhiwei Feng; Jen-Yang Wen; Bo Liu 044; Lui Sha (DATE, 2019)

Towards Resilient UAV: Escape Time in GPS Denied Environment with Sensor Drift. - Hyung-Jin Yoon; Wenbin Wan; Hunmin Kim; Naira Hovakimyan; Lui Sha; Petros G. Voulgaris (CoRR, 2019)

Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (CoRR, 2019)

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (IEEE Internet Things J., 2019)

Decision-driven scheduling. - Jung-Eun Kim; Tarek F. Abdelzaher; Lui Sha; Amotz Bar-Noy; Reginald L. Hobbs; William Dron (Real Time Syst., 2019)

Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. - Yu Jiang 001; Houbing Song; Yixiao Yang; Han Liu 010; Ming Gu 001; Yong Guan; Jiaguang Sun 001; Lui Sha (ACM Trans. Cyber Phys. Syst., 2019)

A Safety Constrained Control Framework for UAVs in GPS Denied Environment. - Wenbin Wan; Hunmin Kim; Naira Hovakimyan; Lui Sha; Petros G. Voulgaris (CDC, 2020)

SCE-Comm: A Real-Time Inter-Core Communication Framework for Strictly Partitioned Multi-core Processors. - Rohan Tabish; Jen-Yang Wen; Rodolfo Pellizzoni; Renato Mancuso 001; Heechul Yun; Marco Caccamo; Lui Sha (MECO, 2020)

On Removing Algorithmic Priority Inversion from Mission-critical Machine Inference Pipelines. - Shengzhong Liu; Shuochao Yao; Xinzhe Fu; Rohan Tabish; Simon Yu; Ayoosh Bansal; Heechul Yun; Lui Sha; Tarek F. Abdelzaher (RTSS, 2020)

Safety Constrained Multi-UAV Time Coordination: A Bi-level Control Framework in GPS Denied Environment. - Wenbin Wan; Hunmin Kim; Yikun Cheng; Naira Hovakimyan; Petros G. Voulgaris; Lui Sha (CoRR, 2020)

Finite-Time Model-Learning Based L1-Simplex For Integrated TCS and ABS. - Yanbing Mao; Naira Hovakimyan; Petros G. Voulgaris; Lui Sha (CoRR, 2020)

Finite-Time Model Inference From A Single Noisy Trajectory. - Yanbing Mao; Naira Hovakimyan; Petros G. Voulgaris; Lui Sha (CoRR, 2020)

A framework for supporting the development of verifiably safe medical best practice guideline systems. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (J. Syst. Archit., 2020)

UACFinder: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models. - Zhicheng Fu; Chunhui Guo; Zhenyu Zhang 009; Shangping Ren; Lui Sha (ACM Trans. Cyber Phys. Syst., 2020)

Backup Plan Constrained Model Predictive Control. - Hunmin Kim; Hyung-Jin Yoon; Wenbin Wan; Naira Hovakimyan; Lui Sha; Petros G. Voulgaris (CDC, 2021)

Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles. - Ayoosh Bansal; Jayati Singh; Micaela Verucchi; Marco Caccamo; Lui Sha (MECO, 2021)

SchedGuard: Protecting against Schedule Leaks Using Linux Containers. - Jiyang Chen; Tomasz Kloda; Ayoosh Bansal; Rohan Tabish; Chien-Ying Chen; Bo Liu 044; Sibin Mohan; Marco Caccamo; Lui Sha (RTAS, 2021)

LiDAR Cluster First and Camera Inference Later: A New Perspective Towards Autonomous Driving. - Jiyang Chen; Simon Yu; Rohan Tabish; Ayoosh Bansal; Shengzhong Liu; Tarek F. Abdelzaher; Lui Sha (CoRR, 2021)

An Analyzable Inter-core Communication Framework for High-Performance Multicore Embedded Systems. - Rohan Tabish; Jen-Yang Wen; Rodolfo Pellizzoni; Renato Mancuso 001; Heechul Yun; Marco Caccamo; Lui Raymond Sha (J. Syst. Archit., 2021)

Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems. - Long Cheng 005; Ke Tian; Danfeng Daphne Yao; Lui Sha; Raheem A. Beyah (IEEE Trans. Dependable Secur. Comput., 2021)

Latency analysis of self-suspending task chains. - Tomasz Kloda; Jiyang Chen; Antoine Bertout; Lui Sha; Marco Caccamo (DATE, 2022)

Verifiable Obstacle Detection. - Ayoosh Bansal; Hunmin Kim; Simon Yu; Bo Li 026; Naira Hovakimyan; Marco Caccamo; Lui Sha (ISSRE, 2022)

Self-Cueing Real-Time Attention Scheduling in Criticality-Aware Visual Machine Perception. - Shengzhong Liu; Xinzhe Fu; Maggie B. Wigness; Philip David; Shuochao Yao; Lui Sha; Tarek F. Abdelzaher (RTAS, 2022)

Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles. - Ayoosh Bansal; Simon Yu; Hunmin Kim; Bo Li 026; Naira Hovakimyan; Marco Caccamo; Lui Sha (CoRR, 2022)

Phy-Taylor: Physics-Model-Based Deep Neural Networks. - Yanbing Mao; Lui Sha; Huajie Shao; Yuliang Gu; Qixin Wang; Tarek F. Abdelzaher (CoRR, 2022)

Real-Time Task Scheduling for Machine Perception in Intelligent Cyber-Physical Systems. - Shengzhong Liu; Shuochao Yao; Xinzhe Fu; Huajie Shao; Rohan Tabish; Simon Yu; Ayoosh Bansal; Heechul Yun; Lui Sha; Tarek F. Abdelzaher (IEEE Trans. Computers, 2022)

Physics-Model-Regulated Deep Reinforcement Learning Towards Safety & Stability Guarantees. - Hongpeng Cao; Yanbing Mao; Lui Sha; Marco Caccamo (CDC, 2023)

MediK: Towards Safe Guideline-based Clinical Decision Support. - Manasvi Saxena; Shuang Song; Lui Sha (FMCAD, 2023)

Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems. - Shuang Song; Manasvi Saxena; Pei-Hsuan Tsai; Lui Sha (SMC, 2023)

Physical Deep Reinforcement Learning Towards Safety Guarantee. - Hongpeng Cao; Yanbing Mao; Lui Sha; Marco Caccamo (CoRR, 2023)

Physical Deep Reinforcement Learning: Safety and Unknown Unknowns. - Hongpeng Cao; Yanbing Mao; Lui Sha; Marco Caccamo (CoRR, 2023)

Backup Plan Constrained Model Predictive Control with Guaranteed Stability. - Ran Tao; Hunmin Kim; Hyung-Jin Yoon; Wenbin Wan; Naira Hovakimyan; Lui Sha; Petros G. Voulgaris (CoRR, 2023)

Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing. - Ayoosh Bansal; Yang Zhao; James Zhu; Sheng Cheng 001; Yuliang Gu; Hyung-Jin Yoon; Hunmin Kim; Naira Hovakimyan; Lui Sha (CoRR, 2023)

Generalized self-cueing real-time attention scheduling with intermittent inspection and image resizing. - Shengzhong Liu; Xinzhe Fu; Yigong Hu; Maggie B. Wigness; Philip David; Shuochao Yao; Lui Sha; Tarek F. Abdelzaher (Real Time Syst., 2023)

SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors. - Jiyang Chen; Tomasz Kloda; Rohan Tabish; Ayoosh Bansal; Chien-Ying Chen; Bo Liu 044; Sibin Mohan; Marco Caccamo; Lui Sha (ACM Trans. Cyber Phys. Syst., 2023)

Sℒ1-Simplex: Safe Velocity Regulation of Self-Driving Vehicles in Dynamic and Unforeseen Environments. - Yanbing Mao; Yuliang Gu; Naira Hovakimyan; Lui Sha; Petros G. Voulgaris (ACM Trans. Cyber Phys. Syst., 2023)

Robust vehicle lane keeping control with networked proactive adaptation. - Hunmin Kim; Wenbin Wan; Naira Hovakimyan; Lui Sha; Petros G. Voulgaris (Artif. Intell., 2023)

Physics-Regulated Deep Reinforcement Learning: Invariant Embeddings. - Hongpeng Cao; Yanbing Mao; Lui Sha; Marco Caccamo (ICLR, 2024)

Simplex-enabled Safe Continual Learning Machine. - Yihao Cai; Hongpeng Cao; Yanbing Mao; Lui Sha; Marco Caccamo (CoRR, 2024)

Bayesian Data Augmentation and Training for Perception DNN in Autonomous Aerial Vehicles. - Ashik E. Rasul; Humaira Tasnim; Hyung-Jin Yoon; Ayoosh Bansal; Duo Wang; Naira Hovakimyan; Lui Sha; Petros G. Voulgaris (CoRR, 2024)

Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis. - Ayoosh Bansal; Duo Wang; Mikael Yeghiazaryan; Yangge Li; Chuyuan Tao; Hyung-Jin Yoon; Prateek Arora; Christos Papachristos; Petros G. Voulgaris; Sayan Mitra; Lui Sha; Naira Hovakimyan (CoRR, 2024)

Physics-model-guided Worst-case Sampling for Safe Reinforcement Learning. - Hongpeng Cao; Yanbing Mao; Lui Sha; Marco Caccamo (CoRR, 2024)

Taming Algorithmic Priority Inversion in Mission-Critical Perception Pipelines. - Shengzhong Liu; Shuochao Yao; Xinzhe Fu; Rohan Tabish; Simon Yu; Ayoosh Bansal; Heechul Yun; Lui Sha; Tarek F. Abdelzaher (Commun. ACM, 2024)

Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults. - Ayoosh Bansal; Hunmin Kim; Simon Yu; Bo Li 026; Naira Hovakimyan; Marco Caccamo; Lui Sha (Softw. Test. Verification Reliab., 2024)

Accelerating Neural ODEs: A Variational Formulation-based Approach. - Hongjue Zhao; Yuchen Wang; Hairong Qi 001; Zijie Huang 002; Han Zhao 002; Lui Sha; Huajie Shao (ICLR, 2025)

Neural Probabilistic Circuits: Enabling Compositional and Interpretable Predictions through Logical Reasoning. - Weixin Chen; Simon Yu; Huajie Shao; Lui Sha; Han Zhao 002 (CoRR, 2025)

Phy-Taylor: Partially Physics-Knowledge-Enhanced Deep Neural Networks via NN Editing. - Yanbing Mao; Yuliang Gu; Lui Sha; Huajie Shao; Qixin Wang; Tarek F. Abdelzaher (IEEE Trans. Neural Networks Learn. Syst., 2025)

Runtime Learning of Quadruped Robots in Wild Environments. - Yihao Cai; Yanbing Mao; Lui Sha; Hongpeng Cao; Marco Caccamo (CoRR, 2025)