Publications

  This is an incomplete bibliography of the publications of the members of the Real-Time Systems Laboratory. Many of these papers are available electronically. Some of the entries include a link to a PostScript version of the paper. In addition, many recent UIUC-DCS tech reports are available from http://www.cs.uiuc.edu/research/techreports.php Older tech reports must be ordered from Engineering Documents Center.

Legal Notice : This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by the authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

• Christopher Thomas Bartz. Periodic-job schedulers and resource access control protocols. Master's thesis, University of Illinois at Urbana-Champaign, October 1992. Available as Technical Report UIUCDCS-R-92-1774.

• R. Bettati, D. Gillies, C. C. Han, K. J. Lin, C. L. Liu, J. W. S. Liu, and W. K. Shih. Recent results in real-time scheduling. In van Tilborg and Koob [van Tilborg and Koob, 1991a], chapter 4, pages 91-127.

• Riccardo Bettati. End-to-End Scheduling to Meet Deadlines in Distributed Systems. PhD thesis, University of Illinois at Urbana-Champaign, August 1994. Available as Technical Report UIUCDCS-R-94-1840. (Gzipped PostScript, 163 pages, 412874 bytes)

• John Borland. Web server quality-of-service testbed architecture. Master's thesis, University of Illinois at Urbana-Champaign, December 2001.

• M. Caccamo and L. Sha. Aperiodic servers with resource constraints. In Proceedings of the 22nd IEEE Real-Time Systems Symposium, pages 161-170, December 2001.

• M. Caccamo, G. Buttazzo, and L. Sha. Capacity sharing for overrun control. In Proceedings of the IEEE Real-Time Systems Symposium, December 2000.

• Marco Caccamo, Giorgio Buttazzo, and Lui Sha. Elastic feedback control. In Proceedings of the 12th Euromicro Conference on Real-Time Systems (EUROMICRO-RTS 2000), June 2000.

• Ramesh Chandra and Lui Sha. On scheduling tasks in reliable real-time control systems. In 20th IEEE Real-Time Systems Symposium, December 1999.

• Wei-Peng Chen, Chao-Ju Hou and Lui Sha. Dynamic clustering for acoustic target tracking in wireless sensor networks. In Proc. IEEE Int'l Conf. on Network Protocols ,November 2003. (PDF)

• Infan Kuok Cheong. Scheduling Imprecise Hard Real-Time Jobs with Cumulative Error. PhD thesis, University of Illinois at Urbana-Champaign, June 1992. Available as Technical Report UIUCDCS-R-92-1758.

• Jen-Yao Chung, Jane W. S. Liu, and Kwei-Jay Lin. Scheduling periodic jobs that allow imprecise results. IEEE Transactions on Computers, 39(9):1156-1174, September 1990.

• Jen-Yao Chung. Scheduling Hard Real-Time Jobs that Allow Imprecise Results. PhD thesis, University of Illinois at Urbana-Champaign, 1989.

• S. Davari and 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.

• Z. Deng and J. W.-S. Liu. Scheduling real-time applications in an open environment. In Proceedings, Real-Time Systems Symposium, pages 308-319, San Francisco, California, December 1997. IEEE. (PostScript, 25 pages, 205572 bytes)

• Z. Deng, J. W.-S. Liu, and J. Sun. A scheme for scheduling hard real-time applications in open system environment. In Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, pages 191-199, Toledo, Spain, June 1997. IEEE. (PostScript, 9 pages, 176540 bytes)

• Z. Deng, J. W.-S. Liu, L. Zhang, M. Seri, and A. Frei. An open environment for real-time applications. Real-Time Systems Journal, 16(2):155-186, May 1999. (PostScript, 44 pages, 275478 bytes)

• W. Feng and J. W.-S. Liu. An extended imprecise computation model for time-constrained speech processing and generation. In Proceedings of the IEEE Workshop on Real-Time Applications, pages 76-80, New York, New York, May 1993. (PostScript, 5 pages, 228403 bytes)

• W. Feng and J. W.-S. Liu. Algorithms for scheduling tasks with input error and end-to-end deadlines. Technical Report UIUCDCS-R-94-1888, Department of Computer Science, University of Illinois at Urbana-Champaign, September 1994. (PostScript, 30 pages, 285323 bytes)

• W. Feng and J. W.-S. Liu. Performance of a congestion control scheme on an ATM switch. In Proceedings of the International Conference on Networks, Orlando, Florida, January 1996. IASTED. (PostScript, 4 pages, 133906 bytes)

• W. Feng and J. W.-S. Liu. Algorithms for scheduling real-time tasks with input error and end-to-end deadlines. IEEE Transactions on Software Engineering, 23(2):93-106, February 1997. (PostScript, 33 pages, 268045 bytes)

• Wu-chun Feng. Applications and Extensions of the Imprecise-Computation Model. PhD thesis, University of Illinois at Urbana-Champaign, May 1996. (Gzipped PostScript, 263 pages, 481596 bytes)

• R.; Lui Sha Gagliardi, M.; Rajkumar. Designing for evolvability: building blocks for evolvable real-time systems. In Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96), June 1996.

