Susan Gerhart | Academic Influence

Susan Gerhart's AcademicInfluence.com Rankings

Susan Gerhart

Computer Science

#6239

World Rank

#6580

Historical Rank

#1622

USA Rank

Database

#9031

World Rank

#9495

Historical Rank

#1249

USA Rank

computer-science Degrees

Download Badge

Computer Science

Susan Gerhart's Degrees

PhD Computer Science Stanford University

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2024

Why Is Susan Gerhart Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Susan Gerhart is a semi-retired computer scientist. Education Susan Gerhart received her BA in Mathematics from Ohio Wesleyan University, her MS in Communication Sciences from University of Michigan, and her PhD in Computer Science from Carnegie Mellon University. She completed her thesis "Verification of APL Programs" in 1972 under thesis advisor Donald W. Loveland. She credited Sputnik with having inspired her to study science.

(See a Problem?)

Susan Gerhart's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Toward a theory of test data selection (1975) (741)
An International Survey of Industrial Applications of Formal Methods (1992) (274)
Experience with formal methods in critical systems (1994) (147)
Formal Methods Reality Check: Industrial Usage (1993) (139)
Observations of Fallibility in Applications of Modern Programming Methodologies (1976) (106)
Correctness-preserving program transformations (1975) (86)
An Overview of AFFIRM: A Specification and Verification System (1980) (84)
Correction to "toward a theory of test data selection" (1975) (77)
Do Web search engines suppress controversy? (2004) (57)
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models (1982) (56)
Observations on industrial practice using formal methods (1993) (45)
Knowledge about programs: A model and case study (1975) (36)
Case study: Darlington nuclear generating station [software-driven shutdown systems] (1994) (31)
Control Structure Abstractions of the Backtracking Programming Technique (1976) (27)
Case study: Paris Metro Signaling System (1994) (26)
STATEMATE and cruise control: a case study (1988) (25)
Proof Theory of Partial Correctness Verification Systems (1976) (23)
Industrial applications of formal methods to model, design and analyze computer systems: an international survey (1995) (22)
Verification of apl-programs. (1972) (21)
The Oregon Report Software Engineering: The Turning Point (1978) (18)
The evolution of list-copying algorithms and the need for structured program verification (1979) (17)
High-level theories (1981) (12)
Program Verification in the 1980s: Problems, Perspectives, and Opportunities (1978) (10)
The Evolution of List-Copying Algorithms. (1979) (9)
A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm (1978) (8)
Driving Home the Buffer Overflow Problem : A Training Module for Programmers and Managers (2002) (7)
Applications of Formal Methods: Develoment Virtuoso Software - Guest Editor's Introduction (1990) (6)
Case study: Multinet Gateway System (1994) (5)
Application of axiomatic methods to a specification analyser (1984) (5)
Methods for teaching program verification (1975) (5)
Preliminary summary: FM89 assessment of formal methods for trustworthy computer systems (1989) (4)
Guest Editor's Introduction: Applications of Formal MethodsDeveloping Virtuoso Software (1990) (4)
Proposals for tool and methodology evaluation experiments: ACM SIGSOFT sponsored software engineering symposium on tool and methodology evaluation (1982) (4)
Skills versus knowledge in software engineering education: a retrospective on the Wang Institute MSE program (1987) (3)
The broad spectrum toolset for upstream testing, verification and analysis (1988) (3)
The MCC Formal Methods Transition Study: Technology Transfer for Complex Information Technology and Processes (1993) (3)
Case study: Traffic Alert and Collision-Avoidance System (1994) (3)
Modeling a Network Protocol in AFFIRM and Ada (1982) (3)
Assertions and APL programming (1975) (2)
Teaching formal methods for program development and verification (Panel Session) (1983) (2)
The Role of Education and Trainig in the Industrial Application of Formal Methods (1995) (2)
NRL invitational workshop on testing and proving: two approaches to assurance (1986) (2)
The MCC Software Technology Program (1989) (1)
Development of a methodology for classifying software errors (1976) (1)
Formal methods: an international perspective (1991) (1)
A proposal for publication and exchange of program proofs (1978) (1)
A proposal for a handbook for APL program verification (1974) (0)
Completely validated software (panel session) (1989) (0)
Prolog technology as a basis for verification systems (1985) (0)
8 – Key Events and Timing (1995) (0)
Demonstrating Security Vulnerabilities: the Buffer Overflow Problem (2003) (0)
Research avenues verification is not pursuing, but may be should be (1981) (0)
Two recent books on programming (1982) (0)
Toward a Context-Driven Model of WWW Navigation (1997) (0)
Verification and Semantic Checking of APL Programs (1974) (0)
Session 8B: Panel—software engineering and social responsibility (1984) (0)
Real-Time and Safety-Critical Systems (1999) (0)
High level language programming environments (1981) (0)
5 – LaCoS ESPRIT Project (Building Large Complex Systems Using RAISE) (1995) (0)
Learning Technology Publication of Ieee Computer Society Learning Technology Task Force (lttf) Contents Call for Submissions: Ieee International Workshop on Wireless and Mobile Technologies in Education Call for Submissions: Ieee International Workshop on Knowledge Media Networking Filling the Learn (2002) (0)

This paper list is powered by the following services:

Other Resources About Susan Gerhart

en.wikipedia.org

What Schools Are Affiliated With Susan Gerhart?

Susan Gerhart is affiliated with the following schools: