default search action
Krishan K. Sabnani
Person information
- affiliation: Johns Hopkins University, Baltimore, MD, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c35]Kedar S. Namjoshi
, Sougol Gheissi
Algorithms for In-Place, Consistent Network Update. SIGCOMM 2024: 244-257 - 2023
- [j31]Fan Yang
A Game Theoretic Framework for Distributed Mission Slice Allocation and Management for Tactical Networks. J. Netw. Syst. Manag. 31(1): 23 (2023) - 2021
- [c34]Suresh C. Gupta, Pimmy Gandotra, Brejesh Lall, Huzur Saran, Krishan K. Sabnani:
Layered Architecture and Virtualization for 5G Slicing. 5GWF 2021: 153-158
2010 – 2019
- 2019
- [c33]Nakjung Choi
Run-time Performance Monitoring, Verification, and Healing of End-to-End Services. NetSoft 2019: 30-35 - 2015
- [j30]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): 63-70 (2015) - [c32]Krishan K. Sabnani:
Future Communication Clouds. MobiArch 2015: 32 - 2014
- [c31]Randeep Bhatia, T. V. Lakshman, Arun N. Netravali, Krishan K. Sabnani:
Improving mobile video streaming with link aware scheduling and client caches. INFOCOM 2014: 100-108 - 2011
- [j29]Ramesh Viswanathan, Krishan K. Sabnani, Robert J. Holt, Arun N. Netravali:
Expected convergence properties of BGP. Comput. Networks 55(8): 1957-1981 (2011) - [c30]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: 1-5
2000 – 2009
- 2009
- [j28]Krishan K. Sabnani, Milind M. Buddhikot, Katherine Guo:
Overview. Bell Labs Tech. J. 14(2): 1-4 (2009) - [j27]Hyungsuk Won, Han Cai, Do Young Eun
Multicast scheduling in cellular data networks. IEEE Trans. Wirel. Commun. 8(9): 4540-4549 (2009) - 2007
- [c29]Sumit Ganguly, Minos N. Garofalakis, Rajeev Rastogi, Krishan K. Sabnani:
Streaming Algorithms for Robust, Real-Time Detection of DDoS Attacks. ICDCS 2007: 4 - [c28]Hyungsuk Won, Han Cai, Do Young Eun
Multicast Scheduling in Cellular Data Networks. INFOCOM 2007: 1172-1180 - 2006
- [c27]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: 1-10 - 2005
- [c26]Ramesh Viswanathan, Krishan K. Sabnani, Robert J. Holt, Arun N. Netravali:
Expected Convergence Properties of BGP. ICNP 2005: 3-15 - 2004
- [c25]Sarit Mukherjee, Sanjoy Paul, Krishan K. Sabnani:
Always on: a new paradigm for wireless networks. PIMRC 2004: 226-233 - [c24]Sudhir Aggarwal, Madhura Limaye, Arun N. Netravali, Krishan K. Sabnani:
Constrained Diameter Steiner Trees for Multicast Conferences in Overlay Networks. QSHINE 2004: 262-271 - 2003
- [c23]Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan:
Correct Passive Testing Algorithms and Complete Fault Coverage. FORTE 2003: 303-318 - 2000
- [j26]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): 130-149 (2000) - [c22]Richard W. Buskens, Krishan K. Sabnani:
Towards rapid development of configurable, reliable, and scalable wireless applications. PIMRC 2000: 1037-1043
1990 – 1999
- 1999
- [c21]S. Jamaloddin Golestani, Krishan K. Sabnani:
Fundamental Observations on Multicast Congestion Control in the Internet. INFOCOM 1999: 990-1000 - 1998
- [j25]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): 123-141 (1998) - [c20]Thomas Y. C. Woo, Krishan K. Sabnani, Scott C. Miller:
Providing Internet services to mobile phones: a case study with email. PIMRC 1998: 99-105 - 1997
- [j24]Sanjoy Paul
Reliable Multicast Transport Protocol (RMTP). IEEE J. Sel. Areas Commun. 15(3): 407-421 (1997) - [j23]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): 1391-1405 (1997) - [c19]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 - [c18]David Lee, Arun N. Netravali, Krishan K. Sabnani, Binay Sugla, Ajita John:
Passive testing and applications to network management. ICNP 1997: 113- - 1996
- [j22]Thomas F. La Porta, Krishan K. Sabnani, Anil S. Sawkar:
Distributed call processing for wireless mobile networks. Bell Labs Tech. J. 1(2): 127-142 (1996) - [j21]Thomas F. La Porta, Krishan K. Sabnani, Richard D. Gitlin:
Challenges for Nomadic Computing: Mobility Management and Wireless Communications. Mob. Networks Appl. 1(1): 3-16 (1996) - [j20]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): 631-640 (1996) - [c17]Thomas Y. C. Woo, Thomas F. La Porta, Krishan K. Sabnani:
Pigeon: a wireless two-way messaging system. PIMRC 1996: 693-697 - 1995
- [j19]David Lee, Arun N. Netravali, Krishan K. Sabnani:
Protocol pruning. Proc. IEEE 83(10): 1357-1372 (1995) - [j18]Mohamed G. Gouda, Arun N. Netravali, Krishan K. Sabnani:
A periodic state exchange protocol and its verification. IEEE Trans. Commun. 43(9): 2475-2484 (1995) - [j17]Ender Ayanoglu, Sanjoy Paul
AIRMAIL: a link-layer protocol for wireless networks. Wirel. Networks 1(1): 47-60 (1995) - [c16]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 - 1994
- [j16]A. S. Krishnakumar, W. C. Fischer, Krishan K. Sabnani:
The programmable protocol VLSI engine (PROVE). IEEE Trans. Commun. 42(8): 2630-2642 (1994) - [c15]Sanjoy Paul, Krishan K. Sabnani, David M. Kristol:
Multicast transport protocols for high speed networks. ICNP 1994: 4-14 - 1993
- [j15]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): 707-720 (1993) - [j14]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) - [c14]David Lee, Krishan K. Sabnani:
Reverse-engineering of communication protocols. ICNP 1993: 208-216 - [c13]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 - 1991
- [c12]Ming T. Liu, Mohamed G. Gouda, Raymond E. Miller, Krishan K. Sabnani:
Protocol engineering (panel session). ACM Conference on Computer Science 1991: 703 - [c11]David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani:
Efficient Gateway Synthesis from Formal Specifications. SIGCOMM 1991: 89-97 - 1990
- [j13]Anton T. Dahbura, Krishan K. Sabnani, M. Ümit Uyar:
Formal methods for generating protocol conformance test sequences. Proc. IEEE 78(8): 1317-1326 (1990) - [j12]Arun N. Netravali, William D. Roome, Krishan K. Sabnani:
Design and implementation of a high-speed transport protocol. IEEE Trans. Commun. 38(11): 2010-2024 (1990)
1980 – 1989
- 1989
- [j11]Nicholas F. Maxemchuk, Krishan K. Sabnani:
Probabilistic Verification of Communication Protocols. Distributed Comput. 3(3): 118-129 (1989) - [j10]A. S. Krishnakumar, Krishan K. Sabnani:
VLSI implementations of communication protocols-a survey. IEEE J. Sel. Areas Commun. 7(7): 1082-1090 (1989) - [j9]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) - [j8]Krishan K. Sabnani, Aleta M. Lapone, M. Ümit Uyar:
An algorithmic procedure for checking safety properties of protocols. IEEE Trans. Commun. 37(9): 940-948 (1989) - [c10]Krishan K. Sabnani, Arun N. Netravali:
A High Speed Transport Protocol for Datagram/Virtual Circuit Networks. SIGCOMM 1989: 146-157 - 1988
- [j7]Krishan K. Sabnani, Anton T. Dahbura:
A Protocol Test Generation Procedure. Comput. Networks 15: 285-297 (1988) - [j6]Krishan K. Sabnani:
An algorithmic technique for protocol verification. IEEE Trans. Commun. 36(8): 924-931 (1988) - [c9]Anton T. Dahbura, Krishan K. Sabnani:
An experience in estimating fault coverage of a protocol test. INFOCOM 1988: 71-79 - [c8]Mohamed G. Gouda, Nicholas F. Maxemchuk, Utpal Mukherji, Krishan K. Sabnani:
Delivery and discrimination: the Seine protocol. SIGCOMM 1988: 292-302 - 1987
- [j5]Anton T. Dahbura, Krishan K. Sabnani, Linda L. King:
The Comparison Approach to Multiprocessor Fault Diagnosis. IEEE Trans. Computers 36(3): 373-378 (1987) - [c7]Nicholas F. Maxemchuk, Krishan K. Sabnani:
Probabilistic Verification of Communication Protocols. PSTV 1987: 307-320 - [c6]A. S. Krishnakumar, B. Krishnamurthy, Krishan K. Sabnani:
Translation of Formal Protocol Specifications to VLSI Designs. PSTV 1987: 375-390 - [c5]Anton T. Dahbura, Krishan K. Sabnani, William J. Hery:
Performance Analysis of a Fault Detection Scheme in Multiprocessor Systems. SIGMETRICS 1987: 143-154 - 1986
- [j4]Krishan K. Sabnani, Mischa Schwartz:
A New Connection Establishment Procedure for Multidestination Protocols. IEEE Trans. Commun. 34(11): 1161-1165 (1986) - 1985
- [j3]Sudhir Aggarwal, Krishan K. Sabnani, B. Gopinath:
A new file transfer protocol. AT&T Tech. J. 64(10): 2387-2411 (1985) - [j2]Krishan K. Sabnani, Mischa Schwartz:
Multidestination Protocols for Satellite Broadcast Channels. IEEE Trans. Commun. 33(3): 232-240 (1985) - [c4]Krishan K. Sabnani, Anton T. Dahbura:
A new technique for generating protocol test. SIGCOMM 1985: 36-43 - 1984
- [j1]Krishan K. Sabnani, Mischa Schwartz:
Verification of a Multidestination Selective Repeat Procedure. Comput. Networks 8: 463-478 (1984) - 1983
- [c3]Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani:
A Calculus for Protocol Specification and Validation. Protocol Specification, Testing, and Verification 1983: 19-34 - [c2]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 - 1982
- [c1]Krishan K. Sabnani, Mischa Schwartz:
Verification of a Multidestination Protocol Using Temporal Logic. PSTV 1982: 21-41
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: