Formal Analysis and Synthesis of Bilateral Switching Networks - Raymond E. Miller (1957)

Formal Analysis and Synthesis of Bilateral Switching Networks. - Raymond E. Miller (IRE Trans. Electron. Comput., 1958)

Maximal Paths on Rectangular Boards. - Raymond E. Miller; John L. Selfridge (IBM J. Res. Dev., 1960)

An introduction to speed independent circuit theory - Raymond E. Miller (SWCT, 1961)

Some theorems for incompletely specified sequential machines with applications to state minimization - James C. Beatty; Raymond E. Miller (SWCT, 1962)

A survey of asynchronous logic: Comparing various definitions and models for asynchronous switching circuits - Raymond E. Miller (SWCT, 1963)

On the Number of Transitions Entering the States of a Finite Automaton. - Raymond E. Miller; Shmuel Winograd (IEEE Trans. Electron. Comput., 1964)

Index Register Allocation. - Lawrence Paul Horwitz; Richard M. Karp; Raymond E. Miller; Shmuel Winograd (J. ACM, 1966)

Parallel Program Schemata: A Mathematical Model for Parallel Computation - Richard M. Karp; Raymond E. Miller (SWAT, 1967)

The Organization of Computations for Uniform Recurrence Equations. - Richard M. Karp; Raymond E. Miller; Shmuel Winograd (J. ACM, 1967)

Parallel Program Schemata. - Richard M. Karp; Raymond E. Miller (J. Comput. Syst. Sci., 1969)

On the Composition of Parallel Program Schemata - Wm. A. Brinsfield; Raymond E. Miller (SWAT, 1971)

Configurable computers: a new class of general purpose machines. - Raymond E. Miller; John Cocke (International Sympoisum on Theoretical Programming, 1972)

A boundary between decidability and undecidability for parallel program schemata (Extended Abstract). - Raymond E. Miller (Proving Assertions About Programs, 1972)

Rapid Identification of Repeated Patterns in Strings, Trees and Arrays - Richard M. Karp; Raymond E. Miller; Arnold L. Rosenberg (STOC, 1972)

A Generalization of the Theory of Incompletely Specified Machines. - David E. Muller; Raymond E. Miller (J. Comput. Syst. Sci., 1972)

Some Undecidability Results for Parallel Program Schemata. - Raymond E. Miller (SIAM J. Comput., 1972)

A Comparison of Some Theoretical Models of Parallel Computation. - Raymond E. Miller (IEEE Trans. Computers, 1973)

Synchronization and Computing Capabilities of Linear Asynchronous Structures. - Richard J. Lipton; Raymond E. Miller; Lawrence Snyder 001 (J. Comput. Syst. Sci., 1977)

On the formal specification and analysis for loosely connected processes. - Raymond E. Miller; Chee-Keng Yap (Mathematical Studies of Information Processing, 1978)

A Batching Method for Coloring Planar Graphs. - Richard J. Lipton; Raymond E. Miller (Inf. Process. Lett., 1978)

Comparing models of parallel computation by homomorphisms. - Raymond E. Miller; Takumi Kasai (COMPSAC, 1979)

Implicit Computation of Synchronization Primitives. - Richard A. DeMillo; Raymond E. Miller (Inf. Process. Lett., 1979)

Optimal 2, 3-Trees. - Raymond E. Miller; Nicholas Pippenger; Arnold L. Rosenberg; Lawrence Snyder 001 (SIAM J. Comput., 1979)

On Formulating Simultaneity for Studying Parallelism and Synchronization. - Raymond E. Miller; Chee-Keng Yap (J. Comput. Syst. Sci., 1980)

Homomorphisms between Models of Parallel Computation. - Takumi Kasai; Raymond E. Miller (J. Comput. Syst. Sci., 1982)

Network protocol: A structured approach. - Tat Y. Choi; Raymond E. Miller (ACM Annual Conference, 1983)

A decomposition method for the analysis and design of finite state protocols. - Tat Y. Choi; Raymond E. Miller (SIGCOMM, 1983)

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 (SIGCSE, 1985)

1984 Snowbird Report: Future Issues in Computer Science. - John Tartar; Bruce W. Arden; Taylor L. Booth; Peter J. Denning; Raymond E. Miller; Andries van Dam (Computer, 1985)

Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. - David Gries; Raymond E. Miller; Robert W. Ritchie; Paul Young (Commun. ACM, 1986)

Protocol Analysis and Synthesis by Structured Partitions. - Tat Y. Choi; Raymond E. Miller (Comput. Networks, 1986)

Computer Science Program Acceditation: The First-Year Activities of the Computer Science Accreditation Board. - Taylor L. Booth; Raymond E. Miller (Commun. ACM, 1987)

Computer Science Program Accreditation: The First-Year Activities of the Computing Sciences Accreditation Board. - Taylor L. Booth; Raymond E. Miller (Computer, 1987)

The Construction of Self-Synchronizing Finite State Protocols. - Raymond E. Miller (Distributed Comput., 1987)

Block Acknowledgement: Redesigning the Window Protocol. - Geoffrey M. Brown; Mohamed G. Gouda; Raymond E. Miller (SIGCOMM, 1989)

Protocol verification: the first ten years, the next ten years; some personal observations. - Raymond E. Miller (PSTV, 1990)

Protocol engineering (panel session). - Ming T. Liu; Mohamed G. Gouda; Raymond E. Miller; Krishan K. Sabnani (ACM Conference on Computer Science, 1991)

