Efficient Procedures for Using Matrix Algorithms. - Patrick C. Fischer; Robert L. Probert (ICALP, 1974)

SIGACT (Paper Session). - George T. Ligler; William C. Nylin Jr.; Patrick Wang; Patrick C. Fischer; Robert L. Probert (ACM Annual Conference, 1976)

A note on matrix multiplication in a paging environment. - Patrick C. Fischer; Robert L. Probert (ACM Annual Conference, 1976)

Commutativity, Non-Commutativity, and Bilinearity. - Robert L. Probert (Inf. Process. Lett., 1976)

On the Additive Complexity of Matrix Multiplication. - Robert L. Probert (SIAM J. Comput., 1976)

An Extension of Computational Duality to Sequences of Bilinear Computations. - Robert L. Probert (SIAM J. Comput., 1978)

Storage Reorganization Techniques for Matrix Computation in a Paging Environment. - Patrick C. Fischer; Robert L. Probert (Commun. ACM, 1979)

Protocol/Specification-Level Validation. - Luigi Logrippo; Robert L. Probert (PSTV, 1982)

Optimal Insertion of Software Probes in Well-Delimited Programs. - Robert L. Probert (IEEE Trans. Software Eng., 1982)

Requirements for a Test Specification Language for Protocol Implementation Testing. - Robert L. Probert; Hasan Ural (Protocol Specification, Testing, and Verification, 1983)

User-Guided Test Sequence Generation. - Hasan Ural; Robert L. Probert (Protocol Specification, Testing, and Verification, 1983)

Automated testing of protocol specifications and their implementations. - Hasan Ural; Robert L. Probert (Comput. Commun. Rev., 1984)

High-level testing and example-directed development of software specifications. - Robert L. Probert; Hasan Ural (J. Syst. Softw., 1984)

Step-Wise Validation of Communication Protocols and Services. - Hasan Ural; Robert L. Probert (Comput. Networks, 1986)

Formalization of ISDN LAPD for Conformance Testing. - Teddy Boyce; T. Grenier; Robert L. Probert; Hasan Ural (INFOCOM, 1989)

A Comprehensive Software Environment for Developing Standardized Conformance Test Suites. - Robert L. Probert; Hasan Ural; Marc W. A. Hornbeek (Comput. Networks ISDN Syst., 1989)

Synthesis of Error-Recoverable Protocol Specifications from Service Specifications. - Kassem Saleh; Robert L. Probert (ICCI, 1990)

An Application of Explanation-Based Learning to Protocol Conformance Testing. - C. Geldrez; Stan Matwin; Johanne Morin; Robert L. Probert (IEEE Expert, 1990)

Computer Science and Communications Protocols: Research Relationships. - Robert L. Probert (ICCI, 1991)

Synthesis of Communication Protocols: Survey and Assessment. - Robert L. Probert; Kassem Saleh (IEEE Trans. Computers, 1991)

Summary of Panel Presentations and Discussion. - Robert L. Probert (Protocol Test Systems, 1992)

TTCN: The International Notation for Specifying Tests of Communcations Systems. - Robert L. Probert; Ostap Monkewich (Comput. Networks ISDN Syst., 1992)

Cause-effect graphing analysis and validation of requirements. - Khenaidoo Nursimulu; Robert L. Probert (CASCON, 1995)

Approach to constructing software unit testing tools. - Gang Luo; Robert L. Probert; Hasan Ural (Softw. Eng. J., 1995)

Validation-directed specification of communications systems. - Robert L. Probert; Kassem Saleh; Hualong Yu (Inf. Softw. Technol., 1995)

Recovery of Communications Protocol Design from Run Time Protocol Traces. - Kassem Saleh; M. Ilangovan; Robert L. Probert (ICECCS, 1996)

A practical strategy for testing pair-wise coverage of network interfaces. - Alan W. Williams; Robert L. Probert (ISSRE, 1996)

Protocol quality engineering: addressing industry concerns about formal methods. - Robert L. Probert; Ning Lew (Comput. Commun., 1996)

