Raymond E. Miller

IEEE Ann. Hist. Comput., 2006

2005

Coping with Nondeterminism in Network Protocol Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2005

2004

A profitable multicast business model.

[BibT_eX]

[DOI]

Sneha Kumar Kasera

Markus Hofmann

Comput. Commun., 2004

2003

JACM 1973-1975.

[BibT_eX]

[DOI]

J. ACM, 2003

2002

Specification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating Machines.

[BibT_eX]

[DOI]

Moustafa A. Youssef

Arunchandar Vasan

Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

A Formal Approach for Passive Testing of Protocol Data Portions.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

2001

Fault Coverage in Networks by Passive Testing.

[BibT_eX]

Khaled A. Arisha

Proceedings of the International Conference on Internet Computing, 2001

Fault management using passive testing for mobile IPv6 networks.

[BibT_eX]

[DOI]

Khaled A. Arisha

Proceedings of the Global Telecommunications Conference, 2001

Fault Identification in Networks by Passive Testing.

[BibT_eX]

[DOI]

Khaled A. Arisha

Proceedings of the Proceedings 34th Annual Simulation Symposium (SS 2001), 2001

1999

Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System.

[BibT_eX]

[DOI]

Multim. Syst., 1999

Estimating protocol performance using a formal specification model.

[BibT_eX]

[DOI]

Zafar Ullah Chaudhry

Int. J. Commun. Syst., 1999

Solving Systems of Difference Constraints Incrementally.

[BibT_eX]

[DOI]

Algorithmica, 1999

On estimating protocol performance from a formal specification.

[BibT_eX]

[DOI]

Z. U. Chaudry

Proceedings of the IEEE International Performance Computing and Communications Conference, 1999

1998

A Proof Technique for Liveness Properties of Multifunction Composite Protocols.

[BibT_eX]

[DOI]

Jun-Cheol Park

