Carl A. Sunshine

31 papers A* 2Journal 19Unranked 9
YearRankTypeTitle / Venue / Authors
2013 — conf
Protected MILSATCOM Design for Affordability Risk Reduction (DFARR).
MILCOM
Matthew Glaser, Kelly Greiner, Bryan Hilburn, Jacob Justus, Christopher Walsh, William Dallas, Joseph Vanderpoorten, Jo-Chieh Chuang, Carl A. Sunshine
1995 — conf
Decentralizing control and intelligence in network management.
Integrated Network Management
Kraig Meyer, Michael Erlinger, Joseph Betser, Carl A. Sunshine, Germán S. Goldszmidt, Yechiam Yemini
1993 — conf
An Architecture Driven Comparison of Network Management Systems.
Integrated Network Management
Kraig Meyer, Joseph Betser, Eric Negaard, Dennis Persinger, Steven Wang, Robert Maltese, Carl A. Sunshine
1990 J jnl
A Platform for Heterogeneous Interconnection Network Management.
IEEE J. Sel. Areas Commun.
Unnikrishnan S. Warrier, Carl A. Sunshine
1990 J jnl
Network Interconnection and Gateways.
IEEE J. Sel. Areas Commun.
Carl A. Sunshine
1989 — conf
Network Interconnection and Gateways.
IFIP Congress
Carl A. Sunshine
1985 J jnl
Broad-Band Personal Computer LAN's.
IEEE J. Sel. Areas Commun.
Carl A. Sunshine, Gregory Ennis
1983 J jnl
Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models".
IEEE Trans. Software Eng.
Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe
1983 — conf
Experience with automated Protocol Verification.
Protocol Specification, Testing, and Verification
Carl A. Sunshine
1983 A* conf
Interconnection of broadband local area networks.
SIGCOMM
Carl A. Sunshine, D. Kaufman, Gregory Ennis, K. Biba
1982 — conf
Experience with Four Automated Verification Systems.
PSTV
Carl A. Sunshine
1982 J jnl
Guest Editorial: Protocol Specification, Testing, and Verification.
IEEE Trans. Commun.
Carl A. Sunshine
1982 J jnl
Protocol Specification, Testing and Verification - Guest Editorial.
Comput. Networks
Carl A. Sunshine
1982 — ed.
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
PSTV
Carl A. Sunshine
1982 J jnl
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models.
IEEE Trans. Software Eng.
Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe
1981 — conf
Formal Modeling of Communication Protocols - State of the Art.
Kommunikation in Verteilten Systemen
Carl A. Sunshine
1981 J jnl
Network Structures for Distributed Situation Assessment.
IEEE Trans. Syst. Man Cybern.
Robert B. Wesson, Frederick Hayes-Roth, John Burge, Cathleen Stasz, Carl A. Sunshine
1981 J jnl
The ARPA Internet Protocol.
Comput. Networks
Jonathan B. Postel, Carl A. Sunshine, Danny Cohen
1980 J jnl
Formal Methods in Communication Protocol Design.
IEEE Trans. Commun.
Gregor v. Bochmann, Carl A. Sunshine
1979 A* conf
Alternatives for interconnection of public packet switching data networks.
SIGCOMM
Vic DiCiccio, Carl A. Sunshine, James A. Field, Eric G. Manning
1979 J jnl
Formal Techniques for Protocol Specification and Verification.
Computer
Carl A. Sunshine
1979 J jnl
Issues in International Public Data Networking.
Comput. Networks
Gary R. Grossman, Andrew J. Hinchley, Carl A. Sunshine
1978 J jnl
Connection Management in Transport Protocols.
Comput. Networks
Carl A. Sunshine, Yogen K. Dalal
1978 J jnl
Survey of Protocol Definition and Verification Techniques.
Comput. Networks
Carl A. Sunshine
1978 J jnl
Survey of protocol definition and verification techniques.
Comput. Commun. Rev.
Carl A. Sunshine
1977 J jnl
Efficiency of Interprocess Communication Protocols for Computer Networks.
IEEE Trans. Commun.
Carl A. Sunshine
1977 J jnl
Interconnection of Computer Networks.
Comput. Networks
Carl A. Sunshine
1977 J jnl
Source routing in computer networks.
Comput. Commun. Rev.
Carl A. Sunshine
1976 — conf
Alternatives for Computer Network Interconnection.
Berkeley Workshop
Carl A. Sunshine
1976 — conf
Factors in interprocess communication protocol efficiency for computer networks.
AFIPS National Computer Conference
Carl A. Sunshine
1974 J jnl
Specification of Internet Transmission Control Program.
RFC
Vint Cerf, Yogen K. Dalal, Carl A. Sunshine