University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 360 items
Thumbnail for Design of a Real-Time Switch with Bounded Delays
Design of a Real-Time Switch with Bounded Delays
Kang, Kyungtae; Sha, Lui

Thumbnail for Dependable Cyber-Physical Systems through Control Flow Monitoring
Dependable Cyber-Physical Systems through Control Flow Monitoring
Van Der Woude, Joel

Thumbnail for Pathophysiological model for early detection of sepsis
Pathophysiological model for early detection of sepsis
Chen, Zikun

Thumbnail for Architectural Reference Models For Safety-Critical Systems
Architectural Reference Models For Safety-Critical Systems
Crenshaw, Tanya L.

Thumbnail for Real Time Data Collection and Display from Medical Devices
Real Time Data Collection and Display from Medical Devices
Zheng, Haolin

Thumbnail for Modeling and Complexity Comparison of Different Designs
Modeling and Complexity Comparison of Different Designs
Kim, Cheolgi; Al-Nayeem, Abdullah; Yun, Heechul; Sha, Lui

Thumbnail for An Energy-Aware Data-Centric Generic Utility Based Approach in Wireless Sensor Networks
An Energy-Aware Data-Centric Generic Utility Based Approach in Wireless Sensor Networks
Chen, Wei-Peng; Sha, Lui

Thumbnail for Virtual Single-Core for Multicore Real-Time Computing
Virtual Single-Core for Multicore Real-Time Computing
Lui Sha, Jung-eun Kim, Jose Meseguer, and Peter C. Ölveczky

Thumbnail for Modeling 3-Tiered Web Services
Modeling 3-Tiered Web Services
Liu, Xue; Heo, Jin; Sha, Lui

Thumbnail for A Protocol of Coordinating Treatments for Cyber-Physical-Human Medical Systems
A Protocol of Coordinating Treatments for Cyber-Physical-Human Medical Systems
Wu, Po-Liang

Thumbnail for PALS/PRISM Software Design Description (SDD): Ver. 0.51
PALS/PRISM Software Design Description (SDD): Ver. 0.51
Kim, Cheolgi; Al-Nayeem, Abdullah; Yun, Heechul; Wu, Po-Liang; Sha, Lui

Thumbnail for Schedulability Analysis for Certification-friendly Multicore Systems
Schedulability Analysis for Certification-friendly Multicore Systems
Kim, Jung-Eun; Bradford, Richard; Abdelzaher, Tarek F.; Sha, Lui

Thumbnail for Geometric Programming Based Optimization of Multiple Periodic Resources in Hierarchical Scheduling
Geometric Programming Based Optimization of Multiple Periodic Resources in Hierarchical Scheduling
Yoon, Man-Ki; Kim, Jung-Eun; Bradford, Richard; Sha, Lui

Thumbnail for Pattern-based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems
Pattern-based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems
Al-Nayeem, Abdullah; Sha, Lui; Cofer, Darren D.; Miller, Steven M.

Thumbnail for WCET-Aware Optimization of Shared Cache Partition and Bus Arbitration for Hard Real-Time Multicore Systems
WCET-Aware Optimization of Shared Cache Partition and Bus Arbitration for Hard Real-Time Multicore Systems
Yoon, Man-Ki; Kim, Jung-Eun; Sha, Lui

Thumbnail for Response-Time Analysis for Single Core Equivalence Framework
Response-Time Analysis for Single Core Equivalence Framework
Mancuso, Renato; Pellizzoni, Rodolfo; Caccamo, Marco; Sha, Lui; Yun, Heechul

Thumbnail for An Analysis Framework for the Safe Use of Medical Device Plug-n-Play (MD PnP) Systems
An Analysis Framework for the Safe Use of Medical Device Plug-n-Play (MD PnP) Systems
Rahmaniheris, Maryam; Sha, Lui; Ou, Yi-Zong; Weininger, Sandy

Thumbnail for A Microscopic Study of Power Management in IEEE 802.11 Wireless Networks
A Microscopic Study of Power Management in IEEE 802.11 Wireless Networks
Hu, Chunyu; Zheng, Rong; Hou, Jennifer C.; Sha, Lui

Thumbnail for Towards Safe and Effective Integration of Networked Medical Devices using Organ-based Semi-Autonomous Hierarchical Control
Towards Safe and Effective Integration of Networked Medical Devices using Organ-based Semi-Autonomous Hierarchical Control
Kang, Woochul; Wu, Po-Liang; Sha, Lui; Berlin, Richard B.; Goldman, Julian M.

Thumbnail for A Distributed, Energy-aware, Utility-based Approach for Data Transport in Wireless Sensor Networks
A Distributed, Energy-aware, Utility-based Approach for Data Transport in Wireless Sensor Networks
Chen, Wei-Peng; Hou, Jennifer C.; Sha, Lui; Caccamo, Marco

Thumbnail for Multi-IMA Partition Scheduling with Synchronized Solo-Partitions for Multi-Core Avionics Systems
Multi-IMA Partition Scheduling with Synchronized Solo-Partitions for Multi-Core Avionics Systems
Kim, Jung-Eun; Yoon, Man-Ki; Im, Sungjin; Bradford, Richard; Sha, Lui

Thumbnail for STROKE: TIME IS BRAIN
STROKE: TIME IS BRAIN
Hosseini, Mohammad

Thumbnail for Time-Indexing in Sensor Networks
Time-Indexing in Sensor Networks
Zheng, Rong; He, Guanghui; Gupta, Indranil; Hou, Jennifer C.; Sha, Lui

Thumbnail for Towards a Systematic Software Architecture for Acute Care Support
Towards a Systematic Software Architecture for Acute Care Support
Sun, Mu; Rahmaniheris, Maryam; Kim, Cheolgi; Sha, Lui R.; Berlin, Richard B.; Goldman, Julian M.

Thumbnail for Single Core Equivalent Virtual Machines for Hard Real—Time Computing on Multicore Processors
Single Core Equivalent Virtual Machines for Hard Real—Time Computing on Multicore Processors
Sha, Lui; Caccamo, Marco; Mancuso, Renato; Kim, Jung-Eun; Yoon, Man-Ki; Pellizzoni, Rodolfo; Yun, Heechul; Kegley, Russel; Perlman, Dennis; Arundale, Greg; Bradford, Richard

Thumbnail for Physically-asynchronous logically-synchronous (PALS) system design and development
Physically-asynchronous logically-synchronous (PALS) system design and development
Al-Nayeem, Abdullah

Thumbnail for Secure and dependable cyber-physical system architectures
Secure and dependable cyber-physical system architectures
Yoon, Man Ki

Thumbnail for Rewriting-Based Computer-Interpretable Clinical Practice Guidelines
Rewriting-Based Computer-Interpretable Clinical Practice Guidelines
Saxena, Manasvi; Chen, Xiaohong; Song, Shuang; Meng, Shaoyu; Sha, Lui; Rosu, Grigore • 2022

Thumbnail for Architecture Reference Models for Early Safety Analysis
Architecture Reference Models for Early Safety Analysis
Crenshaw, Tanya

Thumbnail for Executable clinical models for acute care
Executable clinical models for acute care
Rahmaniheris, Maryam