Lui Sha - Publications, H-index & Citations

Lui Sha

department of computer science

62H指数

451论文数

2.2W被引数

收录论文 41

发表时间

Neural Probabilistic Circuits: Enabling Compositional and Interpretable Predictions Through Logical Reasoning 神经网络概率电路：通过逻辑推理实现组合性和可解释性预测

Machine Learning

IF2.9

2026-08-29

OAAI

Weixin Chen; Simon Yu; Huajie Shao; Lui Sha; Han Zhao

Phy-Taylor: Partially Physics-Knowledge-Enhanced Deep Neural Networks via NN Editing

IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS

IF8.9

2025-01-01

PREAI

Mao, Yanbing; Gu, Yuliang; Sha, Lui; Shao, Huajie; Wang, Qixin; Abdelzaher, Tarek

Taming Algorithmic Priority Inversion in Mission-Critical Perception Pipelines

COMMUNICATIONS OF THE ACM

IF12.2

2024-01-25

OAAI

Liu, Shengzhong; Yao, Shuochao; Fu, Xinzhe; Tabish, Rohan; Yu, Simon; Bansal, Ayoosh; Yun, Heechul; Sha, Lui; Abdelzaher, Tarek

Robust vehicle lane keeping control with networked proactive adaptation

artificial intelligence review

IF4.6

2023-12-01

PREAI

Kim, Hunmin; Wan, Wenbin; Hovakimyan, Naira; Sha, Lui; Voulgaris, Petros

An Analyzable Inter-core Communication Framework for High-Performance Multicore Embedded Systems 高性能多核嵌入式系统的可分析核间通信框架

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2021-09-01

OAAI

Tabish, Rohan; Wen, Jen-Yang; Pellizzoni, Rodolfo; Mancuso, Renato; Yun, Heechul; Caccamo, Marco; Sha, Lui Raymond

Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems 检查是相信: 网络物理系统中的事件感知程序异常检测

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2021-03-01

OAAI

Cheng, Long; Tian, Ke; Yao, Danfeng (Daphne); Sha, Lui; Beyah, Raheem A.

Real-Time Task Scheduling for Machine Perception in Intelligent Cyber-Physical Systems 智能信息物理系统中面向机器感知的实时任务调度

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2021-01-01

PREAI

Liu, Shengzhong; Yao, Shuochao; Fu, Xinzhe; Shao, Huajie; Tabish, Rohan; Yu, Simon; Bansal, Ayoosh; Yun, Heechul; Sha, Lui; Abdelzaher, Tarek

A framework for supporting the development of verifiably safe medical best practice guideline systems

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2020-03-01

OAAI

Guo, Chunhui; Fu, Zhicheng; Zhang, Zhenyu; Ren, Shangping; Sha, Lui

Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS

IF8.4

2018-10-01

PREAI

Jiang, Yu; Liu, Han; Song, Houbing; Kong, Hui; Wang, Rui; Guan, Yong; Sha, Lui

A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases

IEEE ACCESS

IF3.6

2018-01-01

OAAI

Gu, Zuxing; Jiang, Yu; Zhou, Min; Gu, Ming; Song, Xiaoyu; Sha, Lui

Supporting Emergency Medical Care Teams with an Integrated Status Display Providing Real-Time Access to Medical Best Practices, Workflow Tracking, and Patient Data

JOURNAL OF MEDICAL SYSTEMS

IF5.7

2017-10-17

PREAI

Wu, PoLiang; Nam, Min-Young; Choi, Jeonghwan; Kirlik, Alex; Sha, Lui; Berlin, Richard B., Jr.

Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances

IEEE TRANSACTIONS ON MULTIMEDIA

IF9.7

2017-10-01

OAAI

Hosseini, Mohammad; Jiang, Yu; Berlin, Richard R.; Sha, Lui; Song, Houbing

Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2017-08-01

OAAI

Jiang, Yu; Song, Houbing; Wang, Rui; Gu, Ming; Sun, Jiaguang; Sha, Lui

Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems

JOURNAL OF MEDICAL SYSTEMS

IF5.7

2016-11-16

PREAI

Ou, Andrew Y. -Z.; Jiang, Yu; Wu, Po-Liang; Sha, Lui; Berlin, Richard B., Jr.

A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems

JOURNAL OF MEDICAL SYSTEMS

IF5.7

2016-09-15

PREAI

Hosseini, Mohammad; Jiang, Yu; Wu, Poliang; Berlin, Richard B., Jr.; Ren, Shangping; Sha, Lui

Sepsis Patient Detection and Monitor Based on Auto-BN

JOURNAL OF MEDICAL SYSTEMS

IF5.7

2016-03-03

PREAI

Jiang, Yu; Sha, Lui; Rahmaniheris, Maryam; Wan, Binhua; Hosseini, Mohammad; Tan, Pengliu; Berlin, Richard B., Jr.

Memory Bandwidth Management for Efficient Performance Isolation in Multi-Core Platforms

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2016-02-01

PREAI

Yun, Heechul; Yao, Gang; Pellizzoni, Rodolfo; Caccamo, Marco; Sha, Lui

Schedulability Analysis for Memory Bandwidth Regulated Multicore Real-Time Systems

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2016-02-01

PREAI

Yao, Gang; Yun, Heechul; Wu, Zheng Pei; Pellizzoni, Rodolfo; Caccamo, Marco; Sha, Lui

Worst Case Analysis of Packet Delay in Avionics Systems for Environmental Monitoring

ieee open journal of circuits and systems

IF4.4

2015-12-01

PREAI

Kang, Kyungtae; Nam, Min-Young; Sha, Lui

The Design of Safe Networked Supervisory Medical Systems Using Organ-Centric Hierarchical Control Architecture

IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS

IF6.8

2015-05-01

PREAI

Kang, Woochul; Sha, Lui; Berlin, Richard B., Jr.; Goldman, Julian M.

研究方向