Publications
2008. Executable Specifications for Real-Time Distributed Systems. Electronic Notes in Theoretical Computer Science. 203(4):3-17.
2005. Joint uplink and downlink optimization for video conferencing over wireless LAN. Acoustics, Speech, and Signal Processing, 2005. Proceedings. (ICASSP '05). IEEE International Conference on. 2:ii/1101-ii/1104Vol.2-ii/1101-ii/1104Vol.2.
2005. MEAD: support for Real-Time Fault-Tolerant CORBA. Concurrency and Computation: Practice and Experience. 17(12):1527-1545.
2004. Distortion management of real-time MPEG-4 video over downlink multicode CDMA networks. Communications, 2004 IEEE International Conference on. 5:3071-3075Vol.5-3071-3075Vol.5.
2003. Construction of an efficient overlay multicast infrastructure for real-time applications. INFOCOM 2003. Twenty-Second Annual Joint Conference of the IEEE Computer and Communications. IEEE Societies. 2:1521-1531vol.2-1521-1531vol.2.
1997. Adaptive real-time level-of-detail based rendering for polygonal models. Visualization and Computer Graphics, IEEE Transactions on. 3(2):171-183.
1991. A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.