• M. K. Gardner and J. W.S. Liu. Analysing stochastic fixed-priority real-time systems. In W. Rance Cleaveland, editor, Lecture Notes in Computer Science 1579, pages 44-58. Joint European Conferences on Theory and Practice of Software, Springer-Verlag, March 1999. (Gzipped PostScript, 15 pages, 78342 bytes)

• M. K. Gardner and J. W.S. Liu. Performance of algorithms for scheduling real-time systems with overrun and overload. In Proceedings of the Eleventh Euromicro Conference on Real-Time Systems, June 1999. (Gzipped PostScript, 10 pages, 53698 bytes)

• M. K. Gardner. Probabilistic Analysis and Scheduling of Critical Soft Real-Time Systems. PhD thesis, University of Illinois at Urbana-Champaign, September 1999. (Gzipped PostScript, 205 pages, 427294 bytes)

• Donald W. Gillies and Jane W.-S. Liu. Greed in resource scheduling. Acta Informatica, 28(8):755-775, November 1991.

• Donald W. Gillies and Jane W.-S. Liu. Scheduling tasks with AND/OR precedence constraints. SIAM Journal on Computing, 24(4):797-810, August 1995. (PostScript, 16 pages, 309953 bytes)

• Donald William Gillies. Greed in resource scheduling. Master's thesis, University of Illinois at Urbana-Champaign, 1990.

• Donald William Gillies. Algorithms to Schedule Tasks with AND/OR Precedence Constraints. PhD thesis, University of Illinois at Urbana-Champaign, 1993. (Gzipped PostScript, 133 pages, 407151 bytes)

• Donald William Gillies. A new heuristic for UET and pipeline scheduling. In Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, volume 2, pages 983-991, Norfolk, Virginia, March 1993.

• John B. Goodenough and Lui Sha. The priority ceiling protocol: A method for minimizing the blocking of high priority ada tasks. Ada Letters, VIII(7):20-31, 1988.

• Rhan Ha and Jane W. S. Liu. Validating timing constraints in multiprocessor and distributed real-time systems. Technical Report UIUCDCS-R-93-1833, Department of Computer Science, University of Illinois at Urbana-Champaign, October 1993. (PostScript, 46 pages, 416538 bytes)

• Rhan Ha and Jane W. S. Liu. Validating timing constraints in multiprocessor and distributed real-time systems. In Proceedings of the 14th IEEE International Conference on Distributed Computing Systems, June 1994. (PostScript, 10 pages, 243378 bytes)

• R. Ha, H. Cha, and J. W.S. Liu. Validating real-time constraints in heterogeneous multiprocessor and distributed systems. to appear in Journal of System Integration.

• R. Ha, H. Cha, and J. W.S. Liu. Validating timing constraints of jobs with dependencies in real-time distributed systems. to appear in The Computer Journal.

• Rhan Ha. Validating Timing Constraints in Multiprocessor and Distributed Systems. PhD thesis, University of Illinois at Urbana-Champaign, August 1995. Available as Technical Report UIUCDCS-R-95-1907.

• J. Hahn, R. Ha, S. L. Min, and J. W. S. Liu. Analysis of worst case dma response time in a fixed-priority bus arbitration protocol. to appear in Real-Time Systems Journal.

• Ching-Chih Han, Kwei-Jay Lin, and Jane W.-S. Liu. Scheduling jobs with temporal distance constraints. SIAM Journal on Computing, 24(5):1104-1121, October 1995.

• Ching-Chih Han. Scheduling Real-Time Computations with Temporal Distance and Separation Constraints and with Extended Deadlines. PhD thesis, University of Illinois at Urbana-Champaign, June 1992. Available as Technical Report UIUCDCS-R-92-1748.

• Xiaoyan He and Lui Sha. A fault tolerant real-time publisher/subscriber inter-process communication architecture. In Sixth International Conference on Real-Time Computing Systems and Applications, December 1999.

• Xiaoyan He. Design and implementation of distributed power network simulation environment. MS thesis, University of Illinois at Urbana-Champaign, 2001.

• Tai-Yi Huang and Jane W.-S. Liu. Predicting the worst-case execution time of the concurrent execution of instructions and cycle-stealing DMA I/O operations. In Proceedings of the SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, pages 1-6, La Jolla, California, June 1995. ACM. Reprinted in ACM SIGPLAN Notices, v30, n11, November 1995. (PostScript, 6 pages, 191781 bytes)

• Tai-Yi Huang, Jane W.-S. Liu, and Jen-Yao Chung. Allowing cycle-stealing direct memory access I/O concurrent with hard-real-time programs. In Proceedings of the 1996 International Conference on Parallel and Distributed Systems, pages 422-429, Tokyo, Japan, June 1996. IEEE. (PostScript, 8 pages, 277396 bytes)

• Tai-Yi Huang, Jane W.-S. Liu, and David Hull. A method for bounding the effect of DMA I/O interference on program execution time. In Proceedings, Real-Time Systems Symposium, pages 275-285, Washington, D. C., December 1996. IEEE. (PostScript, 23 pages, 405319 bytes)

• Tai-Yi Huang. Evaluation of timing analysis and measurement tools. Master's thesis, University of Illinois at Urbana-Champaign, 1994.

