Susan L. Gerhart

43 papers A* 6A 2B 1Journal 22Unranked 12

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