Krishan K. Sabnani

According to our database, Krishan K. Sabnani authored at least 62 papers between 1982 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Algorithms for In-Place, Consistent Network Update.

Kedar S. Namjoshi, Sougol Gheissi, Krishan K. Sabnani

Proceedings of the ACM SIGCOMM 2024 Conference, 2024

2023

A Game Theoretic Framework for Distributed Mission Slice Allocation and Management for Tactical Networks.

Fan Yang, Cristina Comaniciu, P. Krishnan, Krishan K. Sabnani, Lloyd G. Greenwald

J. Netw. Syst. Manag., 2023

2021

Layered Architecture and Virtualization for 5G Slicing.

Suresh C. Gupta, Pimmy Gandotra, Brejesh Lall, Huzur Saran, Krishan K. Sabnani

Proceedings of the 4th IEEE 5G World Forum, 2021

2019

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

Proceedings of the 5th IEEE Conference on Network Softwarization, 2019

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

Future Communication Clouds.

Krishan K. Sabnani

Proceedings of the 10th International Workshop on Mobility in the Evolving Internet Architecture, 2015

2014

Improving mobile video streaming with link aware scheduling and client caches.

Randeep Bhatia, T. V. Lakshman, Arun N. Netravali, Krishan K. Sabnani

Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

2011

Expected convergence properties of BGP.

Ramesh Viswanathan, Krishan K. Sabnani, Robert J. Holt, Arun N. Netravali

Comput. Networks, 2011

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

Proceedings of the Fifth IEEE International Conference on Advanced Telecommunication Systems and Networks, 2011

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

Overview.

Krishan K. Sabnani, Milind M. Buddhikot, Katherine Guo

Bell Labs Tech. J., 2009

2007

Streaming Algorithms for Robust, Real-Time Detection of DDoS Attacks.

Sumit Ganguly, Minos N. Garofalakis, Rajeev Rastogi, Krishan K. Sabnani

Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

2006

Separating control software from routers.

Ramachandran Ramjee, Furquan Ansari, Martin Havemann, T. V. Lakshman, Thyagarajan Nandagopal, Krishan K. Sabnani, Thomas Y. C. Woo

Proceedings of the First International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), 2006

2004

Constrained Diameter Steiner Trees for Multicast Conferences in Overlay Networks.

Sudhir Aggarwal, Madhura Limaye, Arun N. Netravali, Krishan K. Sabnani

Proceedings of the 1st International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks (QSHINE 2004), 2004

Always on: a new paradigm for wireless networks.

Sarit Mukherjee, Sanjoy Paul, Krishan K. Sabnani

Proceedings of the IEEE 15th International Symposium on Personal, 2004

2003

Correct Passive Testing Algorithms and Complete Fault Coverage.

Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

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

Towards rapid development of configurable, reliable, and scalable wireless applications.

Richard W. Buskens, Krishan K. Sabnani

Proceedings of the 11th IEEE International Symposium on Personal, 2000

1999

Fundamental Observations on Multicast Congestion Control in the Internet.

S. Jamaloddin Golestani, Krishan K. Sabnani

Proceedings of the Proceedings IEEE INFOCOM '99, 1999

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

Providing Internet services to mobile phones: a case study with email.

Thomas Y. C. Woo, Krishan K. Sabnani, Scott C. Miller

Proceedings of the 9th IEEE International Symposium on Personal, 1998

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

Reliable Multicast Transport Protocol (RMTP).

Sanjoy Paul, Krishan K. Sabnani, John C.-H. Lin, Supratik Bhattacharyya

IEEE J. Sel. Areas Commun., 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