• Tai-Yi Huang. Worst-Case Timing Analysis of Concurrently Executing DMA I/O and Programs. PhD thesis, University of Illinois at Urbana-Champaign, April 1997. Available as Technical Report UIUCDCS-R-96-1739. (Gzipped PostScript, 99 pages, 209206 bytes)

• David Hull and Jane W. S. Liu. ICS: A system for imprecise computations. In Proceedings, AIAA Computing in Aerospace 9, pages 371-374, San Diego, California, October 1993. (Gzipped PostScript, 73526 bytes)

• David Hull, Mallikarjun Shankar, Wu-chun Feng, and Jane W. S. Liu. Applying extended imprecise computation to QoS management in industrial applications. Submitted to Real-Time Technology and Applications Symposium, June 1998. (Gzipped PostScript, 7 pages, 163294 bytes)

• D. Hull, W. Feng, and J. W. S. Liu. Enhancing the performance and dependability of hard real-time systems. In IEEE Computer Performance and Dependability Symposium, pages 174-182, Erlangen, Germany, April 1995. IEEE. (PostScript, 9 pages, 148838 bytes)

• David Hull, Wu-chun Feng, and Jane W. S. Liu. Operating system support for imprecise computation. In Flexible Computation in Intelligent Systems: Results, Issues, and Opportunities, Cambridge, Massachusetts, 9-11 November 1996. (PostScript, 4 pages, 349532 bytes)

• David Hull, Arjun Shankar, Klara Nahrstedt, and Jane W. S. Liu. An end-to-end QoS model and management architecture. In Proceedings of IEEE Workshop on Middleware for Distributed Real-time Systems and Services, pages 82-89, San Francisco, California, December 1997. (PostScript, 8 pages, 388539 bytes)

• T. Kim, C. L. Liu, and J. W. S. Liu. A scheduling algorithm for conditional resource sharing--a hierarchical reduction approach. IEEE Transactions on Computer-Aided Design, 13(4):425-438, April 1994.

• Prasanna Krishnan. Reliable upgrade of group communication software in networked embedded systems. MS Thesis, University of Illinois at Urbana-Champaign, 2002.

• Chang-Gun Lee, Chi-Sheng Shih, and Lui Sha. Service class based online qos management in surveillance radar systems. In Proc. The 22nd IEEE Real-Time Systems Symposium, December 2001.

• John P. Lehoczky and Lui Sha. Performance of real-time bus scheduling algorithms. In Measurement and Modeling of Computer Systems, pages 44-53, 1986.

• J. Lehoczky, L. Sha, and J. Strosnider. Enhanced aperiodic responsiveness in hard real-time environments. In Proc. of the 8th IEEE RealTime Systems Symposium, pages 261-270, 1987.

• John P. Lehoczky, Lui Sha, and Y. Ding. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In IEEE Real-Time Systems Symposium, pages 166-171, 1989.

• Sung-Soo Lim, Kihwal Lee, and Lui Sha. Ensuring Integrity and Serice Availability in a Web-based Control Laboratory. Parallel and Distributed Computing Practices, 4(2):165-178, June 2001.

• Kwei-Jay Lin, Swami Natarajan, Jane W.-S. Liu, and Tim Krauskopf. Concord: A system of imprecise computations. In Proceedings, Computer Software and Applications Conference, pages 75-81, Tokyo, Japan, October 1987. IEEE.

• Kwei-Jay Lin, Swaminathan Natarajan, and Jane W.-S. Liu. Imprecise results: Utilizing partial computations in real-time systems. In Proceedings, Real-Time Systems Symposium, San Jose, California, December 1987. IEEE.

• Jane W. S. Liu and Rhan Ha. Efficient methods for validating timing constraints in multiprocessor and distributed systems. In Proceedings of the 4th Systems Reengineering Technology Workshop, February 1994. (PostScript, 12 pages, 228622 bytes)

• Jane W. S. Liu and Rhan Ha. Efficient methods of validating timing constraints. In Sang H. Son, editor, Advances in Real-Time Systems, chapter 9, pages 196-220. Prentice-Hall, 1995. (PostScript, 25 pages, 300837 bytes)

• Jane W. S. Liu and Rhan Ha. Methods for validating real-time constraints. The Journal of Systems and Software, 30(1-2):85-98, July-August 1995. (PostScript, 34 pages, 278956 bytes)

• Changwen Liu and Jane W. S. Liu. Effects of imprecise computation in time-invariant control systems. In Proceedings of the Twenty-Ninth Annual Conference on Information Sciences and Systems, pages 297-302, Baltimore, Maryland, March 1995. (PostScript, 6 pages, 819351 bytes)

• J. W. S. Liu, K. J. Lin, and C. L. Liu. A position paper for the IEEE 1987 workshop on real-time operating systems. In Proceedings of the 1987 IEEE Workshop on Real-Time Operating Systems, Cambridge, Massachusetts, May 1987.

• Jane W. S. Liu, Kwei-Jay Lin, and Swaminathan Natarajan. Scheduling real-time, periodic jobs using imprecise results. In Proceedings, Real-Time Systems Symposium, pages 252-260, San Jose, California, December 1987. IEEE.

