A Protocol and Correctness Proofs for Real-Time High-Performance Broadcast Networks

Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems

IEEE Transactions on Computers

Time-Utility Function-Driven Switched Ethernet: Packet Scheduling Algorithm, Implementation, and Feasibility Analysis

IEEE Transactions on Parallel and Distributed Systems

Proactive QoS negotiation in asynchronous real-time distributed systems

Journal of Systems and Software - Special issue: Performance modeling and analysis of computer systems and networks

Energy-Efficient, Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model

Proceedings of the conference on Design, Automation and Test in Europe - Volume 1

Lock-free synchronization for dynamic embedded real-time systems

Proceedings of the conference on Design, automation and test in Europe: Proceedings

On scheduling garbage collector in dynamic real-time systems with statistical timing assurances

Real-Time Systems

Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds

IEEE Transactions on Computers

Lock-free synchronization for dynamic embedded real-time systems

ACM Transactions on Embedded Computing Systems (TECS)

Implementing reliable distributed real-time systems with the Θ-model

OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems