| 2010 |
| 33 | Cyber-physical systems: the next computing revolution. Ragunathan Rajkumar, Insup Lee, Lui Sha, John A. Stankovic. DAC 2010, 731-736. Web SearchBibTeXDownload |
| 32 | A Formal Pattern Architecture for Safe Medical Systems. Mu Sun, José Meseguer, Lui Sha. WRLA 2010, 157-173. Web SearchBibTeXDownload |
| 2008 |
| 31 | ORTEGA: An Efficient and Flexible Software Fault Tolerance Architecture for Real-Time Control Systems. Xue Liu, Hui Ding, Kihwal Lee, Qixin Wang, Lui Sha. ECRTS 2008, 125-134. Web SearchBibTeXDownload |
| 30 | ORTEGA: An Efficient and Flexible Online Fault Tolerance Architecture for Real-Time Control Systems. Xue Liu, Qixin Wang, Sathish Gopalakrishnan, Wenbo He, Lui Sha, Hui Ding, Kihwal Lee. IEEE Trans. Industrial Informatics (4): 213-224 (2008). Web SearchBibTeXDownload |
| 29 | Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. Lui Sha, José Meseguer. Software-Intensive Systems and New Computing Paradigms 2008, 92-100. Web SearchBibTeXDownload |
| 2007 |
| 28 | The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures. Tanya L. Crenshaw, Elsa L. Gunter, Craig L. Robinson, Lui Sha, P. R. Kumar. RTSS 2007, 400-412. Web SearchBibTeXDownload |
| 2006 |
| 27 | The Dependency Management Framework: A Case Study of the ION CubeSat. Hui Ding, Leon Arber, Lui Sha, Marco Caccamo. ECRTS 2006, 52-64. Web SearchBibTeXDownload |
| 26 | Schedulability Envelope for Real-Time Radar Dwell Scheduling. Chang-Gun Lee, Phil-Su Kang, Chi-Sheng Shih, Lui Sha. IEEE Trans. Computers (55): 1599-1613 (2006). Web SearchBibTeXDownload |
| 25 | Finite-horizon scheduling of radar dwells with online template construction. Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng Shih, Chang-Gun Lee, Lui Sha. Real-Time Systems (33): 47-75 (2006). Web SearchBibTeXDownload |
| 24 | A Pattern for Adaptive Behavior in Safety-Critical, Real-Time Middleware. Tanya L. Crenshaw, Craig L. Robinson, Hui Ding, P. R. Kumar, Lui Sha. RTSS 2006, 127-136. Web SearchBibTeXDownload |
| 2005 |
| 23 | Dependency Algebra: A Theoretical Framework for Dependency Management in Real-Time Control Systems. Hui Ding, Kihwal Lee, Lui Sha. ECBS 2005, 41-48. Web SearchBibTeXDownload |
| 22 | Design and analysis of an MST-based topology control algorithm. Ning Li, Jennifer C. Hou, Lui Sha. IEEE Transactions on Wireless Communications (4): 1195-1206 (2005). Web SearchBibTeXDownload |
| 21 | Dependency Algebra: A Tool for Designing Robust Real-Time Systems. Hui Ding, Lui Sha. RTSS 2005, 210-220. Web SearchBibTeXDownload |
| 20 | A framework for time indexing in sensor networks. Guanghui He, Rong Zheng, Indranil Gupta, Lui Sha. TOSN (1): 101-133 (2005). Web SearchBibTeXDownload |
| 2004 |
| 19 | Online QoS Optimization Using Service Classes in Surveillance Radar Systems. Chang-Gun Lee, Chi-Sheng Shih, Lui Sha. Real-Time Systems (28): 5-37 (2004). Web SearchBibTeXDownload |
| 18 | Finite-Horizon Scheduling of Radar Dwells with Online Template Construction. Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng Shih, Chang-Gun Lee, Lui Sha. RTSS 2004, 23-33. Web SearchBibTeXDownload |
| 2003 |
| 17 | Feedback Control with Queueing-Theoretic Prediction for Relative Delay Guarantees in Web Servers. Ying Lu, Tarek F. Abdelzaher, Chenyang Lu, Lui Sha, Xue Liu. IEEE Real Time Technology and Applications Symposium 2003, 208-218. Web SearchBibTeXDownload |
| 16 | Template-Based Real-Time Dwell Scheduling with Energy Constraint. Chi-Sheng Shih, Sathish Gopalakrishnan, Phanindra Ganti, Marco Caccamo, Lui Sha. IEEE Real Time Technology and Applications Symposium 2003, 19. Web SearchBibTeXDownload |
| 15 | Design and Analysis of an MST-Based Topology Control Algorithm. Ning Li, Jennifer C. Hou, Lui Sha. INFOCOM 2003. Web SearchBibTeXDownload |
| 14 | Online Response Time Optimization of Apache Web Server. Xue Liu, Lui Sha, Yixin Diao, Steve Froehlich, Joseph L. Hellerstein, Sujay S. Parekh. IWQoS 2003, 461-478. Cited by 45Web SearchBibTeXDownload |
| 13 | Real-time communication and coordination in embedded sensor networks. John A. Stankovic, Tarek F. Abdelzaher, Chenyang Lu, Lui Sha, Jennifer C. Hou. Proceedings of the IEEE (91): 1002-1022 (2003). Web SearchBibTeX |
| 12 | Radar Dwell Scheduling Considering Physical Characteristics of Phased Array Antenna. Chang-Gun Lee, Phil-Su Kang, Chi-Sheng Shih, Lui Sha. RTSS 2003, 14-24. Web SearchBibTeXDownload |
| 11 | Scheduling Real-Time Dwells Using Tasks with Synthetic Periods. Chi-Sheng Shih, Sathish Gopalakrishnan, Phanindra Ganti, Marco Caccamo, Lui Sha. RTSS 2003, 210. Web SearchBibTeXDownload |
| 10 | Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. Hui Ding, Can Zheng, Lui Sha, Gul Agha. SEKE 2003, 458-466. Web SearchBibTeX |
| 9 | Automated Verification of the Dependability of Object-Oriented Real-Time Systems. Hui Ding, Can Zheng, Gul Agha, Lui Sha. WORDS Fall 2003, 171-178. Web SearchBibTeXDownload |
| 2002 |
| 8 | Guest Editorial. Darrell Conklin, Tadeusz A. Wysocki, Hamid Sharif, L. C. Gundersen, P. P. Leahy, W. Hill, Jyh-Horng Wen, Shiuh-Jeng Wang, Yuh-Ren Tsai, Keh-Ming Lu. Real-Time Systems (23): 5-6 (2002). Cited by 2Web SearchBibTeXDownload |
| 2001 |
| 7 | Service Class-Based Online QoS Management in Surveillance Radar Systems. Chang-Gun Lee, Chi-Sheng Shih, Lui Sha. IEEE Real-Time Systems Symposium 2001, 139. Web SearchBibTeXDownload |
| 6 | Scheduling Tasks With Variable Deadlines. Chi-Sheng Shih, Lui Sha, Jane W.-S. Liu. IEEE Real Time Technology and Applications Symposium 2001, 120-122. Web SearchBibTeXDownload |
| 5 | What Are the Top Ten Most Influential Parallel and Distributed Processing Concepts of the Past Millenium?. 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. J. Parallel Distrib. Comput. (61): 1827-1841 (2001). Web SearchBibTeXDownload |
| 4 | Trade-Off Analysis of Real-Time Control Performance and Schedulability. Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin. Real-Time Systems (21): 199-217 (2001). Web SearchBibTeXDownload |
| 1996 |
| 3 | On task schedulability in real-time control systems. Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin. IEEE Real-Time Systems Symposium 1996, 13-21. Web SearchBibTeXDownload |
| 1991 |
| 2 | A Real-Time Locking Protocol. Lui Sha, Ragunathan Rajkumar, Sang Hyuk Son, Chun-Hyon Chang. IEEE Trans. Computers (40): 793-800 (1991). Web SearchBibTeXDownload |
| 1989 |
| 1 | Mode Change Protocols for Priority-Driven Preemptive Scheduling. Lui Sha, Ragunathan Rajkumar, John P. Lehoczky, Krithi Ramamritham. Real-Time Systems (1): 243-264 (1989). Cited by 117Web SearchBibTeXDownload |