Lui Sha

According to our database1, Lui Sha authored at least 228 papers between 1986 and 2019.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2005, "For contributions to real-time systems.".

IEEE Fellow

IEEE Fellow 1998, "For technical leadership and research contributions which enabled the transformation of real time computing practice from ad hoc process to an engineering process based on analytical methods.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation.
TCPS, 2019

Decision-driven scheduling.
Real-Time Systems, 2019

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts.
IEEE Internet of Things Journal, 2019

A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018
Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.
IEEE Trans. Intelligent Transportation Systems, 2018

RSimplex: A Robust Control Architecture for Cyber And Physical Failures.
TCPS, 2018

Athena: Towards Decision-Centric Anticipatory Sensor Information Delivery.
J. Sensor and Actuator Networks, 2018

A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases.
IEEE Access, 2018

Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system.
Proceedings of the 55th Annual Design Automation Conference, 2018

2017
Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances.
IEEE Trans. Multimedia, 2017

Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System.
IEEE Trans. Industrial Informatics, 2017

On Exploiting Structured Human Interactions to Enhance Sensing Accuracy in Cyber-physical Systems.
TCPS, 2017

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 Systems, 2017

Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems.
J. Medical Systems, 2017

A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport.
Proceedings of the 8th ACM on Multimedia Systems Conference, 2017

Learning Execution Contexts from System Call Distribution for Anomaly Detection in Smart Embedded System.
Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017

Physiology-Aware Rural Ambulance Routing.
Proceedings of the 2017 IEEE International Conference on Healthcare Informatics, 2017

Study of Software-Related Causes in the FDA Medical Device Recalls.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

A physiology-aware communication architecture for distributed emergency medical CPS.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Model and integrate medical resource availability into verifiably correct executable medical guidelines.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

A schedulability test for software migration on multicore system.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Modeling and integrating physical environment assumptions in medical cyber-physical system design.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport.
Proceedings of the Second IEEE/ACM International Conference on Connected Health: Applications, 2017

CPS Runtime Architecture And Automated Transformation of Applications.
Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, 2017

Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study.
Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017

Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design.
Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017

2016
Real-Time Reachability for Verified Simplex Design.
ACM Trans. Embedded Comput. Syst., 2016

Memory Bandwidth Management for Efficient Performance Isolation in Multi-Core Platforms.
IEEE Trans. Computers, 2016

Schedulability Analysis for Memory Bandwidth Regulated Multicore Real-Time Systems.
IEEE Trans. Computers, 2016

Sepsis Patient Detection and Monitor Based on Auto-BN.
J. Medical Systems, 2016

A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems.
J. Medical Systems, 2016

Real-Time Computing on Multicore Processors.
IEEE Computer, 2016

The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection.
Proceedings of the 9th ACM International on Systems and Storage Conference, 2016

Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Sporadic Decision-Centric Data Scheduling with Normally-off Sensors.
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

On Maximizing Quality of Information for the Internet of Things: A Real-Time Scheduling Perspective (Invited Paper).
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Use runtime verification to improve the quality of medical care practice.
Proceedings of the 38th International Conference on Software Engineering, 2016

Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller.
Proceedings of the FM 2016: Formal Methods, 2016

An Organ-Centric Best Practice Assist System for Acute Care.
Proceedings of the 29th IEEE International Symposium on Computer-Based Medical Systems, 2016

A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient.
Proceedings of the 29th IEEE International Symposium on Computer-Based Medical Systems, 2016

An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015
The Design of Safe Networked Supervisory Medical Systems Using Organ-Centric Hierarchical Control Architecture.
IEEE J. Biomedical and Health Informatics, 2015

Worst Case Analysis of Packet Delay in Avionics Systems for Environmental Monitoring.
IEEE Systems Journal, 2015

Medical-Grade Quality of Service for Real-Time Mobile Healthcare.
IEEE Computer, 2015

Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces.
Proceedings of the 14th International Workshop on Adaptive and Reflective Middleware, 2015

Exploiting structured human interactions to enhance estimation accuracy in cyber-physical systems.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Safe Workflow Adaptation and Validation Protocol for Medical Cyber-Physical Systems.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

Schedulability bound for integrated modular avionics partitions.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Memory heat map: anomaly detection in real-time embedded systems using memory behavior.
Proceedings of the 52nd Annual Design Automation Conference, 2015

2014
Guaranteeing the End-to-End Latency of an IMA System with an Increasing Workload.
IEEE Trans. Computers, 2014

qPALS: Quality-Aware Synchrony Protocol for Distributed Real-Time Systems.
TIIS, 2014

Real-Time Reachability for Verified Simplex Design.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

WiP abstract: A treatment coordination protocol for cyber-physical-human medical systems.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

A Treatment Validation Protocol for Cyber-Physical-Human Medical Systems.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
Model-Based Analysis of Wireless System Architectures for Real-Time Applications.
IEEE Trans. Mob. Comput., 2013

Design and QoS of a Wireless System for Real-Time Remote Electrocardiography.
IEEE J. Biomedical and Health Informatics, 2013

NetSimplex: Controller Fault Tolerance Architecture in Networked Control Systems.
IEEE Trans. Industrial Informatics, 2013

Real-Time I/O Management System with COTS Peripherals.
IEEE Trans. Computers, 2013

Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound.
Real-Time Systems, 2013

Keynote: "Re-engineering acute care".
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

A low complexity coordination architecture for networked supervisory medical systems.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

L1Simplex: fault-tolerant control of cyber-physical systems.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

S3A: secure system simplex architecture for enhanced security and robustness of cyber-physical systems.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems.
Proceedings of the International Conference on Embedded Software, 2013

Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling.
Proceedings of the Design, Automation and Test in Europe, 2013

Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems.
Proceedings of the Design, Automation and Test in Europe, 2013

On-chip control flow integrity check for real time embedded systems.
Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

Modeling and architecture design of an MDPnP acute care monitoring system.
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

Towards organ-centric compositional development of safe networked supervisory medical systems.
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

2012
Modeling towards incremental early analyzability of networked avionics systems using virtual integration.
ACM Trans. Embedded Comput. Syst., 2012

How to reliably integrate medical devices over wireless.
Proceedings of the 9th Annual IEEE Communications Society Conference on Sensor, 2012

Compositional Verification of Architectural Models.
Proceedings of the NASA Formal Methods, 2012

Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Memory Access Control in Multiprocessor for Real-Time Systems with Mixed Criticality.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

Model-based design of a wireless telemetry system and QoS assessment using AADL.
Proceedings of the 2012 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2012

2011
A Medical-Grade Wireless Architecture for Remote Electrocardiography.
IEEE Trans. Information Technology in Biomedicine, 2011

System-wide energy optimization for multiple DVS components and real-time tasks.
Real-Time Systems, 2011

Optimizing Tunable WCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Limiting Worst-Case End-to-End Latency When Traffic Increases in a Switched Avionics Network.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

Resource allocation contracts for open analytic runtime models.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
An Interleaving Structure for Guaranteed QoS in Real-Time Broadcasting Systems.
IEEE Trans. Computers, 2010

Design of robust adaptive frequency hopping for wireless medical telemetry systems.
IET Communications, 2010

A Formal Pattern Architecture for Safe Medical Systems.
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

A reduced complexity design pattern for distributed hierarchical command and control system.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

A framework for the safe interoperability of medical devices in the presence of network failures.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

System-Wide Energy Optimization for Multiple DVS Components and Real-Time Tasks.
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

Cyber-physical systems: the next computing revolution.
Proceedings of the 47th Design Automation Conference, 2010

2009
Rapid Early-Phase Virtual Integration.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Real-Time Control of I/O COTS Peripherals for Embedded Systems.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

