Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarRaymond 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
export refined list as
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
- [c37]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. Comput. Commun. 27(13): 1278-1287 (2004) - 2003
- [j35]Raymond E. Miller:
JACM 1973-1975. J. ACM 50(1): 15 (2003) - 2002
- [c36]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 - [c35]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
- [c34]Raymond E. Miller, Khaled A. Arisha:
Fault Identification in Networks by Passive Testing. Annual Simulation Symposium 2001: 277-284 - [c33]Raymond E. Miller, Khaled A. Arisha:
Fault management using passive testing for mobile IPv6 networks. GLOBECOM 2001: 1923-1927 - [c32]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) - [c31]Raymond E. Miller, Z. U. Chaudry:
On estimating protocol performance from a formal specification. IPCCC 1999: 157-163 - 1998
- [c30]Jun-Cheol Park, Raymond E. Miller:
A Proof Technique for Liveness Properties of Multifunction Composite Protocols. ICNP 1998: 219-226 - 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. Comput. Commun. 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]Hong Liu, Raymond E. Miller:
Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines. ICNP 1996: 76-83 - [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]Hong Liu, Raymond E. Miller:
Reachability Problems for Cyclic Protocols. ICCCN 1995: 32 - [c23]Hong Liu, Raymond E. Miller:
Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions. ICNP 1995: 6-13 - [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]Hong Liu, Raymond E. Miller:
Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems. ICNP 1994: 100-107 - [c20]Hong Liu, Raymond E. Miller:
Generalized fair reachability analysis for cyclic protocols: part 1. PSTV 1994: 271-286 - 1993
- [j28]James E. Burns, Mohamed G. Gouda, Raymond E. Miller:
Stabilization and Pseudo-Stabilization. Distributed Comput. 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 Comput. 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 Comput. 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. Comput. 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, USA. 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]Lawrence Paul 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. Electron. Comput. 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]Raymond E. Miller:
An introduction to speed independent circuit theory. SWCT (FOCS) 1961: 87-93 - 1960
- [j2]Raymond E. Miller, John L. Selfridge:
Maximal Paths on Rectangular Boards. IBM J. Res. Dev. 4(5): 479-486 (1960)
1950 – 1959
- 1958
- [j1]Raymond E. Miller:
Formal Analysis and Synthesis of Bilateral Switching Networks. IRE Trans. Electron. Comput. 7(3): 231-244 (1958)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-05-26 23:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
