Susan L. Gerhart

Publication Activity (10 Years)

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

Publications

Susan L. Gerhart
Do Web search engines suppress controversy? First Monday 9 (1) (2004)
Ted Ralston, Susan L. Gerhart, Dan Craigen
The Role of Education and Trainig in the Industrial Application of Formal Methods. AMAST (1995)
Dan Craigen, Susan L. Gerhart, Ted Ralston
Formal Methods Reality Check: Industrial Usage. IEEE Trans. Software Eng. 21 (2) (1995)
Susan L. Gerhart, Dan Craigen, Ted Ralston
Case Study: Darlington Nuclear Generating Station. IEEE Softw. 11 (1) (1994)
Susan L. Gerhart, Dan Craigen, Ted Ralston
Experience with Formal Methods in Critical Systems. IEEE Softw. 11 (1) (1994)
Susan L. Gerhart
The MCC Formal Methods Transition Study: Technology Transfer for Complex Information Technology and Processes. Diffusion, Transfer and Implementation of Information Technology (1993)
Susan L. Gerhart, Dan Craigen, Ted Ralston
Observations on Industrial Practice Using Formal Methods. ICSE (1993)
Dan Craigen, Susan L. Gerhart, Ted Ralston
Formal Methods Reality Check: Industrial Usage. FME (1993)
Dan Craigen, Susan L. Gerhart, Ted Ralston
An International Survey of Industrial Applications of Formal Methods. Z User Workshop (1992)
Susan L. Gerhart
Formal Methods: An International Perspective. ICSE (1991)
Susan L. Gerhart
Applications of Formal Methods: Develoment Virtuoso Software - Guest Editor's Introduction. IEEE Softw. 7 (5) (1990)
Susan L. Gerhart
Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems. Symposium on Testing, Analysis, and Verification (1989)
Susan L. Gerhart
The MCC Software Technology Program. IFIP Congress (1989)
Sharon L. Smith, Susan L. Gerhart
STATEMATE and cruise control: a case study. COMPSAC (1988)
Carl E. Landwehr, Susan L. Gerhart, John D. McLean, Donald I. Good, Nancy Leveson
NRL invitational workshop on testing and proving: two approaches to assurance. ACM SIGSOFT Softw. Eng. Notes 11 (5) (1986)
Susan L. Gerhart
Prolog technology as a basis for verification systems. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Susan L. Gerhart
Application of Axiomatic Methods to a Specification Analyser. ICSE (1984)
Susan L. Gerhart, Eric C. R. Hehner, Harlan D. Mills, A. Joe Turner
Teaching formal methods for program development and verification (Panel Session). SIGCSE (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)
Susan L. Gerhart
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. ACM SIGSOFT Softw. Eng. Notes 7 (2) (1982)
William E. Riddle, Victor R. Basili, Les Belady, Carl Davis, Susan L. Gerhart, William E. Howden, John D. Musa, Leon G. Stucki
Proposals for tool and methodology evaluation experiments: ACM SIGSOFT sponsored software engineering symposium on tool and methodology evaluation. ACM SIGSOFT Softw. Eng. Notes 7 (1) (1982)
Lawrence Yelowitz, Susan L. Gerhart, G. Hilborn
Modeling a Network Protocol in AFFIRM and Ada. PSTV (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)
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
High level language programming environments. ACM SIGSOFT Softw. Eng. Notes 6 (4) (1981)
Susan L. Gerhart
AFFIRM summary. ACM SIGSOFT Softw. Eng. Notes 6 (3) (1981)
Susan L. Gerhart
pursuing, but may be should be. ACM SIGSOFT Softw. Eng. Notes 6 (3) (1981)
Susan L. Gerhart
High-level theories. ACM SIGSOFT Softw. Eng. Notes 6 (3) (1981)
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
An Overview of AFFIRM: A Specification and Verification System. IFIP Congress (1980)
Stanley Lee, Willem P. de Roever, Susan L. Gerhart
The Evolution of List-Copying Algorithms. POPL (1979)
Anthony I. Wasserman, Laszlo A. Belady, Susan L. Gerhart, Edward F. Miller Jr., William M. Waite, William A. Wulf
The Oregon Report Software Engineering: The Turning Point. Computer 11 (9) (1978)
Susan L. Gerhart
A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm. Program Construction (1978)
Susan L. Gerhart
A proposal for publication and exchange of program proofs. ACM SIGSOFT Softw. Eng. Notes 3 (1) (1978)
Susan L. Gerhart, Lawrence Yelowitz
Control Structure Abstractions of the Backtracking Programming Technique. IEEE Trans. Software Eng. 2 (4) (1976)
Susan L. Gerhart, Lawrence Yelowitz
Control Structure Abstractions of the Backtracking Programming Technique (Abstract). ICSE (1976)
Susan L. Gerhart
Proof Theory of Partial Correctness Verification Systems. SIAM J. Comput. 5 (3) (1976)
Susan L. Gerhart, Lawrence Yelowitz
Observations of Fallibility in Applications of Modern Programming Methodologies. IEEE Trans. Software Eng. 2 (3) (1976)
Susan L. Gerhart
Methods for teaching program verification. SIGCSE (1975)
Susan L. Gerhart
Knowledge about programs: A model and case study. Reliable Software (1975)
Susan L. Gerhart
Correctness-Preserving Program Transformations. POPL (1975)
John B. Goodenough, Susan L. Gerhart
Toward a theory of test data selection. Reliable Software (1975)
Susan L. Gerhart
Assertions and APL programming. APL (1975)
John B. Goodenough, Susan L. Gerhart
Toward a Theory of Test Data Selection. IEEE Trans. Software Eng. 1 (2) (1975)
Susan L. Gerhart, Richard J. Orgass
A proposal for a handbook for APL program verification. ACM SIGAPL APL Quote Quad 5 (4) (1974)