Proceedings of the 1997 International Conference on Network Protocols (ICNP '97), 1997

Passive testing and applications to network management.

David Lee, Arun N. Netravali, Krishan K. Sabnani, Binay Sugla, Ajita John

Proceedings of the 1997 International Conference on Network Protocols (ICNP '97), 1997

1996

Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach.

David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul

IEEE Trans. Commun., 1996

Challenges for Nomadic Computing: Mobility Management and Wireless Communications.

Thomas F. La Porta, Krishan K. Sabnani, Richard D. Gitlin

Mob. Networks Appl., 1996

Distributed call processing for wireless mobile networks.

Thomas F. La Porta, Krishan K. Sabnani, Anil S. Sawkar

Bell Labs Tech. J., 1996

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

A periodic state exchange protocol and its verification.

Mohamed G. Gouda, Arun N. Netravali, Krishan K. Sabnani

IEEE Trans. Commun., 1995

Protocol pruning.

David Lee, Arun N. Netravali, Krishan K. Sabnani

Proc. IEEE, 1995

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

Proceedings of the Proceedings IEEE INFOCOM '95, 1995

1994

The programmable protocol VLSI engine (PROVE).

A. S. Krishnakumar, W. C. Fischer, Krishan K. Sabnani

IEEE Trans. Commun., 1994

Multicast transport protocols for high speed networks.

Sanjoy Paul, Krishan K. Sabnani, David M. Kristol

Proceedings of the 1994 International Conference on Network Protocols, 1994

1993

A polynomial algorithm for gateway generation from formal specifications.

David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani

IEEE/ACM Trans. Netw., 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

Conformance Testing of Protocols Specified as Communicating FSMs.

David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. Ümit Uyar

Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

Reverse-engineering of communication protocols.

David Lee, Krishan K. Sabnani

Proceedings of the 1993 International Conference on Network Protocols, 1993

1991

Efficient Gateway Synthesis from Formal Specifications.

David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani

Proceedings of the Conference on Communications Architecture & Protocols, 1991

Protocol engineering (panel session).

Ming T. Liu, Mohamed G. Gouda, Raymond E. Miller, Krishan K. Sabnani

Proceedings of the 19th annual conference on Computer Science, 1991

1990

Design and implementation of a high-speed transport protocol.

Arun N. Netravali, William D. Roome, Krishan K. Sabnani

IEEE Trans. Commun., 1990

Formal methods for generating protocol conformance test sequences.

Anton T. Dahbura, Krishan K. Sabnani, M. Ümit Uyar

Proc. IEEE, 1990

1989

An algorithmic procedure for checking safety properties of protocols.

Krishan K. Sabnani, Aleta M. Lapone, M. Ümit Uyar

IEEE Trans. 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

VLSI implementations of communication protocols-a survey.

A. S. Krishnakumar, Krishan K. Sabnani

IEEE J. Sel. Areas Commun., 1989

Probabilistic Verification of Communication Protocols.

Nicholas F. Maxemchuk, Krishan K. Sabnani

Distributed Comput., 1989

A High Speed Transport Protocol for Datagram/Virtual Circuit Networks.

Krishan K. Sabnani, Arun N. Netravali

Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989

1988

An algorithmic technique for protocol verification.

Krishan K. Sabnani

IEEE Trans. Commun., 1988

A Protocol Test Generation Procedure.

Krishan K. Sabnani, Anton T. Dahbura

Comput. Networks, 1988

Delivery and discrimination: the Seine protocol.

Mohamed G. Gouda, Nicholas F. Maxemchuk, Utpal Mukherji, Krishan K. Sabnani

Proceedings of the ACM Symposium on Communications Architectures and Protocols, 1988

An experience in estimating fault coverage of a protocol test.

Anton T. Dahbura, Krishan K. Sabnani

Proceedings of the Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?, 1988

1987

The Comparison Approach to Multiprocessor Fault Diagnosis.

Anton T. Dahbura, Krishan K. Sabnani, Linda L. King

IEEE Trans. Computers, 1987

Performance Analysis of a Fault Detection Scheme in Multiprocessor Systems.

Anton T. Dahbura, Krishan K. Sabnani, William J. Hery

Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1987

Translation of Formal Protocol Specifications to VLSI Designs.

A. S. Krishnakumar, B. Krishnamurthy, Krishan K. Sabnani

Proceedings of the Protocol Specification, 1987

1986

A New Connection Establishment Procedure for Multidestination Protocols.

Krishan K. Sabnani, Mischa Schwartz

IEEE Trans. Commun., 1986

1985

Multidestination Protocols for Satellite Broadcast Channels.

Krishan K. Sabnani, Mischa Schwartz

IEEE Trans. Commun., 1985

A new file transfer protocol.

Sudhir Aggarwal, Krishan K. Sabnani, B. Gopinath

AT&T Tech. J., 1985

A new technique for generating protocol test.

Krishan K. Sabnani, Anton T. Dahbura

Proceedings of the Ninth Symposium on Data Communications, 1985

1984

Verification of a Multidestination Selective Repeat Procedure.

Krishan K. Sabnani, Mischa Schwartz

Comput. Networks, 1984

1983

A File Transfer System for Scheduling File Transfers in the Bell Labs Network.

A. Y. Teng, J. Yao, B. Gopinath, Krishan K. Sabnani

Proceedings of the Proceedings IEEE INFOCOM 83, San Diego, CA, USA, April 18-21, 1983, 1983

A Calculus for Protocol Specification and Validation.

Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

Verification of a Multidestination Protocol Using Temporal Logic.

Krishan K. Sabnani, Mischa Schwartz

Proceedings of the Protocol Specification, 1982