| 2002 | ICNP | A Formal Approach for Passive Testing of Protocol Data Portions. | David Lee, Dongluo Chen, Ruibing Hao, Raymond E. Miller, Jianping Wu, Xia Yin |
| 2002 | ICNP | Specification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating Machines. | Moustafa A. Youssef, Arunchandar Vasan, Raymond E. Miller |
| 2001 | GLOBECOM | Fault management using passive testing for mobile IPv6 networks. | Raymond E. Miller, Khaled A. Arisha |
| 1999 | IPCCC | On estimating protocol performance from a formal specification. | Raymond E. Miller, Z. U. Chaudry |
| 1998 | ICNP | A Proof Technique for Liveness Properties of Multifunction Composite Protocols. | Jun-Cheol Park, Raymond E. Miller |
| 1997 | ICDCS | Synthesizing Protocol Specifications from Service Specifications in Timed Extended Finite State Machines. | Jun-Cheol Park, Raymond E. Miller |
| 1997 | ICNP | A Compositional Approach for Designing Multifunction Time-Dependent Protocols. | Jun-Cheol Park, Raymond E. Miller |
| 1996 | ICDCS | Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?). | Hong Liu, Raymond E. Miller, Hans van der Schoot, Hasan Ural |
| 1996 | ICNP | Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines. | Hong Liu, Raymond E. Miller |
| 1995 | ICCCN | Reachability Problems for Cyclic Protocols. | Hong Liu, Raymond E. Miller |
| 1995 | ICNP | Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions. | Hong Liu, Raymond E. Miller |
| 1995 | INFOCOM | Locating Faults in a Systematic Manner in a Large Heterogeneous Network. | Sanjoy Paul, Raymond E. Miller |
| 1994 | ICNP | Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems. | Hong Liu, Raymond E. Miller |
| 1993 | ICNP | Generating maximal fault coverage conformance test sequences of reduced length for communication protocols. | Raymond E. Miller, Sanjoy Paul |
| 1991 | INFOCOM | Generating Minimal Length Test Sequences for Conformance Testing of Communication Protocols. | Raymond E. Miller, Sanjoy Paul |
| 1989 | SIGCOMM | Block Acknowledgement: Redesigning the Window Protocol. | Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller |
| 1985 | SIGCSE | Computer science accreditation (panel session): an introduction and status of the national program. | Taylor L. Booth, Raymond E. Miller, John R. White, Robert M. Aiken, James T. Cain, Edward W. Ernst, Michael C. Mulder, Kathleen Hennessey, John F. Dalphin |
| 1983 | SIGCOMM | A decomposition method for the analysis and design of finite state protocols. | Tat Y. Choi, Raymond E. Miller |
| 1979 | COMPSAC | Comparing models of parallel computation by homomorphisms. | Raymond E. Miller, Takumi Kasai |
| 1978 | STOC | On Formulating Simultaneity for Studying Parallelism and Synchronization | Raymond E. Miller, Chee-Keng Yap |
| 1975 | FOCS | Synchronization and Computing Capabilities of Linear Asynchronous Structures | Richard J. Lipton, Raymond E. Miller, Lawrence Snyder |
| 1972 | STOC | Rapid Identification of Repeated Patterns in Strings, Trees and Arrays | Richard M. Karp, Raymond E. Miller, Arnold L. Rosenberg |
| 1971 | FOCS | On the Composition of Parallel Program Schemata | Wm. A. Brinsfield, Raymond E. Miller |
| 1967 | FOCS | Parallel Program Schemata: A Mathematical Model for Parallel Computation | Richard M. Karp, Raymond E. Miller |
| 1963 | FOCS | A survey of asynchronous logic: Comparing various definitions and models for asynchronous switching circuits | Raymond E. Miller |
| 1962 | FOCS | Some theorems for incompletely specified sequential machines with applications to state minimization | James C. Beatty, Raymond E. Miller |
| 1961 | FOCS | An introduction to speed independent circuit theory | Raymond E. Miller |