Raymond E. Miller
Person information
- affiliation: University of Maryland, College Park, USA
- award: ACM Distinguished Service Award, 2002
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2000 – 2009
- 2006
- [j38]Raymond E. Miller:
Graduate Student Experiences at Illinois. IEEE Annals of the History of Computing 28(2): 56-62 (2006) - [j37]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) - 2005
- [c36]Raymond E. Miller, Dongluo Chen, David Lee, Ruibing Hao:
Coping with Nondeterminism in Network Protocol Testing. TestCom 2005: 129-145 - 2004
- [j36]Sneha Kumar Kasera, Raymond E. Miller, Markus Hofmann:
A profitable multicast business model. Computer Communications 27(13): 1278-128 (2004) - 2003
- [j35]
- 2002
- [c35]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 - [c34]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 - 2001
- [c33]Raymond E. Miller, Khaled A. Arisha:
Fault Identification in Networks by Passive Testing. Annual Simulation Symposium 2001: 277-284 - [c32]Raymond E. Miller, Khaled A. Arisha:
Fault management using passive testing for mobile IPv6 networks. GLOBECOM 2001: 1923-1927 - [c31]Raymond E. Miller, Khaled A. Arisha:
Fault Coverage in Networks by Passive Testing. International Conference on Internet Computing (1) 2001: 413-419
1990 – 1999
- 1999
- [j34]G. Ramalingam, Junehwa Song, Leo Joskowicz, Raymond E. Miller:
Solving Systems of Difference Constraints Incrementally. Algorithmica 23(3): 261-275 (1999) - [j33]Raymond E. Miller, Zafar Ullah Chaudhry:
Estimating protocol performance using a formal specification model. Int. J. Communication Systems 12(5-6): 325-347 (1999) - [j32]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) - [c30]Raymond E. Miller, Z. U. Chaudry:
On estimating protocol performance from a formal specification. IPCCC 1999: 157-163 - 1997
- [c29]Jun-Cheol Park, Raymond E. Miller:
Synthesizing Protocol Specifications from Service Specifications in Timed Extended Finite State Machines. ICDCS 1997: 253-260 - [c28]Jun-Cheol Park, Raymond E. Miller:
A Compositional Approach for Designing Multifunction Time-Dependent Protocols. ICNP 1997: 105-112 - 1996
- [j31]Hong Liu, Raymond E. Miller:
An approach to cyclic protocol validation. Computer Communications 19(14): 1175-1187 (1996) - [j30]Hong Liu, Raymond E. Miller:
Generalized fair reachability analysis for cyclic protocols. IEEE/ACM Trans. Netw. 4(2): 192-204 (1996) - [c27]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 - [c26]
- [c25]Junehwa Song, Michelle Y. Kim, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi:
Interactive Authoring of Multimedia Documents. VL 1996: 276-283 - 1995
- [c24]
- [c23]
- [c22]Sanjoy Paul, Raymond E. Miller:
Locating Faults in a Systematic Manner in a Large Heterogeneous Network. INFOCOM 1995: 522-529 - 1994
- [j29]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) - [c21]
- [c20]
- 1993
- [j28]James E. Burns, Mohamed G. Gouda, Raymond E. Miller:
Stabilization and Pseudo-Stabilization. Distributed Computing 7(1): 35-42 (1993) - [j27]Gilbert M. Lundy, Raymond E. Miller:
Analyzing a CSMA/CD protocol through a Systems of Communicating Machines Specification. IEEE Trans. Communications 41(3): 447-449 (1993) - [j26]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) - [c19]Raymond E. Miller, Sanjoy Paul:
Generating maximal fault coverage conformance test sequences of reduced length for communication protocols. ICNP 1993: 217-224 - 1992
- [c18]Raymond E. Miller, Sanjoy Paul:
Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols. PSTV 1992: 13-27 - 1991
- [j25]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) - [j24]Murali Rajagopal, Raymond E. Miller:
Synthesizing a Protocol Converter from Executable Protocol Traces. IEEE Trans. Computers 40(4): 487-499 (1991) - [j23]Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller:
Block acknowledgment: redesigning the window protocol. IEEE Trans. Communications 39(4): 524-532 (1991) - [c17]Ming T. Liu, Mohamed G. Gouda, Raymond E. Miller, Krishan K. Sabnani:
Protocol engineering (panel session). ACM Conference on Computer Science 1991: 703 - [c16]Raymond E. Miller, Sanjoy Paul:
Generating Minimal Length Test Sequences for Conformance Testing of Communication Protocols. INFOCOM 1991: 970-979 - 1990
- [c15]Raymond E. Miller:
Protocol verification: the first ten years, the next ten years; some personal observations. PSTV 1990: 199-225
1980 – 1989
- 1989
- [c14]Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller:
Block Acknowledgement: Redesigning the Window Protocol. SIGCOMM 1989: 128-135 - 1987
- [j22]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) - [j21]Taylor L. Booth, Raymond E. Miller:
Computer Science Program Accreditation: The First-Year Activities of the Computing Sciences Accreditation Board. IEEE Computer 20(5): 94-102 (1987) - [j20]Raymond E. Miller:
The Construction of Self-Synchronizing Finite State Protocols. Distributed Computing 2(2): 104-112 (1987) - 1986
- [j19]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) - [j18]Tat Y. Choi, Raymond E. Miller:
Protocol Analysis and Synthesis by Structured Partitions. Computer Networks 11: 367-381 (1986) - [j17]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) - 1985
- [j16]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. IEEE Computer 18(5): 101-105 (1985) - 1983
- [c13]Tat Y. Choi, Raymond E. Miller:
Network protocol: A structured approach. ACM Annual Conference 1983: 155-162 - [c12]Tat Y. Choi, Raymond E. Miller:
A decomposition method for the analysis and design of finite state protocols. SIGCOMM 1983: 167-176 - 1982
- [j15]Takumi Kasai, Raymond E. Miller:
Homomorphisms between Models of Parallel Computation. J. Comput. Syst. Sci. 25(3): 285-331 (1982) - 1980
- [j14]Raymond E. Miller, Chee-Keng Yap:
On Formulating Simultaneity for Studying Parallelism and Synchronization. J. Comput. Syst. Sci. 20(2): 203-218 (1980) - [e2]Raymond E. Miller, Seymour Ginsburg, Walter A. Burkhard, Richard J. Lipton:
Proceedings of the 12th Annual ACM Symposium on Theory of Computing, April 28-30, 1980, Los Angeles, California, USA. ACM 1980 [contents]
1970 – 1979
- 1979
- [j13]Richard A. DeMillo, Raymond E. Miller:
Implicit Computation of Synchronization Primitives. Inf. Process. Lett. 9(1): 35-38 (1979) - [j12]Raymond E. Miller, Nicholas Pippenger, Arnold L. Rosenberg, Lawrence Snyder:
Optimal 2, 3-Trees. SIAM J. Comput. 8(1): 42-59 (1979) - [c11]Raymond E. Miller, Takumi Kasai:
Comparing models of parallel computation by homomorphisms. COMPSAC 1979: 794-799 - 1978
- [j11]Richard J. Lipton, Raymond E. Miller:
A Batching Method for Coloring Planar Graphs. Inf. Process. Lett. 7(4): 185-188 (1978) - [c10]Raymond E. Miller, Chee-Keng Yap:
On the formal specification and analysis for loosely connected processes. Mathematical Studies of Information Processing 1978: 33-66 - [c9]Raymond E. Miller, Chee-Keng Yap:
On Formulating Simultaneity for Studying Parallelism and Synchronization. STOC 1978: 105-113 - 1977
- [j10]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) - 1975
- [c8]Richard J. Lipton, Raymond E. Miller, Lawrence Snyder:
Synchronization and Computing Capabilities of Linear Asynchronous Structures. FOCS 1975: 19-28 - 1973
- [j9]Raymond E. Miller:
A Comparison of Some Theoretical Models of Parallel Computation. IEEE Trans. Computers 22(8): 710-717 (1973) - 1972
- [j8]David E. Muller, Raymond E. Miller:
A Generalization of the Theory of Incompletely Specified Machines. J. Comput. Syst. Sci. 6(5): 419-447 (1972) - [j7]Raymond E. Miller:
Some Undecidability Results for Parallel Program Schemata. SIAM J. Comput. 1(1): 119-129 (1972) - [c7]Raymond E. Miller, John Cocke:
Configurable computers: a new class of general purpose machines. International Sympoisum on Theoretical Programming 1972: 285-298 - [c6]Richard M. Karp, Raymond E. Miller, Arnold L. Rosenberg:
Rapid Identification of Repeated Patterns in Strings, Trees and Arrays. STOC 1972: 125-136 - [e1]Raymond E. Miller, James W. Thatcher:
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 [contents] - 1971
- [c5]Wm. A. Brinsfield, Raymond E. Miller:
On the Composition of Parallel Program Schemata. SWAT (FOCS) 1971: 20-23
1960 – 1969
- 1969
- [j6]Richard M. Karp, Raymond E. Miller:
Parallel Program Schemata. J. Comput. Syst. Sci. 3(2): 147-195 (1969) - 1967
- [j5]Richard M. Karp, Raymond E. Miller, Shmuel Winograd:
The Organization of Computations for Uniform Recurrence Equations. J. ACM 14(3): 563-590 (1967) - [c4]Richard M. Karp, Raymond E. Miller:
Parallel Program Schemata: A Mathematical Model for Parallel Computation. SWAT (FOCS) 1967: 55-61 - 1966
- [j4]L. P. Horwitz, Richard M. Karp, Raymond E. Miller, Shmuel Winograd:
Index Register Allocation. J. ACM 13(1): 43-61 (1966) - 1964
- [j3]Raymond E. Miller, Shmuel Winograd:
On the Number of Transitions Entering the States of a Finite Automaton. IEEE Trans. Electronic Computers 13(4): 463-464 (1964) - 1963
- [c3]Raymond E. Miller:
A survey of asynchronous logic: Comparing various definitions and models for asynchronous switching circuits. SWCT (FOCS) 1963: 149-152 - 1962
- [c2]J. C. Beatty, Raymond E. Miller:
Some theorems for incompletely specified sequential machines with applications to state minimization. SWCT (FOCS) 1962: 123-136 - 1961
- [c1]
- 1960
- [j2]Raymond E. Miller, John L. Selfridge:
Maximal Paths on Rectangular Boards. IBM Journal of Research and Development 4(5): 479-486 (1960)
1950 – 1959
- 1958
- [j1]Raymond E. Miller:
Formal Analysis and Synthesis of Bilateral Switching Networks. IRE Trans. Electronic Computers 7(3): 231-244 (1958)
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-12-10 23:13 CET by the dblp team