Krishan K. Sabnani

Ramesh Viswanathan, Krishan K. Sabnani, Robert J. Holt, Arun N. Netravali: Expected convergence properties of BGP. Computer Networks 55(8): 1957-1981 (2011)

Krishan K. Sabnani, Milind M. Buddhikot, Katherine Guo: Overview. Bell Labs Technical Journal 14(2): 1-4 (2009)

Hyungsuk Won, Han Cai, Do Young Eun, Katherine Guo, Arun N. Netravali, Injong Rhee, Krishan K. Sabnani: Multicast scheduling in cellular data networks. IEEE Transactions on Wireless Communications 8(9): 4540-4549 (2009)

Sumit Ganguly, Minos N. Garofalakis, Rajeev Rastogi, Krishan K. Sabnani: Streaming Algorithms for Robust, Real-Time Detection of DDoS Attacks. ICDCS 2007: 4

Hyungsuk Won, Han Cai, Do Young Eun, Katherine Guo, Arun N. Netravali, Injong Rhee, Krishan K. Sabnani: Multicast Scheduling in Cellular Data Networks. INFOCOM 2007: 1172-1180

Ramachandran Ramjee, Furquan Ansari, Martin Havemann, T. V. Lakshman, Thyagarajan Nandagopal, Krishan K. Sabnani, Thomas Y. C. Woo: Separating control software from routers. COMSWARE 2006

Ramesh Viswanathan, Krishan K. Sabnani, Robert J. Holt, Arun N. Netravali: Expected Convergence Properties of BGP. ICNP 2005: 3-15

Sarit Mukherjee, Sanjoy Paul, Krishan K. Sabnani: Always on: a new paradigm for wireless networks. PIMRC 2004: 226-233

Sudhir Aggarwal, Madhura Limaye, Arun N. Netravali, Krishan K. Sabnani: Constrained Diameter Steiner Trees for Multicast Conferences in Overlay Networks. QSHINE 2004: 262-271

Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan: Correct Passive Testing Algorithms and Complete Fault Coverage. FORTE 2003: 303-318

Nitin J. Shah, Anil S. Sawkar, John A. Marinho, Krishan K. Sabnani, Thomas F. La Porta, Tung Ching Chiang: Wireless data networking, standards, and applications. Bell Labs Technical Journal 5(1): 130-149 (2000)

S. Jamaloddin Golestani, Krishan K. Sabnani: Fundamental Observations on Multicast Congestion Control in the Internet. INFOCOM 1999: 990-1000

Thomas F. La Porta, Ramachandran Ramjee, Thomas Y. C. Woo, Krishan K. Sabnani: Experiences with Network-Based User Agents for Mobile Applications. MONET 3(2): 123-141 (1998)

Sanjoy Paul, Krishan K. Sabnani, John C.-H. Lin, Supratik Bhattacharyya: Reliable Multicast Transport Protocol (RMTP). IEEE Journal on Selected Areas in Communications 15(3): 407-421 (1997)

Thomas Y. C. Woo, Thomas F. La Porta, Krishan K. Sabnani: Pigeon: A Wireless Two-Way Messaging System. IEEE Journal on Selected Areas in Communications 15(8): 1391-1405 (1997)

Thomas Y. C. Woo, Thomas F. La Porta, Krishan K. Sabnani: User Agents and Flexible Messages: A New Approach to Wireless Two-Way Messaging. ICNP 1997: 53-62

David Lee, Arun N. Netravali, Krishan K. Sabnani, Binay Sugla, Ajita John: Passive testing and applications to network management. ICNP 1997: 113-

Thomas F. La Porta, Krishan K. Sabnani, Richard D. Gitlin: Challenges for Nomadic Computing: Mobility Management and Wireless Communications. MONET 1(1): 3-16 (1996)

David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul: Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach. IEEE Transactions on Communications 44(5): 631-640 (1996)

Mohamed G. Gouda, Arun N. Netravali, Krishan K. Sabnani: A periodic state exchange protocol and its verification. IEEE Transactions on Communications 43(9): 2475-2484 (1995)

Ender Ayanoglu, Sanjoy Paul, Thomas F. La Porta, Krishan K. Sabnani, Richard D. Gitlin: AIRMAIL: a link-layer protocol for wireless networks. Wireless Networks 1(1): 47-60 (1995)

Sanjoy Paul, Ender Ayanoglu, Thomas F. La Porta, Kuo-Wei Herman Chen, Krishan K. Sabnani, Richard D. Gitlin: An Asymmetric Protocol for Digital Cellular Communications. INFOCOM 1995: 1053-1062

A. S. Krishnakumar, W. C. Fischer, Krishan K. Sabnani: The programmable protocol VLSI engine (PROVE). IEEE Transactions on Communications 42(8): 2630-2642 (1994)

Bharat T. Doshi, Pravin K. Johri, Arun N. Netravali, Krishan K. Sabnani: Error and flow control performance of a high speed protocol. IEEE Transactions on Communications 41(5): 707-720 (1993)

David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani: A polynomial algorithm for gateway generation from formal specifications. IEEE/ACM Trans. Netw. 1(2): 217-229 (1993)

David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. Ümit Uyar: Conformance Testing of Protocols Specified as Communicating FSMs. INFOCOM 1993: 115-127

David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani: Efficient Gateway Synthesis from Formal Specifications. SIGCOMM 1991: 89-97

Arun N. Netravali, William D. Roome, Krishan K. Sabnani: Design and implementation of a high-speed transport protocol. IEEE Transactions on Communications 38(11): 2010-2024 (1990)

Nicholas F. Maxemchuk, Krishan K. Sabnani: Probabilistic Verification of Communication Protocols. Distributed Computing 3(3): 118-129 (1989)

Anton T. Dahbura, Krishan K. Sabnani, William J. Hery: Spare Capacity as a Means of Fault Detection and Diagnosis in Multiprocessor Systems. IEEE Trans. Computers 38(6): 881-891 (1989)

Krishan K. Sabnani, Aleta M. Lapone, M. Ümit Uyar: An algorithmic procedure for checking safety properties of protocols. IEEE Transactions on Communications 37(9): 940-948 (1989)

Krishan K. Sabnani, Arun N. Netravali: A High Speed Transport Protocol for Datagram/Virtual Circuit Networks. SIGCOMM 1989: 146-157

Krishan K. Sabnani, Anton T. Dahbura: A Protocol Test Generation Procedure. Computer Networks 15: 285-297 (1988)

Mohamed G. Gouda, Nicholas F. Maxemchuk, Utpal Mukherji, Krishan K. Sabnani: Delivery and discrimination: the Seine protocol. SIGCOMM 1988: 292-302

Anton T. Dahbura, Krishan K. Sabnani, Linda L. King: The Comparison Approach to Multiprocessor Fault Diagnosis. IEEE Trans. Computers 36(3): 373-378 (1987)

Nicholas F. Maxemchuk, Krishan K. Sabnani: Probabilistic Verification of Communication Protocols. PSTV 1987: 307-320

A. S. Krishnakumar, B. Krishnamurthy, Krishan K. Sabnani: Translation of Formal Protocol Specifications to VLSI Designs. PSTV 1987: 375-390

Anton T. Dahbura, Krishan K. Sabnani, William J. Hery: Performance Analysis of a Fault Detection Scheme in Multiprocessor Systems. SIGMETRICS 1987: 143-154

Krishan K. Sabnani, Anton T. Dahbura: A new technique for generating protocol test. SIGCOMM 1985: 36-43

Krishan K. Sabnani, Mischa Schwartz: Verification of a Multidestination Selective Repeat Procedure. Computer Networks 8: 463-478 (1984)

S. Aggarwal, Robert P. Kurshan, Krishan K. Sabnani: A Calculus for Protocol Specification and Validation. Protocol Specification, Testing, and Verification 1983: 19-34

A. Y. Teng, J. Yao, B. Gopinath, Krishan K. Sabnani: A File Transfer System for Scheduling File Transfers in the Bell Labs Network. INFOCOM 1983: 279-287

Krishan K. Sabnani, Mischa Schwartz: Verification of a Multidestination Protocol Using Temporal Logic. PSTV 1982: 21-41