• J. W. S. Liu, K. J. Lin, W. K. Shih, A. C. Yu, J. Y. Chung, and W. Zhao. Algorithms for scheduling imprecise computations. In van Tilborg and Koob [van Tilborg and Koob, 1991a], chapter 8, pages 203-249.

• Jane W. S. Liu, Kwei-Jay Lin, Wei-Kuan Shih, Albert Chuang-shi Yu, Jen-Yao Chung, and Wei Zhao. Algorithms for scheduling imprecise computations. IEEE Computer, 24(5):58-68, May 1991.

• J. W. S. Liu, K. J. Lin, C. L. Liu, and W. K. Shih. Imprecise computations: A means to provide scheduling flexability and enhance dependability. Readings on Real-Time Systems, 1992.

• J. W. S. Liu, J. L. Redondo, Z. Deng, T. S. Tia, R. Bettati, A. Silberman, M. Storch, R. Ha, and W. K. Shih. PERTS: A prototyping environment for real-time systems. In Proceedings of the 14th IEEE Real-Time Systems Symposium, pages 184-188, Raleigh-Durham, North Carolina, December 1993.

• J. W. S. Liu, J. L. Redondo, Z. Deng, T. S. Tia, R. Bettati, A. Silberman, M. Storch, R. Ha, and W. K. Shih. PERTS: A prototyping environment for real-time systems. Technical Report UIUCDCS-R-93-1802, Department of Computer Science, University of Illinois at Urbana-Champaaign, May 1993. (PostScript, 238795 bytes)

• Jane W. S. Liu, Kwei-Jay Lin, Riccardo Bettati, David Hull, and Albert Yu. Use of imprecise computation to enhance dependability of real-time systems. In Gary M. Koob and Clifford G. Lau, editors, Foundations of Dependable Computing: Paradigms for Dependable Applications, chapter 3.1, pages 157-182. Kluwer Academic Publishers, 1994.

• Jane W. S. Liu, Wei-Kuan Shih, Kwei-Jay Lin, Riccardo Bettati, and Jen-Yao Chung. Imprecise computations. Proceedings of the IEEE, 82(1):83-94, January 1994.

• J. W. S. Liu, C. L. Liu, Z. Deng, T. S. Tia, J. Sun, M. Storch, D. Hull, J. L. Redondo, R. Bettati, and A. Silberman. PERTS: A prototyping environment for real-time systems. International Journal of Software Engineering and Knowledge Engineering, 6(2):161-177, 1996.

• Jane W. S. Liu. Issues in distributed real-time systems. In Proceedings of the IDA Workshop on Large, Distributed, Parallel Architecture of Real-Time Systems, Fairfax, Virginia, March 1993. IDA. (PostScript, 9 pages, 71616 bytes)

• C. L. Liu. Fundamentals of real-time scheduling (extended abstract). In Wolfgang A. Halang and Alexander D. Stoyenko, editors, Real Time Computing, pages 1-7. Springer-Verlag, 1994.

• Changwen Liu. Imprecise Computation in Real-Time Control Systems. PhD thesis, University of Illinois at Urbana-Champaign, 1996. Available as Technical Report UIUCDCS-R-95-1905.

• Jane W. S. Liu. Real-Time Systems. Prentice Hall, 2000.

• X. Liu, L. Sha, Y. Diao, S. Froehlich, J. Hellerstein, and S. Parekh. Online Response Time Optimization of Apache Web Server. In Proc. of Eleventh International Workshop on Quality of Service , Monterey, CA, 2003.

