1993 International Conference on Network Protocols
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

081863670x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generating maximal fault coverage conformance test sequences of reduced length for communication protocols

1993 International Conference on Network Protocols ◽

10.1109/icnp.1993.340916 ◽

2002 ◽

Cited By ~ 4

Author(s):

R. Miller ◽

S. Paul

Keyword(s):

Communication Protocols ◽

Fault Coverage ◽

Conformance Test

Download Full-text

Mushroom: a program for the automated verification of an SCM protocol specification

1993 International Conference on Network Protocols ◽

10.1109/icnp.1993.340910 ◽

2002 ◽

Cited By ~ 2

Author(s):

G.M. Lundy ◽

B. Bulbul

Keyword(s):

Automated Verification ◽

Protocol Specification

Download Full-text

Routing and congestion control in ATM networks

1993 International Conference on Network Protocols ◽

10.1109/icnp.1993.340893 ◽

2002 ◽

Cited By ~ 1

Author(s):

V. Marbukh

Keyword(s):

Congestion Control ◽

Atm Networks

Download Full-text

Hierarchy-based incremental analysis of communication protocols

1993 International Conference on Network Protocols ◽

10.1109/icnp.1993.340896 ◽

2002 ◽

Cited By ~ 7

Author(s):

K.-C. Tai ◽

P.V. Koppol

Keyword(s):

Communication Protocols ◽

Incremental Analysis

Download Full-text

Galileo: A tool for simulation and analysis of real-time networks

1993 International Conference on Network Protocols ◽

10.1109/icnp.1993.340911 ◽

2002 ◽

Cited By ~ 3

Author(s):

E.W. Knightly ◽

G. Ventre

Keyword(s):

Real Time

Download Full-text

An Estelle interpreter for incremental protocol verification

1993 International Conference on Network Protocols ◽

10.1109/icnp.1993.340895 ◽

2002 ◽

Cited By ~ 2

Author(s):

C.-M. Huang ◽

J.-M. Hsu ◽

H.-Y. Lai ◽

J.-C. Pong ◽

D.-T. Huang

Keyword(s):

Protocol Verification ◽

Incremental Protocol

Download Full-text

Enhancing SCI's fairness protocol for increased throughput

1993 International Conference on Network Protocols ◽

10.1109/icnp.1993.340899 ◽

2002 ◽

Cited By ~ 6

Author(s):

D. Picker ◽

R.D. Fellman ◽

P.M. Chau

Download Full-text

An approach to hierarchical inter-domain routing with on-demand ToS and policy resolution

1993 International Conference on Network Protocols ◽

10.1109/icnp.1993.340900 ◽

2002 ◽

Author(s):

C. Alaettinoglu ◽

A.U. Shankar

Keyword(s):

On Demand ◽

Inter Domain Routing

Download Full-text

A novel neural network traffic descriptor for ATM networks

1993 International Conference on Network Protocols ◽

10.1109/icnp.1993.340892 ◽

2002 ◽

Author(s):

A.A. Tarraf ◽

I.W. Habib ◽

T.N. Saadawi

Keyword(s):

Neural Network ◽

Network Traffic ◽

Atm Networks

Download Full-text

Modularization of a specification in LOTOS

1993 International Conference on Network Protocols ◽

10.1109/icnp.1993.340902 ◽

2002 ◽

Cited By ~ 1

Author(s):

K. Goh ◽

N. Shiratori

Download Full-text

1993 International Conference on Network ProtocolsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

Generating maximal fault coverage conformance test sequences of reduced length for communication protocols

Mushroom: a program for the automated verification of an SCM protocol specification

Routing and congestion control in ATM networks

Hierarchy-based incremental analysis of communication protocols

Galileo: A tool for simulation and analysis of real-time networks

An Estelle interpreter for incremental protocol verification

Enhancing SCI's fairness protocol for increased throughput

An approach to hierarchical inter-domain routing with on-demand ToS and policy resolution

A novel neural network traffic descriptor for ATM networks

Modularization of a specification in LOTOS

1993 International Conference on Network Protocols
Latest Publications