Carl A. Sunshine

Publication Activity (10 Years)

Years Active: 1974-2013
Publications (10 Years): 0

Top Topics

Genetic Algorithm

Top Venues

Publications

Matthew Glaser, Kelly Greiner, Bryan Hilburn, Jacob Justus, Christopher Walsh, William Dallas, Joseph Vanderpoorten, Jo-Chieh Chuang, Carl A. Sunshine
Protected MILSATCOM Design for Affordability Risk Reduction (DFARR). MILCOM (2013)
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)
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)
Unnikrishnan S. Warrier, Carl A. Sunshine
A Platform for Heterogeneous Interconnection Network Management. IEEE J. Sel. Areas Commun. 8 (1) (1990)
Carl A. Sunshine
Network Interconnection and Gateways. IEEE J. Sel. Areas Commun. 8 (1) (1990)
Carl A. Sunshine
Network Interconnection and Gateways. IFIP Congress (1989)
Carl A. Sunshine, Gregory Ennis
Broad-Band Personal Computer LAN's. IEEE J. Sel. Areas Commun. 3 (3) (1985)
Carl A. Sunshine, D. Kaufman, Gregory Ennis, K. Biba
Interconnection of broadband local area networks. SIGCOMM (1983)
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) (1983)
Carl A. Sunshine
Experience with automated Protocol Verification. Protocol Specification, Testing, and Verification (1983)
Carl A. Sunshine
Guest Editorial: Protocol Specification, Testing, and Verification. IEEE Trans. Commun. 30 (12) (1982)
Carl A. Sunshine
Experience with Four Automated Verification Systems. PSTV (1982)
Carl A. Sunshine
Protocol Specification, Testing and Verification - Guest Editorial. Comput. Networks 6 (6) (1982)
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) (1982)
Jonathan B. Postel, Carl A. Sunshine, Danny Cohen
The ARPA Internet Protocol. Comput. Networks 5 (1981)
Robert B. Wesson, Frederick Hayes-Roth, John Burge, Cathleen Stasz, Carl A. Sunshine
Network Structures for Distributed Situation Assessment. IEEE Trans. Syst. Man Cybern. 11 (1) (1981)
Carl A. Sunshine
Formal Modeling of Communication Protocols - State of the Art. Kommunikation in Verteilten Systemen (1981)
Gregor v. Bochmann, Carl A. Sunshine
Formal Methods in Communication Protocol Design. IEEE Trans. Commun. 28 (4) (1980)
Vic DiCiccio, Carl A. Sunshine, James A. Field, Eric G. Manning
Alternatives for interconnection of public packet switching data networks. SIGCOMM (1979)
Carl A. Sunshine
Formal Techniques for Protocol Specification and Verification. Computer 12 (9) (1979)
Gary R. Grossman, Andrew J. Hinchley, Carl A. Sunshine
Issues in International Public Data Networking. Comput. Networks 3 (1979)
Carl A. Sunshine, Yogen K. Dalal
Connection Management in Transport Protocols. Comput. Networks 2 (1978)
Carl A. Sunshine
Survey of Protocol Definition and Verification Techniques. Comput. Networks 2 (1978)
Carl A. Sunshine
Survey of protocol definition and verification techniques. Comput. Commun. Rev. 8 (3) (1978)
Carl A. Sunshine
Interconnection of Computer Networks. Comput. Networks 1 (1977)
Carl A. Sunshine
Source routing in computer networks. Comput. Commun. Rev. 7 (1) (1977)
Carl A. Sunshine
Efficiency of Interprocess Communication Protocols for Computer Networks. IEEE Trans. Commun. 25 (2) (1977)
Carl A. Sunshine
Factors in interprocess communication protocol efficiency for computer networks. AFIPS National Computer Conference (1976)
Carl A. Sunshine
Alternatives for Computer Network Interconnection. Berkeley Workshop (1976)
Vint Cerf, Yogen K. Dalal, Carl A. Sunshine
Specification of Internet Transmission Control Program. RFC 675 (1974)