Krishan K. Sabnani

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