Raymond E. Miller

Publication Activity (10 Years)

Years Active: 1958-2006
Publications (10 Years): 0

Publications

Raymond E. Miller
Graduate Student Experiences at Illinois. IEEE Ann. Hist. Comput. 28 (2) (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) (2006)
Raymond E. Miller, Dongluo Chen, David Lee, Ruibing Hao
Coping with Nondeterminism in Network Protocol Testing. TestCom (2005)
Sneha Kumar Kasera, Raymond E. Miller, Markus Hofmann
A profitable multicast business model. Comput. Commun. 27 (13) (2004)
Raymond E. Miller
JACM 1973-1975. J. ACM 50 (1) (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)
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)
Raymond E. Miller, Khaled A. Arisha
Fault Identification in Networks by Passive Testing. Annual Simulation Symposium (2001)
Raymond E. Miller, Khaled A. Arisha
Fault Coverage in Networks by Passive Testing. International Conference on Internet Computing (1) (2001)
Raymond E. Miller, Khaled A. Arisha
Fault management using passive testing for mobile IPv6 networks. GLOBECOM (2001)
Junehwa Song, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi
Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System. Multim. Syst. 7 (5) (1999)
Raymond E. Miller, Z. U. Chaudry
On estimating protocol performance from a formal specification. IPCCC (1999)
G. Ramalingam, Junehwa Song, Leo Joskowicz, Raymond E. Miller
Solving Systems of Difference Constraints Incrementally. Algorithmica 23 (3) (1999)
Raymond E. Miller, Zafar Ullah Chaudhry
Estimating protocol performance using a formal specification model. Int. J. Commun. Syst. 12 (5-6) (1999)
Jun-Cheol Park, Raymond E. Miller
A Proof Technique for Liveness Properties of Multifunction Composite Protocols. ICNP (1998)
Jun-Cheol Park, Raymond E. Miller
A Compositional Approach for Designing Multifunction Time-Dependent Protocols. ICNP (1997)
Jun-Cheol Park, Raymond E. Miller
Synthesizing Protocol Specifications from Service Specifications in Timed Extended Finite State Machines. ICDCS (1997)
Junehwa Song, Michelle Y. Kim, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi
Interactive Authoring of Multimedia Documents. VL (1996)
Hong Liu, Raymond E. Miller
Generalized fair reachability analysis for cyclic protocols. IEEE/ACM Trans. Netw. 4 (2) (1996)
Hong Liu, Raymond E. Miller
An approach to cyclic protocol validation. Comput. Commun. 19 (14) (1996)
Hong Liu, Raymond E. Miller
Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines. ICNP (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)
Hong Liu, Raymond E. Miller
Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions. ICNP (1995)
Sanjoy Paul, Raymond E. Miller
Locating Faults in a Systematic Manner in a Large Heterogeneous Network. INFOCOM (1995)
Hong Liu, Raymond E. Miller
Reachability Problems for Cyclic Protocols. ICCCN (1995)
Hong Liu, Raymond E. Miller
Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems. ICNP (1994)
Hong Liu, Raymond E. Miller
Generalized fair reachability analysis for cyclic protocols: part 1. PSTV (1994)
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) (1994)
Raymond E. Miller, Sanjoy Paul
Generating maximal fault coverage conformance test sequences of reduced length for communication protocols. ICNP (1993)
Raymond E. Miller, Sanjoy Paul
On the generation of minimal-length conformance tests for communication protocols. IEEE/ACM Trans. Netw. 1 (1) (1993)
James E. Burns, Mohamed G. Gouda, Raymond E. Miller
Stabilization and Pseudo-Stabilization. Distributed Comput. 7 (1) (1993)
Gilbert M. Lundy, Raymond E. Miller
Analyzing a CSMA/CD protocol through a Systems of Communicating Machines Specification. IEEE Trans. Commun. 41 (3) (1993)
Raymond E. Miller, Sanjoy Paul
Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols. PSTV (1992)
Raymond E. Miller, Sanjoy Paul
Generating Minimal Length Test Sequences for Conformance Testing of Communication Protocols. INFOCOM (1991)
Gilbert M. Lundy, Raymond E. Miller
Specification and Analysis of a Data Transfer Protocol Using Systems of Communicating Machines. Distributed Comput. 5 (1991)
Murali Rajagopal, Raymond E. Miller
Synthesizing a Protocol Converter from Executable Protocol Traces. IEEE Trans. Computers 40 (4) (1991)
Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller
Block acknowledgment: redesigning the window protocol. IEEE Trans. Commun. 39 (4) (1991)
Ming T. Liu, Mohamed G. Gouda, Raymond E. Miller, Krishan K. Sabnani
Protocol engineering (panel session). ACM Conference on Computer Science (1991)
Raymond E. Miller
Protocol verification: the first ten years, the next ten years; some personal observations. PSTV (1990)
Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller
Block Acknowledgement: Redesigning the Window Protocol. SIGCOMM (1989)
Taylor L. Booth, Raymond E. Miller
Computer Science Program Acceditation: The First-Year Activities of the Computer Science Accreditation Board. Commun. ACM 30 (5) (1987)
Raymond E. Miller
The Construction of Self-Synchronizing Finite State Protocols. Distributed Comput. 2 (2) (1987)
Taylor L. Booth, Raymond E. Miller
Computer Science Program Accreditation: The First-Year Activities of the Computing Sciences Accreditation Board. Computer 20 (5) (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) (1986)
Tat Y. Choi, Raymond E. Miller
Protocol Analysis and Synthesis by Structured Partitions. Comput. Networks 11 (1986)
David Gries, Raymond E. Miller, Robert W. Ritchie, Paul Young
Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. Computer 19 (9) (1986)
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
Computer science accreditation (panel session): an introduction and status of the national program. SIGCSE (1985)
John Tartar, Bruce W. Arden, Taylor L. Booth, Peter J. Denning, Raymond E. Miller, Andries van Dam
1984 Snowbird Report: Future Issues in Computer Science. Computer 18 (5) (1985)
Tat Y. Choi, Raymond E. Miller
A decomposition method for the analysis and design of finite state protocols. SIGCOMM (1983)
Tat Y. Choi, Raymond E. Miller
Network protocol: A structured approach. ACM Annual Conference (1983)
Takumi Kasai, Raymond E. Miller
Homomorphisms between Models of Parallel Computation. J. Comput. Syst. Sci. 25 (3) (1982)
Raymond E. Miller, Chee-Keng Yap
On Formulating Simultaneity for Studying Parallelism and Synchronization. J. Comput. Syst. Sci. 20 (2) (1980)
Raymond E. Miller, Nicholas Pippenger, Arnold L. Rosenberg, Lawrence Snyder
Optimal 2, 3-Trees. SIAM J. Comput. 8 (1) (1979)
Raymond E. Miller, Takumi Kasai
Comparing models of parallel computation by homomorphisms. COMPSAC (1979)
Richard A. DeMillo, Raymond E. Miller
Implicit Computation of Synchronization Primitives. Inf. Process. Lett. 9 (1) (1979)
Richard J. Lipton, Raymond E. Miller
A Batching Method for Coloring Planar Graphs. Inf. Process. Lett. 7 (4) (1978)
Raymond E. Miller, Chee-Keng Yap
On Formulating Simultaneity for Studying Parallelism and Synchronization STOC (1978)
Raymond E. Miller, Chee-Keng Yap
On the formal specification and analysis for loosely connected processes. Mathematical Studies of Information Processing (1978)
Richard J. Lipton, Raymond E. Miller, Lawrence Snyder
Synchronization and Computing Capabilities of Linear Asynchronous Structures. J. Comput. Syst. Sci. 14 (1) (1977)
Richard J. Lipton, Raymond E. Miller, Lawrence Snyder
Synchronization and Computing Capabilities of Linear Asynchronous Structures FOCS (1975)
Raymond E. Miller
A Comparison of Some Theoretical Models of Parallel Computation. IEEE Trans. Computers 22 (8) (1973)
Raymond E. Miller
A boundary between decidability and undecidability for parallel program schemata (Extended Abstract). Proving Assertions About Programs (1972)
David E. Muller, Raymond E. Miller
A Generalization of the Theory of Incompletely Specified Machines. J. Comput. Syst. Sci. 6 (5) (1972)
Raymond E. Miller, John Cocke
Configurable computers: a new class of general purpose machines. International Sympoisum on Theoretical Programming (1972)
Richard M. Karp, Raymond E. Miller, Arnold L. Rosenberg
Rapid Identification of Repeated Patterns in Strings, Trees and Arrays STOC (1972)
Raymond E. Miller
Some Undecidability Results for Parallel Program Schemata. SIAM J. Comput. 1 (1) (1972)
Wm. A. Brinsfield, Raymond E. Miller
On the Composition of Parallel Program Schemata SWAT (1971)
Richard M. Karp, Raymond E. Miller
Parallel Program Schemata. J. Comput. Syst. Sci. 3 (2) (1969)
Richard M. Karp, Raymond E. Miller
Parallel Program Schemata: A Mathematical Model for Parallel Computation SWAT (1967)
Richard M. Karp, Raymond E. Miller, Shmuel Winograd
The Organization of Computations for Uniform Recurrence Equations. J. ACM 14 (3) (1967)
Lawrence Paul Horwitz, Richard M. Karp, Raymond E. Miller, Shmuel Winograd
Index Register Allocation. J. ACM 13 (1) (1966)
Raymond E. Miller, Shmuel Winograd
On the Number of Transitions Entering the States of a Finite Automaton. IEEE Trans. Electron. Comput. 13 (4) (1964)
Raymond E. Miller
A survey of asynchronous logic: Comparing various definitions and models for asynchronous switching circuits SWCT (1963)
J. C. Beatty, Raymond E. Miller
Some theorems for incompletely specified sequential machines with applications to state minimization SWCT (1962)
Raymond E. Miller
An introduction to speed independent circuit theory SWCT (1961)
Raymond E. Miller, John L. Selfridge
Maximal Paths on Rectangular Boards. IBM J. Res. Dev. 4 (5) (1960)
Raymond E. Miller
Formal Analysis and Synthesis of Bilateral Switching Networks. IRE Trans. Electron. Comput. 7 (3) (1958)