Susan L. Gerhart

According to our database, Susan L. Gerhart authored at least 41 papers between 1974 and 2004.

Collaborative distances:

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

2004

Do Web search engines suppress controversy?

Susan L. Gerhart

First Monday, 2004

1995

Formal Methods Reality Check: Industrial Usage.

Dan Craigen, Susan L. Gerhart, Ted Ralston

IEEE Trans. Software Eng., 1995

The Role of Education and Trainig in the Industrial Application of Formal Methods.

Ted Ralston, Susan L. Gerhart, Dan Craigen

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Case Study: Darlington Nuclear Generating Station.

Susan L. Gerhart, Dan Craigen, Ted Ralston

IEEE Softw., 1994

Experience with Formal Methods in Critical Systems.

Susan L. Gerhart, Dan Craigen, Ted Ralston

IEEE Softw., 1994

1993

The MCC Formal Methods Transition Study: Technology Transfer for Complex Information Technology and Processes.

Susan L. Gerhart

Proceedings of the Diffusion, 1993

Observations on Industrial Practice Using Formal Methods.

Susan L. Gerhart, Dan Craigen, Ted Ralston

Proceedings of the 15th International Conference on Software Engineering, 1993

1992

An International Survey of Industrial Applications of Formal Methods.

Dan Craigen, Susan L. Gerhart, Ted Ralston

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

1991

Formal Methods: An International Perspective.

Susan L. Gerhart

Proceedings of the 13th International Conference on Software Engineering, 1991

1990

Applications of Formal Methods: Develoment Virtuoso Software - Guest Editor's Introduction.

Susan L. Gerhart

IEEE Softw., 1990

1989

Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems.

Susan L. Gerhart

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

The MCC Software Technology Program.

Susan L. Gerhart

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

STATEMATE and cruise control: a case study.

Sharon L. Smith, Susan L. Gerhart

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1986

NRL invitational workshop on testing and proving: two approaches to assurance.

Carl E. Landwehr, Susan L. Gerhart, John D. McLean, Donald I. Good, Nancy Leveson

ACM SIGSOFT Softw. Eng. Notes, 1986

1985

Prolog technology as a basis for verification systems.

Susan L. Gerhart

ACM SIGSOFT Softw. Eng. Notes, 1985

1984

Application of Axiomatic Methods to a Specification Analyser.

Susan L. Gerhart

Proceedings of the Proceedings, 1984

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

Teaching formal methods for program development and verification (Panel Session).

Susan L. Gerhart, Eric C. R. Hehner, Harlan D. Mills, A. Joe Turner

Proceedings of the 14th SIGCSE Technical Symposium on Computer Science Education, 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

Proposals for tool and methodology evaluation experiments: ACM SIGSOFT sponsored software engineering symposium on tool and methodology evaluation.

William E. Riddle, Victor R. Basili, Les Belady, Carl Davis, Susan L. Gerhart, William E. Howden, John D. Musa, Leon G. Stucki

ACM SIGSOFT Softw. Eng. Notes, 1982

Two recent books on programming: review of "The science of programming" by David Gries. Springer-Verlag 1981. and review of "The craft of programming" by John Reynolds. Prentice-Hall 1981.

Susan L. Gerhart

ACM SIGSOFT Softw. Eng. Notes, 1982

Modeling a Network Protocol in AFFIRM and Ada.

Lawrence Yelowitz, Susan L. Gerhart, G. Hilborn

Proceedings of the Protocol Specification, 1982

1981

High level language programming environments.

Marvin V. Zelkowitz, W. Richards Adrion, Alfred V. Aho, Daniel G. Bobrow, Thomas Cheatham, John C. Cherniavsky, Susan L. Gerhart, Gordon Lyon, John Nestor, Terry A. Straeter

ACM SIGSOFT Softw. Eng. Notes, 1981

Research avenues verification is <i>not</i> pursuing, but may be should be.

Susan L. Gerhart

ACM SIGSOFT Softw. Eng. Notes, 1981

High-level theories.

Susan L. Gerhart

ACM SIGSOFT Softw. Eng. Notes, 1981

AFFIRM summary.

Susan L. Gerhart

ACM SIGSOFT Softw. Eng. Notes, 1981

1980

An Overview of AFFIRM: A Specification and Verification System.

Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, Ralph L. London, D. G. Taylor, David S. Wile

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979

The Evolution of List-Copying Algorithms.

Stanley Lee, Willem P. de Roever, Susan L. Gerhart

Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

1978

A proposal for publication and exchange of program proofs.

Susan L. Gerhart

ACM SIGSOFT Softw. Eng. Notes, 1978

The Oregon Report Software Engineering: The Turning Point.

Anthony I. Wasserman, Laszlo A. Belady, Susan L. Gerhart, Edward F. Miller Jr., William M. Waite, William A. Wulf

Computer, 1978

A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm.

Susan L. Gerhart

Proceedings of the Program Construction, International Summer School, July 26, 1978

1976

Control Structure Abstractions of the Backtracking Programming Technique.

Susan L. Gerhart, Lawrence Yelowitz

IEEE Trans. Software Eng., 1976

Observations of Fallibility in Applications of Modern Programming Methodologies.

Susan L. Gerhart, Lawrence Yelowitz

IEEE Trans. Software Eng., 1976

Proof Theory of Partial Correctness Verification Systems.

Susan L. Gerhart

SIAM J. Comput., 1976

Control Structure Abstractions of the Backtracking Programming Technique (Abstract).

Susan L. Gerhart, Lawrence Yelowitz

Proceedings of the 2nd International Conference on Software Engineering, 1976

1975

Toward a Theory of Test Data Selection.

John B. Goodenough, Susan L. Gerhart

IEEE Trans. Software Eng., 1975

Methods for teaching program verification.

Susan L. Gerhart

Proceedings of the 5th SIGCSE Technical Symposium on Computer Science Education, 1975

Knowledge about programs: A model and case study.

Susan L. Gerhart

Proceedings of the International Conference on Reliable Software 1975, 1975

Correctness-Preserving Program Transformations.

Susan L. Gerhart

Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975

Assertions and APL programming.

Susan L. Gerhart

Proceedings of seventh international conference on APL, 1975

1974

A proposal for a handbook for APL program verification.

Susan L. Gerhart, Richard J. Orgass

ACM SIGAPL APL Quote Quad, 1974