Krishan K. Sabnani

According to our database1, Krishan K. Sabnani authored at least 52 papers between 1982 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Improving mobile video streaming with link aware scheduling and client caches.
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

2011
Expected convergence properties of BGP.
Computer Networks, 2011

2009
Multicast scheduling in cellular data networks.
IEEE Trans. Wireless Communications, 2009

Overview.
Bell Labs Technical Journal, 2009

2007
Multicast Scheduling in Cellular Data Networks.
Proceedings of the INFOCOM 2007. 26th IEEE International Conference on Computer Communications, 2007

Streaming Algorithms for Robust, Real-Time Detection of DDoS Attacks.
Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

2006
Separating control software from routers.
Proceedings of the First International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), 2006

2005
Expected Convergence Properties of BGP.
Proceedings of the 13th IEEE International Conference on Network Protocols (ICNP 2005), 2005

2004
Constrained Diameter Steiner Trees for Multicast Conferences in Overlay Networks.
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.
Proceedings of the IEEE 15th International Symposium on Personal, 2004

2003
Correct Passive Testing Algorithms and Complete Fault Coverage.
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.
Bell Labs Technical Journal, 2000

Towards rapid development of configurable, reliable, and scalable wireless applications.
Proceedings of the 11th IEEE International Symposium on Personal, 2000

1999
Fundamental Observations on Multicast Congestion Control in the Internet.
Proceedings of the Proceedings IEEE INFOCOM '99, 1999

1998
Experiences with Network-Based User Agents for Mobile Applications.
MONET, 1998

1997
Pigeon: A Wireless Two-Way Messaging System.
IEEE Journal on Selected Areas in Communications, 1997

Reliable Multicast Transport Protocol (RMTP).
IEEE Journal on Selected Areas in Communications, 1997

User Agents and Flexible Messages: A New Approach to Wireless Two-Way Messaging.
Proceedings of the 1997 International Conference on Network Protocols (ICNP '97), 1997

Passive testing and applications to network management.
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.
IEEE Trans. Communications, 1996

Challenges for Nomadic Computing: Mobility Management and Wireless Communications.
MONET, 1996

1995
AIRMAIL: a link-layer protocol for wireless networks.
Wireless Networks, 1995

A periodic state exchange protocol and its verification.
IEEE Trans. Communications, 1995

An Asymmetric Protocol for Digital Cellular Communications.
Proceedings of the Proceedings IEEE INFOCOM '95, 1995

1994
The programmable protocol VLSI engine (PROVE).
IEEE Trans. Communications, 1994

Multicast transport protocols for high speed networks.
Proceedings of the 1994 International Conference on Network Protocols, 1994

1993
A polynomial algorithm for gateway generation from formal specifications.
IEEE/ACM Trans. Netw., 1993

Error and flow control performance of a high speed protocol.
IEEE Trans. Communications, 1993

Conformance Testing of Protocols Specified as Communicating FSMs.
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.
Proceedings of the 1993 International Conference on Network Protocols, 1993

1991
Efficient Gateway Synthesis from Formal Specifications.
Proceedings of the SIGCOMM '91, 1991

Protocol engineering (panel session).
Proceedings of the 19th annual conference on Computer Science, 1991

1990
Design and implementation of a high-speed transport protocol.
IEEE Trans. Communications, 1990

1989
An algorithmic procedure for checking safety properties of protocols.
IEEE Trans. Communications, 1989

Spare Capacity as a Means of Fault Detection and Diagnosis in Multiprocessor Systems.
IEEE Trans. Computers, 1989

VLSI implementations of communication protocols-a survey.
IEEE Journal on Selected Areas in Communications, 1989

Probabilistic Verification of Communication Protocols.
Distributed Computing, 1989

A High Speed Transport Protocol for Datagram/Virtual Circuit Networks.
Proceedings of the SIGCOMM '89, 1989

1988
An algorithmic technique for protocol verification.
IEEE Trans. Communications, 1988

A Protocol Test Generation Procedure.
Computer Networks, 1988

Delivery and discrimination: the Seine protocol.
Proceedings of the SIGCOMM '88, 1988

1987
The Comparison Approach to Multiprocessor Fault Diagnosis.
IEEE Trans. Computers, 1987

Performance Analysis of a Fault Detection Scheme in Multiprocessor Systems.
Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1987

Probabilistic Verification of Communication Protocols.
Proceedings of the Protocol Specification, 1987

Translation of Formal Protocol Specifications to VLSI Designs.
Proceedings of the Protocol Specification, 1987

1986
A New Connection Establishment Procedure for Multidestination Protocols.
IEEE Trans. Communications, 1986

1985
Multidestination Protocols for Satellite Broadcast Channels.
IEEE Trans. Communications, 1985

A new technique for generating protocol test.
Proceedings of the SIGCOMM '85, 1985

1984
Verification of a Multidestination Selective Repeat Procedure.
Computer Networks, 1984

1983
A File Transfer System for Scheduling File Transfers in the Bell Labs Network.
Proceedings of the Proceedings IEEE INFOCOM 83, San Diego, CA, USA, April 18-21, 1983, 1983

A Calculus for Protocol Specification and Validation.
Protocol Specification, Testing, and Verification, 1983

1982
Verification of a Multidestination Protocol Using Temporal Logic.
Proceedings of the Protocol Specification, 1982


  Loading...