Lui Sha

ORCID

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 113

Top Venues

CoRR

ACM Trans. Cyber Phys. Syst.

ICCPS

DATE

Publications

Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo
Physics-Regulated Deep Reinforcement Learning: Invariant Embeddings. ICLR (2024)
Shengzhong Liu, Shuochao Yao, Xinzhe Fu, Rohan Tabish, Simon Yu, Ayoosh Bansal, Heechul Yun, Lui Sha, Tarek F. Abdelzaher
Taming Algorithmic Priority Inversion in Mission-Critical Perception Pipelines. Commun. ACM 67 (2) (2024)
Shuang Song, Manasvi Saxena, Pei-Hsuan Tsai, Lui Sha
Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems. SMC (2023)
Ran Tao, Hunmin Kim, Hyung-Jin Yoon, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
Backup Plan Constrained Model Predictive Control with Guaranteed Stability. CoRR (2023)
Hunmin Kim, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
Robust vehicle lane keeping control with networked proactive adaptation. Artif. Intell. 325 (2023)
Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo
Physical Deep Reinforcement Learning: Safety and Unknown Unknowns. CoRR (2023)
Shengzhong Liu, Xinzhe Fu, Yigong Hu, Maggie B. Wigness, Philip David, Shuochao Yao, Lui Sha, Tarek F. Abdelzaher
Generalized self-cueing real-time attention scheduling with intermittent inspection and image resizing. Real Time Syst. 59 (2) (2023)
Manasvi Saxena, Shuang Song, Lui Sha
MediK: Towards Safe Guideline-based Clinical Decision Support. FMCAD (2023)
Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo
Physical Deep Reinforcement Learning Towards Safety Guarantee. CoRR (2023)
Ayoosh Bansal, Yang Zhao, James Zhu, Sheng Cheng, Yuliang Gu, Hyung-Jin Yoon, Hunmin Kim, Naira Hovakimyan, Lui Sha
Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing. CoRR (2023)
Yanbing Mao, Yuliang Gu, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
-Simplex: Safe Velocity Regulation of Self-Driving Vehicles in Dynamic and Unforeseen Environments. ACM Trans. Cyber Phys. Syst. 7 (1) (2023)
Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo
Physics-Model-Regulated Deep Reinforcement Learning Towards Safety & Stability Guarantees. CDC (2023)
Jiyang Chen, Tomasz Kloda, Rohan Tabish, Ayoosh Bansal, Chien-Ying Chen, Bo Liu, Sibin Mohan, Marco Caccamo, Lui Sha
SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors. ACM Trans. Cyber Phys. Syst. 7 (1) (2023)
Tomasz Kloda, Jiyang Chen, Antoine Bertout, Lui Sha, Marco Caccamo
Latency analysis of self-suspending task chains. DATE (2022)
Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha
Verifiable Obstacle Detection. ISSRE (2022)
Shengzhong Liu, Shuochao Yao, Xinzhe Fu, Huajie Shao, Rohan Tabish, Simon Yu, Ayoosh Bansal, Heechul Yun, Lui Sha, Tarek F. Abdelzaher
Real-Time Task Scheduling for Machine Perception in Intelligent Cyber-Physical Systems. IEEE Trans. Computers 71 (8) (2022)
Ayoosh Bansal, Simon Yu, Hunmin Kim, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha
Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles. CoRR (2022)
Shengzhong Liu, Xinzhe Fu, Maggie B. Wigness, Philip David, Shuochao Yao, Lui Sha, Tarek F. Abdelzaher
Self-Cueing Real-Time Attention Scheduling in Criticality-Aware Visual Machine Perception. RTAS (2022)
Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha
Verifiable Obstacle Detection. CoRR (2022)
Yanbing Mao, Lui Sha, Huajie Shao, Yuliang Gu, Qixin Wang, Tarek F. Abdelzaher
Phy-Taylor: Physics-Model-Based Deep Neural Networks. CoRR (2022)
Jiyang Chen, Simon Yu, Rohan Tabish, Ayoosh Bansal, Shengzhong Liu, Tarek F. Abdelzaher, Lui Sha
LiDAR Cluster First and Camera Inference Later: A New Perspective Towards Autonomous Driving. CoRR (2021)
Hunmin Kim, Hyung-Jin Yoon, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
Backup Plan Constrained Model Predictive Control. CDC (2021)
Jiyang Chen, Tomasz Kloda, Ayoosh Bansal, Rohan Tabish, Chien-Ying Chen, Bo Liu, Sibin Mohan, Marco Caccamo, Lui Sha
SchedGuard: Protecting against Schedule Leaks Using Linux Containers. CoRR (2021)
Long Cheng, Ke Tian, Danfeng Daphne Yao, Lui Sha, Raheem A. Beyah
Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems. IEEE Trans. Dependable Secur. Comput. 18 (2) (2021)
Jiyang Chen, Tomasz Kloda, Ayoosh Bansal, Rohan Tabish, Chien-Ying Chen, Bo Liu, Sibin Mohan, Marco Caccamo, Lui Sha
SchedGuard: Protecting against Schedule Leaks Using Linux Containers. RTAS (2021)
Ayoosh Bansal, Jayati Singh, Micaela Verucchi, Marco Caccamo, Lui Sha
Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles. MECO (2021)
Hunmin Kim, Hyung-Jin Yoon, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
Backup Plan Constrained Model Predictive Control. CoRR (2021)
Ayoosh Bansal, Jayati Singh, Micaela Verucchi, Marco Caccamo, Lui Sha
Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles. CoRR (2021)
Hunmin Kim, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
Robust Vehicle Lane Keeping Control with Networked Proactive Adaptation. ACC (2021)
Rohan Tabish, Jen-Yang Wen, Rodolfo Pellizzoni, Renato Mancuso, Heechul Yun, Marco Caccamo, Lui Sha
SCE-Comm: A Real-Time Inter-Core Communication Framework for Strictly Partitioned Multi-core Processors. MECO (2020)
Yanbing Mao, Naira Hovakimyan, Petros G. Voulgaris, Lui Sha
Finite-Time Model-Learning Based L1-Simplex For Integrated TCS and ABS. CoRR (2020)
Wenbin Wan, Hunmin Kim, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
A Safety Constrained Control Framework for UAVs in GPS Denied Environment. CDC (2020)
Zhicheng Fu, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha
: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models. ACM Trans. Cyber Phys. Syst. 4 (3) (2020)
Shengzhong Liu, Shuochao Yao, Xinzhe Fu, Rohan Tabish, Simon Yu, Ayoosh Bansal, Heechul Yun, Lui Sha, Tarek F. Abdelzaher
On Removing Algorithmic Priority Inversion from Mission-critical Machine Inference Pipelines. RTSS (2020)
Hunmin Kim, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
Robust Vehicle Lane Keeping Control with Networked Proactive Adaptation. CoRR (2020)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
A framework for supporting the development of verifiably safe medical best practice guideline systems. J. Syst. Archit. 104 (2020)
Yanbing Mao, Naira Hovakimyan, Petros G. Voulgaris, Lui Sha
Finite-Time Model Inference From A Single Noisy Trajectory. CoRR (2020)
Wenbin Wan, Hunmin Kim, Yikun Cheng, Naira Hovakimyan, Petros G. Voulgaris, Lui Sha
Safety Constrained Multi-UAV Time Coordination: A Bi-level Control Framework in GPS Denied Environment. CoRR (2020)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. IEEE Internet Things J. 6 (4) (2019)
Wenbin Wan, Hunmin Kim, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
A Safety Constrained Control Framework for UAVs in GPS Denied Environment. CoRR (2019)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts. CoRR (2019)
Hyung-Jin Yoon, Wenbin Wan, Hunmin Kim, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris
Towards Resilient UAV: Escape Time in GPS Denied Environment with Sensor Drift. CoRR (2019)
Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha, Amotz Bar-Noy, Reginald L. Hobbs, William Dron
Decision-driven scheduling. Real Time Syst. 55 (3) (2019)
Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Trans. Cyber Phys. Syst. 3 (1) (2019)
Jiyang Chen, Zhiwei Feng, Jen-Yang Wen, Bo Liu, Lui Sha
A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems. DATE (2019)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report). CoRR (2018)
Long Cheng, Ke Tian, Danfeng Yao, Lui Sha, Raheem A. Beyah
Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems. CoRR (2018)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version). CoRR (2018)
Xiaofeng Wang, Naira Hovakimyan, Lui Sha
RSimplex: A Robust Control Architecture for Cyber And Physical Failures. ACM Trans. Cyber Phys. Syst. 2 (4) (2018)
Zuxing Gu, Yu Jiang, Min Zhou, Ming Gu, Xiaoyu Song, Lui Sha
A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases. IEEE Access 6 (2018)
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
Athena: Towards Decision-Centric Anticipatory Sensor Information Delivery. J. Sens. Actuator Networks 7 (1) (2018)
Jiyang Chen, Zhiwei Feng, Jen-Yang Wen, Bo Liu, Lui Sha
A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems. CoRR (2018)
Zhicheng Fu, Zhao Wang, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha
: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system. DAC (2018)
Andrew Yi-Zong Ou, Maryam Rahmaniheris, Yu Jiang, Lui Sha, Zhicheng Fu, Shangping Ren
Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP. SAC (2018)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models. ICCPS (2018)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report. CoRR (2018)
Yu Jiang, Han Liu, Houbing Song, Hui Kong, Rui Wang, Yong Guan, Lui Sha
Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. 19 (10) (2018)
Mohammad Hosseini, Richard B. Berlin Jr., Lui Sha
Physiology-Aware Rural Ambulance Routing. ICHI (2017)
Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha
Study of Software-Related Causes in the FDA Medical Device Recalls. ICECCS (2017)
Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Mihai Christodorescu, Lui Sha
Learning Execution Contexts from System Call Distribution for Anomaly Detection in Smart Embedded System. IoTDI (2017)
Mohammad Hosseini, Richard B. Berlin Jr., Lui Sha
Physiology-Aware Rural Ambulance Routing. CoRR (2017)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
Model and integrate medical resource availability into verifiably correct executable medical guidelines. ICCAD (2017)
Hongwei Wang, Yunlong Gao, Shaohan Hu, Shiguang Wang, Renato Mancuso, Minje Kim, Po-Liang Wu, Lu Su, Lui Sha, Tarek F. Abdelzaher
On Exploiting Structured Human Interactions to Enhance Sensing Accuracy in Cyber-physical Systems. ACM Trans. Cyber Phys. Syst. 1 (3) (2017)
Man-Ki Yoon, Bo Liu, Naira Hovakimyan, Lui Sha
VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems. ICCPS (2017)
Jung-Eun Kim, Richard M. Bradford, Tarek F. Abdelzaher, Lui Sha
A schedulability test for software migration on multicore system. DATE (2017)
Mohammad Hosseini, Yu Jiang, Ali Yekkehkhany, Richard R. Berlin, Lui Sha
A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. CoRR (2017)
Mohammad Hosseini, Richard R. Berlin, Lui Sha
A physiology-aware communication architecture for distributed emergency medical CPS. ICCPS (2017)
Zhicheng Fu, Chunhui Guo, Shangping Ren, Yizong Ou, Lui Sha
Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design. CBMS (2017)
Mohammad Hosseini, Yu Jiang, Richard R. Berlin, Lui Sha, Houbing Song
Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. IEEE Trans. Multim. 19 (10) (2017)
Andrew Y.-Z. Ou, Maryam Rahmaniheris, Yu Jiang, Po-Liang Wu, Lui Sha
Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols. ICCAD (2017)
Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, Lui Sha
Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. IEEE Trans. Ind. Informatics 13 (4) (2017)
Lui Sha
CPS Runtime Architecture And Automated Transformation of Applications. FEAST@CCS (2017)
Po-Liang Wu, Min-Young Nam, Jeonghwan Choi, Alex Kirlik, Lui Sha, Richard B. Berlin Jr.
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. 41 (12) (2017)
Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Lui Sha
Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. COMPSAC (1) (2017)
Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Maryam Rahmaniheris, Lui Sha
Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. CBMS (2017)
Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha
Modeling and integrating physical environment assumptions in medical cyber-physical system design. DATE (2017)
Mohammad Hosseini, Richard R. Berlin, Lui Sha, Axel Terfloth, Houbing Song
Communication and Synchronization of Distributed Medical Models: Design, Development, and Performance Analysis. CoRR (2017)
Andrew Y.-Z. Ou, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.
Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems. J. Medical Syst. 41 (1) (2017)
Mohammad Hosseini, Yu Jiang, Richard R. Berlin, Lui Sha, Houbing Song
Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. CoRR (2017)
Mohammad Hosseini, Yu Jiang, Ali Yekkehkhany, Richard R. Berlin, Lui Sha
A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. MMSys (2017)
Mohammad Hosseini, Richard R. Berlin, Yu Jiang, Lui Sha
Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport. CHASE (2017)
Taylor T. Johnson, Stanley Bak, Marco Caccamo, Lui Sha
Real-Time Reachability for Verified Simplex Design. ACM Trans. Embed. Comput. Syst. 15 (2) (2016)
Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha, Amotz Bar-Noy, Reginald L. Hobbs, William Dron
On Maximizing Quality of Information for the Internet of Things: A Real-Time Scheduling Perspective (Invited Paper). RTCSA (2016)
Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha
Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) (2016)
Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Shangping Ren, Lui Sha
A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. CoRR (2016)
Zuxing Gu, Hong Song, Yu Jiang, Jeonghone Choi, Hongjiang He, Lui Sha, Ming Gu
An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity. BIBM (2016)
Gang Yao, Heechul Yun, Zheng Pei Wu, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha
Schedulability Analysis for Memory Bandwidth Regulated Multicore Real-Time Systems. IEEE Trans. Computers 65 (2) (2016)
Heechul Yun, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha
Memory Bandwidth Management for Efficient Performance Isolation in Multi-Core Platforms. IEEE Trans. Computers 65 (2) (2016)
Man-Ki Yoon, Mihai Christodorescu, Lui Sha, Sibin Mohan
The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection. SYSTOR (2016)
Maryam Rahmaniheris, Po-Liang Wu, Lui Sha, Richard R. Berlin
An Organ-Centric Best Practice Assist System for Acute Care. CBMS (2016)
Andrew Y.-Z. Ou, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.
Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems. SMC (2016)
Man-Ki Yoon, Sibin Mohan, Chien-Ying Chen, Lui Sha
TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems. RTAS (2016)
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
Real-Time Computing on Multicore Processors. Computer 49 (9) (2016)
Yu Jiang, Lui Sha, Maryam Rahmaniheris, Binhua Wan, Mohammad Hosseini, Pengliu Tan, Richard B. Berlin Jr.
Sepsis Patient Detection and Monitor Based on Auto-BN. J. Medical Syst. 40 (4) (2016)
Yu Jiang, Pengliu Tan, Houbing Song, Binhua Wan, Mohammad Hosseini, Lui Sha
A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient. CBMS (2016)
Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha, Amotz Bar-Noy, Reginald L. Hobbs
Sporadic Decision-Centric Data Scheduling with Normally-off Sensors. RTSS (2016)
Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. RTAS (2016)
Chunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.
Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. ICCPS (2016)
Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Shangping Ren, Lui Sha
A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. J. Medical Syst. 40 (11) (2016)
Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM (2016)

Lui Sha.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lui Sha