Verification of a Multidestination Protocol Using Temporal Logic. - Krishan K. Sabnani; Mischa Schwartz (PSTV, 1982)

A Calculus for Protocol Specification and Validation. - Sudhir Aggarwal; Robert P. Kurshan; Krishan K. Sabnani (Protocol Specification, Testing, and Verification, 1983)

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

Verification of a Multidestination Selective Repeat Procedure. - Krishan K. Sabnani; Mischa Schwartz (Comput. Networks, 1984)

A new technique for generating protocol test. - Krishan K. Sabnani; Anton T. Dahbura (SIGCOMM, 1985)

A new file transfer protocol. - Sudhir Aggarwal; Krishan K. Sabnani; B. Gopinath (AT&T Tech. J., 1985)

Multidestination Protocols for Satellite Broadcast Channels. - Krishan K. Sabnani; Mischa Schwartz (IEEE Trans. Commun., 1985)

A New Connection Establishment Procedure for Multidestination Protocols. - Krishan K. Sabnani; Mischa Schwartz (IEEE Trans. Commun., 1986)

Translation of Formal Protocol Specifications to VLSI Designs. - A. S. Krishnakumar; B. Krishnamurthy; Krishan K. Sabnani (PSTV, 1987)

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

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

An experience in estimating fault coverage of a protocol test. - Anton T. Dahbura; Krishan K. Sabnani (INFOCOM, 1988)

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

A Protocol Test Generation Procedure. - Krishan K. Sabnani; Anton T. Dahbura (Comput. Networks, 1988)

An algorithmic technique for protocol verification. - Krishan K. Sabnani (IEEE Trans. Commun., 1988)

A High Speed Transport Protocol for Datagram/Virtual Circuit Networks. - Krishan K. Sabnani; Arun N. Netravali (SIGCOMM, 1989)

Probabilistic Verification of Communication Protocols. - Nicholas F. Maxemchuk; Krishan K. Sabnani (Distributed Comput., 1989)

VLSI implementations of communication protocols-a survey. - A. S. Krishnakumar; Krishan K. Sabnani (IEEE J. Sel. Areas Commun., 1989)

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

An algorithmic procedure for checking safety properties of protocols. - Krishan K. Sabnani; Aleta M. Lapone; M. Ümit Uyar (IEEE Trans. Commun., 1989)

Formal methods for generating protocol conformance test sequences. - Anton T. Dahbura; Krishan K. Sabnani; M. Ümit Uyar (Proc. IEEE, 1990)

Design and implementation of a high-speed transport protocol. - Arun N. Netravali; William D. Roome; Krishan K. Sabnani (IEEE Trans. Commun., 1990)

Protocol engineering (panel session). - Ming T. Liu; Mohamed G. Gouda; Raymond E. Miller; Krishan K. Sabnani (ACM Conference on Computer Science, 1991)

Efficient Gateway Synthesis from Formal Specifications. - David M. Kristol; David Lee 001; Arun N. Netravali; Krishan K. Sabnani (SIGCOMM, 1991)

Reverse-engineering of communication protocols. - David Lee 001; Krishan K. Sabnani (ICNP, 1993)

Conformance Testing of Protocols Specified as Communicating FSMs. - David Lee 001; Krishan K. Sabnani; David M. Kristol; Sanjoy Paul; M. Ümit Uyar (INFOCOM, 1993)

Error and flow control performance of a high speed protocol. - Bharat T. Doshi; Pravin K. Johri; Arun N. Netravali; Krishan K. Sabnani (IEEE Trans. Commun., 1993)

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

Multicast transport protocols for high speed networks. - Sanjoy Paul; Krishan K. Sabnani; David M. Kristol (ICNP, 1994)

The programmable protocol VLSI engine (PROVE). - A. S. Krishnakumar; W. C. Fischer; Krishan K. Sabnani (IEEE Trans. Commun., 1994)

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

Protocol pruning. - David Lee 001; Arun N. Netravali; Krishan K. Sabnani (Proc. IEEE, 1995)

A periodic state exchange protocol and its verification. - Mohamed G. Gouda; Arun N. Netravali; Krishan K. Sabnani (IEEE Trans. Commun., 1995)

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

Distributed call processing for wireless mobile networks. - Thomas F. La Porta; Krishan K. Sabnani; Anil S. Sawkar (Bell Labs Tech. J., 1996)

