2007 |
33 | EE | Sumit Ganguly,
Minos N. Garofalakis,
Rajeev Rastogi,
Krishan K. Sabnani:
Streaming Algorithms for Robust, Real-Time Detection of DDoS Attacks.
ICDCS 2007: 4 |
32 | EE | 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: 1172-1180 |
2006 |
31 | | 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 |
2005 |
30 | EE | Ramesh Viswanathan,
Krishan K. Sabnani,
Robert J. Holt,
Arun N. Netravali:
Expected Convergence Properties of BGP.
ICNP 2005: 3-15 |
2004 |
29 | EE | 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 |
28 | EE | Arun N. Netravali,
Krishan K. Sabnani,
Ramesh Viswanathan:
Correct Passive Testing Algorithms and Complete Fault Coverage.
FORTE 2003: 303-318 |
2000 |
27 | EE | 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 Technical Journal 5(1): 130-149 (2000) |
1999 |
26 | | S. Jamaloddin Golestani,
Krishan K. Sabnani:
Fundamental Observations on Multicast Congestion Control in the Internet.
INFOCOM 1999: 990-1000 |
1998 |
25 | | Thomas F. La Porta,
Ramachandran Ramjee,
Thomas Y. C. Woo,
Krishan K. Sabnani:
Experiences with Network-Based User Agents for Mobile Applications.
MONET 3(2): 123-141 (1998) |
1997 |
24 | EE | David Lee,
Arun N. Netravali,
Krishan K. Sabnani,
Binay Sugla,
Ajita John:
Passive testing and applications to network management.
ICNP 1997: 113- |
23 | EE | 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 |
22 | | Sanjoy Paul,
Krishan K. Sabnani,
John C.-H. Lin,
Supratik Bhattacharyya:
Reliable Multicast Transport Protocol (RMTP).
IEEE Journal on Selected Areas in Communications 15(3): 407-421 (1997) |
21 | | Thomas Y. C. Woo,
Thomas F. La Porta,
Krishan K. Sabnani:
Pigeon: A Wireless Two-Way Messaging System.
IEEE Journal on Selected Areas in Communications 15(8): 1391-1405 (1997) |
1996 |
20 | | Thomas F. La Porta,
Krishan K. Sabnani,
Richard D. Gitlin:
Challenges for Nomadic Computing: Mobility Management and Wireless Communications.
MONET 1(1): 3-16 (1996) |
1995 |
19 | | 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 |
18 | | Ender Ayanoglu,
Sanjoy Paul,
Thomas F. La Porta,
Krishan K. Sabnani,
Richard D. Gitlin:
AIRMAIL: a link-layer protocol for wireless networks.
Wireless Networks 1(1): 47-60 (1995) |
1993 |
17 | | 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 |
16 | EE | 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) |
1991 |
15 | EE | David M. Kristol,
David Lee,
Arun N. Netravali,
Krishan K. Sabnani:
Efficient Gateway Synthesis from Formal Specifications.
SIGCOMM 1991: 89-97 |
1989 |
14 | EE | Krishan K. Sabnani,
Arun N. Netravali:
A High Speed Transport Protocol for Datagram/Virtual Circuit Networks.
SIGCOMM 1989: 146-157 |
13 | | Nicholas F. Maxemchuk,
Krishan K. Sabnani:
Probabilistic Verification of Communication Protocols.
Distributed Computing 3(3): 118-129 (1989) |
12 | | 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) |
1988 |
11 | EE | Mohamed G. Gouda,
Nicholas F. Maxemchuk,
U. Mukherji,
Krishan K. Sabnani:
Delivery and discrimination: the Seine protocol.
SIGCOMM 1988: 292-302 |
10 | | Krishan K. Sabnani,
Anton T. Dahbura:
A Protocol Test Generation Procedure.
Computer Networks 15: 285-297 (1988) |
1987 |
9 | | Nicholas F. Maxemchuk,
Krishan K. Sabnani:
Probabilistic Verification of Communication Protocols.
PSTV 1987: 307-320 |
8 | | A. S. Krishnakumar,
B. Krishnamurthy,
Krishan K. Sabnani:
Translation of Formal Protocol Specifications to VLSI Designs.
PSTV 1987: 375-390 |
7 | EE | Anton T. Dahbura,
Krishan K. Sabnani,
William J. Hery:
Performance Analysis of a Fault Detection Scheme in Multiprocessor Systems.
SIGMETRICS 1987: 143-154 |
6 | | Anton T. Dahbura,
Krishan K. Sabnani,
Linda L. King:
The Comparison Approach to Multiprocessor Fault Diagnosis.
IEEE Trans. Computers 36(3): 373-378 (1987) |
1985 |
5 | EE | Krishan K. Sabnani,
Anton T. Dahbura:
A new technique for generating protocol test.
SIGCOMM 1985: 36-43 |
1984 |
4 | | Krishan K. Sabnani,
Mischa Schwartz:
Verification of a Multidestination Selective Repeat Procedure.
Computer Networks 8: 463-478 (1984) |
1983 |
3 | | 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 |
2 | | S. Aggarwal,
Robert P. Kurshan,
Krishan K. Sabnani:
A Calculus for Protocol Specification and Validation.
Protocol Specification, Testing, and Verification 1983: 19-34 |
1982 |
1 | | Krishan K. Sabnani,
Mischa Schwartz:
Verification of a Multidestination Protocol Using Temporal Logic.
PSTV 1982: 21-41 |