Conformance testing requirements for formal development of testability-directed PICSP. - Hazem El-Gendy; Robert L. Probert (CATA, 1998)

Corba-Based Telecom Application of Distributed Object Computing. - Kassem Saleh; Hassib Khanafer; Robert L. Probert; Hasan Ural (Applied Informatics, 1999)

Fast Functional Test Generation Using an SDL Model. - Robert L. Probert; Alan W. Williams (IWTCS, 1999)

Dynamic scenario-based approach to re-engineering of legacy telecommunication software. - Nikolai Mansurov; Robert L. Probert (SDL Forum, 1999)

Communications software engineering (CSE). - Kassem Saleh; Robert L. Probert (Inf. Softw. Technol., 1999)

Recovery of CFSM-based protocol and service design from protocol execution traces. - Kassem Saleh; Robert L. Probert; Khaled Al-Saqabi (Inf. Softw. Technol., 1999)

The distributed object computing paradigm: concepts and applications. - Kassem Saleh; Robert L. Probert; Hassib Khanafer (J. Syst. Softw., 1999)

CORBA-Based E-Commerce Application Testing Architecture. - Robert L. Probert; W. Li (AICCSA, 2001)

A Measure for Component Interaction Test Coverage. - Alan W. Williams; Robert L. Probert (AICCSA, 2001)

OSPF Efficient LSA Refreshment Function in SDL. - Ostap Monkewich; Igor Sales; Robert L. Probert (SDL Forum, 2001)

A scenario-based approach to the evolution of telecommunications software. - Nikolai Mansurov; Robert L. Probert (IEEE Commun. Mag., 2001)

Improving time-to-market using SDL tools and techniques. - Nikolai Mansurov; Robert L. Probert (Comput. Networks, 2001)

Rapid generation of functional tests using MSCs, SDL and TTCN. - Robert L. Probert; Hasan Ural; Alan W. Williams (Comput. Commun., 2001)

Specification-based regression test selection with risk analysis. - Yanping Chen 004; Robert L. Probert; D. Paul Sims (CASCON, 2002)

Formulation of the Interaction Test Coverage Problem as an Integer Program. - Alan W. Williams; Robert L. Probert (TestCom, 2002)

Rapid Development of Network Software via SDL/Socket Interfaces. - Tae-Hyong Kim; Robert L. Probert; Igor Sales; Alan W. Williams (SAM, 2002)

An approach for high-yield requirements capture for e-commerce and its application. - Kassem Saleh; Robert L. Probert; W. Li; W. Fong (Int. J. Digit. Libr., 2002)

E-Commerce Authentication: An Effective Countermeasures Design Model. - Victor D. Sawma; Robert L. Probert (ICEIS (3), 2003)

The Winning Entry of the SAM 2002 Design Contest: . - Alan W. Williams; Robert L. Probert; Qing Li; Tae-Hyong Kim (SDL Forum, 2003)

Formal verification and validation for e-commerce: theory and best practices. - Robert L. Probert; Yanping Chen 004; Behrad Ghazizadeh; D. Paul Sims; Maurus Cappa (Inf. Softw. Technol., 2003)

Effective test metrics for test strategy evolution. - Yanping Chen 004; Robert L. Probert; Kyle Robeson (CASCON, 2004)

Life-Cycle E-commerce Testing with OO-TTCN-3. - Robert L. Probert; Pulei Xiong; Bernard Stepien (FORTE Workshops, 2004)

SIP Vulnerabilities Testing in Session Establishment & User Registration. - Peter Qi Qiu; Ostap Monkewich; Robert L. Probert (ICETE (2), 2004)

Model-based regression test suite generation using dependence analysis. - Yanping Chen 004; Robert L. Probert; Hasan Ural (A-MOST, 2007)

Regression test suite reduction using extended dependence analysis. - Yanping Chen 004; Robert L. Probert; Hasan Ural (SOQUA, 2007)

Regression test suite reduction based on SDL models of system requirements. - Yanping Chen 004; Robert L. Probert; Hasan Ural (J. Softw. Maintenance Res. Pract., 2009)