Richard A. DeMillo
According to our database^{1},
Richard A. DeMillo
authored at least 56 papers
between 1974 and 2012.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2003, "For contributions to the engineering of reliable and secure software.".
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on zbmath.org

on id.loc.gov

on dnb.info

on dl.acm.org
On csauthors.net:
Bibliography
2012
Commun. ACM, 2012
2009
Proceedings of the Web Information Systems Engineering, 2009
2001
J. Cryptol., 2001
2000
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000
1999
ACM SIGSOFT Softw. Eng. Notes, 1999
1997
On the Importance of Checking Cryptographic Protocols for Faults (Extended Abstract).
Proceedings of the Advances in Cryptology, 1997
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
1996
ACM Comput. Surv., 1996
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996
1995
Some Critical Remarks on a Hierarchy of FaultDetecting Abilities of Test Methods.
IEEE Trans. Software Eng., 1995
Proceedings of the Eleventh International Conference on Data Engineering, 1995
1994
IEEE Trans. Software Eng., 1994
1993
ACM Trans. Softw. Eng. Methodol., 1993
Softw. Pract. Exp., 1993
1991
IEEE Trans. Software Eng., 1991
IEEE Trans. Software Eng., 1991
IEEE Softw., 1991
Proceedings of the Symposium on Testing, Analysis, and Verification, 1991
Proceedings of the 13th International Conference on Software Engineering, 1991
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991
1989
Proceedings of the 11th International Conference on Software Engineering, 1989
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989
1987
Benjamin/Cummings, ISBN: 9780805325355, 1987
1986
IEEE Trans. Software Eng., 1986
1983
Computer, 1983
1982
Proceedings of the 14th Annual ACM Symposium on Theory of Computing, 1982
1981
Multilevel Secure Distributed System.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981
The Design and Analysis of Cryptographic Protocols.
Proceedings of the Advances in Cryptology: A Report on CRYPTO 81, 1981
1980
SpaceTime TradeOffs in Structured Programming: An Improved Combinatorial Embedding Theorem.
J. ACM, 1980
Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980
Proceedings of the 1980 IEEE Symposium on Security and Privacy, 1980
Proceedings of the 1980 IEEE Symposium on Security and Privacy, 1980
Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs.
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980
1979
Review of "Proofs and refutations: the logic of mathematical discovery" by Imre Lakatos. Cambridge University Press 1976.
SIGACT News, 1979
A Constructive Generalization of the BorelCantelli Lemma with Application to the Complexity of Infinite Strings.
Math. Syst. Theory, 1979
Inf. Process. Lett., 1979
Commun. ACM, 1979
Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30, 1979
1978
IEEE Trans. Software Eng., 1978
ACM SIGSOFT Softw. Eng. Notes, 1978
ACM SIGSOFT Softw. Eng. Notes, 1978
Inf. Process. Lett., 1978
Computer, 1978
Commun. ACM, 1978
Database Security.
Proceedings of the Issues in Data Base Management, 1978
Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978
The design of a prototype mutation system for program testing.
Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978
1977
Notre Dame J. Formal Log., 1977
J. ACM, 1977
Theory in the Computer Science and Engineering Curriculum: Why, What, When, and Where.
Computer, 1977
1976
IEEE Trans. Computers, 1976
ACM SIGPLAN Notices, 1976
J. ACM, 1976
1975
Notre Dame J. Formal Log., 1975
Proceedings of the 7th Annual ACM Symposium on Theory of Computing, 1975
1974
Proceedings of the 6th Annual ACM Symposium on Theory of Computing, April 30, 1974