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