Raymond E. Miller

Raymond E. Miller: Graduate Student Experiences at Illinois. IEEE Annals of the History of Computing 28(2): 56-62 (2006)

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

Raymond E. Miller, Dongluo Chen, David Lee, Ruibing Hao: Coping with Nondeterminism in Network Protocol Testing. TestCom 2005: 129-145

Sneha Kumar Kasera, Raymond E. Miller, Markus Hofmann: A profitable multicast business model. Computer Communications 27(13): 1278-128 (2004)

Raymond E. Miller: JACM 1973-1975. J. ACM 50(1): 15 (2003)

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

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

Raymond E. Miller, Khaled A. Arisha: Fault Identification in Networks by Passive Testing. Annual Simulation Symposium 2001: 277-284

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

G. Ramalingam, Junehwa Song, Leo Joskowicz, Raymond E. Miller: Solving Systems of Difference Constraints Incrementally. Algorithmica 23(3): 261-275 (1999)

Junehwa Song, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi: Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System. Multimedia Syst. 7(5): 424-437 (1999)

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

Jun-Cheol Park, Raymond E. Miller: A Compositional Approach for Designing Multifunction Time-Dependent Protocols. ICNP 1997: 105-112

Hong Liu, Raymond E. Miller: An approach to cyclic protocol validation. Computer Communications 19(14): 1175-1187 (1996)

Hong Liu, Raymond E. Miller: Generalized fair reachability analysis for cyclic protocols. IEEE/ACM Trans. Netw. 4(2): 192-204 (1996)

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

Hong Liu, Raymond E. Miller: Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines. ICNP 1996: 76-83

Junehwa Song, Michelle Y. Kim, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi: Interactive Authoring of Multimedia Documents. VL 1996: 276-283

Hong Liu, Raymond E. Miller: Reachability Problems for Cyclic Protocols. ICCCN 1995: 32

Hong Liu, Raymond E. Miller: Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions. ICNP 1995: 6-13

Sanjoy Paul, Raymond E. Miller: Locating Faults in a Systematic Manner in a Large Heterogeneous Network. INFOCOM 1995: 522-529

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

Hong Liu, Raymond E. Miller: Generalized fair reachability analysis for cyclic protocols: part 1. PSTV 1994: 271-286

James E. Burns, Mohamed G. Gouda, Raymond E. Miller: Stabilization and Pseudo-Stabilization. Distributed Computing 7(1): 35-42 (1993)

Gilbert M. Lundy, Raymond E. Miller: Analyzing a CSMA/CD protocol through a Systems of Communicating Machines Specification. IEEE Transactions on Communications 41(3): 447-449 (1993)

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

Raymond E. Miller, Sanjoy Paul: Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols. PSTV 1992: 13-27

Gilbert M. Lundy, Raymond E. Miller: Specification and Analysis of a Data Transfer Protocol Using Systems of Communicating Machines. Distributed Computing 5: 145-157 (1991)

Murali Rajagopal, Raymond E. Miller: Synthesizing a Protocol Converter from Executable Protocol Traces. IEEE Trans. Computers 40(4): 487-499 (1991)

Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller: Block acknowledgment: redesigning the window protocol. IEEE Transactions on Communications 39(4): 524-532 (1991)

Raymond E. Miller, Sanjoy Paul: Generating Minimal Length Test Sequences for Conformance Testing of Communication Protocols. INFOCOM 1991: 970-979

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

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

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

Raymond E. Miller: The Construction of Self-Synchronizing Finite State Protocols. Distributed Computing 2(2): 104-112 (1987)

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

Tat Y. Choi, Raymond E. Miller: Protocol Analysis and Synthesis by Structured Partitions. Computer Networks 11: 367-381 (1986)

David Gries, Raymond E. Miller, Robert W. Ritchie, Paul Young: Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. IEEE Computer 19(9): 70-76 (1986)

Takumi Kasai, Raymond E. Miller: Homomorphisms between Models of Parallel Computation. J. Comput. Syst. Sci. 25(3): 285-331 (1982)

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

Raymond E. Miller, Seymour Ginsburg, Walter A. Burkhard, Richard J. Lipton (Eds.): Proceedings of the 12th Annual ACM Symposium on Theory of Computing, April 28-30, 1980, Los Angeles, California, USA. ACM 1980

Richard A. DeMillo, Raymond E. Miller: Implicit Computation of Synchronization Primitives. Inf. Process. Lett. 9(1): 35-38 (1979)

Raymond E. Miller, Nicholas Pippenger, Arnold L. Rosenberg, Lawrence Snyder: Optimal 2, 3-Trees. SIAM J. Comput. 8(1): 42-59 (1979)

Richard J. Lipton, Raymond E. Miller: A Batching Method for Coloring Planar Graphs. Inf. Process. Lett. 7(4): 185-188 (1978)

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

Raymond E. Miller, Chee-Keng Yap: On Formulating Simultaneity for Studying Parallelism and Synchronization. STOC 1978: 105-113

Richard J. Lipton, Raymond E. Miller, Lawrence Snyder: Synchronization and Computing Capabilities of Linear Asynchronous Structures. J. Comput. Syst. Sci. 14(1): 49-72 (1977)

Richard J. Lipton, Raymond E. Miller, Lawrence Snyder: Synchronization and Computing Capabilities of Linear Asynchronous Structures. FOCS 1975: 19-28

David E. Muller, Raymond E. Miller: A Generalization of the Theory of Incompletely Specified Machines. J. Comput. Syst. Sci. 6(5): 419-447 (1972)

Raymond E. Miller: Some Undecidability Results for Parallel Program Schemata. SIAM J. Comput. 1(1): 119-129 (1972)

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

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

Raymond E. Miller, James W. Thatcher (Eds.): Proceedings of a symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Research Center, Yorktown Heights, New York. The IBM Research Symposia Series, Plenum Press, New York 1972, isbn 0-306-30707-3

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

Richard M. Karp, Raymond E. Miller: Parallel Program Schemata. J. Comput. Syst. Sci. 3(2): 147-195 (1969)

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

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

L. P. Horwitz, Richard M. Karp, Raymond E. Miller, Shmuel Winograd: Index Register Allocation. J. ACM 13(1): 43-61 (1966)

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

J. C. Beatty, Raymond E. Miller: Some theorems for incompletely specified sequential machines with applications to state minimization. SWCT (FOCS) 1962: 123-136

Raymond E. Miller: An introduction to speed independent circuit theory. SWCT (FOCS) 1961: 87-93