Richard A. DeMillo

Publication Activity (10 Years)

Years Active: 1974-2023
Publications (10 Years): 1

Top Topics

Distributed Architecture

Experimental Platform

Simulation Software

Top Venues

Publications

Ali Vatankhah Barenji, Benoît Montreuil, Sevda Babalou, Dima Nazzal, Frédérick Bénaben, Richard A. DeMillo
An Agent-Based Simulation Platform for a Safe Election: From Design to Simulation. Inf. 14 (10) (2023)
Richard A. DeMillo
Keeping technology promises. Commun. ACM 55 (11) (2012)
Richard A. DeMillo
Blighted Virtual Neighborhoods and Other Threats to Online Social Experiences. WISE (2009)
Dan Boneh, Richard A. DeMillo, Richard J. Lipton
On the Importance of Eliminating Errors in Cryptographic Computations. J. Cryptol. 14 (2) (2001)
Richard A. DeMillo
Software development for next generation communication networks. SIGSOFT FSE (2000)
Victor R. Basili, Laszlo A. Belady, Barry W. Boehm, Frederick P. Brooks Jr., James Browne, Richard A. DeMillo, Stuart I. Feldman, Cordell Green, Butler W. Lampson, Duncan H. Lawrie, Nancy G. Leveson, Nancy A. Lynch, Mark D. Weiser, Jeannette M. Wing
NSF workshop on a software research program for the 21st century. ACM SIGSOFT Softw. Eng. Notes 24 (3) (1999)
Dan Boneh, Richard A. DeMillo, Richard J. Lipton
On the Importance of Checking Cryptographic Protocols for Faults (Extended Abstract). EUROCRYPT (1997)
Richard A. DeMillo, Hsin Pan, Eugene H. Spafford
Failure and Fault Analysis for Software Debugging. COMPSAC (1997)
Richard A. DeMillo
Mission-Critical Applications, Commercial Value and Software Quality. ACM Comput. Surv. 28 (4es) (1996)
Richard A. DeMillo, Hsin Pan, Eugene H. Spafford
Critical Slicing for Software Fault Localization. ISSTA (1996)
Richard A. DeMillo, Aditya P. Mathur, W. Eric Wong
Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods. IEEE Trans. Software Eng. 21 (10) (1995)
Alberto Apostolico, Gianfranco Bilardi, Franco Bombi, Richard A. DeMillo
An International Masters in Software Engineering: Experience and Prospects. ICDE (1995)
Richard A. DeMillo
Introduction to the Special Section. IEEE Trans. Software Eng. 20 (10) (1994)
Richard A. DeMillo, A. Jefferson Offutt
Experimental Results from an Automatic Test Case Generator. ACM Trans. Softw. Eng. Methodol. 2 (2) (1993)
Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford
Debugging with Dynamic Slicing and Backtracking. Softw. Pract. Exp. 23 (6) (1993)
Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford
An Execution-Backtracking Approach to Debugging. IEEE Softw. 8 (3) (1991)
Richard A. DeMillo, Richard J. Lipton
Defining Software by Continuous, Smooth Functions. IEEE Trans. Software Eng. 17 (4) (1991)
Richard A. DeMillo
Progress Toward Automated Software Testing. ICSE (1991)
Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford
Dynamic Slicing in the Presence of Unconstrained Pointers. Symposium on Testing, Analysis, and Verification (1991)
Richard A. DeMillo, Edward W. Krauser, Aditya P. Mathur
Compiler-integrated program mutation. COMPSAC (1991)
Richard A. DeMillo, A. Jefferson Offutt
Constraint-Based Automatic Test Data Generation. IEEE Trans. Software Eng. 17 (9) (1991)
Richard A. DeMillo
Test Adequacy and Program Mutation. ICSE (1989)
Richard A. DeMillo
Software testing for critical applications: a position paper. COMPSAC (1989)
Edith W. Martin, Richard A. DeMillo
Operational Survivability in Gracefully Degrading Distributed Processing Systems. IEEE Trans. Software Eng. 12 (6) (1986)
Richard A. DeMillo, Michael Merritt
Protocols for Data Security. Computer 16 (2) (1983)
Richard A. DeMillo, Nancy A. Lynch, Michael Merritt
Cryptographic Protocols STOC (1982)
George I. Davida, Richard A. DeMillo, Richard J. Lipton
Multilevel Secure Distributed System. ICDCS (1981)
Richard A. DeMillo, Nancy A. Lynch, Michael Merritt
The Design and Analysis of Cryptographic Protocols. CRYPTO (1981)
George I. Davida, Richard A. DeMillo, Richard J. Lipton
A System Architecture to Support a Verifiably Secure Multilevel Security System. IEEE Symposium on Security and Privacy (1980)
Richard A. DeMillo, Richard J. Lipton
The Consistency of "P = NP" and Related Problems with Fragments of Number Theory. STOC (1980)
Timothy A. Budd, Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward
Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs. POPL (1980)
Richard A. DeMillo, Stanley C. Eisenstat, Richard J. Lipton
Space-Time Trade-Offs in Structured Programming: An Improved Combinatorial Embedding Theorem. J. ACM 27 (1) (1980)
George I. Davida, Richard A. DeMillo, Richard J. Lipton
Protecting Shared Cryptographic Keys. IEEE Symposium on Security and Privacy (1980)
Richard A. DeMillo, Richard J. Lipton
A Constructive Generalization of the Borel-Cantelli Lemma with Application to the Complexity of Infinite Strings. Math. Syst. Theory 13 (1979)
Richard A. DeMillo, Richard J. Lipton
Review of "Proofs and refutations: the logic of mathematical discovery" by Imre Lakatos. Cambridge University Press 1976. SIGACT News 11 (2) (1979)
Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis
Social Processes and Proofs of Theorems and Programs. Commun. ACM 22 (5) (1979)
Richard A. DeMillo, Raymond E. Miller
Implicit Computation of Synchronization Primitives. Inf. Process. Lett. 9 (1) (1979)
Richard A. DeMillo, Richard J. Lipton
Some Connections between Mathematical Logic and Complexity Theory STOC (1979)
Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward
Hints on Test Data Selection: Help for the Practicing Programmer. Computer 11 (4) (1978)
Richard A. DeMillo, David P. Dobkin, Richard J. Lipton
Even Data Bases That Lie Can Be Compromised. IEEE Trans. Software Eng. 4 (1) (1978)
Richard A. DeMillo, David P. Dobkin
Recent progress in secure computation. COMPSAC (1978)
Timothy A. Budd, Richard J. Lipton, Richard A. DeMillo, Frederick G. Sayward
The design of a prototype mutation system for program testing. AFIPS National Computer Conference (1978)
Richard A. DeMillo, Stanley C. Eisenstat, Richard J. Lipton
Preserving Average Proximity in Arrays. Commun. ACM 21 (3) (1978)
Edsger W. Dijkstra, Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis
On a political pamphlet from the middle ages. ACM SIGSOFT Softw. Eng. Notes 3 (2) (1978)
Richard A. DeMillo, Richard J. Lipton
A Probabilistic Remark on Algebraic Program Testing. Inf. Process. Lett. 7 (4) (1978)
Richard A. DeMillo
Database Security. VLDB Surveys (1978)
Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis
Response from R. A. DeMillo, R. J. Lipton, A. J. Perlis. ACM SIGSOFT Softw. Eng. Notes 3 (2) (1978)
Richard A. DeMillo
Some applications of model theory to the metatheory of program schemata. Notre Dame J. Formal Log. 18 (3) (1977)
Richard A. DeMillo, K. Vairavan, E. Sycara-Cyranski
A Study of Schedules as Models of Synchronous Parallel Computation. J. ACM 24 (4) (1977)
Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis
Social Processes and Proofs of Theorems and Programs. POPL (1977)
Bruce H. Barnes, George I. Davida, Richard A. DeMillo, Larry Landweber, Harold S. Stone
Theory in the Computer Science and Engineering Curriculum: Why, What, When, and Where. Computer 10 (12) (1977)
Richard J. Lipton, Stanley C. Eisenstat, Richard A. DeMillo
Space and Time Hierarchies for Classes of Control Structures and Data Structures. J. ACM 23 (4) (1976)
Richard A. DeMillo, Stanley C. Eisenstat, Richard J. Lipton
Can structured programs be efficient? ACM SIGPLAN Notices 11 (10) (1976)
K. Vairavan, Richard A. DeMillo
On the Computational Complexity of a Generalized Scheduling Problem. IEEE Trans. Computers 25 (11) (1976)
Richard A. DeMillo
Non-definability of certain semantic properties of programs. Notre Dame J. Formal Log. 16 (4) (1975)
Richard J. Lipton, Stanley C. Eisenstat, Richard A. DeMillo
The Complexity of Control Structures and Data Structures STOC (1975)
K. Vairavan, Richard A. DeMillo
Parallel Scheduling of Programs in a Restricted Model of Computation STOC (1974)