Krishan K. Sabnani

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

Collaborative distances:



In proceedings 
PhD thesis 




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

Expected convergence properties of BGP.
Computer Networks, 2011

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

Bell Labs Technical Journal, 2009

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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