A Formal Architecture Pattern for Real-Time Distributed Systems.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Handling mixed-criticality in SoC-based real-time embedded systems.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2008
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Queueing-Model-Based Adaptive Control of Multi-Tiered Web Applications.
IEEE Trans. Network and Service Management, 2008

Lightning: A Hard Real-Time, Fast, and Lightweight Low-End Wireless Sensor Election Protocol for Acoustic Event Localization.
IEEE Trans. Mob. Comput., 2008

ORTEGA: An Efficient and Flexible Online Fault Tolerance Architecture for Real-Time Control Systems.
IEEE Trans. Industrial Informatics, 2008

Sharp Thresholds for Scheduling Recurring Tasks with Distance Constraints.
IEEE Trans. Computers, 2008

Cyber-Physical Systems: A New Frontier.
Proceedings of the IEEE International Conference on Sensor Networks, 2008

Coscheduling of CPU and I/O Transactions in COTS-Based Embedded Systems.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Impact of Cache Partitioning on Multi-tasking Real Time Embedded Systems.
Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

A Switch Design for Real-Time Industrial Networks.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems.
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007
Building Robust Wireless LAN for Industrial Control with the DSSS-CDMA Cell Phone Network Paradigm.
IEEE Trans. Mob. Comput., 2007

GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

2006
Performance analysis of power management policies in wireless networks.
IEEE Trans. Wireless Communications, 2006

Optimal real-time sampling rate assignment for wireless sensor networks.
TOSN, 2006

Optimal Block Design for Asynchronous Wake-Up Schedules and Its Applications in Multihop Wireless Networks.
IEEE Trans. Mob. Comput., 2006

Schedulability Envelope for Real-Time Radar Dwell Scheduling.
IEEE Trans. Computers, 2006

Real time and embedded (RTE) GENI.
SIGBED Review, 2006

Feedback fault tolerance of real-time embedded systems: issues and possible solutions.
SIGBED Review, 2006

A microscopic study of power management in IEEE 802.11 wireless networks.
IJWMC, 2006

Local Group Communication-aware MAC Protocol in Wireless Sensor Networks.
IJWIN, 2006

Real-time virtual machines for avionics software migration.
IJES, 2006

High-Confidence Medical Device Software and Systems.
IEEE Computer, 2006

I-Living: An Open System Architecture for Assisted Living.
Proceedings of the IEEE International Conference on Systems, 2006

A Pattern for Adaptive Behavior in Safety-Critical, Real-Time Middleware.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Switch Scheduling and Network Design for Real-Time Systems.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Adaptive Control of Multi-Tiered Web Applications Using Queueing Predictor.
Proceedings of the Management of Integrated End-to-End Communications and Services, 2006

The Dependency Management Framework: A Case Study of the ION CubeSat.
Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

Static Analysis to Enforce Safe Value Flow in Embedded Control Systems.
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

2005
A framework for time indexing in sensor networks.
TOSN, 2005

Prevention of failures due to assumptions made by software components in real-time systems.
SIGBED Review, 2005

Improved timing control for web server systems using internal state information.
Proceedings of the 14th international conference on World Wide Web, 2005

Dependency Algebra: A Tool for Designing Robust Real-Time Systems.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

A Dependable Online Testing and Upgrade Architecture for Real-Time Embedded Systems.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Process Resurrection: A Fast Recovery Mechanism for Real-Time Embedded Systems.
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

MAC layer support for group communication in wireless sensor networks.
Proceedings of the IEEE 2nd International Conference on Mobile Adhoc and Sensor Systems, 2005

Modeling 3-Tiered Web Applications.
Proceedings of the 13th International Symposium on Modeling, 2005

Timing Performance Control in Web Server Systems Utilizing Server Internal State Information.
Proceedings of the Joint International Conference on Autonomic and Autonomous Systems 2005 / International Conference on Networking and Services 2005, 2005

