Search the dblp DataBase
Roddy W. Erickson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Roddy W. Erickson, David R. Musser
The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs. [Citation Graph (0, 0)][DBLP]
CADE, 1980, pp:220-231 [Conf] - David Casey, Roddy W. Erickson
Practical Tools for Software Test Certification. [Citation Graph (0, 0)][DBLP]
COMPCON, 1984, pp:87-90 [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] - 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.001secs, Finished in 0.001secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002