Susan L. Gerhart

According to our database1, Susan L. Gerhart authored at least 27 papers between 1975 and 2004.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2004
Do Web search engines suppress controversy?
First Monday, 2004

1995
Formal Methods Reality Check: Industrial Usage.
IEEE Trans. Software Eng., 1995

The Role of Education and Trainig in the Industrial Application of Formal Methods.
Proceedings of the Algebraic Methodology and Software Technology, 1995

1994
Case Study: Darlington Nuclear Generating Station.
IEEE Software, 1994

Experience with Formal Methods in Critical Systems.
IEEE Software, 1994

1993
The MCC Formal Methods Transition Study: Technology Transfer for Complex Information Technology and Processes.
Proceedings of the Diffusion, 1993

Observations on Industrial Practice Using Formal Methods.
Proceedings of the 15th International Conference on Software Engineering, 1993

1992
An International Survey of Industrial Applications of Formal Methods.
Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

1991
Formal Methods: An International Perspective.
Proceedings of the 13th International Conference on Software Engineering, 1991

1990
Applications of Formal Methods: Develoment Virtuoso Software - Guest Editor's Introduction.
IEEE Software, 1990

1989
Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems.
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

The MCC Software Technology Program.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988
STATEMATE and cruise control: a case study.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1984
Application of Axiomatic Methods to a Specification Analyser.
Proceedings of the Proceedings, 1984

1983
Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models".
IEEE Trans. Software Eng., 1983

1982
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models.
IEEE Trans. Software Eng., 1982

Modeling a Network Protocol in AFFIRM and Ada.
Proceedings of the Protocol Specification, 1982

1980
An Overview of AFFIRM: A Specification and Verification System.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979
The Evolution of List-Copying Algorithms.
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

1978
The Oregon Report Software Engineering: The Turning Point.
IEEE Computer, 1978

A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm.
Proceedings of the Program Construction, International Summer School, July 26, 1978

1976
Control Structure Abstractions of the Backtracking Programming Technique.
IEEE Trans. Software Eng., 1976

Observations of Fallibility in Applications of Modern Programming Methodologies.
IEEE Trans. Software Eng., 1976

Proof Theory of Partial Correctness Verification Systems.
SIAM J. Comput., 1976

Control Structure Abstractions of the Backtracking Programming Technique (Abstract).
Proceedings of the 2nd International Conference on Software Engineering, 1976

1975
Toward a Theory of Test Data Selection.
IEEE Trans. Software Eng., 1975

Correctness-Preserving Program Transformations.
Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975


  Loading...