Implementation and evaluation of a best-effort scheduling algorithm in an embedded real-time system. - Peng Li 020; Binoy Ravindran; Tamir Hegazy (ISPASS, 2001)

Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach. - Binoy Ravindran; Gérard Le Lann; Peng Li 020 (HASE, 2002)

Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation. - Peng Li 020; Binoy Ravindran; Jinggang Wang; Glenn Konowicz (ISORC, 2003)

A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems. - Binoy Ravindran; Gérard Le Lann; Jinggang Wang; Peng Li 020 (ISORC, 2003)

Utilitiy Accrual Scheduling with Real-Time Java. - Shahrooz Feizabadi; William S. Beebee; Binoy Ravindran; Peng Li 020; Martin C. Rinard (OTM Workshops, 2003)

Proactive resource allocation for asynchronous real-time distributed systems in the presence of processor failures. - Binoy Ravindran; Peng Li 020; Tamir Hegazy (J. Parallel Distributed Comput., 2003)

CPU scheduling for statistically-assured real-time performance and improved energy efficiency. - Haisang Wu; Binoy Ravindran; E. Douglas Jensen; Peng Li 020 (CODES+ISSS, 2004)

Adaptive Time-Critical Resource Management Using Time/Utility Functions: Past, Present, and Future. - Peng Li 020; Binoy Ravindran; E. Douglas Jensen (COMPSAC Workshops, 2004)

Scheduling Distributable Real-Time Threads in Tempus Middleware. - Peng Li 020; Binoy Ravindran; Hyeonjoong Cho; E. Douglas Jensen (ICPADS, 2004)

Efficiently tolerating failures in asynchronous real-time distributed systems. - Peng Li 020; Binoy Ravindran (J. Syst. Archit., 2004)

Proactive QoS negotiation in asynchronous real-time distributed systems. - Peng Li 020; Binoy Ravindran (J. Syst. Softw., 2004)

Fast, Best-Effort Real-Time Scheduling Algorithms. - Peng Li 020; Binoy Ravindran (IEEE Trans. Computers, 2004)

DPR, LPR: Proactive Resource Allocation Algorithms for Asynchronous Real-Time Distributed Systems. - Binoy Ravindran; Peng Li 020 (IEEE Trans. Computers, 2004)

A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems. - Peng Li 020; Binoy Ravindran; Syed Suhaib; Shahrooz Feizabadi (IEEE Trans. Software Eng., 2004)

Utility Accrual Real-Time Scheduling: Models and Algorithms. - Peng Li 020 (2004)

Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness Assurances. - Peng Li 020; Hyeonjoong Cho; Binoy Ravindran; E. Douglas Jensen (ISORC, 2005)

On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management. - Binoy Ravindran; E. Douglas Jensen; Peng Li 020 (ISORC, 2005)

Time/Utility Function Decomposition Techniques for Utility Accrual Scheduling Algorithms in Real-Time Distributed Systems. - Haisang Wu; Binoy Ravindran; E. Douglas Jensen; Peng Li 020 (IEEE Trans. Computers, 2005)

A Utility Accrual Scheduling Algorithm for Real-Time Activities with Mutual Exclusion Resource Constraints. - Peng Li 020; Haisang Wu; Binoy Ravindran; E. Douglas Jensen (IEEE Trans. Computers, 2006)

Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems. - Haisang Wu; Binoy Ravindran; E. Douglas Jensen; Peng Li 020 (ACM Trans. Embed. Comput. Syst., 2006)