Krishan K. Sabnani

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 4

Top Topics

Ibm Zenterprise

Layered Architecture

Top Venues

J. Netw. Syst. Manag.

Publications

Kedar S. Namjoshi, Sougol Gheissi, Krishan K. Sabnani
Algorithms for In-Place, Consistent Network Update. SIGCOMM (2024)
Fan Yang, Cristina Comaniciu, P. Krishnan, Krishan K. Sabnani, Lloyd G. Greenwald
A Game Theoretic Framework for Distributed Mission Slice Allocation and Management for Tactical Networks. J. Netw. Syst. Manag. 31 (1) (2023)
Suresh C. Gupta, Pimmy Gandotra, Brejesh Lall, Huzur Saran, Krishan K. Sabnani
Layered Architecture and Virtualization for 5G Slicing. 5GWF (2021)
Nakjung Choi, Lalita Jagadeesan, Young Jin, Nishok Narasimha Mohanasamy, Muntasir Raihan Rahman, Krishan K. Sabnani, Marina Thottan
Run-time Performance Monitoring, Verification, and Healing of End-to-End Services. NetSoft (2019)
Mahadev Satyanarayanan, Rolf Schuster, Maria Ebling, Gerhard P. Fettweis, Hannu Flinck, Kaustubh R. Joshi, Krishan K. Sabnani
An open ecosystem for mobile-cloud convergence. IEEE Commun. Mag. 53 (3) (2015)
Krishan K. Sabnani
Future Communication Clouds. MobiArch (2015)
Randeep Bhatia, T. V. Lakshman, Arun N. Netravali, Krishan K. Sabnani
Improving mobile video streaming with link aware scheduling and client caches. INFOCOM (2014)
Ramesh Viswanathan, Krishan K. Sabnani, Robert J. Holt, Arun N. Netravali
Expected convergence properties of BGP. Comput. Networks 55 (8) (2011)
B. S. Muralidhar, Anirban Mahanti, A. Sethuraman, Som Pal Choudhury, Krishan K. Sabnani, Shriram Revankar, Santhanakrishnan Raman, Sudhir Dixit
Keynotes: Telecom evolution in India: Making it simple through complex solutions. IEEE ANTS (2011)
Hyungsuk Won, Han Cai, Do Young Eun, Katherine Guo, Arun N. Netravali, Injong Rhee, Krishan K. Sabnani
Multicast scheduling in cellular data networks. IEEE Trans. Wirel. Commun. 8 (9) (2009)
Krishan K. Sabnani, Milind M. Buddhikot, Katherine Guo
Overview. Bell Labs Tech. J. 14 (2) (2009)
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)
Sumit Ganguly, Minos N. Garofalakis, Rajeev Rastogi, Krishan K. Sabnani
Streaming Algorithms for Robust, Real-Time Detection of DDoS Attacks. ICDCS (2007)
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)
Sudhir Aggarwal, Madhura Limaye, Arun N. Netravali, Krishan K. Sabnani
Constrained Diameter Steiner Trees for Multicast Conferences in Overlay Networks. QSHINE (2004)
Sarit Mukherjee, Sanjoy Paul, Krishan K. Sabnani
Always on: a new paradigm for wireless networks. PIMRC (2004)
Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan
Correct Passive Testing Algorithms and Complete Fault Coverage. FORTE (2003)
Richard W. Buskens, Krishan K. Sabnani
Towards rapid development of configurable, reliable, and scalable wireless applications. PIMRC (2000)
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 Tech. J. 5 (1) (2000)
S. Jamaloddin Golestani, Krishan K. Sabnani
Fundamental Observations on Multicast Congestion Control in the Internet. INFOCOM (1999)
Thomas F. La Porta, Ramachandran Ramjee, Thomas Y. C. Woo, Krishan K. Sabnani
Experiences with Network-Based User Agents for Mobile Applications. Mob. Networks Appl. 3 (2) (1998)
Thomas Y. C. Woo, Krishan K. Sabnani, Scott C. Miller
Providing Internet services to mobile phones: a case study with email. PIMRC (1998)
Thomas Y. C. Woo, Thomas F. La Porta, Krishan K. Sabnani
Pigeon: A Wireless Two-Way Messaging System. IEEE J. Sel. Areas Commun. 15 (8) (1997)
David Lee, Arun N. Netravali, Krishan K. Sabnani, Binay Sugla, Ajita John
Passive testing and applications to network management. ICNP (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)
Sanjoy Paul, Krishan K. Sabnani, John C.-H. Lin, Supratik Bhattacharyya
Reliable Multicast Transport Protocol (RMTP). IEEE J. Sel. Areas Commun. 15 (3) (1997)
Thomas F. La Porta, Krishan K. Sabnani, Richard D. Gitlin
Challenges for Nomadic Computing: Mobility Management and Wireless Communications. Mob. Networks Appl. 1 (1) (1996)
Thomas F. La Porta, Krishan K. Sabnani, Anil S. Sawkar
Distributed call processing for wireless mobile networks. Bell Labs Tech. J. 1 (2) (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 Trans. Commun. 44 (5) (1996)
Thomas Y. C. Woo, Thomas F. La Porta, Krishan K. Sabnani
Pigeon: a wireless two-way messaging system. PIMRC (1996)
Mohamed G. Gouda, Arun N. Netravali, Krishan K. Sabnani
A periodic state exchange protocol and its verification. IEEE Trans. Commun. 43 (9) (1995)
Ender Ayanoglu, Sanjoy Paul, Thomas F. La Porta, Krishan K. Sabnani, Richard D. Gitlin
AIRMAIL: a link-layer protocol for wireless networks. Wirel. Networks 1 (1) (1995)
David Lee, Arun N. Netravali, Krishan K. Sabnani
Protocol pruning. Proc. IEEE 83 (10) (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)
A. S. Krishnakumar, W. C. Fischer, Krishan K. Sabnani
The programmable protocol VLSI engine (PROVE). IEEE Trans. Commun. 42 (8) (1994)
Sanjoy Paul, Krishan K. Sabnani, David M. Kristol
Multicast transport protocols for high speed networks. ICNP (1994)
David Lee, Krishan K. Sabnani
Reverse-engineering of communication protocols. ICNP (1993)
Bharat T. Doshi, Pravin K. Johri, Arun N. Netravali, Krishan K. Sabnani
Error and flow control performance of a high speed protocol. IEEE Trans. Commun. 41 (5) (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) (1993)
David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. Ümit Uyar
Conformance Testing of Protocols Specified as Communicating FSMs. INFOCOM (1993)
David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani
Efficient Gateway Synthesis from Formal Specifications. SIGCOMM (1991)
Ming T. Liu, Mohamed G. Gouda, Raymond E. Miller, Krishan K. Sabnani
Protocol engineering (panel session). ACM Conference on Computer Science (1991)
Arun N. Netravali, William D. Roome, Krishan K. Sabnani
Design and implementation of a high-speed transport protocol. IEEE Trans. Commun. 38 (11) (1990)
Anton T. Dahbura, Krishan K. Sabnani, M. Ümit Uyar
Formal methods for generating protocol conformance test sequences. Proc. IEEE 78 (8) (1990)
A. S. Krishnakumar, Krishan K. Sabnani
VLSI implementations of communication protocols-a survey. IEEE J. Sel. Areas Commun. 7 (7) (1989)
Krishan K. Sabnani, Arun N. Netravali
A High Speed Transport Protocol for Datagram/Virtual Circuit Networks. SIGCOMM (1989)
Krishan K. Sabnani, Aleta M. Lapone, M. Ümit Uyar
An algorithmic procedure for checking safety properties of protocols. IEEE Trans. Commun. 37 (9) (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) (1989)
Nicholas F. Maxemchuk, Krishan K. Sabnani
Probabilistic Verification of Communication Protocols. Distributed Comput. 3 (3) (1989)
Mohamed G. Gouda, Nicholas F. Maxemchuk, Utpal Mukherji, Krishan K. Sabnani
Delivery and discrimination: the Seine protocol. SIGCOMM (1988)
Anton T. Dahbura, Krishan K. Sabnani
An experience in estimating fault coverage of a protocol test. INFOCOM (1988)
Krishan K. Sabnani
An algorithmic technique for protocol verification. IEEE Trans. Commun. 36 (8) (1988)
Krishan K. Sabnani, Anton T. Dahbura
A Protocol Test Generation Procedure. Comput. Networks 15 (1988)
Anton T. Dahbura, Krishan K. Sabnani, Linda L. King
The Comparison Approach to Multiprocessor Fault Diagnosis. IEEE Trans. Computers 36 (3) (1987)
Anton T. Dahbura, Krishan K. Sabnani, William J. Hery
Performance Analysis of a Fault Detection Scheme in Multiprocessor Systems. SIGMETRICS (1987)
Nicholas F. Maxemchuk, Krishan K. Sabnani
Probabilistic Verification of Communication Protocols. PSTV (1987)
A. S. Krishnakumar, B. Krishnamurthy, Krishan K. Sabnani
Translation of Formal Protocol Specifications to VLSI Designs. PSTV (1987)
Krishan K. Sabnani, Mischa Schwartz
A New Connection Establishment Procedure for Multidestination Protocols. IEEE Trans. Commun. 34 (11) (1986)
Krishan K. Sabnani, Mischa Schwartz
Multidestination Protocols for Satellite Broadcast Channels. IEEE Trans. Commun. 33 (3) (1985)
Sudhir Aggarwal, Krishan K. Sabnani, B. Gopinath
A new file transfer protocol. AT&T Tech. J. 64 (10) (1985)
Krishan K. Sabnani, Anton T. Dahbura
A new technique for generating protocol test. SIGCOMM (1985)
Krishan K. Sabnani, Mischa Schwartz
Verification of a Multidestination Selective Repeat Procedure. Comput. Networks 8 (1984)
Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani
A Calculus for Protocol Specification and Validation. Protocol Specification, Testing, and Verification (1983)
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)
Krishan K. Sabnani, Mischa Schwartz
Verification of a Multidestination Protocol Using Temporal Logic. PSTV (1982)