default search action
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
export refined list as
2000 – 2009
- 2006
- [j38]Raymond E. Miller:
Graduate Student Experiences at Illinois. IEEE Ann. Hist. Comput. 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
- [c39]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
- [c38]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 - [c37]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
- [c36]Raymond E. Miller, Khaled A. Arisha:
Fault Identification in Networks by Passive Testing. Annual Simulation Symposium 2001: 277-284 - [c35]Raymond E. Miller, Khaled A. Arisha:
Fault management using passive testing for mobile IPv6 networks. GLOBECOM 2001: 1923-1927 - [c34]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
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. Commun. Syst. 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. Multim. Syst. 7(5): 424-437 (1999) - [c33]Raymond E. Miller, Z. U. Chaudry:
On estimating protocol performance from a formal specification. IPCCC 1999: 157-163 - 1998
- [c32]Jun-Cheol Park, Raymond E. Miller:
A Proof Technique for Liveness Properties of Multifunction Composite Protocols. ICNP 1998: 219-226 - 1997
- [c31]Jun-Cheol Park, Raymond E. Miller:
Synthesizing Protocol Specifications from Service Specifications in Timed Extended Finite State Machines. ICDCS 1997: 253-260 - [c30]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) - [c29]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 - [c28]Hong Liu, Raymond E. Miller:
Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines. ICNP 1996: 76-83 - [c27]Junehwa Song, Michelle Y. Kim, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi:
Interactive Authoring of Multimedia Documents. VL 1996: 276-283 - 1995
- [c26]Hong Liu, Raymond E. Miller:
Reachability Problems for Cyclic Protocols. ICCCN 1995: 32 - [c25]Hong Liu, Raymond E. Miller:
Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions. ICNP 1995: 6-13 - [c24]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) - [c23]Hong Liu, Raymond E. Miller:
Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems. ICNP 1994: 100-107 - [c22]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. Commun. 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) - [c21]Raymond E. Miller, Sanjoy Paul:
Generating maximal fault coverage conformance test sequences of reduced length for communication protocols. ICNP 1993: 217-224 - 1992
- [c20]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. Commun. 39(4): 524-532 (1991) - [c19]Ming T. Liu, Mohamed G. Gouda, Raymond E. Miller, Krishan K. Sabnani:
Protocol engineering (panel session). ACM Conference on Computer Science 1991: 703 - [c18]Raymond E. Miller, Sanjoy Paul:
Generating Minimal Length Test Sequences for Conformance Testing of Communication Protocols. INFOCOM 1991: 970-979 - 1990
- [c17]Raymond E. Miller:
Protocol verification: the first ten years, the next ten years; some personal observations. PSTV 1990: 199-225
1980 – 1989
- 1989
- [c16]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. 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
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
Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. 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. Computer 18(5): 101-105 (1985) - [c15]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: 89 - 1983
- [c14]Tat Y. Choi, Raymond E. Miller:
Network protocol: A structured approach. ACM Annual Conference 1983: 155-162 - [c13]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) - [c12]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) - [c11]Raymond E. Miller, Chee-Keng Yap:
On the formal specification and analysis for loosely connected processes. Mathematical Studies of Information Processing 1978: 33-66 - [c10]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
- [c9]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) - [c8]Raymond E. Miller, John Cocke:
Configurable computers: a new class of general purpose machines. International Sympoisum on Theoretical Programming 1972: 285-298 - [c7]Raymond E. Miller:
A boundary between decidability and undecidability for parallel program schemata (Extended Abstract). Proving Assertions About Programs 1972: 116-120 - [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 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 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 1963: 149-152 - 1962
- [c2]James C. Beatty, Raymond E. Miller:
Some theorems for incompletely specified sequential machines with applications to state minimization. SWCT 1962: 123-136 - 1961
- [c1]Raymond E. Miller:
An introduction to speed independent circuit theory. SWCT 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) - 1957
- [b1]Raymond E. Miller:
Formal Analysis and Synthesis of Bilateral Switching Networks. University of Illinois Urbana-Champaign, USA, 1957
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).
Privacy notice: By enabling the option above, your browser will contact the API of 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, opencitations.net, and semanticscholar.org to load article reference 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, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
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 and semanticscholar.org 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 as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional 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 information given by OpenAlex.
last updated on 2024-10-07 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: