The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Susan L. Gerhart: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Dan Craigen, Susan L. Gerhart, Ted Ralston
    Formal Methods Reality Check: Industrial Usage. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:250-267 [Conf]
  3. Susan L. Gerhart
    Application of Axiomatic Methods to a Specification Analyser. [Citation Graph (0, 0)][DBLP]
    ICSE, 1984, pp:441-453 [Conf]
  4. Susan L. Gerhart
    Formal Methods: An International Perspective. [Citation Graph (0, 0)][DBLP]
    ICSE, 1991, pp:36-37 [Conf]
  5. 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]
  6. Susan L. Gerhart, Lawrence Yelowitz
    Control Structure Abstractions of the Backtracking Programming Technique (Abstract). [Citation Graph (0, 0)][DBLP]
    ICSE, 1976, pp:391- [Conf]
  7. Susan L. Gerhart
    The MCC Software Technology Program. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:883-889 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. Susan L. Gerhart
    Correctness-Preserving Program Transformations. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:54-66 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. Susan L. Gerhart
    Do Web search engines suppress controversy? [Citation Graph (0, 0)][DBLP]
    First Monday, 2004, v:9, n:1, pp:- [Journal]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002