Proceedings of the 1998 International Conference on Network Protocols (ICNP '98), 1998

1997

A Compositional Approach for Designing Multifunction Time-Dependent Protocols.

[BibT_eX]

[DOI]

Jun-Cheol Park

Proceedings of the 1997 International Conference on Network Protocols (ICNP '97), 1997

Synthesizing Protocol Specifications from Service Specifications in Timed Extended Finite State Machines.

[BibT_eX]

[DOI]

Jun-Cheol Park

Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

1996

Generalized fair reachability analysis for cyclic protocols.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 1996

An approach to cyclic protocol validation.

[BibT_eX]

[DOI]

Comput. Commun., 1996

Interactive Authoring of Multimedia Documents.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the 1996 International Conference on Network Protocols, 1996

Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?).

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995

Locating Faults in a Systematic Manner in a Large Heterogeneous Network.

[BibT_eX]

Proceedings of the Proceedings IEEE INFOCOM '95, 1995

Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions.

[BibT_eX]

[DOI]

Proceedings of the 1995 International Conference on Network Protocols, 1995

Reachability Problems for Cyclic Protocols.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995

1994

Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequences.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 1994

Generalized fair reachability analysis for cyclic protocols: part 1.

[BibT_eX]

Proceedings of the Protocol Specification, 1994

Generalized fair reachability analysis for cyclic protocols: decidability for logical correctness problems.

[BibT_eX]

[DOI]

Proceedings of the 1994 International Conference on Network Protocols, 1994

1993

On the generation of minimal-length conformance tests for communication protocols.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 1993

Analyzing a CSMA/CD protocol through a Systems of Communicating Machines Specification.

[BibT_eX]

[DOI]

Gilbert M. Lundy

IEEE Trans. Commun., 1993

Stabilization and Pseudo-Stabilization.

[BibT_eX]

[DOI]

James E. Burns

Mohamed G. Gouda

Distributed Comput., 1993

Generating maximal fault coverage conformance test sequences of reduced length for communication protocols.

[BibT_eX]

[DOI]

Proceedings of the 1993 International Conference on Network Protocols, 1993

1992

Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols.

[BibT_eX]

Proceedings of the Protocol Specification, 1992

1991

Block acknowledgment: redesigning the window protocol.

[BibT_eX]

[DOI]

Geoffrey M. Brown

Mohamed G. Gouda

IEEE Trans. Commun., 1991

Synthesizing a Protocol Converter from Executable Protocol Traces.

[BibT_eX]

[DOI]

Murali Rajagopal

IEEE Trans. Computers, 1991

Specification and Analysis of a Data Transfer Protocol Using Systems of Communicating Machines.

[BibT_eX]

[DOI]

Gilbert M. Lundy

Distributed Comput., 1991

Generating Minimal Length Test Sequences for Conformance Testing of Communication Protocols.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM '91, 1991

Protocol engineering (panel session).

[BibT_eX]

[DOI]

Proceedings of the 19th annual conference on Computer Science, 1991

1990

Protocol verification: the first ten years, the next ten years; some personal observations.

[BibT_eX]

Proceedings of the Protocol Specification, 1990

1989

Block Acknowledgement: Redesigning the Window Protocol.

[BibT_eX]

[DOI]

Geoffrey M. Brown

Mohamed G. Gouda

Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989

1987

The Construction of Self-Synchronizing Finite State Protocols.

[BibT_eX]

[DOI]

Distributed Comput., 1987

Computer Science Program Accreditation: The First-Year Activities of the Computing Sciences Accreditation Board.

[BibT_eX]

[DOI]

Taylor L. Booth

Computer, 1987

Computer Science Program Acceditation: The First-Year Activities of the Computer Science Accreditation Board.

[BibT_eX]

[DOI]

Taylor L. Booth

Commun. ACM, 1987

1986

Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding.

[BibT_eX]

[DOI]

Computer, 1986

Protocol Analysis and Synthesis by Structured Partitions.

[BibT_eX]

[DOI]

Tat Y. Choi

Comput. Networks, 1986

1985

1984 Snowbird Report: Future Issues in Computer Science.

[BibT_eX]

[DOI]

Computer, 1985

Computer science accreditation (panel session): an introduction and status of the national program.

[BibT_eX]

[DOI]

Proceedings of the 16th SIGCSE Technical Symposium on Computer Science Education, 1985

1983

A decomposition method for the analysis and design of finite state protocols.

[BibT_eX]

[DOI]

Tat Y. Choi

Proceedings of the Eighth Symposium on Data Communications, 1983

Network protocol: A structured approach.

[BibT_eX]

[DOI]

Tat Y. Choi

Proceedings of the 1983 Annual Conference on Computers: extending the human resource, 1983

1982

Homomorphisms between Models of Parallel Computation.

[BibT_eX]

[DOI]

Takumi Kasai

J. Comput. Syst. Sci., 1982

1980

On Formulating Simultaneity for Studying Parallelism and Synchronization.

[BibT_eX]

[DOI]

Chee-Keng Yap

J. Comput. Syst. Sci., 1980

1979

Optimal 2, 3-Trees.

[BibT_eX]

[DOI]

SIAM J. Comput., 1979

Implicit Computation of Synchronization Primitives.

[BibT_eX]

[DOI]

Richard A. DeMillo

Inf. Process. Lett., 1979

Comparing models of parallel computation by homomorphisms.

[BibT_eX]

[DOI]

Takumi Kasai

Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979

1978

A Batching Method for Coloring Planar Graphs.

[BibT_eX]

[DOI]

Richard J. Lipton

Inf. Process. Lett., 1978

On the formal specification and analysis for loosely connected processes.

[BibT_eX]

[DOI]

Chee-Keng Yap

Proceedings of the Mathematical Studies of Information Processing, 1978

1977

Synchronization and Computing Capabilities of Linear Asynchronous Structures.

[BibT_eX]

[DOI]

Richard J. Lipton

Lawrence Snyder

J. Comput. Syst. Sci., 1977

1973

A Comparison of Some Theoretical Models of Parallel Computation.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1973

1972

Some Undecidability Results for Parallel Program Schemata.

[BibT_eX]

[DOI]

SIAM J. Comput., 1972

A Generalization of the Theory of Incompletely Specified Machines.

[BibT_eX]

[DOI]

David E. Muller

J. Comput. Syst. Sci., 1972

Rapid Identification of Repeated Patterns in Strings, Trees and Arrays

[BibT_eX]

[DOI]

Arnold L. Rosenberg

Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972

A boundary between decidability and undecidability for parallel program schemata (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of ACM Conference on Proving Assertions About Programs, 1972

Configurable computers: a new class of general purpose machines.

[BibT_eX]

[DOI]

John Cocke

Proceedings of the International Sympoisum on Theoretical Programming, 1972

1971

On the Composition of Parallel Program Schemata

[BibT_eX]

[DOI]

Wm. A. Brinsfield

Proceedings of the 12th Annual Symposium on Switching and Automata Theory, 1971

1969

Parallel Program Schemata.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1969

1967

The Organization of Computations for Uniform Recurrence Equations.

[BibT_eX]

[DOI]

Shmuel Winograd

J. ACM, 1967

Parallel Program Schemata: A Mathematical Model for Parallel Computation

[BibT_eX]

[DOI]

Proceedings of the 8th Annual Symposium on Switching and Automata Theory, 1967

1966

Index Register Allocation.

[BibT_eX]

[DOI]

Lawrence Paul Horwitz

Shmuel Winograd

J. ACM, 1966

1964

On the Number of Transitions Entering the States of a Finite Automaton.

[BibT_eX]

[DOI]

Shmuel Winograd

IEEE Trans. Electron. Comput., 1964

1963

A survey of asynchronous logic: Comparing various definitions and models for asynchronous switching circuits

[BibT_eX]

[DOI]

Proceedings of the 4th Annual Symposium on Switching Circuit Theory and Logical Design, 1963

1962

Some theorems for incompletely specified sequential machines with applications to state minimization

[BibT_eX]

[DOI]

J. C. Beatty

Proceedings of the 3rd Annual Symposium on Switching Circuit Theory and Logical Design, 1962

1961

An introduction to speed independent circuit theory

[BibT_eX]

[DOI]

Proceedings of the 2nd Annual Symposium on Switching Circuit Theory and Logical Design, 1961

1960

Maximal Paths on Rectangular Boards.

[BibT_eX]

[DOI]

John L. Selfridge

IBM J. Res. Dev., 1960

1958

Formal Analysis and Synthesis of Bilateral Switching Networks.

[BibT_eX]

[DOI]

IRE Trans. Electron. Comput., 1958

1957

Formal Analysis and Synthesis of Bilateral Switching Networks

[BibT_eX]

[DOI]