2008 |
110 | EE | 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 |
109 | EE | 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 |
108 | EE | Bach Duy Bui,
Marco Caccamo,
Lui Sha,
Joseph Martinez:
Impact of Cache Partitioning on Multi-tasking Real Time Embedded Systems.
RTCSA 2008: 101-110 |
107 | EE | Lui Sha,
Sathish Gopalakrishnan,
Xue Liu,
Qixin Wang:
Cyber-Physical Systems: A New Frontier.
SUTC 2008: 1-9 |
106 | EE | Lui Sha,
José Meseguer:
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns.
Software-Intensive Systems and New Computing Paradigms 2008: 92-100 |
105 | EE | Sathish Gopalakrishnan,
Marco Caccamo,
Lui Sha:
Sharp Thresholds for Scheduling Recurring Tasks with Distance Constraints.
IEEE Trans. Computers 57(3): 344-358 (2008) |
104 | EE | 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. Industrial Informatics 4(4): 213-224 (2008) |
103 | EE | 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) |
2007 |
102 | EE | 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 |
101 | EE | Tanya L. Crenshaw,
Elsa L. Gunter,
C. 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 |
100 | EE | 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) |
2006 |
99 | EE | Sumant Kowshik,
Grigore Rosu,
Lui Sha:
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems.
DSN 2006: 23-34 |
98 | EE | Hui Ding,
Leon Arber,
Lui Sha,
Marco Caccamo:
The Dependency Management Framework: A Case Study of the ION CubeSat.
ECRTS 2006: 52-64 |
97 | EE | 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 |
96 | EE | Xue Liu,
Jin Heo,
Lui Sha,
Xiaoyun Zhu:
Adaptive Control of Multi-Tiered Web Applications Using Queueing Predictor.
NOMS 2006: 106-114 |
95 | EE | Tanya L. Crenshaw,
C. L. Robinson,
Hui Ding,
P. R. Kumar,
Lui Sha:
A Pattern for Adaptive Behavior in Safety-Critical, Real-Time Middleware.
RTSS 2006: 127-136 |
94 | EE | 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.
IEEE Computer 39(4): 33-38 (2006) |
93 | EE | 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) |
92 | EE | 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) |
91 | EE | Rong Zheng,
Jennifer C. Hou,
Lui Sha:
Performance analysis of power management policies in wireless networks.
IEEE Transactions on Wireless Communications 5(6): 1351-1361 (2006) |
90 | EE | Lui Sha,
Chang-Gun Lee:
Real-time virtual machines for avionics software migration.
IJES 2(3/4): 156-165 (2006) |
89 | EE | Rong Zheng,
Jatindera Singh Walia,
Lui Sha:
Local Group Communication-aware MAC Protocol in Wireless Sensor Networks.
IJWIN 13(4): 275-287 (2006) |
88 | EE | Chunyu Hu,
Rong Zheng,
Jennifer C. Hou,
Lui Sha:
A microscopic study of power management in IEEE 802.11 wireless networks.
IJWMC 1(3/4): 165-178 (2006) |
87 | EE | Sathish Gopalakrishnan,
Marco Caccamo,
Chi-Sheng Shih,
Chang-Gun Lee,
Lui Sha:
Finite-horizon scheduling of radar dwells with online template construction.
Real-Time Systems 33(1-3): 47-75 (2006) |
86 | EE | Xue Liu,
Qixin Wang,
Wenbo He,
Marco Caccamo,
Lui Sha:
Optimal real-time sampling rate assignment for wireless sensor networks.
TOSN 2(2): 263-295 (2006) |
2005 |
85 | EE | Sumant Kowshik,
Girish Baliga,
Scott Graham,
Lui Sha:
Co-Design Based Approach to Improve Robustness in Networked Control Systems.
DSN 2005: 454-463 |
84 | EE | Hui Ding,
Kihwal Lee,
Lui Sha:
Dependency Algebra: A Theoretical Framework for Dependency Management in Real-Time Control Systems.
ECBS 2005: 41-48 |
83 | EE | 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 |
82 | EE | 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 |
81 | EE | Xue Liu,
Jin Heo,
Lui Sha:
Modeling 3-Tiered Web Applications.
MASCOTS 2005: 307-310 |
80 | EE | Kihwal Lee,
Lui Sha:
A Dependable Online Testing and Upgrade Architecture for Real-Time Embedded Systems.
RTCSA 2005: 160-165 |
79 | EE | Hui Ding,
Lui Sha:
Dependency Algebra: A Tool for Designing Robust Real-Time Systems.
RTSS 2005: 210-220 |
78 | EE | 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 |
77 | | 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 |
76 | EE | Ning Li,
Jennifer C. Hou,
Lui Sha:
Design and analysis of an MST-based topology control algorithm.
IEEE Transactions on Wireless Communications 4(3): 1195-1206 (2005) |
75 | EE | Guanghui He,
Rong Zheng,
Indranil Gupta,
Lui Sha:
A framework for time indexing in sensor networks.
TOSN 1(1): 101-133 (2005) |
2004 |
74 | EE | Wei-Peng Chen,
Lui Sha:
An energy-aware data-centric generic utility based approach in wireless sensor networks.
IPSN 2004: 215-224 |
73 | EE | Girish Baliga,
Scott Graham,
Lui Sha,
P. R. Kumar:
Etherware: Domainware for Wireless Control Networks.
ISORC 2004: 155-162 |
72 | EE | 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 |
71 | EE | 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 |
70 | EE | Sathish Gopalakrishnan,
Lui Sha,
Marco Caccamo:
Hard Real-Time Communication in Bus-Based Networks.
RTSS 2004: 405-414 |
69 | EE | Girish Baliga,
Scott Graham,
Lui Sha,
P. R. Kumar:
Service Continuity in Networked Control Using Etherware.
IEEE Distributed Systems Online 5(9): (2004) |
68 | EE | Chang-Gun Lee,
Lui Sha,
Avinash Peddi:
Enhanced Utilization Bounds for QoS Management.
IEEE Trans. Computers 53(2): 187-200 (2004) |
67 | EE | 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) |
66 | EE | Chang-Gun Lee,
Chi-Sheng Shih,
Lui Sha:
Online QoS Optimization Using Service Classes in Surveillance Radar Systems.
Real-Time Systems 28(1): 5-37 (2004) |
65 | EE | 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 Systems 28(2-3): 101-155 (2004) |
2003 |
64 | EE | Wei-Peng Chen,
Jennifer C. Hou,
Lui Sha:
Dynamic Clustering for Acoustic Target Tracking in Wireless Sensor Networks.
ICNP 2003: 284-294 |
63 | EE | 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- |
62 | EE | 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 |
61 | EE | Ning Li,
Jennifer C. Hou,
Lui Sha:
Design and Analysis of an MST-Based Topology Control Algorithm.
INFOCOM 2003 |
60 | EE | Chang-Gun Lee,
Lui Sha:
Enhanced Processor Budget for QoS Management in Multimedia Systems.
IPDPS 2003: 123 |
59 | EE | Qixin Wang,
Wei-Peng Chen,
Rong Zheng,
Kihwal Lee,
Lui Sha:
Acoustic Target Tracking Using Tiny Wireless Sensor Devices.
IPSN 2003: 642-657 |
58 | EE | 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 |
57 | EE | Rong Zheng,
Jennifer C. Hou,
Lui Sha:
Asynchronous wakeup for ad hoc networks.
MobiHoc 2003: 35-45 |
56 | EE | Lui Sha:
Real-Time Virtual Machines for Avionics Software Porting and Development.
RTCSA 2003: 123-135 |
55 | EE | 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 |
54 | EE | Chi-Sheng Shih,
Sathish Gopalakrishnan,
Phanindra Ganti,
Marco Caccamo,
Lui Sha:
Scheduling Real-Time Dwells Using Tasks with Synthetic Periods.
RTSS 2003: 210- |
53 | EE | Xue Liu,
Qixin Wang,
Lui Sha,
Wenbo He:
Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor Networks.
RTSS 2003: 308- |
52 | | Hui Ding,
Can Zheng,
Lui Sha,
Gul Agha:
Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model.
SEKE 2003: 458-466 |
51 | EE | Hui Ding,
Can Zheng,
Gul Agha,
Lui Sha:
Automated Verification of the Dependability of Object-Oriented Real-Time Systems.
WORDS Fall 2003: 171-178 |
50 | | John A. Stankovic,
Tarek F. Abdelzaher,
Chenyang Lu,
Lui Sha,
Jennifer C. Hou:
Real-time communication and coordination in embedded sensor networks.
Proceedings of the IEEE 91(7): 1002-1022 (2003) |
49 | | Lui Sha:
Upgrading real-time control software in the field.
Proceedings of the IEEE 91(7): 1131-1140 (2003) |
48 | | Ramesh Chandra,
Xue Liu,
Lui Sha:
On the Scheduling of Flexible and Reliable Real-Time Control Systems.
Real-Time Systems 24(2): 153-169 (2003) |
2002 |
47 | EE | Lui Sha:
Upgrading Embedded Software in the Field: Dependability and Survivability.
EMSOFT 2002: 166-181 |
46 | EE | Marco Caccamo,
Lynn Y. Zhang,
Lui Sha,
Giorgio C. Buttazzo:
An Implicit Prioritized Access Protocol for Wireless Sensor Networks.
IEEE Real-Time Systems Symposium 2002: 39-48 |
45 | EE | Lui Sha,
Xue Liu:
Queueing Model Based Network Server Performance Control.
IEEE Real-Time Systems Symposium 2002: 81-90 |
44 | EE | Marco Caccamo,
Giorgio C. Buttazzo,
Lui Sha:
Handling Execution Overruns in Hard Real-Time Control Systems.
IEEE Trans. Computers 51(7): 835-849 (2002) |
43 | | Lui Sha,
Tarek F. Abdelzaher:
Guest Editorial.
Real-Time Systems 23(1-2): 5-6 (2002) |
2001 |
42 | EE | Chi-Sheng Shih,
Lui Sha,
Jane W.-S. Liu:
Scheduling Tasks With Variable Deadlines.
IEEE Real Time Technology and Applications Symposium 2001: 120-122 |
41 | EE | Chang-Gun Lee,
Chi-Sheng Shih,
Lui Sha:
Service Class-Based Online QoS Management in Surveillance Radar Systems.
IEEE Real-Time Systems Symposium 2001: 139- |
40 | EE | Marco Caccamo,
Lui Sha:
Aperiodic Servers with Resource Constraints.
IEEE Real-Time Systems Symposium 2001: 161-170 |
39 | EE | Lui Sha:
Using Simplicity to Control Complexity.
IEEE Software 18(4): 20-28 (2001) |
38 | EE | 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 Distrib. Comput. 61(12): 1827-1841 (2001) |
37 | | Danbing Seto,
John P. Lehoczky,
Lui Sha,
Kang G. Shin:
Trade-Off Analysis of Real-Time Control Performance and Schedulability.
Real-Time Systems 21(3): 199-217 (2001) |
2000 |
36 | EE | Marco Caccamo,
Giorgio C. Buttazzo,
Lui Sha:
Elastic feedback control.
ECRTS 2000: 121-128 |
35 | EE | 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- |
34 | EE | Lui Sha,
Danbing Seto:
A Distributed Real Time Coordination Protocol.
IPDPS Workshops 2000: 671-677 |
33 | | Janek Schwarz,
Andreas Polze,
Kristopher Wehner,
Lui Sha:
Remote Lab: A Reliable Tele-Laboratory Environment.
International Conference on Internet Computing 2000: 55-62 |
1999 |
32 | EE | Lui Sha:
Using COTS Software in High Assurance Control Applications.
HASE 1999: 118 |
31 | EE | Ramesh Chandra,
Lui Sha:
On Scheduling Tasks in Reliable Real-Time Control Systems.
IEEE Real-Time Systems Symposium 1999: 164-165 |
30 | EE | Xiaoyan He,
Lui Sha:
A Fault Tolerant Real-time Publisher/Subscriber Inter-Process Communication Architecture.
RTCSA 1999: 204-207 |
1998 |
29 | EE | Andreas Polze,
Lui Sha:
Composite Objects: Real-Time Programming with CORBA.
EUROMICRO 1998: 20997- |
28 | EE | Danbing Seto,
John P. Lehoczky,
Lui Sha:
Task Period Selection and Schedulability in Real-Time Systems.
IEEE Real-Time Systems Symposium 1998: 188- |
27 | EE | Lui Sha:
Dependable System Upgrade.
IEEE Real-Time Systems Symposium 1998: 440- |
1997 |
26 | | 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 |
25 | EE | 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 |
24 | EE | Danbing Seto,
John P. Lehoczky,
Lui Sha,
Kang G. Shin:
On task schedulability in real-time control systems.
IEEE Real-Time Systems Symposium 1996: 13-21 |
23 | | Lui Sha:
Real-Time In the Real World.
ACM Comput. Surv. 28(4es): 187 (1996) |
1995 |
22 | EE | 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 |
21 | | 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) |
1994 |
20 | | Lui Sha:
Industrial Computing: A Grand Challenge - Guest Editor's Introduction.
IEEE Computer 27(1): 12-13 (1994) |
1993 |
19 | | Lui Sha,
Shirish S. Sathaye:
A Systematic Approach to Design Distributed Real-Time Systems.
IEEE Computer 26(9): 68-78 (1993) |
1992 |
18 | EE | Lui Sha,
Shirish S. Sathaye,
Jay K. Strosnider:
Scheduling real-time communication on dual-link networks.
IEEE Real-Time Systems Symposium 1992: 188-197 |
17 | | S. Davari,
Lui Sha:
Sources of Unbounded Priority Inversions in Real-Time Systems and a Comparative Study of Possible Solutions.
Operating Systems Review 26(2): 110-120 (1992) |
1991 |
16 | | Lui Sha,
Ragunathan Rajkumar,
Sang Hyuk Son,
Chun-Hyon Chang:
A Real-Time Locking Protocol.
IEEE Trans. Computers 40(7): 793-800 (1991) |
1990 |
15 | | Lui Sha,
John P. Lehoczky,
Ragunathan Rajkumar:
Real-Time Scheduling Support in Futurebus+.
IEEE Real-Time Systems Symposium 1990: 331 |
14 | | Lui Sha,
John B. Goodenough:
Real-Time Scheduling Theory and Ada.
IEEE Computer 23(4): 53-62 (1990) |
13 | | Lui Sha,
Ragunathan Rajkumar,
John P. Lehoczky:
Priority Inheritance Protocols: An Approach to Real-Time Synchronization.
IEEE Trans. Computers 39(9): 1175-1185 (1990) |
1989 |
12 | | John P. Lehoczky,
Lui Sha,
Y. Ding:
The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior.
IEEE Real-Time Systems Symposium 1989: 166-171 |
11 | | Brinkley Sprunt,
Lui Sha,
John P. Lehoczky:
Aperiodic Task Scheduling for Hard Real-Time Systems.
Real-Time Systems 1(1): 27-60 (1989) |
10 | | Lui Sha,
Ragunathan Rajkumar,
John P. Lehoczky,
Krithi Ramamritham:
Mode Change Protocols for Priority-Driven Preemptive Scheduling.
Real-Time Systems 1(3): 243-264 (1989) |
1988 |
9 | | Brinkley Sprunt,
John P. Lehoczky,
Lui Sha:
Exploiting Unused Periodic Time for Aperiodic Service Using the Extended Priority Exchange Algorithm.
IEEE Real-Time Systems Symposium 1988: 251-258 |
8 | | Ragunathan Rajkumar,
Lui Sha,
John P. Lehoczky:
Real-Time Synchronization Protocols for Multiprocessors.
IEEE Real-Time Systems Symposium 1988: 259-269 |
7 | | Brinkley Sprunt,
David Kirk,
Lui Sha:
Priority-Driven, Preemptive I/O Controllers for Real-Time Systems.
ISCA 1988: 152-159 |
6 | | Lui Sha,
John P. Lehoczky,
E. Douglas Jensen:
Modular Concurrency Control and Failure Recovery.
IEEE Trans. Computers 37(2): 146-159 (1988) |
5 | EE | Lui Sha,
Ragunathan Rajkumar,
John P. Lehoczky:
Concurrency Control for Distributed Real-Time Databases.
SIGMOD Record 17(1): 82-98 (1988) |
1987 |
4 | | Ragunathan Rajkumar,
Lui Sha,
John P. Lehoczky:
On Countering the Effects of Cycle-Stealing in a Hard Real-Time Environment.
IEEE Real-Time Systems Symposium 1987: 2-11 |
3 | | John P. Lehoczky,
Lui Sha,
Jay K. Strosnider:
Enhanced Aperiodic Responsiveness in Hard Real-Time Environments.
IEEE Real-Time Systems Symposium 1987: 261-270 |
1986 |
2 | | Lui Sha,
John P. Lehoczky,
Ragunathan Rajkumar:
Solutions for Some Practical Problems in Prioritized Preemptive Scheduling.
IEEE Real-Time Systems Symposium 1986: 181-191 |
1 | | John P. Lehoczky,
Lui Sha:
Performance of Real-Time Bus Scheduling Algorithms.
SIGMETRICS 1986: 44-53 |