• Xue Liu, Qixin Wang, Lui Sha, and Wenbo He. Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor Networks. in Proc. of the 24th IEEE International Real-Time Systems Symposium (RTSS'03), 2003. (PDF)

• Xue Liu, Qixin Wang, Lui Sha, and Wenbo He. Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor Networks. Technical Report, RTSL, 2003. (PostScript)

• V. Lopez-Millan, W. Feng, and J. W.-S. Liu. Using the imprecise-computation technique for congestion control on a real-time traffic switching element. In Proceedings, International Conference on Parallel and Distributed Systems, Taiwan, December 1994. IEEE. (PostScript, 7 pages, 180662 bytes)

• Victor Manuel Lopez-Millan. A congestion control scheme for a real-time traffic switching element using the imprecise computations technique. Master's thesis, University of Illinois at Urbana-Champaign, 1993.

• Chen Lu and J. W. S. Liu. Process migration in homogeneous UNIX environments. In Proceedings ICPADS'93, 1993 International Conference on Parallel and Distributed Systems, pages 16-23, Taipei, Taiwan, December 1993. National Taiwan University.

• Pilar Manzano. Imprecise-computation schedulers. Master's thesis, University of Illinois at Urbana-Champaign, February 1993. Available as Technical Report UIUCDCS-R-93-1795.

• Phillip K. McKinley and Jane W. S. Liu. Multicast tree construction in bus-based networks. Communications of the ACM, 33(1):29-42, January 1990.

• H. Nakazato, T. Kim, and J. W. S. Liu. A scheduling strategy for tasks with precedence and conditional execution. To appear in Transactions of Information Processing Society of Japan.

• Hidenori Nakazato. Issues on Synchronizing and Scheduling Tasks in Real-Time Database Systems. PhD thesis, University of Illinois at Urbana-Champaign, January 1993. Available as Technical Report UIUCDCS-R-93-1786.

• Joseph Kee-Yin Ng. Performance of High-Speed Networks for Real-Time Applications. PhD thesis, University of Illinois at Urbana-Champaign, June 1993. Available as Technical Report UIUCDCS-R-93-1812.

• Ian R. Philp and Jane W. S. Liu. A switch scheduling problem for real-time periodic messages. Submitted to Telecommunications Systems Journal. (PostScript, 21 pages, 212550 bytes)

• Ian R. Philp and Jane W. S. Liu. End-to-end scheduling in real-time packet switched networks. In Proceedings, International Conference on Network Protocols, pages 23-30, Columbus, Ohio, October 1996. (PostScript, 8 pages, 126262 bytes)

• Ian R. Philp and Jane W. S. Liu. SS/TDMA scheduling of real-time periodic messages. In Proceedings, 4th International Conference on Telecommunication Systems, pages 244-251, Nashville, Tennessee, March 1996. (PostScript, 14 pages, 164778 bytes)

• Ian R. Philp, Klara Nahrstedt, and Jane W. S. Liu. Scheduling and buffer management for soft real-time VBR traffic in packet switched networks. In Proceedings, 21st Conference on Local Computer Networks, pages 143-152, Minneapolis, Minnesota, October 1996. (PostScript, 10 pages, 208054 bytes)

• Ian Ramsay Philp. Scheduling Real-Time Messages in Packet-Switched Networks. PhD thesis, University of Illinois at Urbana-Champaign, 1996. (Compressed PostScript, 102 pages, 273027 bytes)

• Andreas Polze and Lui Sha. Composite objects: Real-time programming with corba. In Proceedings of 24th Euromicro Conference, Network Computing Workshop, pages 997-1004, August 1998.

• Andreas Polze, Janek Schwarz, Kristopher Wehner, and Lui Sha. Integration of corba services with a dynamic real-time architecture. In Proceedings of Real-Time Technology and Applications Symposium (RTAS'2000), pages 198-207, May 2000.

• Andreas Polze, Janek Schwarz, Kristopher Wehner, and Lui Sha. Remotelab: A reliable tele-laboratory environment. In Proceedings of International Conference on Internet Computing (IC'2000), pages 55-61, June 2000.

• P. protocols, A. to, and r synchronization. Ieee transactions on computers. IEEE Transactions on Computers, 39(9):1175-1185, 1996.

• R. Rajkumar, L. Sha, and J. Lehoczky. Real-time synchronization protocols for multiprocessors. In Proc. IEEE Real-Time Systems Symposium, pages 259-269, 1988.

• R. Rajkumar, M. Gagliardi, and L. Sha. The real-time publisher /subscriber inter-process communication model for distributed real-time systems: Design and implementation. In First IEEE RealTime Technology and Applications Symposium, May 1995.

• Ratnamala Bearavolu. Intelligent acoustic surveillance using motes. Master's thesis, University of Illinois at Urbana-Champaign, 2002.

• Juan Luis Redondo. Schedulability analyzer tool. Master's thesis, University of Illinois at Urbana-Champaign, February 1993. Available as Technical Report UIUCDCS-R-93-1791.

• K. rzn, A. Cervin, J. Eker, and L. Sha. An introduction to control and real-time scheduling co-design. In Proceedings of the 39th Conference on Decision & Control, December 2000.

• Janek Schwarz, Andreas Polze, Kristopher Wehner, and Lui Sha. Remote lab: A reliable tele-laboratory environment. In International Conference on Internet Computing, pages 55-62, 2000.

• D. Seto, J. P. Lehoczky, L. Sha, and K. G. Shin. On task schedulability in real-time control system. In IEEE RealTime Systems Symposium, pages 13-21, December 1996.

• D. Seto, B. Krogh, L. Sha, and A. Chutinan. Dynamic control system upgrade using the simplex architecture. IEEE Control Systems, 18(4):72-80, 1998.

• L. Sha and J. Goodenough. Real-time scheduling theory and ada. IEEE Computer, pages 53-66, April 1990.

• Lui Sha and Andreas Polze. A web based control laboratory. In Proceedings of the 5th World Multi-Conference on Systemics, July 2001.

• L. Sha and R. Rajkumar. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transaction on Computers, 39(9):1175-1185, 1990.

• L. Sha and S. Sathaye. Distributed real-time system design using generalized rate monotonic theory. In Proceedings of the Second International Conference on Automation, Robotics, and Computer Vision, September 1992.

• Lui Sha and Shirish S. Sathaye. A systematic approach to designing distributed real-time systems. IEEE Computer, 26(9):68-79, 1993.

• L. Sha, J. P. Lehoczky, and R. Rajkumar. Solutions for some practical problems in prioritized preemptive scheduling. In Proc. Real-Time Sys. Symp., 1986.

• L. Sha, J. Lehoczky, and E. Jensen. Modular concurrency control and failure recovery. IEEE Trans. On Computer, 37(2):146-159, 1988.

• Lui Sha, Ragunathan Rajkumar, and John P. Lehoczky. Concurrency control for distributed real-time databases. SIGMOD Record, 17(1):82-98, 1988.

• Lui Sha, Ragunathan Rajkumar, and John P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers, 39(9):1175-1185, 1990.

• Lui Sha, Ragunathan Rajkumar, and John P. Lehoczky. Real-time computing with ieee futurebus+. IEEE Micro, 11(3):30-33, 95-100, 1991.

• Lui Sha, Ragunathan Rajkumar, Sang Hyuk Son, and Chun-Hyon Chang. A real-time locking protocol. IEEE Transactions on Computers, 40(7):793-800, 1991.

• Lui Sha, Shirish S. Sathaye, and Jay K. Strosnider. Scheduling real-time communication on dual-link networks. In Proceedings of the IEEE Real-Time Systems Symposium, pages 188-197, December 1992.

• L. Sha, R. Rajkumar, and M. Gagliardi. The simplex architecture: An approach to build evolving industrial computing systems. In Proc. of The ISSAT Conference on Reliability, 1994.

• L. Sha, R. Rajkumar, and S. Sathaye. Generalized rate-monotonic scheduling theory: A framework for developing real-time systems. Proceedings of the IEEE, 82(1), January 1994.

• Lui Sha, R. Rajkumar, and M. Gagliardi. Evolving dependable real-time systems. In 1996 IEEE Aerospace Applications Conference. Proceedings, pages 335-46, Aspen, CO, 3-10 1996. IEEE New York, NY, USA.

• Lui Sha, Shirish S. Sathaye, and Jay K. Strosnider. Analysis of dual-link networks for real-time applications. IEEE Transactions on Computers, 46(1):1-13, January 1997.

• L. Sha, J. Goodenough, and B. Pollak. Simple architecture: Meeting the challenges of using cots in high-reliability systems. CROSSTALK, April 1998.

• Lui Sha. Guest editor's introduction:industrial computing-a grand challenge. IEEE Computer, 27(1):12-13, January 1994.

• Lui Sha. A software architecture for dependable and evolvable industrial computing systems. In Proc. IPC'95, pages 145-156, May 1995.

• Lui Sha. Dependable system upgrade. In Proc. 19 th Real-Time Systems Symposium, pages 440-448, 1998.

• L. Sha. Using cots software in high assurance control applications. In 4th IEEE International Symposium on High-Assurance Systems Engineering, November 1999.

• Lui Sha. Using simplicity to control complexity. IEEE Software Magazine, 18(4):20-28, July 2001.

• L. Sha, X. Liu, Y. Lu, T. Abdelzaher. Queuing Model Based Network Server Performance Control. In Proc. of IEEE Real-Time Systems Symposium, Austin, TX, 2002.

• Mallikarjun Shankar, Miguel DeMiguel, and Jane W. S. Liu. An end-to-end QoS management architecture. In Proceedings of IEEE Symposium on Real-Time Applications and Systems, pages 176-189, June 1999. (PostScript, 27 pages, 620986 bytes)

• Mallikarjun Shankar. An end-to-end QoS management architecture for flexible applications, PhD thesis, University of Illinois at Urbana-Champaign, 2000.

• Chi-Sheng Shih, Sathish Gopalakrishnan, Phanindra Ganti, Marco Caccamo, and Lui Sha. Template-Based Real-Time Dwell Scheduling with Energy Constraint. Internal Technical Report, RTSL. (PDF)

• Wei-Kuan Shih and Jane W. S. Liu. On-line scheduling of imprecise computations to minimize error. In Proceedings, Real-Time Systems Symposium, pages 280-289, Phoenix, Arizona, December 1992. IEEE.

• Wei-Kuan Shih and Jane W. S. Liu. On-line scheduling of imprecise computations to minimize error. In Proceedings, Real-Time Systems Symposium, pages 280-289, Phoenix, Arizona, December 1992. IEEE.

• Wei-Kuan Shih and Jane W. S. Liu. Algorithms for scheduling imprecise computations with timing constraints to minimize maximum error. IEEE Transactions on Computers, 44(3):466-471, March 1995. (PostScript, 91874 bytes)

• Wei-Kuan Shih and Jane W. S. Liu. On-line scheduling of imprecise computations to minimize error. SIAM Journal on Computing, 25(5):1105-1121, October 1996.

• Wei-Kuan Shih, Jane W. S. Liu, Jen-Yao Chung, and Donald W. Gillies. Scheduling tasks with ready times and deadlines to minimize average error. Operating Systems Review, 23(3):14-28, July 1989.

• Wei-Kuan Shih, Jane W. S. Liu, and Jen-Yao Chung. Algorithms for scheduling imprecise computations with timing constraints. SIAM Journal on Computing, 20(3):537-552, June 1991.

• Wei Kuan Shih, J. W. S. Liu, and C. L. Liu. Modified rate-monotonic algorithm for scheduling periodic jobs with deferred deadlines. IEEE Transactions on Software Engineering, 19(12):1171-1179, December 1993. (PostScript, 203075 bytes)

• Wei-Kuan Shih. Scheduling in Real-Time Systems to Ensure Graceful Degradation: The Imprecise-Computation and the Deferred-Deadline Approaches. PhD thesis, University of Illinois at Urbana-Champaign, December 1992. Available as Technical Report UIUCDCS-R-92-1765.

• Ami Abraham Silberman. CPSS: A communications protocol specification system. Master's thesis, University of Illinois at Urbana-Champaign, 1989.

• Ami Abraham Silberman. RTM--Design and Implementation. PhD thesis, University of Illinois at Urbana-Champaign, 1997. Available as Technical Report UIUCDCS-R-97-2040. (Gzipped PostScript, 268 pages, 568938 bytes) (PDF, 798364 bytes)

• X. Song and J. W. S. Liu. Maintaining temporal consistency: Pessimistic vs. optimistic concurrency control. In Proceedings of the IEEE Symposium on Computer-Aided Control System Design, Napa, California, March 1992. (PostScript, 28 pages, 508132 bytes)

• Xiaohui (Carol) Song and Jane W. S. Liu. Maintaining temporal consistency: Pessimistic vs optimistic concurrency control. IEEE Transactions on Knowledge and Data Engineering, 7(5):786-796, October 1995.

• Xiaohui Song. Data Temporal Consistency in Hard Real-Time Systems. PhD thesis, University of Illinois at Urbana-Champaign, May 1992. Available as Technical Report UIUCDCS-R-92-1753.

• B. Sprunt, J. Lehoczky, and L. Sha. Exploiting unused periodic time for aperiodic service using the extended priority exchange algorithm. In Proc. IEEE Real-Time Systems Symposium, pages 251-258, 1988.

• Brinkley Sprunt, Lui Sha, and John P. Lehoczky. Aperiodic task scheduling for hard real-time systems. Real-Time Systems, 1(1):27-60, 1989.

• M. F. Storch and J. W. S. Liu. Heuristic algorithms for periodic job assignment. In Proceedings of the Workshop on Parallel and Distributed Real-Time Systems, Newport Beach, California, April 1993. (PostScript, 131768 bytes)

• Matthew F. Storch and Jane W.-S. Liu. DRTSS: A simulation framework for complex real-time systems. In Proceedings of the Complex Systems Design and Synthesis Technology Workshop, Calverton, Maryland, July 1994. (PostScript, 8 pages, 106501 bytes)

• Matthew F. Storch and Jane W.-S. Liu. A simulation environment for distributed real-time systems. In Proceedings of the SCS Simulation Multiconference, La Jolla, California, April 1994. (PostScript, 8 pages, 100100 bytes)

• Matthew F. Storch and Jane W.-S. Liu. DRTSS: A simulation framework for complex real-time systems. In Proceedings, Real-Time Technology and Applications Symposium, pages 160-169, Brookline, Massachusetts, June 1996. IEEE. (PostScript, 20 pages, 193375 bytes)

• Matthew Francis Storch. A Framework for the Simulation of Complex Real-Time Systems. PhD thesis, University of Illinois at Urbana-Champaign, November 1996. Available as Technical Report UIUCDCS-R-96-1983. (Compressed PostScript, 159 pages, 346497 bytes)

• Jay K. Strosnider, John P. Lehoczky, and Lui Sha. The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments. IEEE Transactions on Computers, 44(1):73-91, 1995.

• Jun Sun and Jane Liu. Synchronization protocols in distributed real-time systems. Submitted to IEEE Transactions on Parallel and Distributed Computing. (PostScript, 28 pages, 316809 bytes)

• Jun Sun and Jane W. S. Liu. Bounding the end-to-end response time in multiprocessor real-time systems. In Proceeding of Workshop on Parallel and Distributed Real-Time Systems, pages 91-98, Santa Barbara, California, April 1995. (PostScript, 8 pages, 148826 bytes)

• Jun Sun and Jane Liu. Bounding the end-to-end response times of tasks in a distributed real-time system using the direct synchronization protocol. Technical Report UIUCDCS-R-96-1949, Department of Computer Science, University of Illinois at Urbana-Champaign, June 1996. (PostScript, 16 pages, 208754 bytes)

• Jun Sun and Jane Liu. Synchronization protocols in distributed real-time systems. In The 16th International Conference on Distributed Computing Systems, Hong Kong, May 1996. (PostScript, 8 pages, 222231 bytes)

• Jun Sun and Jane W. S. Liu. Bounding completion times of jobs with arbitrary release times and variable execution times. In Proceedings, Real-Time Systems Symposium, pages 2-12, Washington, D. C., December 1996. IEEE. (PostScript, 11 pages, 205446 bytes)

• Jun Sun, Riccardo Bettati, and Jane W.-S. Liu. An end-to-end approach to schedule tasks with shared resources in multiprocessor systems. In Proceedings of the 11th IEEE Workshop on Real-Time Operating Systems and Software, Seattle, Washington, May 1994. (PostScript, 5 pages, 121161 bytes)

• Jun Sun, Mark K. Gardner, and Jane W. S. Liu. Bounding completion times of jobs with arbitrary release times, variable execution times, and resource sharing. IEEE Transactions on Software Engineering, 23(10):603-615, October 1997. (Gzipped PostScript, 14 pages, 137747 bytes)

• Jun Sun. Fixed-Priority End-to-End Scheduling in Distributed Real-Time Systems. PhD thesis, University of Illinois at Urbana-Champaign, 1997. Available as Technical Report UIUCDCS-R-97-1973. (Compressed PostScript, 183 pages, 451333 bytes)

• Too-Seng Tia and Jane W.-S. Liu. Assigning real-time tasks and resources to distributed systems. To appear in International Journal of Mini and Microcomputers. (PostScript, 10 pages, 181422 bytes)

• T. S. Tia and J. W. S. Liu. Task and resource assignment in distributed real-time systems. In Proceedings of the 2nd Workshop on Parallel and Distributed Real-Time Systems, Cancun, Mexico, April 1994.

• Too-Seng Tia, Jane W.-S. Liu, Jun Sun, and Rhan Ha. A linear-time optimal acceptance test for scheduling of hard real-time tasks. Submitted to IEEE Transactions on Software Engineering. (PostScript, 17 pages, 173937 bytes)

• Too-Seng Tia, Jane W.-S. Liu, and Mallikarjun Shankar. Aperiodic request scheduling in fixed-priority preemptive scheduling. Technical Report UIUCDCS-R-94-1859, Department of Computer Science, University of Illinois at Urbana-Champaign, July 1994. (PostScript, 43 pages, 338922 bytes)

• T.-S. Tia, Z. Deng, M. Shankar, M. Storch, J. Sun, L.-C. Wu, and J. W.-S. Liu. Probabilistic performance guarantee for real-time tasks with varying computation times. In Proceedings, Real-Time Technology and Applications Symposium, pages 164-173, Chicago, Illinois, May 1995. IEEE. (PostScript, 12 pages, 199015 bytes)

• Too-Seng Tia, Jane W.-S. Liu, and Mallikarjun Shankar. Algorithms and optimality of scheduling soft aperiodic requests in fixed-priority preemptive systems. Real-Time Systems, 10(1):23-43, January 1996. (PostScript, 21 pages, 220256 bytes)

• Too-Seng Tia. Utilizing Slack Time for Aperiodic and Sporadic Requests Scheduling in Real-Time Systems. PhD thesis, University of Illinois at Urbana-Champaign, April 1995. Available as Technical Report UIUCDCS-R-95-1906.

• Mancang Tian. A framework for collaboration membership service for power network simulation. MS thesis, University of Illinois at Urbana-Champaign, 2000.

• André M. van Tilborg and Gary M. Koob, editors. Foundations of Real-Time Computing: Scheduling and Resource Management. Kluwer Academic Publishers, Norwell, Massachusetts, 1991.

• André M. van Tilborg and Gary M. Koob, editors. Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, Norwell, Massachusetts, 1991.

• Susan V. Vrbsky and Kwei-Jay Lin. Recovering imprecise transactions with real-time constraints. In Proceedings, Seventh Symposium on Reliable Distributed Systems, pages 185-193, Columbus, Ohio, October 1988. IEEE.

• Susan V. Vrbsky and Jane W. S. Liu. APPROXIMATE: A query processor that produces monotonically improving approximate answers. IEEE Transactions on Knowledge and Data Engineering, 5(6):1056-1068, December 1993.

• Susan V. Vrbsky and Jane W. S. Liu. Producing approximate answers to set- and single-valued queries. The Journal of Systems and Software, 27(3):243-251, December 1994.

• S. V. Vrbsky, J. W. S. Liu, and K. P. Smith. An object-oriented query processor that returns monotonically improving approximate answers. Technical Report UIUCDCS-R-90-1568, Department of Computer Science, University of Illinois at Urbana-Champaign, 1990.

• Susan Vlasta Vrbsky. Approximate: A Query Processor that Produces Monotonically Improving Approximate Answers. PhD thesis, University of Illinois at Urbana-Champaign, June 1993. Available as Technical Report UIUCDCS-R-93-1816.

• Qixin Wang, Rong Zheng, Ajay Tirumala, Xue Liu, and Lui Sha. Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors. In Proc. of the 25th IEEE International Real-Time Systems Symposium (RTSS'04), 2004. (PDF)

• Qixin Wang, Wei-Peng Chen, Rong Zheng, Kihwal Lee, and Lui Sha. Acoustic Target Tracking Using Tiny Wireless Sensor Devices. In Proc. of IPSN'03, Lecture Notes in Computer Science, 2003. (PDF)

• Kris Whener. An architecture for online multicast routing upgrade. Master's thesis, University of Illinois at Urbana-Champaign, July 2000.

• Albert C. Yu and Kwei-Jay Lin. Scheduling parallelizable imprecise computations on multiprocessors. In Proceedings, the Fifth International Parallel Processing Symposium, pages 531-536, Anaheim, California, April 1991. IEEE.

• Albert Chuang-Shi Yu. Scheduling Parallel Real-Time Tasks That Allow Imprecise Results. PhD thesis, University of Illinois at Urbana-Champaign, March 1992. Available as Technical Report UIUCDCS-R-92-1738.

• L. Zhang, Z. Deng, I. Philp, and J. W. S. Liu. A hierarchical scheme for scheduling messages in open real-time environment. In Proceedings of IEEE Symposium on Real-Time Systems, December 1999.