Susan L. Gerhart

2004
26	EE	Susan L. Gerhart: Do Web search engines suppress controversy? First Monday 9(1): (2004)
1995
25		Ted Ralston, Susan L. Gerhart, Dan Craigen: The Role of Education and Trainig in the Industrial Application of Formal Methods. AMAST 1995: 41-49
24	EE	Dan Craigen, Susan L. Gerhart, Ted Ralston: Formal Methods Reality Check: Industrial Usage. IEEE Trans. Software Eng. 21(2): 90-98 (1995)
1994
23	EE	Susan L. Gerhart, Dan Craigen, Ted Ralston: Experience with Formal Methods in Critical Systems. IEEE Software 11(1): 21-28 (1994)
22	EE	Susan L. Gerhart, Dan Craigen, Ted Ralston: Case Study: Darlington Nuclear Generating Station. IEEE Software 11(1): 30-39, 28 (1994)
1993
21		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: 249-255
20		Dan Craigen, Susan L. Gerhart, Ted Ralston: Formal Methods Reality Check: Industrial Usage. FME 1993: 250-267
19	EE	Susan L. Gerhart, Dan Craigen, Ted Ralston: Observations on Industrial Practice Using Formal Methods. ICSE 1993: 24-33
1992
18		Dan Craigen, Susan L. Gerhart, Ted Ralston: An International Survey of Industrial Applications of Formal Methods. Z User Workshop 1992: 1-5
1991
17	EE	Susan L. Gerhart: Formal Methods: An International Perspective. ICSE 1991: 36-37
1990
16		Susan L. Gerhart: Applications of Formal Methods: Develoment Virtuoso Software - Guest Editor's Introduction. IEEE Software 7(5): 6-10 (1990)
1989
15		Susan L. Gerhart: The MCC Software Technology Program. IFIP Congress 1989: 883-889
14	EE	Susan L. Gerhart: Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems. Symposium on Testing, Analysis, and Verification 1989: 152-155
1984
13		Susan L. Gerhart: Application of Axiomatic Methods to a Specification Analyser. ICSE 1984: 441-453
1983
12		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): 113 (1983)
1982
11		Lawrence Yelowitz, Susan L. Gerhart, G. Hilborn: Modeling a Network Protocol in AFFIRM and Ada. PSTV 1982: 435-450
10		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): 460-489 (1982)
1980
9		Susan 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: An Overview of AFFIRM: A Specification and Verification System. IFIP Congress 1980: 343-347
1979
8	EE	Stanley Lee, Willem P. de Roever, Susan L. Gerhart: The Evolution of List-Copying Algorithms. POPL 1979: 53-67
1978
7		Susan L. Gerhart: A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm. Program Construction 1978: 472-492
1976
6		Susan L. Gerhart, Lawrence Yelowitz: Control Structure Abstractions of the Backtracking Programming Technique (Abstract). ICSE 1976: 391
5		Susan L. Gerhart, Lawrence Yelowitz: Observations of Fallibility in Applications of Modern Programming Methodologies. IEEE Trans. Software Eng. 2(3): 195-207 (1976)
4		Susan L. Gerhart, Lawrence Yelowitz: Control Structure Abstractions of the Backtracking Programming Technique. IEEE Trans. Software Eng. 2(4): 285-292 (1976)
3		Susan L. Gerhart: Proof Theory of Partial Correctness Verification Systems. SIAM J. Comput. 5(3): 355-377 (1976)
1975
2		Susan L. Gerhart: Correctness-Preserving Program Transformations. POPL 1975: 54-66
1		John B. Goodenough, Susan L. Gerhart: Toward a Theory of Test Data Selection. IEEE Trans. Software Eng. 1(2): 156-173 (1975)

Coauthor Index

1	D. A. Baker	[9]
2	R. L. Bates	[9]
3	Dan Craigen	[18] [19] [20] [22] [23] [24] [25]
4	Roddy W. Erickson	[9] [10] [12]
5	John B. Goodenough	[1]
6	G. Hilborn	[11]
7	Stanley Lee	[8]
8	R. L. London	[9]
9	David R. Musser	[9]
10	Ted Ralston	[18] [19] [20] [22] [23] [24] [25]
11	Willem P. de Roever	[8]
12	Daniel Schwabe	[10] [12]
13	Carl A. Sunshine	[10] [12]
14	D. G. Taylor	[9]
15	David H. Thompson	[9] [10] [12]
16	David S. Wile	[9]
17	Lawrence Yelowitz	[4] [5] [6] [11]

Colors in the list of coauthors