Dependency Algebra: A Theoretical Framework for Dependency Management in Real-Time Control Systems.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Co-Design Based Approach to Improve Robustness in Networked Control Systems.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Real-Time Scheduling for Embedded Systems.
Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004
Real-Time Synchronization Protocols.
Proceedings of the Handbook of Scheduling - Algorithms, Models, and Performance Analysis., 2004

Enhanced Utilization Bounds for QoS Management.
IEEE Trans. Computers, 2004

Open challenges in real time embedded systems.
SIGBED Review, 2004

Real Time Scheduling Theory: A Historical Perspective.
Real-Time Systems, 2004

Online QoS Optimization Using Service Classes in Surveillance Radar Systems.
Real-Time Systems, 2004

Service Continuity in Networked Control Using Etherware.
IEEE Distributed Systems Online, 2004

Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Hard Real-Time Communication in Bus-Based Networks.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Finite-Horizon Scheduling of Radar Dwells with Online Template Construction.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Time indexing in sensor networks.
Proceedings of the 2004 IEEE International Conference on Mobile Ad-hoc and Sensor Systems, 2004

Etherware: Domainware for Wireless Control Networks.
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

An energy-aware data-centric generic utility based approach in wireless sensor networks.
Proceedings of the Third International Symposium on Information Processing in Sensor Networks, 2004

On time-out driven power management policies in wireless networks.
Proceedings of the Global Telecommunications Conference, 2004. GLOBECOM '04, Dallas, Texas, USA, 29 November, 2004

2003
On the Scheduling of Flexible and Reliable Real-Time Control Systems.
Real-Time Systems, 2003

Real-time communication and coordination in embedded sensor networks.
Proceedings of the IEEE, 2003

Upgrading real-time control software in the field.
Proceedings of the IEEE, 2003

Automated Verification of the Dependability of Object-Oriented Real-Time Systems.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Scheduling Real-Time Dwells Using Tasks with Synthetic Periods.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor Networks.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Radar Dwell Scheduling Considering Physical Characteristics of Phased Array Antenna.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Real-Time Virtual Machines for Avionics Software Porting and Development.
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

Template-Based Real-Time Dwell Scheduling with Energy Constraint.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

Feedback Control with Queueing-Theoretic Prediction for Relative Delay Guarantees in Web Servers.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

Asynchronous wakeup for ad hoc networks.
Proceedings of the 4th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2003

Online Response Time Optimization of Apache Web Server.
Proceedings of the Quality of Service, 2003

Acoustic Target Tracking Using Tiny Wireless Sensor Devices.
Proceedings of the Information Processing in Sensor Networks, 2003

Enhanced Processor Budget for QoS Management in Multimedia Systems.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Design and Analysis of an MST-Based Topology Control Algorithm.
Proceedings of the Proceedings IEEE INFOCOM 2003, The 22nd Annual Joint Conference of the IEEE Computer and Communications Societies, San Franciso, CA, USA, March 30, 2003

Dynamic Clustering for Acoustic Target Tracking in Wireless Sensor Networks.
Proceedings of the 11th IEEE International Conference on Network Protocols (ICNP 2003), 2003

A Bluetooth loop scatternet formation algorithm.
Proceedings of IEEE International Conference on Communications, 2003

2002
Handling Execution Overruns in Hard Real-Time Control Systems.
IEEE Trans. Computers, 2002

Guest Editorial.
Real-Time Systems, 2002

Queueing Model Based Network Server Performance Control.
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

An Implicit Prioritized Access Protocol for Wireless Sensor Networks.
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

Upgrading Embedded Software in the Field: Dependability and Survivability.
Proceedings of the Embedded Software, Second International Conference, 2002

2001
Using Simplicity to Control Complexity.
IEEE Software, 2001

Ensuring Integrity and Service Availability in a Web-Based Control Laboratory.
Scalable Computing: Practice and Experience, 2001

Trade-Off Analysis of Real-Time Control Performance and Schedulability.
Real-Time Systems, 2001

What Are the Top Ten Most Influential Parallel and Distributed Processing Concepts of the Past Millenium?
J. Parallel Distrib. Comput., 2001

Service Class-Based Online QoS Management in Surveillance Radar Systems.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

Aperiodic Servers with Resource Constraints.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

Scheduling Tasks With Variable Deadlines.
Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

2000
Capacity Sharing for Overrun Control.
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Integration of CORBA Services with a Dynamic Real-Time Architecture.
Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000

A Distributed Real Time Coordination Protocol.
Proceedings of the Parallel and Distributed Processing, 2000

Remote Lab: A Reliable Tele-Laboratory Environment.
Proceedings of the International Conference on Internet Computing, 2000

Elastic feedback control.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1999
On Scheduling Tasks in Reliable Real-Time Control Systems.
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

A Fault Tolerant Real-time Publisher/Subscriber Inter-Process Communication Architecture.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Using COTS Software in High Assurance Control Applications.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998
Dependable System Upgrade.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Task Period Selection and Schedulability in Real-Time Systems.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Composite Objects: Real-Time Programming with CORBA.
Proceedings of the 24th EUROMICRO '98 Conference, 1998

1997
Analysis of Dual-Link Networks for Real-Time Applications.
IEEE Trans. Computers, 1997

1996
Real-Time In the Real World.
ACM Comput. Surv., 1996

On task schedulability in real-time control systems.
Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

Designing for evolvability: building blocks for evolvable real-time systems.
Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

1995
The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments.
IEEE Trans. Computers, 1995

The real-time publisher/subscriber inter-process communication model for distributed real-time systems: design and implementation.
Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 1995

Fault-Tolerant Automatic Control.
Proceedings of the Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, 1995

1994
Industrial Computing: A Grand Challenge - Guest Editor's Introduction.
IEEE Computer, 1994

1993
A Systematic Approach to Design Distributed Real-Time Systems.
IEEE Computer, 1993

1992
Sources of Unbounded Priority Inversions in Real-Time Systems and a Comparative Study of Possible Solutions.
Operating Systems Review, 1992

Scheduling real-time communication on dual-link networks.
Proceedings of the Real-Time Systems Symposium, 1992

1991
A Real-Time Locking Protocol.
IEEE Trans. Computers, 1991

1990
Priority Inheritance Protocols: An Approach to Real-Time Synchronization.
IEEE Trans. Computers, 1990

Real-Time Scheduling Theory and Ada.
IEEE Computer, 1990

Real-Time Scheduling Support in Futurebus+.
Proceedings of the Real-Time Systems Symposium, 1990

1989
Aperiodic Task Scheduling for Hard Real-Time Systems.
Real-Time Systems, 1989

Mode Change Protocols for Priority-Driven Preemptive Scheduling.
Real-Time Systems, 1989

The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior.
Proceedings of the Real-Time Systems Symposium, 1989

1988
Modular Concurrency Control and Failure Recovery.
IEEE Trans. Computers, 1988

Concurrency Control for Distributed Real-Time Databases.
SIGMOD Record, 1988

Exploiting Unused Periodic Time for Aperiodic Service Using the Extended Priority Exchange Algorithm.
Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

Real-Time Synchronization Protocols for Multiprocessors.
Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

Priority-Driven, Preemptive I/O Controllers for Real-Time Systems.
Proceedings of the 15th Annual International Symposium on Computer Architecture, 1988

1987
On Countering the Effects of Cycle-Stealing in a Hard Real-Time Environment.
Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

Enhanced Aperiodic Responsiveness in Hard Real-Time Environments.
Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

1986
Performance of Real-Time Bus Scheduling Algorithms.
Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, 1986

Solutions for Some Practical Problems in Prioritized Preemptive Scheduling.
Proceedings of the 7th IEEE Real-Time Systems Symposium (RTSS '86), 1986


  Loading...