Raymond E. Miller

80 papers A* 8A 3B 11C 1Journal 38Unranked 17

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