| 2025 | ICLR | Accelerating Neural ODEs: A Variational Formulation-based Approach. | Hongjue Zhao, Yuchen Wang, Hairong Qi, Zijie Huang, Han Zhao, Lui Sha, Huajie Shao |
| 2024 | ICLR | Physics-Regulated Deep Reinforcement Learning: Invariant Embeddings. | Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo |
| 2023 | FMCAD | MediK: Towards Safe Guideline-based Clinical Decision Support. | Manasvi Saxena, Shuang Song, Lui Sha |
| 2023 | SMC | Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems. | Shuang Song, Manasvi Saxena, Pei-Hsuan Tsai, Lui Sha |
| 2022 | DATE | Latency analysis of self-suspending task chains. | Tomasz Kloda, Jiyang Chen, Antoine Bertout, Lui Sha, Marco Caccamo |
| 2022 | ISSRE | Verifiable Obstacle Detection. | Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha |
| 2022 | RTAS | 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 |
| 2021 | RTAS | SchedGuard: Protecting against Schedule Leaks Using Linux Containers. | Jiyang Chen, Tomasz Kloda, Ayoosh Bansal, Rohan Tabish, Chien-Ying Chen, Bo Liu, Sibin Mohan, Marco Caccamo, Lui Sha |
| 2020 | RTSS | 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 |
| 2019 | DATE | A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems. | Jiyang Chen, Zhiwei Feng, Jen-Yang Wen, Bo Liu, Lui Sha |
| 2018 | DAC | Untitled record | Zhicheng Fu, Zhao Wang, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha |
| 2018 | SAC | Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP. | Andrew Yi-Zong Ou, Maryam Rahmaniheris, Yu Jiang, Lui Sha, Zhicheng Fu, Shangping Ren |
| 2017 | CBMS | Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design. | Zhicheng Fu, Chunhui Guo, Shangping Ren, Yizong Ou, Lui Sha |
| 2017 | CBMS | Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. | Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Maryam Rahmaniheris, Lui Sha |
| 2017 | CCS | CPS Runtime Architecture And Automated Transformation of Applications. | Lui Sha |
| 2017 | CHASE | Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport. | Mohammad Hosseini, Richard R. Berlin, Yu Jiang, Lui Sha |
| 2017 | COMPSAC | Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. | Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Lui Sha |
| 2017 | DATE | Modeling and integrating physical environment assumptions in medical cyber-physical system design. | Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha |
| 2017 | DATE | A schedulability test for software migration on multicore system. | Jung-Eun Kim, Richard M. Bradford, Tarek F. Abdelzaher, Lui Sha |
| 2017 | ICCAD | Model and integrate medical resource availability into verifiably correct executable medical guidelines. | Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha |
| 2017 | ICCAD | Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols. | Andrew Y.-Z. Ou, Maryam Rahmaniheris, Yu Jiang, Po-Liang Wu, Lui Sha |
| 2017 | ICECCS | Study of Software-Related Causes in the FDA Medical Device Recalls. | Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha |
| 2017 | MMSys | A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. | Mohammad Hosseini, Yu Jiang, Ali Yekkehkhany, Richard R. Berlin, Lui Sha |
| 2016 | CBMS | A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient. | Yu Jiang, Pengliu Tan, Houbing Song, Binhua Wan, Mohammad Hosseini, Lui Sha |
| 2016 | CBMS | An Organ-Centric Best Practice Assist System for Acute Care. | Maryam Rahmaniheris, Po-Liang Wu, Lui Sha, Richard R. Berlin |
| 2016 | FM | Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. | Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha |
| 2016 | ICSE | Use runtime verification to improve the quality of medical care practice. | Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha |
| 2016 | SMC | Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems. | Andrew Y.-Z. Ou, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr. |
| 2016 | RTSS | Sporadic Decision-Centric Data Scheduling with Normally-off Sensors. | Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha, Amotz Bar-Noy, Reginald L. Hobbs |
| 2016 | RTAS | From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. | Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha |
| 2016 | RTAS | 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 |
| 2016 | RTCSA | 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 |
| 2016 | SYSTOR | The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection. | Man-Ki Yoon, Mihai Christodorescu, Lui Sha, Sibin Mohan |
| 2015 | DAC | Memory heat map: anomaly detection in real-time embedded systems using memory behavior. | Man-Ki Yoon, Lui Sha, Sibin Mohan, Jaesik Choi |
| 2015 | DATE | Schedulability bound for integrated modular avionics partitions. | Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha |
| 2015 | ECRTS | WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence. | Renato Mancuso, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha, Heechul Yun |
| 2015 | Middleware | SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces. | Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Lui Sha |
| 2015 | RTAS | Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model. | Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha |
| 2014 | COMPSAC | 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 |
| 2014 | RTSS | Real-Time Reachability for Verified Simplex Design. | Stanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha |
| 2013 | CBMS | 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 |
| 2013 | CBMS | 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 |
| 2013 | DATE | 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 |
| 2013 | DATE | Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling. | Man-Ki Yoon, Jung-Eun Kim, Richard M. Bradford, Lui Sha |
| 2013 | EMSOFT | Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems. | Abdullah Al-Nayeem, Cheolgi Kim, Woochul Kang, Po-Liang Wu, Lui Sha |
| 2013 | RTAS | SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems. | Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Jung-Eun Kim, Lui Sha |
| 2013 | RTAS | MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms. | Heechul Yun, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha |
| 2013 | RTCSA | Keynote: "Re-engineering acute care". | Lui Sha |
| 2012 | ECRTS | Memory Access Control in Multiprocessor for Real-Time Systems with Mixed Criticality. | Heechul Yun, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha |
| 2012 | SECON | How to reliably integrate medical devices over wireless. | Cheolgi Kim, Mu Sun, Maryam Rahmaniheris, Lui Sha |
| 2011 | EMSOFT | Resource allocation contracts for open analytic runtime models. | Min-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha |
| 2011 | RTSS | Optimizing Tunable WCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems. | Man-Ki Yoon, Jung-Eun Kim, Lui Sha |
| 2011 | RTCSA | 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 |
| 2010 | DAC | Cyber-physical systems: the next computing revolution. | Ragunathan Rajkumar, Insup Lee, Lui Sha, John A. Stankovic |
| 2010 | ECRTS | System-Wide Energy Optimization for Multiple DVS Components and Real-Time Tasks. | Heechul Yun, Po-Liang Wu, Anshu Arya, Tarek F. Abdelzaher, Cheolgi Kim, Lui Sha |
| 2009 | EMSOFT | 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 |
| 2009 | ICECCS | ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs. | Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford |
| 2009 | RTSS | A Formal Architecture Pattern for Real-Time Distributed Systems. | Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer |
| 2009 | RTSS | Real-Time Control of I/O COTS Peripherals for Embedded Systems. | Stanley Bak, Emiliano Betti, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha |
| 2009 | RTSS | Rapid Early-Phase Virtual Integration. | Sibin Mohan, Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford, Shana Fliginger |
| 2009 | RTAS | 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 |
| 2008 | ECRTS | ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems. | Xue Liu, Hui Ding, Kihwal Lee, Qixin Wang, Lui Sha |
| 2008 | RTSS | Coscheduling of CPU and I/O Transactions in COTS-Based Embedded Systems. | Rodolfo Pellizzoni, Bach Duy Bui, Marco Caccamo, Lui Sha |
| 2008 | RTAS | A Switch Design for Real-Time Industrial Networks. | Qixin Wang, Sathish Gopalakrishnan, Xue Liu, Lui Sha |
| 2008 | RTCSA | Impact of Cache Partitioning on Multi-tasking Real Time Embedded Systems. | Bach Duy Bui, Marco Caccamo, Lui Sha, Joseph Martinez |
| 2007 | RTSS | 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 |
| 2007 | RTSS | GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications. | Qixin Wang, Xue Liu, Jennifer C. Hou, Lui Sha |
| 2006 | DSN | Static Analysis to Enforce Safe Value Flow in Embedded Control Systems. | Sumant Kowshik, Grigore Rosu, Lui Sha |
| 2006 | ECRTS | The Dependency Management Framework: A Case Study of the ION CubeSat. | Hui Ding, Leon Arber, Lui Sha, Marco Caccamo |
| 2006 | NOMS | Adaptive Control of Multi-Tiered Web Applications Using Queueing Predictor. | Xue Liu, Jin Heo, Lui Sha, Xiaoyun Zhu |
| 2006 | SMC | I-Living: An Open System Architecture for Assisted Living. | Qixin Wang, Wook Shin, Xue Liu, Zheng Zeng, Cham Oh, Bedoor K. AlShebli, Marco Caccamo, Carl A. Gunter, Elsa L. Gunter, Jennifer C. Hou, Karrie Karahalios, Lui Sha |
| 2006 | RTSS | A Pattern for Adaptive Behavior in Safety-Critical, Real-Time Middleware. | Tanya L. Crenshaw, Craig L. Robinson, Hui Ding, P. R. Kumar, Lui Sha |
| 2006 | RTAS | Switch Scheduling and Network Design for Real-Time Systems. | Sathish Gopalakrishnan, Marco Caccamo, Lui Sha |
| 2005 | DSN | Co-Design Based Approach to Improve Robustness in Networked Control Systems. | Sumant Kowshik, Girish Baliga, Scott R. Graham, Lui Sha |
| 2005 | MASCOTS | Modeling 3-Tiered Web Applications. | Xue Liu, Jin Heo, Lui Sha |
| 2005 | MASS | MAC layer support for group communication in wireless sensor networks. | Rong Zheng, Lui Sha, Wei Feng |
| 2005 | WWW | Improved timing control for web server systems using internal state information. | Xue Liu, Rong Zheng, Jin Heo, Lui Sha |
| 2005 | RTSS | Dependency Algebra: A Tool for Designing Robust Real-Time Systems. | Hui Ding, Lui Sha |
| 2005 | RTAS | Process Resurrection: A Fast Recovery Mechanism for Real-Time Embedded Systems. | Kihwal Lee, Lui Sha |
| 2005 | RTCSA | A Dependable Online Testing and Upgrade Architecture for Real-Time Embedded Systems. | Kihwal Lee, Lui Sha |
| 2004 | GLOBECOM | On time-out driven power management policies in wireless networks. | Rong Zheng, Jennifer C. Hou, Lui Sha |
| 2004 | ISORC | Etherware: Domainware for Wireless Control Networks. | Girish Baliga, Scott R. Graham, Lui Sha, P. R. Kumar |
| 2004 | MASS | Time indexing in sensor networks. | Rong Zheng, Guanghui He, Indranil Gupta, Lui Sha |
| 2004 | RTSS | Finite-Horizon Scheduling of Radar Dwells with Online Template Construction. | Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng Shih, Chang-Gun Lee, Lui Sha |
| 2004 | RTSS | Hard Real-Time Communication in Bus-Based Networks. | Sathish Gopalakrishnan, Lui Sha, Marco Caccamo |
| 2004 | RTSS | Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors. | Qixin Wang, Rong Zheng, Ajay Tirumala, Xue Liu, Lui Sha |
| 2003 | ICNP | Dynamic Clustering for Acoustic Target Tracking in Wireless Sensor Networks. | Wei-Peng Chen, Jennifer C. Hou, Lui Sha |
| 2003 | INFOCOM | Design and Analysis of an MST-Based Topology Control Algorithm. | Ning Li, Jennifer C. Hou, Lui Sha |
| 2003 | IWQoS | Online Response Time Optimization of Apache Web Server. | Xue Liu, Lui Sha, Yixin Diao, Steve Froehlich, Joseph L. Hellerstein, Sujay S. Parekh |
| 2003 | MOBIHOC | Asynchronous wakeup for ad hoc networks. | Rong Zheng, Jennifer C. Hou, Lui Sha |
| 2003 | SEKE | Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. | Hui Ding, Can Zheng, Lui Sha, Gul Agha |
| 2003 | RTSS | Radar Dwell Scheduling Considering Physical Characteristics of Phased Array Antenna. | Chang-Gun Lee, Phil-Su Kang, Chi-Sheng Shih, Lui Sha |
| 2003 | RTSS | Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor Networks. | Xue Liu, Qixin Wang, Lui Sha, Wenbo He |
| 2003 | RTSS | Scheduling Real-Time Dwells Using Tasks with Synthetic Periods. | Chi-Sheng Shih, Sathish Gopalakrishnan, Phanindra Ganti, Marco Caccamo, Lui Sha |
| 2003 | RTAS | Feedback Control with Queueing-Theoretic Prediction for Relative Delay Guarantees in Web Servers. | Ying Lu, Tarek F. Abdelzaher, Chenyang Lu, Lui Sha, Xue Liu |
| 2003 | RTAS | Template-Based Real-Time Dwell Scheduling with Energy Constraint. | Chi-Sheng Shih, Sathish Gopalakrishnan, Phanindra Ganti, Marco Caccamo, Lui Sha |
| 2003 | RTCSA | Real-Time Virtual Machines for Avionics Software Porting and Development. | Lui Sha |
| 2002 | EMSOFT | Upgrading Embedded Software in the Field: Dependability and Survivability. | Lui Sha |
| 2002 | RTSS | An Implicit Prioritized Access Protocol for Wireless Sensor Networks. | Marco Caccamo, Lynn Y. Zhang, Lui Sha, Giorgio C. Buttazzo |
| 2002 | RTSS | Queueing Model Based Network Server Performance Control. | Lui Sha, Xue Liu |
| 2001 | RTSS | Aperiodic Servers with Resource Constraints. | Marco Caccamo, Lui Sha |
| 2001 | RTSS | Service Class-Based Online QoS Management in Surveillance Radar Systems. | Chang-Gun Lee, Chi-Sheng Shih, Lui Sha |
| 2001 | RTAS | Scheduling Tasks With Variable Deadlines. | Chi-Sheng Shih, Lui Sha, Jane W.-S. Liu |
| 2000 | ECRTS | Elastic feedback control. | Marco Caccamo, Giorgio C. Buttazzo, Lui Sha |
| 2000 | RTSS | Capacity Sharing for Overrun Control. | Marco Caccamo, Giorgio C. Buttazzo, Lui Sha |
| 2000 | RTAS | Integration of CORBA Services with a Dynamic Real-Time Architecture. | Andreas Polze, Janek Schwarz, Kristopher Wehner, Lui Sha |
| 1999 | RTSS | On Scheduling Tasks in Reliable Real-Time Control Systems. | Ramesh Chandra, Lui Sha |
| 1999 | RTCSA | A Fault Tolerant Real-time Publisher/Subscriber Inter-Process Communication Architecture. | Xiaoyan He, Lui Sha |
| 1998 | RTSS | Task Period Selection and Schedulability in Real-Time Systems. | Danbing Seto, John P. Lehoczky, Lui Sha |
| 1998 | RTSS | Dependable System Upgrade. | Lui Sha |
| 1996 | RTSS | On task schedulability in real-time control systems. | Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin |
| 1996 | RTAS | Designing for evolvability: building blocks for evolvable real-time systems. | Michael Gagliardi, Ragunathan Rajkumar, Lui Sha |
| 1995 | RTAS | The real-time publisher/subscriber inter-process communication model for distributed real-time systems: design and implementation. | Ragunathan Rajkumar, Michael Gagliardi, Lui Sha |
| 1992 | RTSS | Scheduling real-time communication on dual-link networks. | Lui Sha, Shirish S. Sathaye, Jay K. Strosnider |
| 1990 | RTSS | Real-Time Scheduling Support in Futurebus+. | Lui Sha, John P. Lehoczky, Ragunathan Rajkumar |
| 1989 | RTSS | The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior. | John P. Lehoczky, Lui Sha, Y. Ding |
| 1988 | ISCA | Priority-Driven, Preemptive I/O Controllers for Real-Time Systems. | Brinkley Sprunt, David Blair Kirk, Lui Sha |
| 1988 | RTSS | Real-Time Synchronization Protocols for Multiprocessors. | Ragunathan Rajkumar, Lui Sha, John P. Lehoczky |
| 1988 | RTSS | Exploiting Unused Periodic Time for Aperiodic Service Using the Extended Priority Exchange Algorithm. | Brinkley Sprunt, John P. Lehoczky, Lui Sha |
| 1987 | RTSS | Enhanced Aperiodic Responsiveness in Hard Real-Time Environments. | John P. Lehoczky, Lui Sha, Jay K. Strosnider |
| 1987 | RTSS | On Countering the Effects of Cycle-Stealing in a Hard Real-Time Environment. | Ragunathan Rajkumar, Lui Sha, John P. Lehoczky |
| 1986 | SIGMETRICS | Performance of Real-Time Bus Scheduling Algorithms. | John P. Lehoczky, Lui Sha |
| 1986 | RTSS | Solutions for Some Practical Problems in Prioritized Preemptive Scheduling. | Lui Sha, John P. Lehoczky, Ragunathan Rajkumar |
| 1983 | SIGCOMM | Distributed co-operating processes and transactions. | Lui Sha, E. Douglas Jensen, Richard F. Rashid, J. Duane Northcutt |