Lui Sha - RankMe

305 papers A* 8A 59B 36C 3Misc 6Journal 134Unranked 55

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Understanding the Theoretical Foundations of Deep Neural Networks through Differential Equations. CoRR Hongjue Zhao, Yizhuo Chen, Yuchen Wang, Hairong Qi, Lui Sha, Tarek F. Abdelzaher, Huajie Shao
2026	J	`jnl`	Weakly-Supervised Disentangled Representation Learning via Filter-Based Adaptive Swapping. Trans. Mach. Learn. Res. Zhenyu Zong, Qidi Wang, Simon Yu, Hongpeng Cao, Yanbing Mao, Han Zhao, Lui Sha, Huajie Shao
2025	A*	`conf`	Accelerating Neural ODEs: A Variational Formulation-based Approach. ICLR Hongjue Zhao, Yuchen Wang, Hairong Qi, Zijie Huang, Han Zhao, Lui Sha, Huajie Shao
2025	J	`jnl`	Neural Probabilistic Circuits: Enabling Compositional and Interpretable Predictions through Logical Reasoning. CoRR Weixin Chen, Simon Yu, Huajie Shao, Lui Sha, Han Zhao
2025	J	`jnl`	Phy-Taylor: Partially Physics-Knowledge-Enhanced Deep Neural Networks via NN Editing. IEEE Trans. Neural Networks Learn. Syst. Yanbing Mao, Yuliang Gu, Lui Sha, Huajie Shao, Qixin Wang, Tarek F. Abdelzaher
2025	J	`jnl`	Real-DRL: Teach and Learn in Reality. CoRR Yanbing Mao, Yihao Cai, Lui Sha
2025	J	`jnl`	Runtime Learning of Quadruped Robots in Wild Environments. CoRR Yihao Cai, Yanbing Mao, Lui Sha, Hongpeng Cao, Marco Caccamo
2025	J	`jnl`	VISAT: Benchmarking Adversarial and Distribution Shift Robustness in Traffic Sign Recognition with Visual Attributes. CoRR Simon Yu, Peilin Yu, Hongbo Zheng, Huajie Shao, Han Zhao, Lui Sha
2024	J	`jnl`	Bayesian Data Augmentation and Training for Perception DNN in Autonomous Aerial Vehicles. CoRR Ashik E. Rasul, Humaira Tasnim, Hyung-Jin Yoon, Ayoosh Bansal, Duo Wang, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
2024	J	`jnl`	Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults. Softw. Test. Verification Reliab. Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha
2024	A*	`conf`	Physics-Regulated Deep Reinforcement Learning: Invariant Embeddings. ICLR Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo
2024	J	`jnl`	Physics-model-guided Worst-case Sampling for Safe Reinforcement Learning. CoRR Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo
2024	J	`jnl`	Simplex-enabled Safe Continual Learning Machine. CoRR Yihao Cai, Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo
2024	J	`jnl`	Taming Algorithmic Priority Inversion in Mission-Critical Perception Pipelines. Commun. ACM Shengzhong Liu, Shuochao Yao, Xinzhe Fu, Rohan Tabish, Simon Yu, Ayoosh Bansal, Heechul Yun, Lui Sha, Tarek F. Abdelzaher
2024	J	`jnl`	Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis. CoRR 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
2023	J	`jnl`	Backup Plan Constrained Model Predictive Control with Guaranteed Stability. CoRR Ran Tao, Hunmin Kim, Hyung-Jin Yoon, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
2023	J	`jnl`	Generalized self-cueing real-time attention scheduling with intermittent inspection and image resizing. Real Time Syst. Shengzhong Liu, Xinzhe Fu, Yigong Hu, Maggie B. Wigness, Philip David, Shuochao Yao, Lui Sha, Tarek F. Abdelzaher
2023	B	`conf`	MediK: Towards Safe Guideline-based Clinical Decision Support. FMCAD Manasvi Saxena, Shuang Song, Lui Sha
2023	J	`jnl`	Physical Deep Reinforcement Learning Towards Safety Guarantee. CoRR Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo
2023	J	`jnl`	Physical Deep Reinforcement Learning: Safety and Unknown Unknowns. CoRR Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo
2023	—	`conf`	Physics-Model-Regulated Deep Reinforcement Learning Towards Safety & Stability Guarantees. CDC Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo
2023	J	`jnl`	Robust vehicle lane keeping control with networked proactive adaptation. Artif. Intell. Hunmin Kim, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
2023	J	`jnl`	SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors. ACM Trans. Cyber Phys. Syst. Jiyang Chen, Tomasz Kloda, Rohan Tabish, Ayoosh Bansal, Chien-Ying Chen, Bo Liu, Sibin Mohan, Marco Caccamo, Lui Sha
2023	J	`jnl`	Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing. CoRR Ayoosh Bansal, Yang Zhao, James Zhu, Sheng Cheng, Yuliang Gu, Hyung-Jin Yoon, Hunmin Kim, Naira Hovakimyan, Lui Sha
2023	J	`jnl`	Sℒ ACM Trans. Cyber Phys. Syst. Yanbing Mao, Yuliang Gu, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
2023	B	`conf`	Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems. SMC Shuang Song, Manasvi Saxena, Pei-Hsuan Tsai, Lui Sha
2022	A	`conf`	Latency analysis of self-suspending task chains. DATE Tomasz Kloda, Jiyang Chen, Antoine Bertout, Lui Sha, Marco Caccamo
2022	J	`jnl`	Phy-Taylor: Physics-Model-Based Deep Neural Networks. CoRR Yanbing Mao, Lui Sha, Huajie Shao, Yuliang Gu, Qixin Wang, Tarek F. Abdelzaher
2022	J	`jnl`	Real-Time Task Scheduling for Machine Perception in Intelligent Cyber-Physical Systems. IEEE Trans. Computers Shengzhong Liu, Shuochao Yao, Xinzhe Fu, Huajie Shao, Rohan Tabish, Simon Yu, Ayoosh Bansal, Heechul Yun, Lui Sha, Tarek F. Abdelzaher
2022	A	`conf`	Self-Cueing Real-Time Attention Scheduling in Criticality-Aware Visual Machine Perception. RTAS Shengzhong Liu, Xinzhe Fu, Maggie B. Wigness, Philip David, Shuochao Yao, Lui Sha, Tarek F. Abdelzaher
2022	J	`jnl`	Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles. CoRR Ayoosh Bansal, Simon Yu, Hunmin Kim, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha
2022	A	`conf`	Verifiable Obstacle Detection. ISSRE Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha
2022	J	`jnl`	Verifiable Obstacle Detection. CoRR Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha
2021	—	`conf`	Backup Plan Constrained Model Predictive Control. CDC Hunmin Kim, Hyung-Jin Yoon, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
2021	J	`jnl`	Backup Plan Constrained Model Predictive Control. CoRR Hunmin Kim, Hyung-Jin Yoon, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
2021	J	`jnl`	Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems. IEEE Trans. Dependable Secur. Comput. Long Cheng, Ke Tian, Danfeng Daphne Yao, Lui Sha, Raheem A. Beyah
2021	J	`jnl`	LiDAR Cluster First and Camera Inference Later: A New Perspective Towards Autonomous Driving. CoRR Jiyang Chen, Simon Yu, Rohan Tabish, Ayoosh Bansal, Shengzhong Liu, Tarek F. Abdelzaher, Lui Sha
2021	—	`conf`	Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles. MECO Ayoosh Bansal, Jayati Singh, Micaela Verucchi, Marco Caccamo, Lui Sha
2021	J	`jnl`	Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles. CoRR Ayoosh Bansal, Jayati Singh, Micaela Verucchi, Marco Caccamo, Lui Sha
2021	C	`conf`	Robust Vehicle Lane Keeping Control with Networked Proactive Adaptation. ACC Hunmin Kim, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
2021	A	`conf`	SchedGuard: Protecting against Schedule Leaks Using Linux Containers. RTAS Jiyang Chen, Tomasz Kloda, Ayoosh Bansal, Rohan Tabish, Chien-Ying Chen, Bo Liu, Sibin Mohan, Marco Caccamo, Lui Sha
2021	J	`jnl`	SchedGuard: Protecting against Schedule Leaks Using Linux Containers. CoRR Jiyang Chen, Tomasz Kloda, Ayoosh Bansal, Rohan Tabish, Chien-Ying Chen, Bo Liu, Sibin Mohan, Marco Caccamo, Lui Sha
2020	—	`conf`	A Safety Constrained Control Framework for UAVs in GPS Denied Environment. CDC Wenbin Wan, Hunmin Kim, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
2020	J	`jnl`	A framework for supporting the development of verifiably safe medical best practice guideline systems. J. Syst. Archit. Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
2020	J	`jnl`	Finite-Time Model Inference From A Single Noisy Trajectory. CoRR Yanbing Mao, Naira Hovakimyan, Petros G. Voulgaris, Lui Sha
2020	J	`jnl`	Finite-Time Model-Learning Based L1-Simplex For Integrated TCS and ABS. CoRR Yanbing Mao, Naira Hovakimyan, Petros G. Voulgaris, Lui Sha
2020	A	`conf`	On Removing Algorithmic Priority Inversion from Mission-critical Machine Inference Pipelines. RTSS Shengzhong Liu, Shuochao Yao, Xinzhe Fu, Rohan Tabish, Simon Yu, Ayoosh Bansal, Heechul Yun, Lui Sha, Tarek F. Abdelzaher
2020	J	`jnl`	Robust Vehicle Lane Keeping Control with Networked Proactive Adaptation. CoRR Hunmin Kim, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
2020	—	`conf`	SCE-Comm: A Real-Time Inter-Core Communication Framework for Strictly Partitioned Multi-core Processors. MECO Rohan Tabish, Jen-Yang Wen, Rodolfo Pellizzoni, Renato Mancuso, Heechul Yun, Marco Caccamo, Lui Sha
2020	J	`jnl`	Safety Constrained Multi-UAV Time Coordination: A Bi-level Control Framework in GPS Denied Environment. CoRR Wenbin Wan, Hunmin Kim, Yikun Cheng, Naira Hovakimyan, Petros G. Voulgaris, Lui Sha
2019	A	`conf`	A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems. DATE Jiyang Chen, Zhiwei Feng, Jen-Yang Wen, Bo Liu, Lui Sha
2019	J	`jnl`	A Safety Constrained Control Framework for UAVs in GPS Denied Environment. CoRR Wenbin Wan, Hunmin Kim, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
2019	J	`jnl`	Decision-driven scheduling. Real Time Syst. Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha, Amotz Bar-Noy, Reginald L. Hobbs, William Dron
2019	J	`jnl`	Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Trans. Cyber Phys. Syst. Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha
2019	J	`jnl`	Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. IEEE Internet Things J. Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
2019	J	`jnl`	Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts. CoRR Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
2019	J	`jnl`	Towards Resilient UAV: Escape Time in GPS Denied Environment with Sensor Drift. CoRR Hyung-Jin Yoon, Wenbin Wan, Hunmin Kim, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
2018	J	`jnl`	A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems. CoRR Jiyang Chen, Zhiwei Feng, Jen-Yang Wen, Bo Liu, Lui Sha
2018	J	`jnl`	A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases. IEEE Access Zuxing Gu, Yu Jiang, Min Zhou, Ming Gu, Xiaoyu Song, Lui Sha
2018	J	`jnl`	Athena: Towards Decision-Centric Anticipatory Sensor Information Delivery. J. Sens. Actuator Networks 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, Yiran Zhao
2018	J	`jnl`	Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems. CoRR Long Cheng, Ke Tian, Danfeng Yao, Lui Sha, Raheem A. Beyah
2018	J	`jnl`	Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report). CoRR Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
2018	J	`jnl`	Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report. CoRR Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
2018	J	`jnl`	Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version). CoRR Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
2018	—	`conf`	Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models. ICCPS Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
2018	J	`jnl`	RSimplex: A Robust Control Architecture for Cyber And Physical Failures. ACM Trans. Cyber Phys. Syst. Xiaofeng Wang, Naira Hovakimyan, Lui Sha
2018	Misc	`conf`	Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP. SAC Andrew Yi-Zong Ou, Maryam Rahmaniheris, Yu Jiang, Lui Sha, Zhicheng Fu, Shangping Ren
2018	J	`jnl`	Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. Yu Jiang, Han Liu, Houbing Song, Hui Kong, Rui Wang, Yong Guan, Lui Sha
2017	A	`conf`	A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. MMSys Mohammad Hosseini, Yu Jiang, Ali Yekkehkhany, Richard R. Berlin, Lui Sha
2017	J	`jnl`	A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. CoRR Mohammad Hosseini, Yu Jiang, Ali Yekkehkhany, Richard R. Berlin, Lui Sha
2017	—	`conf`	A physiology-aware communication architecture for distributed emergency medical CPS. ICCPS Mohammad Hosseini, Richard R. Berlin, Lui Sha
2017	A	`conf`	A schedulability test for software migration on multicore system. DATE Jung-Eun Kim, Richard M. Bradford, Tarek F. Abdelzaher, Lui Sha
2017	B	`conf`	Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport. CHASE Mohammad Hosseini, Richard R. Berlin, Yu Jiang, Lui Sha
2017	—	`conf`	CPS Runtime Architecture And Automated Transformation of Applications. FEAST@CCS Lui Sha
2017	J	`jnl`	Communication and Synchronization of Distributed Medical Models: Design, Development, and Performance Analysis. CoRR Mohammad Hosseini, Richard Berlin, Lui Sha, Axel Terfloth, Houbing Song
2017	J	`jnl`	Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. IEEE Trans. Ind. Informatics Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, Lui Sha
2017	—	`conf`	Learning Execution Contexts from System Call Distribution for Anomaly Detection in Smart Embedded System. IoTDI Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Mihai Christodorescu, Lui Sha
2017	A	`conf`	Model and integrate medical resource availability into verifiably correct executable medical guidelines. ICCAD Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
2017	B	`conf`	Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design. CBMS Zhicheng Fu, Chunhui Guo, Shangping Ren, Yizong Ou, Lui Sha
2017	A	`conf`	Modeling and integrating physical environment assumptions in medical cyber-physical system design. DATE Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha
2017	J	`jnl`	On Exploiting Structured Human Interactions to Enhance Sensing Accuracy in Cyber-physical Systems. ACM Trans. Cyber Phys. Syst. Hongwei Wang, Yunlong Gao, Shaohan Hu, Shiguang Wang, Renato Mancuso, Minje Kim, Po-Liang Wu, Lu Su, Lui Sha, Tarek F. Abdelzaher
2017	B	`conf`	Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. CBMS Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Maryam Rahmaniheris, Lui Sha
2017	—	`conf`	Physiology-Aware Rural Ambulance Routing. ICHI Mohammad Hosseini, Richard B. Berlin Jr., Lui Sha
2017	J	`jnl`	Physiology-Aware Rural Ambulance Routing. CoRR Mohammad Hosseini, Richard B. Berlin Jr., Lui Sha
2017	J	`jnl`	Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems. J. Medical Syst. Andrew Y.-Z. Ou, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.
2017	B	`conf`	Study of Software-Related Causes in the FDA Medical Device Recalls. ICECCS Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha
2017	J	`jnl`	Supporting Emergency Medical Care Teams with an Integrated Status Display Providing Real-Time Access to Medical Best Practices, Workflow Tracking, and Patient Data. J. Medical Syst. Po-Liang Wu, Min-Young Nam, Jeonghwan Choi, Alex Kirlik, Lui Sha, Richard B. Berlin Jr.
2017	J	`jnl`	Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. IEEE Trans. Multim. Mohammad Hosseini, Yu Jiang, Richard R. Berlin, Lui Sha, Houbing Song
2017	A	`conf`	Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols. ICCAD Andrew Y.-Z. Ou, Maryam Rahmaniheris, Yu Jiang, Po-Liang Wu, Lui Sha
2017	J	`jnl`	Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. CoRR Mohammad Hosseini, Yu Jiang, Richard R. Berlin, Lui Sha, Houbing Song
2017	—	`conf`	Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. COMPSAC (1) Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Lui Sha
2017	—	`conf`	VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems. ICCPS Man-Ki Yoon, Bo Liu, Naira Hovakimyan, Lui Sha
2016	J	`jnl`	A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. CoRR Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Shangping Ren, Lui Sha
2016	J	`jnl`	A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. J. Medical Syst. Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Shangping Ren, Lui Sha
2016	B	`conf`	A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient. CBMS Yu Jiang, Pengliu Tan, Houbing Song, Binhua Wan, Mohammad Hosseini, Lui Sha
2016	B	`conf`	An Organ-Centric Best Practice Assist System for Acute Care. CBMS Maryam Rahmaniheris, Po-Liang Wu, Lui Sha, Richard R. Berlin
2016	—	`conf`	An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity. BIBM Zuxing Gu, Hong Song, Yu Jiang, Jeonghone Choi, Hongjiang He, Lui Sha, Ming Gu
2016	A	`conf`	From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. RTAS Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha
2016	J	`jnl`	Memory Bandwidth Management for Efficient Performance Isolation in Multi-Core Platforms. IEEE Trans. Computers Heechul Yun, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha
2016	J	`jnl`	Model-Driven Design of Clinical Guidance Systems. CoRR Maryam Rahmaniheris, Yu Jiang, Lui Sha
2016	B	`conf`	On Maximizing Quality of Information for the Internet of Things: A Real-Time Scheduling Perspective (Invited Paper). RTCSA Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha, Amotz Bar-Noy, Reginald L. Hobbs, William Dron
2016	J	`jnl`	Real-Time Computing on Multicore Processors. Computer Lui Sha, Marco Caccamo, Renato Mancuso, Jung-Eun Kim, Man-Ki Yoon, Rodolfo Pellizzoni, Heechul Yun, Russell Kegley, Dennis R. Perlman, Greg Arundale, Richard M. Bradford
2016	J	`jnl`	Real-Time Reachability for Verified Simplex Design. ACM Trans. Embed. Comput. Syst. Taylor T. Johnson, Stanley Bak, Marco Caccamo, Lui Sha
2016	B	`conf`	Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha
2016	J	`jnl`	Schedulability Analysis for Memory Bandwidth Regulated Multicore Real-Time Systems. IEEE Trans. Computers Gang Yao, Heechul Yun, Zheng Pei Wu, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha
2016	J	`jnl`	Sepsis Patient Detection and Monitor Based on Auto-BN. J. Medical Syst. Yu Jiang, Lui Sha, Maryam Rahmaniheris, Binhua Wan, Mohammad Hosseini, Pengliu Tan, Richard B. Berlin Jr.
2016	A	`conf`	Sporadic Decision-Centric Data Scheduling with Normally-off Sensors. RTSS Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha, Amotz Bar-Noy, Reginald L. Hobbs
2016	A	`conf`	TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems. RTAS Man-Ki Yoon, Sibin Mohan, Chien-Ying Chen, Lui Sha
2016	Misc	`conf`	The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection. SYSTOR Man-Ki Yoon, Mihai Christodorescu, Lui Sha, Sibin Mohan
2016	—	`conf`	Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. ICCPS Chunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.
2016	—	`conf`	Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha
2016	B	`conf`	Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems. SMC Andrew Y.-Z. Ou, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.
2015	A	`conf`	Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model. RTAS Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha
2015	—	`conf`	Exploiting structured human interactions to enhance estimation accuracy in cyber-physical systems. ICCPS Yunlong Gao, Shaohan Hu, Renato Mancuso, Hongwei Wang, Minje Kim, Po-Liang Wu, Lu Su, Lui Sha, Tarek F. Abdelzaher
2015	J	`jnl`	Intrusion Detection Using Execution Contexts Learned from System Call Distributions of Real-Time Embedded Systems. CoRR Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Mihai Christodorescu, Lui Sha
2015	J	`jnl`	Medical-Grade Quality of Service for Real-Time Mobile Healthcare. Computer Kyungtae Kang, Qixin Wang, Junbeom Hur, Kyung-Joon Park, Lui Sha
2015	A*	`conf`	Memory heat map: anomaly detection in real-time embedded systems using memory behavior. DAC Man-Ki Yoon, Lui Sha, Sibin Mohan, Jaesik Choi
2015	—	`conf`	SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces. ARM@Middleware Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Lui Sha
2015	J	`jnl`	SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces. CoRR Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Lui Sha
2015	—	`conf`	Safe Workflow Adaptation and Validation Protocol for Medical Cyber-Physical Systems. EUROMICRO-SEAA Po-Liang Wu, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman
2015	A	`conf`	Schedulability bound for integrated modular avionics partitions. DATE Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha
2015	J	`jnl`	The Design of Safe Networked Supervisory Medical Systems Using Organ-Centric Hierarchical Control Architecture. IEEE J. Biomed. Health Informatics Woochul Kang, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman
2015	B	`conf`	WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence. ECRTS Renato Mancuso, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha, Heechul Yun
2015	J	`jnl`	Worst Case Analysis of Packet Delay in Avionics Systems for Environmental Monitoring. IEEE Syst. J. Kyungtae Kang, Min-Young Nam, Lui Sha
2014	—	`conf`	A Treatment Validation Protocol for Cyber-Physical-Human Medical Systems. EUROMICRO-SEAA Po-Liang Wu, Dhashrath Raguraman, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman
2014	J	`jnl`	Guaranteeing the End-to-End Latency of an IMA System with an Increasing Workload. IEEE Trans. Computers Min-Young Nam, Jaemyoun Lee, Kyung-Joon Park, Lui Sha, Kyungtae Kang
2014	B	`conf`	Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems. COMPSAC Jung-Eun Kim, Man-Ki Yoon, Richard M. Bradford, Lui Sha
2014	A	`conf`	Real-Time Reachability for Verified Simplex Design. RTSS Stanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha
2014	—	`conf`	WiP abstract: A treatment coordination protocol for cyber-physical-human medical systems. ICCPS Po-Liang Wu, Dhashrath Raguraman, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman
2014	J	`jnl`	qPALS: Quality-Aware Synchrony Protocol for Distributed Real-Time Systems. KSII Trans. Internet Inf. Syst. Woochul Kang, Lui Sha
2013	—	`conf`	A low complexity coordination architecture for networked supervisory medical systems. ICCPS Po-Liang Wu, Woochul Kang, Abdullah Al-Nayeem, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman
2013	J	`jnl`	Design and QoS of a Wireless System for Real-Time Remote Electrocardiography. IEEE J. Biomed. Health Informatics Kyungtae Kang, Junhee Ryu, Junbeom Hur, Lui Sha
2013	J	`jnl`	Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound. Real Time Syst. Kyungtae Kang, Kyung-Joon Park, Lui Sha, Qixin Wang
2013	A	`conf`	Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling. DATE Man-Ki Yoon, Jung-Eun Kim, Richard M. Bradford, Lui Sha
2013	B	`conf`	Keynote: "Re-engineering acute care". RTCSA Lui Sha
2013	—	`conf`	L1Simplex: fault-tolerant control of cyber-physical systems. ICCPS Xiaofeng Wang, Naira Hovakimyan, Lui Sha
2013	A	`conf`	MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms. IEEE Real-Time and Embedded Technology and Applications Symposium Heechul Yun, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha
2013	Misc	`conf`	Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems. EMSOFT Abdullah Al-Nayeem, Cheolgi Kim, Woochul Kang, Po-Liang Wu, Lui Sha
2013	J	`jnl`	Model-Based Analysis of Wireless System Architectures for Real-Time Applications. IEEE Trans. Mob. Comput. Kyungtae Kang, Min-Young Nam, Lui Sha
2013	B	`conf`	Modeling and architecture design of an MDPnP acute care monitoring system. CBMS Maryam Rahmaniheris, Woochul Kang, Lue-Jane Lee, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman
2013	J	`jnl`	NetSimplex: Controller Fault Tolerance Architecture in Networked Control Systems. IEEE Trans. Ind. Informatics Jianguo Yao, Xue Liu, Guchuan Zhu, Lui Sha
2013	—	`conf`	On-chip control flow integrity check for real time embedded systems. CPSNA Fardin Abdi Taghi Abad, Joel van der Woude, Yi Lu, Stanley Bak, Marco Caccamo, Lui Sha, Renato Mancuso, Sibin Mohan
2013	A	`conf`	Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems. DATE Jung-Eun Kim, Man-Ki Yoon, Sungjin Im, Richard M. Bradford, Lui Sha
2013	J	`jnl`	Real-Time I/O Management System with COTS Peripherals. IEEE Trans. Computers Emiliano Betti, Stanley Bak, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha
2013	—	`conf`	S3A: secure system simplex architecture for enhanced security and robustness of cyber-physical systems. HiCoNS Sibin Mohan, Stanley Bak, Emiliano Betti, Heechul Yun, Lui Sha, Marco Caccamo
2013	A	`conf`	SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems. IEEE Real-Time and Embedded Technology and Applications Symposium Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Jung-Eun Kim, Lui Sha
2013	B	`conf`	Towards organ-centric compositional development of safe networked supervisory medical systems. CBMS Woochul Kang, Po-Liang Wu, Maryam Rahmaniheris, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman
2012	—	`conf`	Compositional Verification of Architectural Models. NASA Formal Methods Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha
2012	B	`conf`	How to reliably integrate medical devices over wireless. SECON Cheolgi Kim, Mu Sun, Maryam Rahmaniheris, Lui Sha
2012	B	`conf`	Memory Access Control in Multiprocessor for Real-Time Systems with Mixed Criticality. ECRTS Heechul Yun, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha
2012	—	`conf`	Model-based design of a wireless telemetry system and QoS assessment using AADL. BIBM Workshops Kyungtae Kang, Min-Young Nam, Jaemyoun Lee, Juyoung Park, Homin Yoo, Lui Sha
2012	J	`jnl`	Modeling towards incremental early analyzability of networked avionics systems using virtual integration. ACM Trans. Embed. Comput. Syst. Min-Young Nam, Kyungtae Kang, Rodolfo Pellizzoni, Kyung-Joon Park, Jung-Eun Kim, Lui Sha
2012	—	`conf`	Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems. ICCPS Abdullah Al-Nayeem, Lui Sha, Darren D. Cofer, Steven P. Miller
2012	J	`jnl`	S3A: Secure System Simplex Architecture for Enhanced Security of Cyber-Physical Systems CoRR Sibin Mohan, Stanley Bak, Emiliano Betti, Heechul Yun, Lui Sha, Marco Caccamo
2011	J	`jnl`	A Medical-Grade Wireless Architecture for Remote Electrocardiography. IEEE Trans. Inf. Technol. Biomed. Kyungtae Kang, Kyung-Joon Park, Jae-Jin Song, Chang-Hwan Yoon, Lui Sha
2011	J	`jnl`	Deterministic Real-time Thread Scheduling CoRR Heechul Yun, Cheolgi Kim, Lui Sha
2011	—	`conf`	Limiting Worst-Case End-to-End Latency When Traffic Increases in a Switched Avionics Network. RTCSA (1) Min-Young Nam, Eunsoo Seo, Lui Sha, Kyung-Joon Park, Kyungtae Kang
2011	A	`conf`	Optimizing Tunable WCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems. RTSS Man-Ki Yoon, Jung-Eun Kim, Lui Sha
2011	Misc	`conf`	Resource allocation contracts for open analytic runtime models. EMSOFT Min-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha
2011	J	`jnl`	System-wide energy optimization for multiple DVS components and real-time tasks. Real Time Syst. Heechul Yun, Po-Liang Wu, Anshu Arya, Cheolgi Kim, Tarek F. Abdelzaher, Lui Sha
2010	—	`conf`	A Formal Pattern Architecture for Safe Medical Systems. WRLA Mu Sun, José Meseguer, Lui Sha
2010	—	`conf`	A framework for the safe interoperability of medical devices in the presence of network failures. ICCPS Cheolgi Kim, Mu Sun, Sibin Mohan, Heechul Yun, Lui Sha, Tarek F. Abdelzaher
2010	—	`conf`	A reduced complexity design pattern for distributed hierarchical command and control system. ICCPS Heechul Yun, Po-Liang Wu, Maryam Rahmaniheris, Cheolgi Kim, Lui Sha
2010	J	`jnl`	An Interleaving Structure for Guaranteed QoS in Real-Time Broadcasting Systems. IEEE Trans. Computers Kyungtae Kang, Lui Sha
2010	A*	`conf`	Cyber-physical systems: the next computing revolution. DAC Ragunathan Rajkumar, Insup Lee, Lui Sha, John A. Stankovic
2010	J	`jnl`	Design of robust adaptive frequency hopping for wireless medical telemetry systems. IET Commun. Kyung-Joon Park, Tae Rim Park, Christopher D. Schmitz, Lui Sha
2010	B	`conf`	System-Wide Energy Optimization for Multiple DVS Components and Real-Time Tasks. ECRTS Heechul Yun, Po-Liang Wu, Anshu Arya, Tarek F. Abdelzaher, Cheolgi Kim, Lui Sha
2009	A	`conf`	A Formal Architecture Pattern for Real-Time Distributed Systems. RTSS Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer
2009	B	`conf`	ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs. ICECCS Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford
2009	Misc	`conf`	Handling mixed-criticality in SoC-based real-time embedded systems. EMSOFT Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, Lui Sha
2009	A	`conf`	Rapid Early-Phase Virtual Integration. RTSS Sibin Mohan, Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford, Shana Fliginger
2009	A	`conf`	Real-Time Control of I/O COTS Peripherals for Embedded Systems. RTSS Stanley Bak, Emiliano Betti, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha
2009	A	`conf`	The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety. IEEE Real-Time and Embedded Technology and Applications Symposium Stanley Bak, Deepti K. Chivukula, Olugbemiga Adekunle, Mu Sun, Marco Caccamo, Lui Sha
2008	A	`conf`	A Switch Design for Real-Time Industrial Networks. IEEE Real-Time and Embedded Technology and Applications Symposium Qixin Wang, Sathish Gopalakrishnan, Xue Liu, Lui Sha
2008	A	`conf`	Coscheduling of CPU and I/O Transactions in COTS-Based Embedded Systems. RTSS Rodolfo Pellizzoni, Bach Duy Bui, Marco Caccamo, Lui Sha
2008	—	`conf`	Cyber-Physical Systems: A New Frontier. SUTC Lui Sha, Sathish Gopalakrishnan, Xue Liu, Qixin Wang
2008	—	`ch.`	Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. Software-Intensive Systems and New Computing Paradigms Lui Sha, José Meseguer
2008	B	`conf`	Impact of Cache Partitioning on Multi-tasking Real Time Embedded Systems. RTCSA Bach Duy Bui, Marco Caccamo, Lui Sha, Joseph Martinez
2008	J	`jnl`	Lightning: A Hard Real-Time, Fast, and Lightweight Low-End Wireless Sensor Election Protocol for Acoustic Event Localization. IEEE Trans. Mob. Comput. Qixin Wang, Rong Zheng, Ajay Tirumala, Xue Liu, Lui Sha
2008	J	`jnl`	ORTEGA: An Efficient and Flexible Online Fault Tolerance Architecture for Real-Time Control Systems. IEEE Trans. Ind. Informatics Xue Liu, Qixin Wang, Sathish Gopalakrishnan, Wenbo He, Lui Sha, Hui Ding, Kihwal Lee
2008	B	`conf`	ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems. ECRTS Xue Liu, Hui Ding, Kihwal Lee, Qixin Wang, Lui Sha
2008	J	`jnl`	Queueing-Model-Based Adaptive Control of Multi-Tiered Web Applications. IEEE Trans. Netw. Serv. Manag. Xue Liu, Jin Heo, Lui Sha, Xiaoyun Zhu
2008	J	`jnl`	Sharp Thresholds for Scheduling Recurring Tasks with Distance Constraints. IEEE Trans. Computers Sathish Gopalakrishnan, Marco Caccamo, Lui Sha
2007	J	`jnl`	Building Robust Wireless LAN for Industrial Control with the DSSS-CDMA Cell Phone Network Paradigm. IEEE Trans. Mob. Comput. Qixin Wang, Xue Liu, Weiqun Chen, Lui Sha, Marco Caccamo
2007	A	`conf`	GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications. RTSS Qixin Wang, Xue Liu, Jennifer C. Hou, Lui Sha
2007	A	`conf`	The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures. RTSS Tanya L. Crenshaw, Elsa L. Gunter, Craig L. Robinson, Lui Sha, P. R. Kumar
2006	A	`conf`	A Pattern for Adaptive Behavior in Safety-Critical, Real-Time Middleware. RTSS Tanya L. Crenshaw, Craig L. Robinson, Hui Ding, P. R. Kumar, Lui Sha
2006	J	`jnl`	A microscopic study of power management in IEEE 802.11 wireless networks. Int. J. Wirel. Mob. Comput. Chunyu Hu, Rong Zheng, Jennifer C. Hou, Lui Sha
2006	B	`conf`	Adaptive Control of Multi-Tiered Web Applications Using Queueing Predictor. NOMS Xue Liu, Jin Heo, Lui Sha, Xiaoyun Zhu
2006	J	`jnl`	Feedback fault tolerance of real-time embedded systems: issues and possible solutions. SIGBED Rev. Xue Liu, Hui Ding, Kihwal Lee, Lui Sha, Marco Caccamo
2006	J	`jnl`	Finite-horizon scheduling of radar dwells with online template construction. Real Time Syst. Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng Shih, Chang-Gun Lee, Lui Sha
2006	J	`jnl`	High-Confidence Medical Device Software and Systems. Computer Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha
2006	B	`conf`	I-Living: An Open System Architecture for Assisted Living. SMC 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	J	`jnl`	Local Group Communication-aware MAC Protocol in Wireless Sensor Networks. Int. J. Wirel. Inf. Networks Rong Zheng, Jatindera Singh Walia, Lui Sha
2006	J	`jnl`	Optimal Block Design for Asynchronous Wake-Up Schedules and Its Applications in Multihop Wireless Networks. IEEE Trans. Mob. Comput. Rong Zheng, Jennifer C. Hou, Lui Sha
2006	J	`jnl`	Optimal real-time sampling rate assignment for wireless sensor networks. ACM Trans. Sens. Networks Xue Liu, Qixin Wang, Wenbo He, Marco Caccamo, Lui Sha
2006	J	`jnl`	Performance analysis of power management policies in wireless networks. IEEE Trans. Wirel. Commun. Rong Zheng, Jennifer C. Hou, Lui Sha
2006	J	`jnl`	Real time and embedded (RTE) GENI. SIGBED Rev. Lui Sha, Ashok K. Agrawala
2006	J	`jnl`	Real-time virtual machines for avionics software migration. Int. J. Embed. Syst. Lui Sha, Chang-Gun Lee
2006	J	`jnl`	Schedulability Envelope for Real-Time Radar Dwell Scheduling. IEEE Trans. Computers Chang-Gun Lee, Phil-Su Kang, Chi-Sheng Shih, Lui Sha
2006	A	`conf`	Static Analysis to Enforce Safe Value Flow in Embedded Control Systems. DSN Sumant Kowshik, Grigore Rosu, Lui Sha
2006	—	`conf`	Switch Scheduling and Network Design for Real-Time Systems. IEEE Real Time Technology and Applications Symposium Sathish Gopalakrishnan, Marco Caccamo, Lui Sha
2006	B	`conf`	The Dependency Management Framework: A Case Study of the ION CubeSat. ECRTS Hui Ding, Leon Arber, Lui Sha, Marco Caccamo
2005	B	`conf`	A Dependable Online Testing and Upgrade Architecture for Real-Time Embedded Systems. RTCSA Kihwal Lee, Lui Sha
2005	J	`jnl`	A framework for time indexing in sensor networks. ACM Trans. Sens. Networks Guanghui He, Rong Zheng, Indranil Gupta, Lui Sha
2005	A	`conf`	Co-Design Based Approach to Improve Robustness in Networked Control Systems. DSN Sumant Kowshik, Girish Baliga, Scott R. Graham, Lui Sha
2005	—	`conf`	Dependency Algebra: A Theoretical Framework for Dependency Management in Real-Time Control Systems. ECBS Hui Ding, Kihwal Lee, Lui Sha
2005	A	`conf`	Dependency Algebra: A Tool for Designing Robust Real-Time Systems. RTSS Hui Ding, Lui Sha
2005	J	`jnl`	Design and analysis of an MST-based topology control algorithm. IEEE Trans. Wirel. Commun. Ning Li, Jennifer C. Hou, Lui Sha
2005	—	`conf`	Improved timing control for web server systems using internal state information. WWW (Special interest tracks and posters) Xue Liu, Rong Zheng, Jin Heo, Lui Sha
2005	B	`conf`	MAC layer support for group communication in wireless sensor networks. MASS Rong Zheng, Lui Sha, Wei Feng
2005	B	`conf`	Modeling 3-Tiered Web Applications. MASCOTS Xue Liu, Jin Heo, Lui Sha
2005	J	`jnl`	Prevention of failures due to assumptions made by software components in real-time systems. SIGBED Rev. Ajay Tirumala, Tanya L. Crenshaw, Lui Sha, Girish Baliga, Sumant Kowshik, Craig L. Robinson, Weerasak Witthawaskul
2005	A	`conf`	Process Resurrection: A Fast Recovery Mechanism for Real-Time Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Kihwal Lee, Lui Sha
2005	—	`ch.`	Real-Time Scheduling for Embedded Systems. Handbook of Networked and Embedded Control Systems Marco Caccamo, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Lui Sha
2005	—	`conf`	Timing Performance Control in Web Server Systems Utilizing Server Internal State Information. ICAS/ICNS Xue Liu, Rong Zheng, Jin Heo, Qixin Wang, Lui Sha
2004	—	`conf`	An energy-aware data-centric generic utility based approach in wireless sensor networks. IPSN Wei-Peng Chen, Lui Sha
2004	J	`jnl`	Dynamic Clustering for Acoustic Target Tracking in Wireless Sensor Networks. IEEE Trans. Mob. Comput. Wei-Peng Chen, Jennifer C. Hou, Lui Sha
2004	J	`jnl`	Enhanced Utilization Bounds for QoS Management. IEEE Trans. Computers Chang-Gun Lee, Lui Sha, Avinash Peddi
2004	C	`conf`	Etherware: Domainware for Wireless Control Networks. ISORC Girish Baliga, Scott R. Graham, Lui Sha, P. R. Kumar
2004	A	`conf`	Finite-Horizon Scheduling of Radar Dwells with Online Template Construction. RTSS Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng Shih, Chang-Gun Lee, Lui Sha
2004	A	`conf`	Hard Real-Time Communication in Bus-Based Networks. RTSS Sathish Gopalakrishnan, Lui Sha, Marco Caccamo
2004	A	`conf`	Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors. RTSS Qixin Wang, Rong Zheng, Ajay Tirumala, Xue Liu, Lui Sha
2004	B	`conf`	On time-out driven power management policies in wireless networks. GLOBECOM Rong Zheng, Jennifer C. Hou, Lui Sha
2004	J	`jnl`	Online QoS Optimization Using Service Classes in Surveillance Radar Systems. Real Time Syst. Chang-Gun Lee, Chi-Sheng Shih, Lui Sha
2004	J	`jnl`	Open challenges in real time embedded systems. SIGBED Rev. Lui Sha
2004	J	`jnl`	Real Time Scheduling Theory: A Historical Perspective. Real Time Syst. Lui Sha, Tarek F. Abdelzaher, Karl-Erik Årzén, Anton Cervin, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Marco Caccamo, John P. Lehoczky, Aloysius K. Mok
2004	—	`ch.`	Real-Time Synchronization Protocols. Handbook of Scheduling Lui Sha, Marco Caccamo
2004	J	`jnl`	Service Continuity in Networked Control Using Etherware. IEEE Distributed Syst. Online Girish Baliga, Scott R. Graham, Lui Sha, P. R. Kumar
2004	B	`conf`	Time indexing in sensor networks. MASS Rong Zheng, Guanghui He, Indranil Gupta, Lui Sha
2003	—	`conf`	A Bluetooth loop scatternet formation algorithm. ICC Honghai Zhang, Jennifer C. Hou, Lui Sha
2003	—	`conf`	Acoustic Target Tracking Using Tiny Wireless Sensor Devices. IPSN Qixin Wang, Wei-Peng Chen, Rong Zheng, Kihwal Lee, Lui Sha
2003	B	`conf`	Asynchronous wakeup for ad hoc networks. MobiHoc Rong Zheng, Jennifer C. Hou, Lui Sha
2003	—	`conf`	Automated Verification of the Dependability of Object-Oriented Real-Time Systems. WORDS Fall Hui Ding, Can Zheng, Gul Agha, Lui Sha
2003	A*	`conf`	Design and Analysis of an MST-Based Topology Control Algorithm. INFOCOM Ning Li, Jennifer C. Hou, Lui Sha
2003	B	`conf`	Dynamic Clustering for Acoustic Target Tracking in Wireless Sensor Networks. ICNP Wei-Peng Chen, Jennifer C. Hou, Lui Sha
2003	A	`conf`	Enhanced Processor Budget for QoS Management in Multimedia Systems. IPDPS Chang-Gun Lee, Lui Sha
2003	—	`conf`	Feedback Control with Queueing-Theoretic Prediction for Relative Delay Guarantees in Web Servers. IEEE Real Time Technology and Applications Symposium Ying Lu, Tarek F. Abdelzaher, Chenyang Lu, Lui Sha, Xue Liu
2003	J	`jnl`	On the Scheduling of Flexible and Reliable Real-Time Control Systems. Real Time Syst. Ramesh Chandra, Xue Liu, Lui Sha
2003	B	`conf`	Online Response Time Optimization of Apache Web Server. IWQoS Xue Liu, Lui Sha, Yixin Diao, Steve Froehlich, Joseph L. Hellerstein, Sujay S. Parekh
2003	A	`conf`	Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor Networks. RTSS Xue Liu, Qixin Wang, Lui Sha, Wenbo He
2003	A	`conf`	Radar Dwell Scheduling Considering Physical Characteristics of Phased Array Antenna. RTSS Chang-Gun Lee, Phil-Su Kang, Chi-Sheng Shih, Lui Sha
2003	B	`conf`	Real-Time Virtual Machines for Avionics Software Porting and Development. RTCSA Lui Sha
2003	J	`jnl`	Real-time communication and coordination in embedded sensor networks. Proc. IEEE John A. Stankovic, Tarek F. Abdelzaher, Chenyang Lu, Lui Sha, Jennifer C. Hou
2003	A	`conf`	Scheduling Real-Time Dwells Using Tasks with Synthetic Periods. RTSS Chi-Sheng Shih, Sathish Gopalakrishnan, Phanindra Ganti, Marco Caccamo, Lui Sha
2003	C	`conf`	Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. SEKE Hui Ding, Can Zheng, Lui Sha, Gul Agha
2003	—	`conf`	Template-Based Real-Time Dwell Scheduling with Energy Constraint. IEEE Real Time Technology and Applications Symposium Chi-Sheng Shih, Sathish Gopalakrishnan, Phanindra Ganti, Marco Caccamo, Lui Sha
2003	J	`jnl`	Upgrading real-time control software in the field. Proc. IEEE Lui Sha
2002	A	`conf`	An Implicit Prioritized Access Protocol for Wireless Sensor Networks. RTSS Marco Caccamo, Lynn Y. Zhang, Lui Sha, Giorgio C. Buttazzo
2002	J	`jnl`	Guest Editorial. Real Time Syst. Lui Sha, Tarek F. Abdelzaher
2002	J	`jnl`	Handling Execution Overruns in Hard Real-Time Control Systems. IEEE Trans. Computers Marco Caccamo, Giorgio C. Buttazzo, Lui Sha
2002	A	`conf`	Queueing Model Based Network Server Performance Control. RTSS Lui Sha, Xue Liu
2002	Misc	`conf`	Upgrading Embedded Software in the Field: Dependability and Survivability. EMSOFT Lui Sha
2001	A	`conf`	Aperiodic Servers with Resource Constraints. RTSS Marco Caccamo, Lui Sha
2001	J	`jnl`	Ensuring Integrity and Service Availability in a Web-Based Control Laboratory. Parallel Distributed Comput. Pract. Sung-Soo Lim, Kihwal Lee, Lui Sha
2001	—	`conf`	Scheduling Tasks With Variable Deadlines. IEEE Real Time Technology and Applications Symposium Chi-Sheng Shih, Lui Sha, Jane W.-S. Liu
2001	A	`conf`	Service Class-Based Online QoS Management in Surveillance Radar Systems. RTSS Chang-Gun Lee, Chi-Sheng Shih, Lui Sha
2001	J	`jnl`	Trade-Off Analysis of Real-Time Control Performance and Schedulability. Real Time Syst. Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin
2001	J	`jnl`	Using Simplicity to Control Complexity. IEEE Softw. Lui Sha
2001	J	`jnl`	What Are the Top Ten Most Influential Parallel and Distributed Processing Concepts of the Past Millenium? J. Parallel Distributed Comput. Mitchell D. Theys, Shoukat Ali, Howard Jay Siegel, K. Mani Chandy, Kai Hwang, Ken Kennedy, Lui Sha, Kang G. Shin, Marc Snir, Larry Snyder, Thomas L. Sterling
2000	—	`conf`	A Distributed Real Time Coordination Protocol. IPDPS Workshops Lui Sha, Danbing Seto
2000	—	`conf`	An introduction to control and scheduling co-design. CDC Karl-Erik Årzén, Anton Cervin, Johan Eker, Lui Sha
2000	A	`conf`	Capacity Sharing for Overrun Control. RTSS Marco Caccamo, Giorgio C. Buttazzo, Lui Sha
2000	B	`conf`	Elastic feedback control. ECRTS Marco Caccamo, Giorgio C. Buttazzo, Lui Sha
2000	—	`conf`	Integration of CORBA Services with a Dynamic Real-Time Architecture. IEEE Real Time Technology and Applications Symposium Andreas Polze, Janek Schwarz, Kristopher Wehner, Lui Sha
2000	—	`conf`	Online control optimization using load driven scheduling. CDC Lui Sha, Xue Liu, Marco Caccamo, Giorgio C. Buttazzo
2000	—	`conf`	Remote Lab: A Reliable Tele-Laboratory Environment. International Conference on Internet Computing Janek Schwarz, Andreas Polze, Kristopher Wehner, Lui Sha
1999	B	`conf`	A Fault Tolerant Real-time Publisher/Subscriber Inter-Process Communication Architecture. RTCSA Xiaoyan He, Lui Sha
1999	A	`conf`	On Scheduling Tasks in Reliable Real-Time Control Systems. RTSS Ramesh Chandra, Lui Sha
1999	—	`conf`	Using COTS Software in High Assurance Control Applications. HASE Lui Sha
1998	—	`conf`	Composite Objects: Real-Time Programming with CORBA. EUROMICRO Andreas Polze, Lui Sha
1998	A	`conf`	Dependable System Upgrade. RTSS Lui Sha
1998	A	`conf`	Task Period Selection and Schedulability in Real-Time Systems. RTSS Danbing Seto, John P. Lehoczky, Lui Sha
1997	J	`jnl`	Analysis of Dual-Link Networks for Real-Time Applications. IEEE Trans. Computers Lui Sha, Shirish S. Sathaye, Jay K. Strosnider
1996	—	`conf`	Designing for evolvability: building blocks for evolvable real-time systems. IEEE Real Time Technology and Applications Symposium Michael Gagliardi, Ragunathan Rajkumar, Lui Sha
1996	A	`conf`	On task schedulability in real-time control systems. RTSS Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin
1996	J	`jnl`	Real-Time In the Real World. ACM Comput. Surv. Lui Sha
1995	—	`ch.`	Fault-Tolerant Automatic Control. Responsive Computer Systems Marc Bodson, John P. Lehoczky, Ragunathan Rajkumar, Lui Sha, Jennifer Stephan
1995	J	`jnl`	The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments. IEEE Trans. Computers Jay K. Strosnider, John P. Lehoczky, Lui Sha
1995	—	`conf`	The real-time publisher/subscriber inter-process communication model for distributed real-time systems: design and implementation. IEEE Real Time Technology and Applications Symposium Ragunathan Rajkumar, Michael Gagliardi, Lui Sha
1994	J	`jnl`	Generalized rate-monotonic scheduling theory: a framework for developing real-time systems. Proc. IEEE Lui Sha, Ragunathan Rajkumar, Shirish S. Sathaye
1994	J	`jnl`	Industrial Computing: A Grand Challenge - Guest Editor's Introduction. Computer Lui Sha
1993	J	`jnl`	A Systematic Approach to Design Distributed Real-Time Systems. Computer Lui Sha, Shirish S. Sathaye
1992	A	`conf`	Scheduling real-time communication on dual-link networks. RTSS Lui Sha, Shirish S. Sathaye, Jay K. Strosnider
1992	J	`jnl`	Sources of Unbounded Priority Inversions in Real-Time Systems and a Comparative Study of Possible Solutions. ACM SIGOPS Oper. Syst. Rev. Sadegh Davari, Lui Sha
1991	J	`jnl`	A Real-Time Locking Protocol. IEEE Trans. Computers Lui Sha, Ragunathan Rajkumar, Sang Hyuk Son, Chun-Hyon Chang
1990	J	`jnl`	Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Trans. Computers Lui Sha, Ragunathan Rajkumar, John P. Lehoczky
1990	A	`conf`	Real-Time Scheduling Support in Futurebus+. RTSS Lui Sha, John P. Lehoczky, Ragunathan Rajkumar
1990	J	`jnl`	Real-Time Scheduling Theory and Ada. Computer Lui Sha, John B. Goodenough
1989	J	`jnl`	Aperiodic Task Scheduling for Hard Real-Time Systems. Real Time Syst. Brinkley Sprunt, Lui Sha, John P. Lehoczky
1989	J	`jnl`	Mode Change Protocols for Priority-Driven Preemptive Scheduling. Real Time Syst. Lui Sha, Ragunathan Rajkumar, John P. Lehoczky, Krithi Ramamritham
1989	A	`conf`	The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior. RTSS John P. Lehoczky, Lui Sha, Y. Ding
1988	J	`jnl`	Concurrency Control for Distributed Real-Time Databases. SIGMOD Rec. Lui Sha, Ragunathan Rajkumar, John P. Lehoczky
1988	A	`conf`	Exploiting Unused Periodic Time for Aperiodic Service Using the Extended Priority Exchange Algorithm. RTSS Brinkley Sprunt, John P. Lehoczky, Lui Sha
1988	J	`jnl`	Modular Concurrency Control and Failure Recovery. IEEE Trans. Computers Lui Sha, John P. Lehoczky, E. Douglas Jensen
1988	—	`conf`	Priority inversion and its control: An experimental investigation. IRTAW C. Douglass Locke, Lui Sha, R. Rajikumar, John P. Lehoczky, Gregory Burns
1988	A*	`conf`	Priority-Driven, Preemptive I/O Controllers for Real-Time Systems. ISCA Brinkley Sprunt, David Blair Kirk, Lui Sha
1988	A	`conf`	Real-Time Synchronization Protocols for Multiprocessors. RTSS Ragunathan Rajkumar, Lui Sha, John P. Lehoczky
1988	—	`conf`	The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks. IRTAW John B. Goodenough, Lui Sha
1987	A	`conf`	Enhanced Aperiodic Responsiveness in Hard Real-Time Environments. RTSS John P. Lehoczky, Lui Sha, Jay K. Strosnider
1987	—	`conf`	Limitations of Ada for real-time scheduling. IRTAW Dennis Cornhill, Lui Sha, John P. Lehoczky
1987	A	`conf`	On Countering the Effects of Cycle-Stealing in a Hard Real-Time Environment. RTSS Ragunathan Rajkumar, Lui Sha, John P. Lehoczky
1986	A*	`conf`	Performance of Real-Time Bus Scheduling Algorithms. SIGMETRICS John P. Lehoczky, Lui Sha
1986	A	`conf`	Solutions for Some Practical Problems in Prioritized Preemptive Scheduling. RTSS Lui Sha, John P. Lehoczky, Ragunathan Rajkumar
1983	A*	`conf`	Distributed co-operating processes and transactions. SIGCOMM Lui Sha, E. Douglas Jensen, Richard F. Rashid, J. Duane Northcutt