Generating Minimal Length Test Sequences for Conformance Testing of Communication Protocols. - Raymond E. Miller; Sanjoy Paul (INFOCOM, 1991)

Specification and Analysis of a Data Transfer Protocol Using Systems of Communicating Machines. - Gilbert M. Lundy; Raymond E. Miller (Distributed Comput., 1991)

Synthesizing a Protocol Converter from Executable Protocol Traces. - Murali Rajagopal; Raymond E. Miller (IEEE Trans. Computers, 1991)

Block acknowledgment: redesigning the window protocol. - Geoffrey M. Brown; Mohamed G. Gouda; Raymond E. Miller (IEEE Trans. Commun., 1991)

Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols. - Raymond E. Miller; Sanjoy Paul (PSTV, 1992)

Generating maximal fault coverage conformance test sequences of reduced length for communication protocols. - Raymond E. Miller; Sanjoy Paul (ICNP, 1993)

Stabilization and Pseudo-Stabilization. - James E. Burns; Mohamed G. Gouda; Raymond E. Miller (Distributed Comput., 1993)

Analyzing a CSMA/CD protocol through a Systems of Communicating Machines Specification. - Gilbert M. Lundy; Raymond E. Miller (IEEE Trans. Commun., 1993)

On the generation of minimal-length conformance tests for communication protocols. - Raymond E. Miller; Sanjoy Paul (IEEE/ACM Trans. Netw., 1993)

Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems. - Hong Liu 004; Raymond E. Miller (ICNP, 1994)

Generalized fair reachability analysis for cyclic protocols: part 1. - Hong Liu 004; Raymond E. Miller (PSTV, 1994)

Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequences. - Raymond E. Miller; Sanjoy Paul (IEEE/ACM Trans. Netw., 1994)

Reachability Problems for Cyclic Protocols. - Hong Liu 004; Raymond E. Miller (ICCCN, 1995)

Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions. - Hong Liu 004; Raymond E. Miller (ICNP, 1995)

Locating Faults in a Systematic Manner in a Large Heterogeneous Network. - Sanjoy Paul; Raymond E. Miller (INFOCOM, 1995)

Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?). - Hong Liu 004; Raymond E. Miller; Hans van der Schoot; Hasan Ural (ICDCS, 1996)

Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines. - Hong Liu 004; Raymond E. Miller (ICNP, 1996)

Interactive Authoring of Multimedia Documents. - Junehwa Song; Michelle Y. Kim; G. Ramalingam; Raymond E. Miller; Byoung-Kee Yi (VL, 1996)

An approach to cyclic protocol validation. - Hong Liu 004; Raymond E. Miller (Comput. Commun., 1996)

Generalized fair reachability analysis for cyclic protocols. - Hong Liu 004; Raymond E. Miller (IEEE/ACM Trans. Netw., 1996)

Synthesizing Protocol Specifications from Service Specifications in Timed Extended Finite State Machines. - Jun-Cheol Park; Raymond E. Miller (ICDCS, 1997)

A Compositional Approach for Designing Multifunction Time-Dependent Protocols. - Jun-Cheol Park; Raymond E. Miller (ICNP, 1997)

A Proof Technique for Liveness Properties of Multifunction Composite Protocols. - Jun-Cheol Park; Raymond E. Miller (ICNP, 1998)

On estimating protocol performance from a formal specification. - Raymond E. Miller; Z. U. Chaudry (IPCCC, 1999)

Solving Systems of Difference Constraints Incrementally. - G. Ramalingam; Junehwa Song; Leo Joskowicz; Raymond E. Miller (Algorithmica, 1999)

Estimating protocol performance using a formal specification model. - Raymond E. Miller; Zafar Ullah Chaudhry (Int. J. Commun. Syst., 1999)

Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System. - Junehwa Song; G. Ramalingam; Raymond E. Miller; Byoung-Kee Yi (Multim. Syst., 1999)

Fault Identification in Networks by Passive Testing. - Raymond E. Miller; Khaled A. Arisha (Annual Simulation Symposium, 2001)

Fault management using passive testing for mobile IPv6 networks. - Raymond E. Miller; Khaled A. Arisha (GLOBECOM, 2001)

Fault Coverage in Networks by Passive Testing. - Raymond E. Miller; Khaled A. Arisha (International Conference on Internet Computing (1), 2001)

A Formal Approach for Passive Testing of Protocol Data Portions. - David Lee; Dongluo Chen; Ruibing Hao; Raymond E. Miller; Jianping Wu; Xia Yin (ICNP, 2002)

Specification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating Machines. - Moustafa A. Youssef 001; Arunchandar Vasan 001; Raymond E. Miller (ICNP, 2002)

JACM 1973-1975. - Raymond E. Miller (J. ACM, 2003)

A profitable multicast business model. - Sneha Kumar Kasera; Raymond E. Miller; Markus Hofmann 001 (Comput. Commun., 2004)

Coping with Nondeterminism in Network Protocol Testing. - Raymond E. Miller; Dongluo Chen; David Lee; Ruibing Hao (TestCom, 2005)

Graduate Student Experiences at Illinois. - Raymond E. Miller (IEEE Ann. Hist. Comput., 2006)

Network protocol system monitoring: a formal approach with passive testing. - David Lee; Dongluo Chen; Ruibing Hao; Raymond E. Miller; Jianping Wu; Xia Yin (IEEE/ACM Trans. Netw., 2006)