Raymond E. Miller - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 74 from 74

2006

Network protocol system monitoring: a formal approach with passive testingDavid Lee, Dongluo Chen, Ruibing Hao, Raymond E. Miller, Jianping Wu, Xia Yin. ton, 14(2):424-437, 2006. [doi]

Graduate Student Experiences at IllinoisRaymond E. Miller. annals, 28(2):56-62, 2006. [doi]

2005

Coping with Nondeterminism in Network Protocol TestingRaymond E. Miller, Dongluo Chen, David Lee, Ruibing Hao. pts 2005: 129-145 [doi]

2004

A profitable multicast business modelSneha Kumar Kasera, Raymond E. Miller, Markus Hofmann. comcom, 27(13):1278-128, 2004. [doi]

2003

JACM 1973-1975Raymond E. Miller. JACM, 50(1):15, 2003. [doi]

2002

A Formal Approach for Passive Testing of Protocol Data PortionsDavid Lee, Dongluo Chen, Ruibing Hao, Raymond E. Miller, Jianping Wu, Xia Yin. icnp 2002: 122-131 [doi]

Specification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating MachinesMoustafa A. Youssef, Arunchandar Vasan, Raymond E. Miller. icnp 2002: 132-143 [doi]

2001

Fault management using passive testing for mobile IPv6 networksRaymond E. Miller, Khaled A. Arisha. globecom 2001: 1923-1927 [doi]

Fault Coverage in Networks by Passive TestingRaymond E. Miller, Khaled A. Arisha. ic 2001: 413-419

Fault Identification in Networks by Passive TestingRaymond E. Miller, Khaled A. Arisha. anss 2001: 277-284 [doi]

1999

Estimating protocol performance using a formal specification modelRaymond E. Miller, Zafar Ullah Chaudhry. ijcomsys, 12(5-6):325-347, 1999. [doi]

Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring SystemJunehwa Song, Ganesan Ramalingam, Raymond E. Miller, Byoung-Kee Yi. mms, 7(5):424-437, 1999. [doi]

1997

A Compositional Approach for Designing Multifunction Time-Dependent ProtocolsJun-Cheol Park, Raymond E. Miller. icnp 1997: 105-112 [doi]

Synthesizing Protocol Specifications from Service Specifications in Timed Extended Finite State MachinesJun-Cheol Park, Raymond E. Miller. icdcs 1997: 253-260

1996

1995

Reachability Problems for Cyclic ProtocolsHong Liu, Raymond E. Miller. icccn 1995: 32 [doi]

Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitionsHong Liu, Raymond E. Miller. icnp 1995: 6-13 [doi]

Locating Faults in a Systematic Manner in a Large Heterogeneous NetworkSanjoy Paul, Raymond E. Miller. infocom 1995: 522-529

1994

Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problemsHong Liu, Raymond E. Miller. icnp 1994: 100-107 [doi]

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

Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequencesRaymond E. Miller, Sanjoy Paul. ton, 2(5):457-470, 1994. [doi]

1993

1992

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

1991

1990

Protocol verification: the first ten years, the next ten years; some personal observationsRaymond E. Miller. pstv 1990: 199-225

1989

Block Acknowledgement: Redesigning the Window ProtocolGeoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller. sigcomm 1989: 128-135 [doi]

1987

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

Computer Science Program Accreditation: The First-Year Activities of the Computing Sciences Accreditation BoardTaylor L. Booth, Raymond E. Miller. Computer, 20(5):94-102, 1987. [doi]

The Construction of Self-Synchronizing Finite State ProtocolsRaymond E. Miller. dc, 2(2):104-112, 1987.

1986

Protocol Analysis and Synthesis by Structured PartitionsTat Y. Choi, Raymond E. Miller. cn, 11:367-381, 1986.

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

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

1985

1983

A decomposition method for the analysis and design of finite state protocolsTat Y. Choi, Raymond E. Miller. sigcomm 1983: 167-176 [doi]

Network protocol: A structured approachTat Y. Choi, Raymond E. Miller. acm 1983: 155-162 [doi]

1982

Homomorphisms between Models of Parallel ComputationTakumi Kasai, Raymond E. Miller. jcss, 25(3):285-331, 1982.

1980

On Formulating Simultaneity for Studying Parallelism and SynchronizationRaymond E. Miller, Chee-Keng Yap. jcss, 20(2):203-218, 1980.

1979

Implicit Computation of Synchronization PrimitivesRichard A. DeMillo, Raymond E. Miller. ipl, 9(1):35-38, 1979.

Comparing models of parallel computation by homomorphismsRaymond E. Miller, Takumi Kasai. compsac 1979: 794-799 [doi]

Optimal 2, 3-TreesRaymond E. Miller, Nicholas Pippenger, Arnold L. Rosenberg, Lawrence Snyder. SICOMP, 8(1):42-59, 1979.

1978

A Batching Method for Coloring Planar GraphsRichard J. Lipton, Raymond E. Miller. ipl, 7(4):185-188, 1978.

On the formal specification and analysis for loosely connected processesRaymond E. Miller, Chee-Keng Yap. msi 1979: 33-66

On Formulating Simultaneity for Studying Parallelism and SynchronizationRaymond E. Miller, Chee-Keng Yap. stoc 1978: 105-113

1977

Synchronization and Computing Capabilities of Linear Asynchronous StructuresRichard J. Lipton, Raymond E. Miller, Lawrence Snyder. jcss, 14(1):49-72, 1977.

1975

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

1973

A Comparison of Some Theoretical Models of Parallel ComputationRaymond E. Miller. TC, 22(8):710-717, 1973. [doi]

1972

1971

On the Composition of Parallel Program SchemataWm. A. Brinsfield, Raymond E. Miller. focs 1971: 20-23

1969

Parallel Program SchemataRichard M. Karp, Raymond E. Miller. jcss, 3(2):147-195, 1969.

1967

Parallel Program Schemata: A Mathematical Model for Parallel ComputationRichard M. Karp, Raymond E. Miller. focs 1967: 55-61

The Organization of Computations for Uniform Recurrence EquationsRichard M. Karp, Raymond E. Miller, Shmuel Winograd. JACM, 14(3):563-590, 1967. [doi]

1966

Index Register AllocationL. P. Horwitz, Richard M. Karp, Raymond E. Miller, Shmuel Winograd. JACM, 13(1):43-61, 1966. [doi]

1964

On the Number of Transitions Entering the States of a Finite AutomatonRaymond E. Miller, Shmuel Winograd. TC, 13(4):463-464, 1964. [doi]

1963

A survey of asynchronous logic: Comparing various definitions and models for asynchronous switching circuitsRaymond E. Miller. focs 1963: 149-152

1962

Some theorems for incompletely specified sequential machines with applications to state minimizationJ. C. Beatty, Raymond E. Miller. focs 1962: 123-136

1961

An introduction to speed independent circuit theoryRaymond E. Miller. focs 1961: 87-93

1960

Maximal Paths on Rectangular BoardsRaymond E. Miller, John L. Selfridge. ibmrd, 4(5):479-486, 1960. [doi]

1958

Formal Analysis and Synthesis of Bilateral Switching NetworksRaymond E. Miller. TC, 7(3):231-244, 1958. [doi]

1957

Formal Analysis and Synthesis of Bilateral Switching NetworksRaymond E. Miller. PhD thesis, University of Illinois Urbana-Champaign, USA, 1957. [doi]

Sign in or sign up to see more results.

runs on WebDSL