Susan L. Gerhart - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 43 from 43

2004

Do Web search engines suppress controversy?Susan L. Gerhart. firstmonday, 9(1), 2004. [doi]

1995

Formal Methods Reality Check: Industrial UsageDan Craigen, Susan L. Gerhart, Ted Ralston. TSE, 21(2):90-98, 1995. [doi]

The Role of Education and Trainig in the Industrial Application of Formal MethodsTed Ralston, Susan L. Gerhart, Dan Craigen. amast 1995: 41-49

1994

Case Study: Darlington Nuclear Generating StationSusan L. Gerhart, Dan Craigen, Ted Ralston. IEEE Software, 11(1):30, 1994. [doi]

Experience with Formal Methods in Critical SystemsSusan L. Gerhart, Dan Craigen, Ted Ralston. IEEE Software, 11(1):21-28, 1994. [doi]

1993

Formal Methods Reality Check: Industrial UsageDan Craigen, Susan L. Gerhart, Ted Ralston. FM 1993: 250-267

Observations on Industrial Practice Using Formal MethodsSusan L. Gerhart, Dan Craigen, Ted Ralston. ICSE 1993: 24-33 [doi]

The MCC Formal Methods Transition Study: Technology Transfer for Complex Information Technology and ProcessesSusan L. Gerhart. ifip8 1994: 249-255

1992

An International Survey of Industrial Applications of Formal MethodsDan Craigen, Susan L. Gerhart, Ted Ralston. zum 1992: 1-5

1991

Formal Methods: An International PerspectiveSusan L. Gerhart. ICSE 1991: 36-37 [doi]

1990

Applications of Formal Methods: Develoment Virtuoso Software - Guest Editor s IntroductionSusan L. Gerhart. IEEE Software, 7(5):6-10, 1990.

1989

The MCC Software Technology ProgramSusan L. Gerhart. ifip 1989: 883-889

Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer SystemsSusan L. Gerhart. ISSTA 1989: 152-155 [doi]

1988

STATEMATE and cruise control: a case studySharon L. Smith, Susan L. Gerhart. compsac 1988: 49-56 [doi]

1986

NRL invitational workshop on testing and proving: two approaches to assuranceCarl E. Landwehr, Susan L. Gerhart, John D. McLean, Donald I. Good, Nancy Leveson. sigsoft, 11(5):63-85, 1986. [doi]

1985

Prolog technology as a basis for verification systemsSusan L. Gerhart. sigsoft, 10(4):37-40, 1985. [doi]

1984

Application of Axiomatic Methods to a Specification AnalyserSusan L. Gerhart. ICSE 1984: 441-453

1983

Teaching formal methods for program development and verification (Panel Session)Susan L. Gerhart, Eric C. R. Hehner, Harlan D. Mills, A. Joe Turner. sigcse 1983: 50 [doi]

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. TSE, 9(1):113, 1983.

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 1981Susan L. Gerhart. sigsoft, 7(2):63-64, 1982. [doi]

Proposals for tool and methodology evaluation experiments: ACM SIGSOFT sponsored software engineering symposium on tool and methodology evaluationWilliam E. Riddle, Victor R. Basili, Les Belady, Carl Davis, Susan L. Gerhart, William E. Howden, John D. Musa, Leon G. Stucki. sigsoft, 7(1):6-10, 1982. [doi]

Specification and Verification of Communication Protocols in AFFIRM Using State Transition ModelsCarl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe. TSE, 8(5):460-489, 1982.

Modeling a Network Protocol in AFFIRM and AdaLawrence Yelowitz, Susan L. Gerhart, G. Hilborn. pstv 1982: 435-450

1981

not pursuing, but may be should beSusan L. Gerhart. sigsoft, 6(3):24, 1981. [doi]

AFFIRM summarySusan L. Gerhart. sigsoft, 6(3):16-24, 1981. [doi]

High-level theoriesSusan L. Gerhart. sigsoft, 6(3):24-25, 1981. [doi]

High level language programming environmentsMarvin 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. sigsoft, 6(4):36-51, 1981. [doi]

1980

An Overview of AFFIRM: A Specification and Verification SystemSusan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, R. L. London, D. G. Taylor, David S. Wile. ifip 1980: 343-347

1979

The Evolution of List-Copying AlgorithmsStanley Lee, Willem P. de Roever, Susan L. Gerhart. POPL 1979: 53-67 [doi]

1978

A Derivation Oriented Proof of the Schorr-Waite Marking AlgorithmSusan L. Gerhart. pc 1979: 472-492

A proposal for publication and exchange of program proofsSusan L. Gerhart. sigsoft, 3(1):7-17, 1978. [doi]

The Oregon Report Software Engineering: The Turning PointAnthony I. Wasserman, Laszlo A. Belady, Susan L. Gerhart, Edward F. Miller Jr., William M. Waite, William A. Wulf. Computer, 11(9):30-41, 1978. [doi]

1976

Proof Theory of Partial Correctness Verification SystemsSusan L. Gerhart. SICOMP, 5(3):355-377, 1976.

Control Structure Abstractions of the Backtracking Programming Technique (Abstract)Susan L. Gerhart, Lawrence Yelowitz. ICSE 1976: 391

Observations of Fallibility in Applications of Modern Programming MethodologiesSusan L. Gerhart, Lawrence Yelowitz. TSE, 2(3):195-207, 1976.

Control Structure Abstractions of the Backtracking Programming TechniqueSusan L. Gerhart, Lawrence Yelowitz. TSE, 2(4):285-292, 1976.

1975

1974

A proposal for a handbook for APL program verificationSusan L. Gerhart, Richard J. Orgass. sigapl, 5(4):79-86, 1974. [doi]

Sign in or sign up to see more results.

runs on WebDSL