![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Lui Sha
Person information
- affiliation: University of Illinois at Urbana-Champaign, Urbana, IL, USA
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j91]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) - [c167]Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo:
Physics-Regulated Deep Reinforcement Learning: Invariant Embeddings. ICLR 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]Renato Mancuso
, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha, Heechul Yun:
WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence. ECRTS 2015: 174-183 - [c119]Po-Liang Wu, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman:
Safe Workflow Adaptation and Validation Protocol for Medical Cyber-Physical Systems. EUROMICRO-SEAA 2015: 464-471 - [c118]Yunlong Gao, Shaohan Hu, Renato Mancuso
, Hongwei Wang, Minje Kim, Po-Liang Wu, Lu Su, Lui Sha, Tarek F. Abdelzaher:
Exploiting structured human interactions to enhance estimation accuracy in cyber-physical systems. ICCPS 2015: 60-69 - [c117]Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Lui Sha:
SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces. ARM@Middleware 2015: 2:1-2:6 - [c116]Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha:
Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model. RTAS 2015: 221-231 - [i4]Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Mihai Christodorescu, Lui Sha:
Intrusion Detection Using Execution Contexts Learned from System Call Distributions of Real-Time Embedded Systems. CoRR abs/1501.05963 (2015) - [i3]Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Lui Sha:
SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces. CoRR abs/1510.05606 (2015) - 2014
- [j60]Woochul Kang, Lui Sha:
qPALS: Quality-Aware Synchrony Protocol for Distributed Real-Time Systems. KSII Trans. Internet Inf. Syst. 8(10): 3361-3377 (2014) - [j59]Min-Young Nam, Jaemyoun Lee, Kyung-Joon Park
, Lui Sha, Kyungtae Kang:
Guaranteeing the End-to-End Latency of an IMA System with an Increasing Workload. IEEE Trans. Computers 63(6): 1460-1473 (2014) - [c115]Jung-Eun Kim, Man-Ki Yoon, Richard M. Bradford, Lui Sha:
Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems. COMPSAC 2014: 321-331 - [c114]Po-Liang Wu, Dhashrath Raguraman, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman:
A Treatment Validation Protocol for Cyber-Physical-Human Medical Systems. EUROMICRO-SEAA 2014: 183-190 - [c113]Po-Liang Wu, Dhashrath Raguraman, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman:
WiP abstract: A treatment coordination protocol for cyber-physical-human medical systems. ICCPS 2014: 226 - [c112]Stanley Bak, Taylor T. Johnson
, Marco Caccamo, Lui Sha:
Real-Time Reachability for Verified Simplex Design. RTSS 2014: 138-148 - 2013
- [j58]Kyungtae Kang, Kyung-Joon Park
, Lui Sha, Qixin Wang
:
Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound. Real Time Syst. 49(1): 117-135 (2013) - [j57]Emiliano Betti, Stanley Bak, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha:
Real-Time I/O Management System with COTS Peripherals. IEEE Trans. Computers 62(1): 45-58 (2013) - [j56]Jianguo Yao, Xue Liu, Guchuan Zhu, Lui Sha:
NetSimplex: Controller Fault Tolerance Architecture in Networked Control Systems. IEEE Trans. Ind. Informatics 9(1): 346-356 (2013) - [j55]Kyungtae Kang, Junhee Ryu, Junbeom Hur, Lui Sha:
Design and QoS of a Wireless System for Real-Time Remote Electrocardiography. IEEE J. Biomed. Health Informatics 17(3): 745-755 (2013) - [j54]Kyungtae Kang, Min-Young Nam, Lui Sha:
Model-Based Analysis of Wireless System Architectures for Real-Time Applications. IEEE Trans. Mob. Comput. 12(2): 219-232 (2013) - [c111]Woochul Kang, Po-Liang Wu, Maryam Rahmaniheris, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman:
Towards organ-centric compositional development of safe networked supervisory medical systems. CBMS 2013: 143-148 - [c110]Maryam Rahmaniheris, Woochul Kang, Lue-Jane Lee, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman:
Modeling and architecture design of an MDPnP acute care monitoring system. CBMS 2013: 514-515 - [c109]Fardin Abdi Taghi Abad, Joel van der Woude, Yi Lu, Stanley Bak, Marco Caccamo, Lui Sha, Renato Mancuso
, Sibin Mohan
:
On-chip control flow integrity check for real time embedded systems. CPSNA 2013: 26-31 - [c108]Jung-Eun Kim, Man-Ki Yoon, Sungjin Im, Richard M. Bradford, Lui Sha:
Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems. DATE 2013: 970-975 - [c107]Man-Ki Yoon, Jung-Eun Kim, Richard M. Bradford, Lui Sha:
Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling. DATE 2013: 1313-1318 - [c106]Abdullah Al-Nayeem, Cheolgi Kim, Woochul Kang, Po-Liang Wu, Lui Sha:
Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems. EMSOFT 2013: 5:1-5:10 - [c105]Sibin Mohan
, Stanley Bak, Emiliano Betti, Heechul Yun, Lui Sha, Marco Caccamo:
S3A: secure system simplex architecture for enhanced security and robustness of cyber-physical systems. HiCoNS 2013: 65-74 - [c104]Xiaofeng Wang, Naira Hovakimyan, Lui Sha:
L1Simplex: fault-tolerant control of cyber-physical systems. ICCPS 2013: 41-50 - [c103]Po-Liang Wu, Woochul Kang, Abdullah Al-Nayeem, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman:
A low complexity coordination architecture for networked supervisory medical systems. ICCPS 2013: 89-98 - [c102]Man-Ki Yoon, Sibin Mohan
, Jaesik Choi
, Jung-Eun Kim, Lui Sha:
SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 21-32 - [c101]Heechul Yun, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha:
MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 55-64 - [c100]Lui Sha:
Keynote: "Re-engineering acute care". RTCSA 2013 - 2012
- [j53]Min-Young Nam, Kyungtae Kang, Rodolfo Pellizzoni, Kyung-Joon Park
, Jung-Eun Kim, Lui Sha:
Modeling towards incremental early analyzability of networked avionics systems using virtual integration. ACM Trans. Embed. Comput. Syst. 11(4): 81:1-81:23 (2012) - [c99]Kyungtae Kang, Min-Young Nam, Jaemyoun Lee, Juyoung Park, Homin Yoo, Lui Sha:
Model-based design of a wireless telemetry system and QoS assessment using AADL. BIBM Workshops 2012: 748-749 - [c98]Heechul Yun, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha:
Memory Access Control in Multiprocessor for Real-Time Systems with Mixed Criticality. ECRTS 2012: 299-308 - [c97]Abdullah Al-Nayeem, Lui Sha, Darren D. Cofer, Steven P. Miller:
Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems. ICCPS 2012: 65-74 - [c96]Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha:
Compositional Verification of Architectural Models. NASA Formal Methods 2012: 126-140 - [c95]Cheolgi Kim, Mu Sun, Maryam Rahmaniheris, Lui Sha:
How to reliably integrate medical devices over wireless. SECON 2012: 85-87 - [i2]Sibin Mohan, Stanley Bak, Emiliano Betti, Heechul Yun, Lui Sha, Marco Caccamo:
S3A: Secure System Simplex Architecture for Enhanced Security of Cyber-Physical Systems. CoRR abs/1202.5722 (2012) - 2011
- [j52]Heechul Yun, Po-Liang Wu, Anshu Arya, Cheolgi Kim, Tarek F. Abdelzaher, Lui Sha:
System-wide energy optimization for multiple DVS components and real-time tasks. Real Time Syst. 47(5): 489-515 (2011) - [j51]Kyungtae Kang, Kyung-Joon Park
, Jae-Jin Song
, Chang-Hwan Yoon
, Lui Sha:
A Medical-Grade Wireless Architecture for Remote Electrocardiography. IEEE Trans. Inf. Technol. Biomed. 15(2): 260-267 (2011) - [c94]Min-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha:
Resource allocation contracts for open analytic runtime models. EMSOFT 2011: 13-22 - [c93]Min-Young Nam, Eunsoo Seo, Lui Sha, Kyung-Joon Park
, Kyungtae Kang:
Limiting Worst-Case End-to-End Latency When Traffic Increases in a Switched Avionics Network. RTCSA (1) 2011: 285-294 - [c92]Man-Ki Yoon, Jung-Eun Kim, Lui Sha:
Optimizing Tunable WCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems. RTSS 2011: 227-238 - [i1]Heechul Yun, Cheolgi Kim, Lui Sha:
Deterministic Real-time Thread Scheduling. CoRR abs/1104.2110 (2011) - 2010
- [j50]Kyung-Joon Park
, Tae Rim Park, Christopher D. Schmitz, Lui Sha:
Design of robust adaptive frequency hopping for wireless medical telemetry systems. IET Commun. 4(2): 178-191 (2010) - [j49]Kyungtae Kang, Lui Sha:
An Interleaving Structure for Guaranteed QoS in Real-Time Broadcasting Systems. IEEE Trans. Computers 59(5): 666-678 (2010) - [c91]Ragunathan Rajkumar, Insup Lee, Lui Sha, John A. Stankovic:
Cyber-physical systems: the next computing revolution. DAC 2010: 731-736 - [c90]Heechul Yun, Po-Liang Wu, Anshu Arya, Tarek F. Abdelzaher, Cheolgi Kim, Lui Sha:
System-Wide Energy Optimization for Multiple DVS Components and Real-Time Tasks. ECRTS 2010: 133-142 - [c89]Heechul Yun, Po-Liang Wu, Maryam Rahmaniheris, Cheolgi Kim, Lui Sha:
A reduced complexity design pattern for distributed hierarchical command and control system. ICCPS 2010: 42-49 - [c88]Cheolgi Kim, Mu Sun, Sibin Mohan
, Heechul Yun, Lui Sha, Tarek F. Abdelzaher:
A framework for the safe interoperability of medical devices in the presence of network failures. ICCPS 2010: 149-158 - [c87]Mu Sun, José Meseguer, Lui Sha:
A Formal Pattern Architecture for Safe Medical Systems. WRLA 2010: 157-173
2000 – 2009
- 2009
- [c86]Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, Lui Sha:
Handling mixed-criticality in SoC-based real-time embedded systems. EMSOFT 2009: 235-244 - [c85]Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford:
ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs. ICECCS 2009: 11-22 - [c84]Stanley Bak, Deepti K. Chivukula, Olugbemiga Adekunle, Mu Sun, Marco Caccamo, Lui Sha:
The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 99-107 - [c83]Sibin Mohan
, Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford, Shana Fliginger:
Rapid Early-Phase Virtual Integration. RTSS 2009: 33-44 - [c82]Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu
, Lui Sha, Steven P. Miller, Darren D. Cofer:
A Formal Architecture Pattern for Real-Time Distributed Systems. RTSS 2009: 161-170 - [c81]Stanley Bak, Emiliano Betti, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha:
Real-Time Control of I/O COTS Peripherals for Embedded Systems. RTSS 2009: 193-203 - 2008
- [j48]Sathish Gopalakrishnan, Marco Caccamo, Lui Sha:
Sharp Thresholds for Scheduling Recurring Tasks with Distance Constraints. IEEE Trans. Computers 57(3): 344-358 (2008) - [j47]Xue Liu, Qixin Wang
, Sathish Gopalakrishnan, Wenbo He, Lui Sha, Hui Ding, Kihwal Lee:
ORTEGA: An Efficient and Flexible Online Fault Tolerance Architecture for Real-Time Control Systems. IEEE Trans. Ind. Informatics 4(4): 213-224 (2008) - [j46]Qixin Wang
, Rong Zheng, Ajay Tirumala, Xue Liu, Lui Sha:
Lightning: A Hard Real-Time, Fast, and Lightweight Low-End Wireless Sensor Election Protocol for Acoustic Event Localization. IEEE Trans. Mob. Comput. 7(5): 570-584 (2008) - [j45]Xue Liu, Jin Heo, Lui Sha, Xiaoyun Zhu:
Queueing-Model-Based Adaptive Control of Multi-Tiered Web Applications. IEEE Trans. Netw. Serv. Manag. 5(3): 157-167 (2008) - [c80]Xue Liu, Hui Ding, Kihwal Lee, Qixin Wang
, Lui Sha:
ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems. ECRTS 2008: 125-134 - [c79]Qixin Wang
, Sathish Gopalakrishnan, Xue Liu, Lui Sha:
A Switch Design for Real-Time Industrial Networks. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 367-376 - [c78]Bach Duy Bui, Marco Caccamo, Lui Sha, Joseph Martinez:
Impact of Cache Partitioning on Multi-tasking Real Time Embedded Systems. RTCSA 2008: 101-110 - [c77]Rodolfo Pellizzoni, Bach Duy Bui, Marco Caccamo, Lui Sha:
Coscheduling of CPU and I/O Transactions in COTS-Based Embedded Systems. RTSS 2008: 221-231 - [c76]Lui Sha, Sathish Gopalakrishnan, Xue Liu, Qixin Wang
:
Cyber-Physical Systems: A New Frontier. SUTC 2008: 1-9 - [p3]Lui Sha, José Meseguer:
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. Software-Intensive Systems and New Computing Paradigms 2008: 92-100 - 2007
- [j44]Qixin Wang
, Xue Liu, Weiqun Chen, Lui Sha, Marco Caccamo:
Building Robust Wireless LAN for Industrial Control with the DSSS-CDMA Cell Phone Network Paradigm. IEEE Trans. Mob. Comput. 6(6): 706-719 (2007) - [c75]Qixin Wang
, Xue Liu, Jennifer C. Hou, Lui Sha:
GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications. RTSS 2007: 379-388 - [c74]Tanya L. Crenshaw, Elsa L. Gunter, Craig L. Robinson, Lui Sha, P. R. Kumar:
The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures. RTSS 2007: 400-412 - 2006
- [j43]Insup Lee, George J. Pappas
, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha:
High-Confidence Medical Device Software and Systems. Computer 39(4): 33-38 (2006) - [j42]Lui Sha, Chang-Gun Lee:
Real-time virtual machines for avionics software migration. Int. J. Embed. Syst. 2(3/4): 156-165 (2006) - [j41]Rong Zheng, Jatindera Singh Walia, Lui Sha:
Local Group Communication-aware MAC Protocol in Wireless Sensor Networks. Int. J. Wirel. Inf. Networks 13(4): 275-287 (2006) - [j40]Chunyu Hu, Rong Zheng, Jennifer C. Hou, Lui Sha:
A microscopic study of power management in IEEE 802.11 wireless networks. Int. J. Wirel. Mob. Comput. 1(3/4): 165-178 (2006) - [j39]Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng Shih
, Chang-Gun Lee, Lui Sha:
Finite-horizon scheduling of radar dwells with online template construction. Real Time Syst. 33(1-3): 47-75 (2006) - [j38]Xue Liu, Hui Ding, Kihwal Lee, Lui Sha, Marco Caccamo:
Feedback fault tolerance of real-time embedded systems: issues and possible solutions. SIGBED Rev. 3(2): 23-28 (2006) - [j37]Lui Sha, Ashok K. Agrawala:
Real time and embedded (RTE) GENI. SIGBED Rev. 3(3): 21-24 (2006) - [j36]Chang-Gun Lee, Phil-Su Kang, Chi-Sheng Shih
, Lui Sha:
Schedulability Envelope for Real-Time Radar Dwell Scheduling. IEEE Trans. Computers 55(12): 1599-1613 (2006) - [j35]Rong Zheng, Jennifer C. Hou, Lui Sha:
Optimal Block Design for Asynchronous Wake-Up Schedules and Its Applications in Multihop Wireless Networks. IEEE Trans. Mob. Comput. 5(9): 1228-1241 (2006) - [j34]Xue Liu, Qixin Wang
, Wenbo He, Marco Caccamo, Lui Sha:
Optimal real-time sampling rate assignment for wireless sensor networks. ACM Trans. Sens. Networks 2(2): 263-295 (2006) - [j33]Rong Zheng, Jennifer C. Hou, Lui Sha:
Performance analysis of power management policies in wireless networks. IEEE Trans. Wirel. Commun. 5(6): 1351-1361 (2006) - [c73]Sumant Kowshik, Grigore Rosu, Lui Sha:
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems. DSN 2006: 23-34 - [c72]Hui Ding, Leon Arber, Lui Sha, Marco Caccamo:
The Dependency Management Framework: A Case Study of the ION CubeSat. ECRTS 2006: 52-64 - [c71]Xue Liu, Jin Heo, Lui Sha, Xiaoyun Zhu:
Adaptive Control of Multi-Tiered Web Applications Using Queueing Predictor. NOMS 2006: 106-114 - [c70]Sathish Gopalakrishnan, Marco Caccamo, Lui Sha:
Switch Scheduling and Network Design for Real-Time Systems. IEEE Real Time Technology and Applications Symposium 2006: 289-300 - [c69]Tanya L. Crenshaw, Craig L. Robinson, Hui Ding, P. R. Kumar, Lui Sha:
A Pattern for Adaptive Behavior in Safety-Critical, Real-Time Middleware. RTSS 2006: 127-136 - [c68]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:
I-Living: An Open System Architecture for Assisted Living. SMC 2006: 4268-4275 - 2005
- [j32]Ajay Tirumala, Tanya L. Crenshaw, Lui Sha, Girish Baliga, Sumant Kowshik, Craig L. Robinson, Weerasak Witthawaskul:
Prevention of failures due to assumptions made by software components in real-time systems. SIGBED Rev. 2(3): 36-39 (2005) - [j31]Guanghui He, Rong Zheng, Indranil Gupta, Lui Sha:
A framework for time indexing in sensor networks. ACM Trans. Sens. Networks 1(1): 101-133 (2005) - [j30]Ning Li, Jennifer C. Hou, Lui Sha:
Design and analysis of an MST-based topology control algorithm. IEEE Trans. Wirel. Commun. 4(3): 1195-1206 (2005) - [c67]Sumant Kowshik, Girish Baliga, Scott R. Graham
, Lui Sha:
Co-Design Based Approach to Improve Robustness in Networked Control Systems. DSN 2005: 454-463 - [c66]Hui Ding, Kihwal Lee, Lui Sha:
Dependency Algebra: A Theoretical Framework for Dependency Management in Real-Time Control Systems. ECBS 2005: 41-48 - [c65]Xue Liu, Rong Zheng, Jin Heo, Qixin Wang
, Lui Sha:
Timing Performance Control in Web Server Systems Utilizing Server Internal State Information. ICAS/ICNS 2005: 75 - [c64]Xue Liu, Jin Heo, Lui Sha:
Modeling 3-Tiered Web Applications. MASCOTS 2005: 307-310 - [c63]Rong Zheng, Lui Sha, Wei Feng:
MAC layer support for group communication in wireless sensor networks. MASS 2005 - [c62]Kihwal Lee, Lui Sha:
Process Resurrection: A Fast Recovery Mechanism for Real-Time Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 292-301 - [c61]Kihwal Lee, Lui Sha:
A Dependable Online Testing and Upgrade Architecture for Real-Time Embedded Systems. RTCSA 2005: 160-165 - [c60]Hui Ding, Lui Sha:
Dependency Algebra: A Tool for Designing Robust Real-Time Systems. RTSS 2005: 210-220 - [c59]Xue Liu, Rong Zheng, Jin Heo, Lui Sha:
Improved timing control for web server systems using internal state information. WWW (Special interest tracks and posters) 2005: 1068-1069 - [p2]Marco Caccamo, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Lui Sha:
Real-Time Scheduling for Embedded Systems. Handbook of Networked and Embedded Control Systems 2005: 173-196 - 2004
- [j29]Girish Baliga, Scott R. Graham, Lui Sha, P. R. Kumar:
Service Continuity in Networked Control Using Etherware. IEEE Distributed Syst. Online 5(9) (2004) - [j28]Chang-Gun Lee, Chi-Sheng Shih
, Lui Sha:
Online QoS Optimization Using Service Classes in Surveillance Radar Systems. Real Time Syst. 28(1): 5-37 (2004) - [j27]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:
Real Time Scheduling Theory: A Historical Perspective. Real Time Syst. 28(2-3): 101-155 (2004) - [j26]Lui Sha:
Open challenges in real time embedded systems. SIGBED Rev. 1(1): 13-15 (2004) - [j25]Chang-Gun Lee, Lui Sha, Avinash Peddi:
Enhanced Utilization Bounds for QoS Management. IEEE Trans. Computers 53(2): 187-200 (2004) - [j24]Wei-Peng Chen, Jennifer C. Hou, Lui Sha:
Dynamic Clustering for Acoustic Target Tracking in Wireless Sensor Networks. IEEE Trans. Mob. Comput. 3(3): 258-271 (2004) - [c58]Rong Zheng, Jennifer C. Hou, Lui Sha:
On time-out driven power management policies in wireless networks. GLOBECOM 2004: 4097-4103 - [c57]Wei-Peng Chen, Lui Sha:
An energy-aware data-centric generic utility based approach in wireless sensor networks. IPSN 2004: 215-224 - [c56]Girish Baliga, Scott R. Graham
, Lui Sha, P. R. Kumar:
Etherware: Domainware for Wireless Control Networks. ISORC 2004: 155-162 - [c55]Rong Zheng, Guanghui He, Indranil Gupta, Lui Sha:
Time indexing in sensor networks. MASS 2004: 274-283 - [c54]Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng Shih
, Chang-Gun Lee, Lui Sha:
Finite-Horizon Scheduling of Radar Dwells with Online Template Construction. RTSS 2004: 23-33 - [c53]Qixin Wang, Rong Zheng, Ajay Tirumala, Xue Liu, Lui Sha:
Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors. RTSS 2004: 371-381 - [c52]Sathish Gopalakrishnan, Lui Sha, Marco Caccamo:
Hard Real-Time Communication in Bus-Based Networks. RTSS 2004: 405-414 - [r1]Lui Sha, Marco Caccamo:
Real-Time Synchronization Protocols. Handbook of Scheduling 2004 - 2003
- [j23]John A. Stankovic, Tarek F. Abdelzaher, Chenyang Lu, Lui Sha, Jennifer C. Hou:
Real-time communication and coordination in embedded sensor networks. Proc. IEEE 91(7): 1002-1022 (2003) - [j22]Lui Sha:
Upgrading real-time control software in the field. Proc. IEEE 91(7): 1131-1140 (2003) - [j21]Ramesh Chandra, Xue Liu, Lui Sha:
On the Scheduling of Flexible and Reliable Real-Time Control Systems. Real Time Syst. 24(2): 153-169 (2003) - [c51]Honghai Zhang, Jennifer C. Hou, Lui Sha:
A Bluetooth loop scatternet formation algorithm. ICC 2003: 1174-1180 - [c50]Wei-Peng Chen, Jennifer C. Hou, Lui Sha:
Dynamic Clustering for Acoustic Target Tracking in Wireless Sensor Networks. ICNP 2003: 284-294 - [c49]Ning Li, Jennifer C. Hou, Lui Sha:
Design and Analysis of an MST-Based Topology Control Algorithm. INFOCOM 2003: 1702-1712 - [c48]Chang-Gun Lee, Lui Sha:
Enhanced Processor Budget for QoS Management in Multimedia Systems. IPDPS 2003: 123 - [c47]Qixin Wang, Wei-Peng Chen, Rong Zheng, Kihwal Lee, Lui Sha:
Acoustic Target Tracking Using Tiny Wireless Sensor Devices. IPSN 2003: 642-657 - [c46]Xue Liu, Lui Sha, Yixin Diao, Steve Froehlich, Joseph L. Hellerstein, Sujay S. Parekh:
Online Response Time Optimization of Apache Web Server. IWQoS 2003: 461-478 - [c45]Rong Zheng, Jennifer C. Hou, Lui Sha:
Asynchronous wakeup for ad hoc networks. MobiHoc 2003: 35-45 - [c44]Chi-Sheng Shih
, Sathish Gopalakrishnan, Phanindra Ganti, Marco Caccamo, Lui Sha:
Template-Based Real-Time Dwell Scheduling with Energy Constraint. IEEE Real Time Technology and Applications Symposium 2003: 19- - [c43]Ying Lu, Tarek F. Abdelzaher, Chenyang Lu, Lui Sha, Xue Liu:
Feedback Control with Queueing-Theoretic Prediction for Relative Delay Guarantees in Web Servers. IEEE Real Time Technology and Applications Symposium 2003: 208-218 - [c42]Lui Sha:
Real-Time Virtual Machines for Avionics Software Porting and Development. RTCSA 2003: 123-135 - [c41]Chang-Gun Lee, Phil-Su Kang, Chi-Sheng Shih, Lui Sha:
Radar Dwell Scheduling Considering Physical Characteristics of Phased Array Antenna. RTSS 2003: 14-24 - [c40]Chi-Sheng Shih, Sathish Gopalakrishnan, Phanindra Ganti, Marco Caccamo, Lui Sha:
Scheduling Real-Time Dwells Using Tasks with Synthetic Periods. RTSS 2003: 210-219 - [c39]Xue Liu, Qixin Wang, Lui Sha, Wenbo He:
Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor Networks. RTSS 2003: 308-319 - [c38]Hui Ding, Can Zheng, Lui Sha, Gul Agha:
Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. SEKE 2003: 458-466 - [c37]Hui Ding, Can Zheng, Gul Agha, Lui Sha:
Automated Verification of the Dependability of Object-Oriented Real-Time Systems. WORDS Fall 2003: 171-178 - 2002
- [j20]Lui Sha, Tarek F. Abdelzaher:
Guest Editorial. Real Time Syst. 23(1-2): 5-6 (2002) - [j19]Marco Caccamo, Giorgio C. Buttazzo, Lui Sha:
Handling Execution Overruns in Hard Real-Time Control Systems. IEEE Trans. Computers 51(7): 835-849 (2002) - [c36]Lui Sha:
Upgrading Embedded Software in the Field: Dependability and Survivability. EMSOFT 2002: 166-181 - [c35]Marco Caccamo, Lynn Y. Zhang, Lui Sha, Giorgio C. Buttazzo:
An Implicit Prioritized Access Protocol for Wireless Sensor Networks. RTSS 2002: 39-48 - [c34]Lui Sha, Xue Liu:
Queueing Model Based Network Server Performance Control. RTSS 2002: 81-90 - 2001
- [j18]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:
What Are the Top Ten Most Influential Parallel and Distributed Processing Concepts of the Past Millenium? J. Parallel Distributed Comput. 61(12): 1827-1841 (2001) - [j17]Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin:
Trade-Off Analysis of Real-Time Control Performance and Schedulability. Real Time Syst. 21(3): 199-217 (2001) - [j16]Sung-Soo Lim, Kihwal Lee, Lui Sha:
Ensuring Integrity and Service Availability in a Web-Based Control Laboratory. Parallel Distributed Comput. Pract. 4(2) (2001) - [j15]Lui Sha
:
Using Simplicity to Control Complexity. IEEE Softw. 18(4): 20-28 (2001) - [c33]Chi-Sheng Shih, Lui Sha, Jane W.-S. Liu:
Scheduling Tasks With Variable Deadlines. IEEE Real Time Technology and Applications Symposium 2001: 120-122 - [c32]Chang-Gun Lee, Chi-Sheng Shih, Lui Sha:
Service Class-Based Online QoS Management in Surveillance Radar Systems. RTSS 2001: 139-148 - [c31]Marco Caccamo, Lui Sha:
Aperiodic Servers with Resource Constraints. RTSS 2001: 161-170 - 2000
- [c30]Karl-Erik Årzén, Anton Cervin
, Johan Eker, Lui Sha:
An introduction to control and scheduling co-design. CDC 2000: 4865-4870 - [c29]Lui Sha, Xue Liu, Marco Caccamo, Giorgio C. Buttazzo:
Online control optimization using load driven scheduling. CDC 2000: 4877-4882 - [c28]Marco Caccamo, Giorgio C. Buttazzo, Lui Sha:
Elastic feedback control. ECRTS 2000: 121-128 - [c27]Janek Schwarz, Andreas Polze, Kristopher Wehner, Lui Sha:
Remote Lab: A Reliable Tele-Laboratory Environment. International Conference on Internet Computing 2000: 55-62 - [c26]Lui Sha, Danbing Seto:
A Distributed Real Time Coordination Protocol. IPDPS Workshops 2000: 671-677 - [c25]Andreas Polze, Janek Schwarz, Kristopher Wehner, Lui Sha:
Integration of CORBA Services with a Dynamic Real-Time Architecture. IEEE Real Time Technology and Applications Symposium 2000: 198-206 - [c24]Marco Caccamo, Giorgio C. Buttazzo, Lui Sha:
Capacity Sharing for Overrun Control. RTSS 2000: 295-304
1990 – 1999
- 1999
- [c23]Lui Sha:
Using COTS Software in High Assurance Control Applications. HASE 1999: 118 - [c22]Xiaoyan He, Lui Sha:
A Fault Tolerant Real-time Publisher/Subscriber Inter-Process Communication Architecture. RTCSA 1999: 204-207 - [c21]Ramesh Chandra, Lui Sha:
On Scheduling Tasks in Reliable Real-Time Control Systems. RTSS 1999: 164-165 - 1998
- [c20]Andreas Polze, Lui Sha:
Composite Objects: Real-Time Programming with CORBA. EUROMICRO 1998: 20997- - [c19]Danbing Seto, John P. Lehoczky, Lui Sha:
Task Period Selection and Schedulability in Real-Time Systems. RTSS 1998: 188-198 - [c18]Lui Sha:
Dependable System Upgrade. RTSS 1998: 440-448 - 1997
- [j14]Lui Sha, Shirish S. Sathaye, Jay K. Strosnider:
Analysis of Dual-Link Networks for Real-Time Applications. IEEE Trans. Computers 46(1): 1-13 (1997) - 1996
- [j13]Lui Sha:
Real-Time In the Real World. ACM Comput. Surv. 28(4es): 187 (1996) - [c17]Michael Gagliardi, Ragunathan Rajkumar, Lui Sha:
Designing for evolvability: building blocks for evolvable real-time systems. IEEE Real Time Technology and Applications Symposium 1996: 100-109 - [c16]Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin:
On task schedulability in real-time control systems. RTSS 1996: 13-21 - 1995
- [j12]Jay K. Strosnider, John P. Lehoczky, Lui Sha:
The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments. IEEE Trans. Computers 44(1): 73-91 (1995) - [c15]Ragunathan Rajkumar, Michael Gagliardi, Lui Sha:
The real-time publisher/subscriber inter-process communication model for distributed real-time systems: design and implementation. IEEE Real Time Technology and Applications Symposium 1995: 66-75 - [p1]Marc Bodson, John P. Lehoczky, Ragunathan Rajkumar, Lui Sha, Jennifer Stephan:
Fault-Tolerant Automatic Control. Responsive Computer Systems 1995: 209-223 - 1994
- [j11]Lui Sha:
Industrial Computing: A Grand Challenge - Guest Editor's Introduction. Computer 27(1): 12-13 (1994) - [j10]Lui Sha, Ragunathan Rajkumar, Shirish S. Sathaye:
Generalized rate-monotonic scheduling theory: a framework for developing real-time systems. Proc. IEEE 82(1): 68-82 (1994) - 1993
- [j9]Lui Sha, Shirish S. Sathaye:
A Systematic Approach to Design Distributed Real-Time Systems. Computer 26(9): 68-78 (1993) - 1992
- [j8]Sadegh Davari, Lui Sha:
Sources of Unbounded Priority Inversions in Real-Time Systems and a Comparative Study of Possible Solutions. ACM SIGOPS Oper. Syst. Rev. 26(2): 110-120 (1992) - [c14]Lui Sha, Shirish S. Sathaye, Jay K. Strosnider:
Scheduling real-time communication on dual-link networks. RTSS 1992: 188-197 - 1991
- [j7]Lui Sha, Ragunathan Rajkumar, Sang Hyuk Son, Chun-Hyon Chang:
A Real-Time Locking Protocol. IEEE Trans. Computers 40(7): 793-800 (1991) - 1990
- [j6]Lui Sha, John B. Goodenough:
Real-Time Scheduling Theory and Ada. Computer 23(4): 53-62 (1990) - [j5]Lui Sha
, Ragunathan Rajkumar, John P. Lehoczky:
Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Trans. Computers 39(9): 1175-1185 (1990) - [c13]Lui Sha, John P. Lehoczky, Ragunathan Rajkumar:
Real-Time Scheduling Support in Futurebus+. RTSS 1990: 331-340
1980 – 1989
- 1989
- [j4]Brinkley Sprunt, Lui Sha, John P. Lehoczky:
Aperiodic Task Scheduling for Hard Real-Time Systems. Real Time Syst. 1(1): 27-60 (1989) - [j3]Lui Sha, Ragunathan Rajkumar, John P. Lehoczky, Krithi Ramamritham:
Mode Change Protocols for Priority-Driven Preemptive Scheduling. Real Time Syst. 1(3): 243-264 (1989) - [c12]John P. Lehoczky, Lui Sha, Y. Ding:
The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior. RTSS 1989: 166-171 - 1988
- [j2]Lui Sha, Ragunathan Rajkumar, John P. Lehoczky:
Concurrency Control for Distributed Real-Time Databases. SIGMOD Rec. 17(1): 82-98 (1988) - [j1]Lui Sha, John P. Lehoczky, E. Douglas Jensen:
Modular Concurrency Control and Failure Recovery. IEEE Trans. Computers 37(2): 146-159 (1988) - [c11]John B. Goodenough, Lui Sha:
The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks. IRTAW 1988: 20-31 - [c10]C. Douglass Locke, Lui Sha, R. Rajikumar, John P. Lehoczky, Gregory Burns:
Priority inversion and its control: An experimental investigation. IRTAW 1988: 39-42 - [c9]Brinkley Sprunt, David Blair Kirk, Lui Sha:
Priority-Driven, Preemptive I/O Controllers for Real-Time Systems. ISCA 1988: 152-159 - [c8]Brinkley Sprunt, John P. Lehoczky, Lui Sha:
Exploiting Unused Periodic Time for Aperiodic Service Using the Extended Priority Exchange Algorithm. RTSS 1988: 251-258 - [c7]Ragunathan Rajkumar, Lui Sha, John P. Lehoczky:
Real-Time Synchronization Protocols for Multiprocessors. RTSS 1988: 259-269 - 1987
- [c6]Dennis Cornhill, Lui Sha, John P. Lehoczky:
Limitations of Ada for real-time scheduling. IRTAW 1987: 33-39 - [c5]Ragunathan Rajkumar, Lui Sha, John P. Lehoczky:
On Countering the Effects of Cycle-Stealing in a Hard Real-Time Environment. RTSS 1987: 2-11 - [c4]John P. Lehoczky, Lui Sha, Jay K. Strosnider:
Enhanced Aperiodic Responsiveness in Hard Real-Time Environments. RTSS 1987: 261-270 - 1986
- [c3]Lui Sha, John P. Lehoczky, Ragunathan Rajkumar:
Solutions for Some Practical Problems in Prioritized Preemptive Scheduling. RTSS 1986: 181-191 - [c2]John P. Lehoczky, Lui Sha:
Performance of Real-Time Bus Scheduling Algorithms. SIGMETRICS 1986: 44-53 - 1983
- [c1]Lui Sha, E. Douglas Jensen, Richard F. Rashid, J. Duane Northcutt:
Distributed co-operating processes and transactions. SIGCOMM 1983: 188-196
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-07 02:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint