default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLui Sha
Lui Raymond Sha
Person information
- affiliation: University of Illinois at Urbana-Champaign, Urbana, IL, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j93]Yanbing Mao, Yuliang Gu, Lui Sha, Huajie Shao, Qixin Wang, Tarek F. Abdelzaher:
Phy-Taylor: Partially Physics-Knowledge-Enhanced Deep Neural Networks via NN Editing. IEEE Trans. Neural Networks Learn. Syst. 36(1): 447-461 (2025)- 2024
- [j92]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): 110-117 (2024) - [j91]Ayoosh Bansal
, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha:
Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults. Softw. Test. Verification Reliab. 34(6) (2024) - [c167]Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo:
Physics-Regulated Deep Reinforcement Learning: Invariant Embeddings. ICLR 2024 - [i37]Yihao Cai, Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo:
Simplex-enabled Safe Continual Learning Machine. CoRR abs/2409.05898 (2024) - [i36]Ashik E. Rasul, Humaira Tasnim, Hyung-Jin Yoon, Ayoosh Bansal, Duo Wang, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris:
Bayesian Data Augmentation and Training for Perception DNN in Autonomous Aerial Vehicles. CoRR abs/2412.07655 (2024) - [i35]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:
Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis. CoRR abs/2412.08102 (2024) - [i34]Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo:
Physics-model-guided Worst-case Sampling for Safe Reinforcement Learning. CoRR abs/2412.13224 (2024) - 2023
- [j90]Hunmin Kim, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris:
Robust vehicle lane keeping control with networked proactive adaptation. Artif. Intell. 325: 104020 (2023) - [j89]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): 302-343 (2023) - [j88]Yanbing Mao, Yuliang Gu, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris:
Sℒ1-Simplex: Safe Velocity Regulation of Self-Driving Vehicles in Dynamic and Unforeseen Environments. ACM Trans. Cyber Phys. Syst. 7(1): 2:1-2:24 (2023) - [j87]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): 6:1-6:25 (2023) - [c166]Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo:
Physics-Model-Regulated Deep Reinforcement Learning Towards Safety & Stability Guarantees. CDC 2023: 8306-8311 - [c165]Manasvi Saxena, Shuang Song, Lui Sha:
MediK: Towards Safe Guideline-based Clinical Decision Support. FMCAD 2023: 306-317 - [c164]Shuang Song, Manasvi Saxena, Pei-Hsuan Tsai, Lui Sha:
Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems. SMC 2023: 4271-4276 - [i33]Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo:
Physical Deep Reinforcement Learning Towards Safety Guarantee. CoRR abs/2303.16860 (2023) - [i32]Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo:
Physical Deep Reinforcement Learning: Safety and Unknown Unknowns. CoRR abs/2305.16614 (2023) - [i31]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 abs/2306.06102 (2023) - [i30]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 abs/2312.02937 (2023) - 2022
- [j86]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): 1770-1783 (2022) - [c163]Tomasz Kloda, Jiyang Chen, Antoine Bertout, Lui Sha, Marco Caccamo:
Latency analysis of self-suspending task chains. DATE 2022: 1299-1304 - [c162]Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha:
Verifiable Obstacle Detection. ISSRE 2022: 61-72 - [c161]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: 173-186 - [i29]Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha:
Verifiable Obstacle Detection. CoRR abs/2208.14403 (2022) - [i28]Ayoosh Bansal, Simon Yu, Hunmin Kim, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha:
Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles. CoRR abs/2209.01710 (2022) - [i27]Yanbing Mao, Lui Sha, Huajie Shao, Yuliang Gu, Qixin Wang, Tarek F. Abdelzaher:
Phy-Taylor: Physics-Model-Based Deep Neural Networks. CoRR abs/2209.13511 (2022) - 2021
- [j85]Rohan Tabish, Jen-Yang Wen, Rodolfo Pellizzoni, Renato Mancuso, Heechul Yun, Marco Caccamo, Lui Raymond Sha:
An Analyzable Inter-core Communication Framework for High-Performance Multicore Embedded Systems. J. Syst. Archit. 118: 102178 (2021) - [j84]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): 825-842 (2021) - [c160]Hunmin Kim, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris:
Robust Vehicle Lane Keeping Control with Networked Proactive Adaptation. ACC 2021: 136-141 - [c159]Hunmin Kim, Hyung-Jin Yoon, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris:
Backup Plan Constrained Model Predictive Control. CDC 2021: 289-294 - [c158]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: 1-4 - [c157]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: 14-26 - [i26]Hunmin Kim, Hyung-Jin Yoon, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris:
Backup Plan Constrained Model Predictive Control. CoRR abs/2103.14819 (2021) - [i25]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 abs/2104.04528 (2021) - [i24]Ayoosh Bansal, Jayati Singh, Micaela Verucchi, Marco Caccamo, Lui Sha:
Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles. CoRR abs/2106.04146 (2021) - [i23]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 abs/2111.09799 (2021) - 2020
- [j83]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: 101693 (2020) - [j82]Zhicheng Fu, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha:
UACFinder: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models. ACM Trans. Cyber Phys. Syst. 4(3): 24:1-24:25 (2020) - [c156]Wenbin Wan, Hunmin Kim, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris:
A Safety Constrained Control Framework for UAVs in GPS Denied Environment. CDC 2020: 214-219 - [c155]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: 1-6 - [c154]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: 319-332 - [i22]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 abs/2005.07697 (2020) - [i21]Yanbing Mao, Naira Hovakimyan, Petros G. Voulgaris, Lui Sha:
Finite-Time Model-Learning Based L1-Simplex For Integrated TCS and ABS. CoRR abs/2008.01627 (2020) - [i20]Hunmin Kim, Wenbin Wan, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris:
Robust Vehicle Lane Keeping Control with Networked Proactive Adaptation. CoRR abs/2009.12349 (2020) - [i19]Yanbing Mao, Naira Hovakimyan, Petros G. Voulgaris, Lui Sha:
Finite-Time Model Inference From A Single Noisy Trajectory. CoRR abs/2010.06616 (2020)
2010 – 2019
- 2019
- [j81]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): 6276-6284 (2019) - [j80]Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha, Amotz Bar-Noy, Reginald L. Hobbs, William Dron:
Decision-driven scheduling. Real Time Syst. 55(3): 514-551 (2019) - [j79]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): 12:1-12:31 (2019) - [c153]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: 1222-1227 - [i18]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 abs/1906.05348 (2019) - [i17]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts. CoRR abs/1909.10493 (2019) - [i16]Wenbin Wan, Hunmin Kim, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris:
A Safety Constrained Control Framework for UAVs in GPS Denied Environment. CoRR abs/1910.10826 (2019) - 2018
- [j78]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: 34834-34845 (2018) - [j77]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): 5 (2018) - [j76]Xiaofeng Wang, Naira Hovakimyan, Lui Sha:
RSimplex: A Robust Control Architecture for Cyber And Physical Failures. ACM Trans. Cyber Phys. Syst. 2(4): 27:1-27:26 (2018) - [j75]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): 3320-3333 (2018) - [c152]Zhicheng Fu, Zhao Wang, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha:
IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system. DAC 2018: 143:1-143:6 - [c151]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: 253-262 - [c150]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: 1282-1291 - [i15]Long Cheng, Ke Tian, Danfeng Yao, Lui Sha, Raheem A. Beyah:
Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems. CoRR abs/1805.00074 (2018) - [i14]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 abs/1811.00694 (2018) - [i13]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 abs/1811.08061 (2018) - [i12]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 abs/1811.08064 (2018) - [i11]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 abs/1812.02834 (2018) - 2017
- [j74]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): 9:1-9:12 (2017) - [j73]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): 186:1-186:19 (2017) - [j72]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): 16:1-16:19 (2017) - [j71]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): 1900-1909 (2017) - [j70]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): 2307-2321 (2017) - [c149]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: 117-122 - [c148]Zhicheng Fu, Chunhui Guo, Shangping Ren, Yizong Ou, Lui Sha:
Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design. CBMS 2017: 373-378 - [c147]Lui Sha:
CPS Runtime Architecture And Automated Transformation of Applications. FEAST@CCS 2017: 31-34 - [c146]Mohammad Hosseini, Richard R. Berlin, Yu Jiang, Lui Sha:
Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport. CHASE 2017: 245-246 - [c145]Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Lui Sha:
Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. COMPSAC (1) 2017: 760-765 - [c144]Jung-Eun Kim, Richard M. Bradford, Tarek F. Abdelzaher, Lui Sha:
A schedulability test for software migration on multicore system. DATE 2017: 1261-1264 - [c143]Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha:
Modeling and integrating physical environment assumptions in medical cyber-physical system design. DATE 2017: 1615-1618 - [c142]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: 957-963 - [c141]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Model and integrate medical resource availability into verifiably correct executable medical guidelines. ICCAD 2017: 964-969 - [c140]Mohammad Hosseini, Richard R. Berlin, Lui Sha:
A physiology-aware communication architecture for distributed emergency medical CPS. ICCPS 2017: 83 - [c139]Man-Ki Yoon, Bo Liu, Naira Hovakimyan, Lui Sha:
VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems. ICCPS 2017: 143-154 - [c138]Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha:
Study of Software-Related Causes in the FDA Medical Device Recalls. ICECCS 2017: 60-69 - [c137]Mohammad Hosseini, Richard B. Berlin Jr., Lui Sha:
Physiology-Aware Rural Ambulance Routing. ICHI 2017: 332-337 - [c136]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: 191-196 - [c135]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: 158-163 - [i10]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 abs/1706.05288 (2017) - [i9]Mohammad Hosseini, Richard B. Berlin Jr., Lui Sha:
Physiology-Aware Rural Ambulance Routing. CoRR abs/1706.10290 (2017) - [i8]Mohammad Hosseini, Yu Jiang, Richard R. Berlin, Lui Sha, Houbing Song:
Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. CoRR abs/1707.04918 (2017) - [i7]Mohammad Hosseini, Richard R. Berlin, Lui Sha, Axel Terfloth, Houbing Song:
Communication and Synchronization of Distributed Medical Models: Design, Development, and Performance Analysis. CoRR abs/1711.09192 (2017) - 2016
- [j69]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): 69-77 (2016) - [j68]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): 111:1-111:10 (2016) - [j67]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): 227:1-227:17 (2016) - [j66]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): 562-576 (2016) - [j65]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): 601-614 (2016) - [j64]Taylor T. Johnson, Stanley Bak, Marco Caccamo, Lui Sha:
Real-Time Reachability for Verified Simplex Design. ACM Trans. Embed. Comput. Syst. 15(2): 26:1-26:27 (2016) - [c134]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: 818-822 - [c133]Yu Jiang, Pengliu Tan, Houbing Song, Binhua Wan, Mohammad Hosseini, Lui Sha:
A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient. CBMS 2016: 60-65 - [c132]Maryam Rahmaniheris, Po-Liang Wu, Lui Sha, Richard R. Berlin:
An Organ-Centric Best Practice Assist System for Acute Care. CBMS 2016: 100-105 - [c131]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: 757-763 - [c130]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: 34:1-34:10 - [c129]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: 112-121 - [c128]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: 111-122 - [c127]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: 231-241 - [c126]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: 202-211 - [c125]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: 135-145 - [c124]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: 4394-4399 - [c123]Man-Ki Yoon, Mihai Christodorescu, Lui Sha, Sibin Mohan:
The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection. SYSTOR 2016: 1:1-1:12 - [i6]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 abs/1608.04661 (2016) - [i5]Maryam Rahmaniheris, Yu Jiang, Lui Sha:
Model-Driven Design of Clinical Guidance Systems. CoRR abs/1610.06895 (2016) - 2015
- [j63]Kyungtae Kang, Qixin Wang, Junbeom Hur, Kyung-Joon Park, Lui Sha:
Medical-Grade Quality of Service for Real-Time Mobile Healthcare. Computer 48(2): 41-49 (2015) - [j62]Kyungtae Kang, Min-Young Nam, Lui Sha:
Worst Case Analysis of Packet Delay in Avionics Systems for Environmental Monitoring. IEEE Syst. J. 9(4): 1354-1362 (2015) - [j61]Woochul Kang, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman:
The Design of Safe Networked Supervisory Medical Systems Using Organ-Centric Hierarchical Control Architecture. IEEE J. Biomed. Health Informatics 19(3): 1077-1086 (2015) - [c122]Man-Ki Yoon, Lui Sha, Sibin Mohan, Jaesik Choi:
Memory heat map: anomaly detection in real-time embedded systems using memory behavior. DAC 2015: 35:1-35:6 - [c121]Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha:
Schedulability bound for integrated modular avionics partitions. DATE 2015: 37-42 - [c120]