Skip to content
cs-conference-ranking.org

Susan L. Gerhart

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

6

Active years

1975–1993

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
1993FMFormal Methods Reality Check: Industrial Usage.Dan Craigen, Susan L. Gerhart, Ted Ralston
1993ICSEObservations on Industrial Practice Using Formal Methods.Susan L. Gerhart, Dan Craigen, Ted Ralston
1991ICSEFormal Methods: An International Perspective.Susan L. Gerhart
1989ISSTAPreliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems.Susan L. Gerhart
1988COMPSACSTATEMATE and cruise control: a case study.Sharon L. Smith, Susan L. Gerhart
1984ICSEApplication of Axiomatic Methods to a Specification Analyser.Susan L. Gerhart
1983SIGCSETeaching formal methods for program development and verification (Panel Session).Susan L. Gerhart, Eric C. R. Hehner, Harlan D. Mills, A. Joe Turner
1979POPLThe Evolution of List-Copying Algorithms.Stanley Lee, Willem P. de Roever, Susan L. Gerhart
1976ICSEControl Structure Abstractions of the Backtracking Programming Technique (Abstract).Susan L. Gerhart, Lawrence Yelowitz
1975POPLCorrectness-Preserving Program Transformations.Susan L. Gerhart
1975SIGCSEMethods for teaching program verification.Susan L. Gerhart