 | 1995 |
|---|
| 19 |       | Kraig Meyer,
Michael Erlinger,
Joseph Betser,
Carl A. Sunshine,
Germán S. Goldszmidt,
Yechiam Yemini:
Decentralizing control and intelligence in network management.
Integrated Network Management 1995: 4-16 |
| 1993 |
|---|
| 18 | | Kraig Meyer,
Joseph Betser,
Eric Negaard,
Dennis Persinger,
Steven Wang,
Robert Maltese,
Carl A. Sunshine:
An Architecture Driven Comparison of Network Management Systems.
Integrated Network Management 1993: 479-491 |
| 1990 |
|---|
| 17 | | Unnikrishnan S. Warrier,
Carl A. Sunshine:
A Platform for Heterogeneous Interconnection Network Management.
IEEE Journal on Selected Areas in Communications 8(1): 119-126 (1990) |
| 16 | | Carl A. Sunshine:
Network Interconnection and Gateways.
IEEE Journal on Selected Areas in Communications 8(1): 4-11 (1990) |
| 1989 |
|---|
| 15 | | Carl A. Sunshine:
Network Interconnection and Gateways.
IFIP Congress 1989: 651-658 |
| 1983 |
|---|
| 14 | | Carl A. Sunshine:
Experience with automated Protocol Verification.
Protocol Specification, Testing, and Verification 1983: 229-236 |
| 13 | | Carl A. Sunshine,
David H. Thompson,
Roddy W. Erickson,
Susan L. Gerhart,
Daniel Schwabe:
Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models".
IEEE Trans. Software Eng. 9(1): 113 (1983) |
| 1982 |
|---|
| 12 | | Carl A. Sunshine:
Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982
North-Holland 1982 |
| 11 | | Carl A. Sunshine:
Experience with Four Automated Verification Systems.
PSTV 1982: 373-379 |
| 10 | | Carl A. Sunshine:
Protocol Specification, Testing and Verification - Guest Editorial.
Computer Networks 6(6): 375-376 (1982) |
| 9 | | Carl A. Sunshine,
David H. Thompson,
Roddy W. Erickson,
Susan L. Gerhart,
Daniel Schwabe:
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models.
IEEE Trans. Software Eng. 8(5): 460-489 (1982) |
| 1981 |
|---|
| 8 | | Carl A. Sunshine:
Formal Modeling of Communication Protocols - State of the Art.
Kommunikation in Verteilten Systemen 1981: 406-428 |
| 7 | | Jonathan B. Postel,
Carl A. Sunshine,
Danny Cohen:
The ARPA Internet Protocol.
Computer Networks 5: 261-271 (1981) |
| 1979 |
|---|
| 6 | | Gary R. Grossman,
Andrew J. Hinchley,
Carl A. Sunshine:
Issues in International Public Data Networking.
Computer Networks 3: 259-266 (1979) |
| 1978 |
|---|
| 5 | | Carl A. Sunshine:
Survey of Protocol Definition and Verification Techniques.
Computer Networks 2: 346-350 (1978) |
| 4 | | Carl A. Sunshine,
Yogen K. Dalal:
Connection Management in Transport Protocols.
Computer Networks 2: 454-473 (1978) |
| 1977 |
|---|
| 3 | | Carl A. Sunshine:
Interconnection of Computer Networks.
Computer Networks 1: 175-195 (1977) |
| 1976 |
|---|
| 2 |  | Carl A. Sunshine:
Factors in interprocess communication protocol efficiency for computer networks.
AFIPS National Computer Conference 1976: 571-576 |
| 1 | | Carl A. Sunshine:
Alternatives for Computer Network Interconnection.
Berkeley Workshop 1976: 276- |