Challenges for Nomadic Computing: Mobility Management and Wireless Communications. - Thomas F. La Porta; Krishan K. Sabnani; Richard D. Gitlin (Mob. Networks Appl., 1996)

Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach. - David Lee 001; Krishan K. Sabnani; David M. Kristol; Sanjoy Paul (IEEE Trans. Commun., 1996)

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

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

Reliable Multicast Transport Protocol (RMTP). - Sanjoy Paul; Krishan K. Sabnani; John C.-H. Lin; Supratik Bhattacharyya (IEEE J. Sel. Areas Commun., 1997)

Pigeon: A Wireless Two-Way Messaging System. - Thomas Y. C. Woo; Thomas F. La Porta; Krishan K. Sabnani (IEEE J. Sel. Areas Commun., 1997)

Providing Internet services to mobile phones: a case study with email. - Thomas Y. C. Woo; Krishan K. Sabnani; Scott C. Miller (PIMRC, 1998)

Experiences with Network-Based User Agents for Mobile Applications. - Thomas F. La Porta; Ramachandran Ramjee; Thomas Y. C. Woo; Krishan K. Sabnani (Mob. Networks Appl., 1998)

Fundamental Observations on Multicast Congestion Control in the Internet. - S. Jamaloddin Golestani; Krishan K. Sabnani (INFOCOM, 1999)

Towards rapid development of configurable, reliable, and scalable wireless applications. - Richard W. Buskens; Krishan K. Sabnani (PIMRC, 2000)

Wireless data networking, standards, and applications. - Nitin J. Shah; Anil S. Sawkar; John A. Marinho; Krishan K. Sabnani; Thomas F. La Porta; Tung Ching Chiang (Bell Labs Tech. J., 2000)

Correct Passive Testing Algorithms and Complete Fault Coverage. - Arun N. Netravali; Krishan K. Sabnani; Ramesh Viswanathan (FORTE, 2003)

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

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

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

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

Overview. - Krishan K. Sabnani; Milind M. Buddhikot; Katherine Guo (Bell Labs Tech. J., 2009)

Multicast scheduling in cellular data networks. - Hyungsuk Won; Han Cai; Do Young Eun; Katherine Guo; Arun N. Netravali; Injong Rhee; Krishan K. Sabnani (IEEE Trans. Wirel. Commun., 2009)

Keynotes: Telecom evolution in India: Making it simple through complex solutions. - B. S. Muralidhar; Anirban Mahanti; A. Sethuraman; Som Pal Choudhury; Krishan K. Sabnani; Shriram Revankar; Santhanakrishnan Raman; Sudhir Dixit 001 (IEEE ANTS, 2011)

Expected convergence properties of BGP. - Ramesh Viswanathan; Krishan K. Sabnani; Robert J. Holt; Arun N. Netravali (Comput. Networks, 2011)

Improving mobile video streaming with link aware scheduling and client caches. - Randeep Bhatia; T. V. Lakshman; Arun N. Netravali; Krishan K. Sabnani (INFOCOM, 2014)

Future Communication Clouds. - Krishan K. Sabnani (MobiArch, 2015)

An open ecosystem for mobile-cloud convergence. - Mahadev Satyanarayanan; Rolf Schuster; Maria Ebling; Gerhard P. Fettweis; Hannu Flinck; Kaustubh R. Joshi; Krishan K. Sabnani (IEEE Commun. Mag., 2015)

Run-time Performance Monitoring, Verification, and Healing of End-to-End Services. - Nakjung Choi; Lalita Jagadeesan; Young Jin; Nishok Narasimha Mohanasamy; Muntasir Raihan Rahman; Krishan K. Sabnani; Marina Thottan (NetSoft, 2019)

Layered Architecture and Virtualization for 5G Slicing. - Suresh C. Gupta; Pimmy Gandotra; Brejesh Lall; Huzur Saran; Krishan K. Sabnani (5GWF, 2021)

A Game Theoretic Framework for Distributed Mission Slice Allocation and Management for Tactical Networks. - Fan Yang 120; Cristina Comaniciu; P. Krishnan; Krishan K. Sabnani; Lloyd G. Greenwald (J. Netw. Syst. Manag., 2023)

Algorithms for In-Place, Consistent Network Update. - Kedar S. Namjoshi; Sougol Gheissi; Krishan K. Sabnani (SIGCOMM, 2024)