Carl A. Sunshine

According to our database, Carl A. Sunshine authored at least 28 papers between 1974 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

Protected MILSATCOM Design for Affordability Risk Reduction (DFARR).

Matthew Glaser, Kelly Greiner, Bryan Hilburn, Jacob Justus, Christopher Walsh, William Dallas, Joseph Vanderpoorten, Jo-Chieh Chuang, Carl A. Sunshine

Proceedings of the 32th IEEE Military Communications Conference, 2013

1995

Decentralizing control and intelligence in network management.

Kraig Meyer, Michael Erlinger, Joseph Betser, Carl A. Sunshine, Germán S. Goldszmidt, Yechiam Yemini

Proceedings of the Integrated Network Management IV, 1995

1993

An Architecture Driven Comparison of Network Management Systems.

Kraig Meyer, Joseph Betser, Eric Negaard, Dennis Persinger, Steven Wang, Robert Maltese, Carl A. Sunshine

Proceedings of the Integrated Network Management III, 1993

1990

A Platform for Heterogeneous Interconnection Network Management.

Unnikrishnan S. Warrier, Carl A. Sunshine

IEEE J. Sel. Areas Commun., 1990

Network Interconnection and Gateways.

Carl A. Sunshine

IEEE J. Sel. Areas Commun., 1990

1985

Broad-Band Personal Computer LAN's.

Carl A. Sunshine, Gregory Ennis

IEEE J. Sel. Areas Commun., 1985

1983

Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models".

Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe

IEEE Trans. Software Eng., 1983

Interconnection of broadband local area networks.

Carl A. Sunshine, D. Kaufman, Gregory Ennis, K. Biba

Proceedings of the Eighth Symposium on Data Communications, 1983

Experience with automated Protocol Verification.

Carl A. Sunshine

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models.

Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe

IEEE Trans. Software Eng., 1982

Guest Editorial: Protocol Specification, Testing, and Verification.

Carl A. Sunshine

IEEE Trans. Commun., 1982

Protocol Specification, Testing and Verification - Guest Editorial.

Carl A. Sunshine

Comput. Networks, 1982

Experience with Four Automated Verification Systems.

Carl A. Sunshine

Proceedings of the Protocol Specification, 1982

1981

Network Structures for Distributed Situation Assessment.

Robert B. Wesson, Frederick Hayes-Roth, John Burge, Cathleen Stasz, Carl A. Sunshine

IEEE Trans. Syst. Man Cybern., 1981

The ARPA Internet Protocol.

Jonathan B. Postel, Carl A. Sunshine, Danny Cohen

Comput. Networks, 1981

Formal Modeling of Communication Protocols - State of the Art.

Carl A. Sunshine

Proceedings of the Kommunikation in Verteilten Systemen, 1981

1980

Formal Methods in Communication Protocol Design.

Gregor v. Bochmann, Carl A. Sunshine

IEEE Trans. Commun., 1980

1979

Formal Techniques for Protocol Specification and Verification.

Carl A. Sunshine

Computer, 1979

Issues in International Public Data Networking.

Gary R. Grossman, Andrew J. Hinchley, Carl A. Sunshine

Comput. Networks, 1979

Alternatives for interconnection of public packet switching data networks.

Vic DiCiccio, Carl A. Sunshine, James A. Field, Eric G. Manning

Proceedings of the sixth symposium on Data communications, 1979

1978

Connection Management in Transport Protocols.

Carl A. Sunshine, Yogen K. Dalal

Comput. Networks, 1978

Survey of protocol definition and verification techniques.

Carl A. Sunshine

Comput. Commun. Rev., 1978

1977

Efficiency of Interprocess Communication Protocols for Computer Networks.

Carl A. Sunshine

IEEE Trans. Commun., 1977

Interconnection of Computer Networks.

Carl A. Sunshine

Comput. Networks, 1977

Source routing in computer networks.

Carl A. Sunshine

Comput. Commun. Rev., 1977

1976

Alternatives for Computer Network Interconnection.

Carl A. Sunshine

Proceedings of the Berkeley Workshop on Distributed Data Management and Computer Networks, 1976

Factors in interprocess communication protocol efficiency for computer networks.

Carl A. Sunshine

Proceedings of the American Federation of Information Processing Societies: 1976 National Computer Conference, 1976

1974

Specification of Internet Transmission Control Program.

Vint Cerf, Yogen K. Dalal, Carl A. Sunshine

RFC, December, 1974