default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobert L. Probert
Person information
- affiliation: University of Ottawa, Ontario, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2009
[j24]Yanping Chen, Robert L. Probert, Hasan Ural:
Regression test suite reduction based on SDL models of system requirements. J. Softw. Maintenance Res. Pract. 21(6): 379-405 (2009)- 2007
- [c30]Yanping Chen, Robert L. Probert, Hasan Ural:
Model-based regression test suite generation using dependence analysis. A-MOST 2007: 54-62 - [c29]Yanping Chen, Robert L. Probert, Hasan Ural:
Regression test suite reduction using extended dependence analysis. SOQUA 2007: 62-69 - 2004
- [c28]Yanping Chen, Robert L. Probert, Kyle Robeson:
Effective test metrics for test strategy evolution. CASCON 2004: 111-123 - [c27]Robert L. Probert, Pulei Xiong, Bernard Stepien:
Life-Cycle E-commerce Testing with OO-TTCN-3. FORTE Workshops 2004: 16-29 - [c26]Peter Qi Qiu, Ostap Monkewich, Robert L. Probert:
SIP Vulnerabilities Testing in Session Establishment & User Registration. ICETE (2) 2004: 223-229 - 2003
- [j23]Robert L. Probert, Yanping Chen, Behrad Ghazizadeh, D. Paul Sims, Maurus Cappa:
Formal verification and validation for e-commerce: theory and best practices. Inf. Softw. Technol. 45(11): 763-777 (2003) - [c25]Victor D. Sawma, Robert L. Probert:
E-Commerce Authentication: An Effective Countermeasures Design Model. ICEIS (3) 2003: 447-455 - [c24]Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim:
The Winning Entry of the SAM 2002 Design Contest: . SDL Forum 2003: 387-404 - 2002
- [j22]Kassem Saleh, Robert L. Probert, W. Li, W. Fong:
An approach for high-yield requirements capture for e-commerce and its application. Int. J. Digit. Libr. 3(4): 302-308 (2002) - [c23]Yanping Chen, Robert L. Probert, D. Paul Sims:
Specification-based regression test selection with risk analysis. CASCON 2002: 1 - [c22]Alan W. Williams, Robert L. Probert:
Formulation of the Interaction Test Coverage Problem as an Integer Program. TestCom 2002: 283- - [c21]Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams:
Rapid Development of Network Software via SDL/Socket Interfaces. SAM 2002: 103-123 - 2001
- [j21]Nikolai Mansurov, Robert L. Probert:
A scenario-based approach to the evolution of telecommunications software. IEEE Commun. Mag. 39(10): 94-100 (2001) - [j20]Nikolai Mansurov, Robert L. Probert:
Improving time-to-market using SDL tools and techniques. Comput. Networks 35(6): 667-691 (2001) - [j19]Robert L. Probert, Hasan Ural, Alan W. Williams:
Rapid generation of functional tests using MSCs, SDL and TTCN. Comput. Commun. 24(3-4): 374-393 (2001) - [c20]Alan W. Williams, Robert L. Probert:
A Measure for Component Interaction Test Coverage. AICCSA 2001: 304-312 - [c19]Robert L. Probert, W. Li:
CORBA-Based E-Commerce Application Testing Architecture. AICCSA 2001: 474-477 - [c18]Ostap Monkewich, Igor Sales, Robert L. Probert:
OSPF Efficient LSA Refreshment Function in SDL. SDL Forum 2001: 300-315 - 2000
- [e4]Hasan Ural, Robert L. Probert, Gregor von Bochmann:
Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada. IFIP Conference Proceedings 176, Kluwer 2000, ISBN 0-7923-7921-7 [contents]
1990 – 1999
- 1999
- [j18]Kassem Saleh, Robert L. Probert:
Communications software engineering (CSE). Inf. Softw. Technol. 41(11-12): 695-696 (1999) - [j17]Kassem Saleh, Robert L. Probert, Khaled Al-Saqabi:
Recovery of CFSM-based protocol and service design from protocol execution traces. Inf. Softw. Technol. 41(11-12): 839-852 (1999) - [j16]Kassem Saleh, Robert L. Probert, Hassib Khanafer:
The distributed object computing paradigm: concepts and applications. J. Syst. Softw. 47(2-3): 125-131 (1999) - [c17]Kassem Saleh, Hassib Khanafer, Robert L. Probert, Hasan Ural:
Corba-Based Telecom Application of Distributed Object Computing. Applied Informatics 1999: 58-60 - [c16]Robert L. Probert, Alan W. Williams:
Fast Functional Test Generation Using an SDL Model. IWTCS 1999: 299-316 - [c15]Nikolai Mansurov, Robert L. Probert:
Dynamic scenario-based approach to re-engineering of legacy telecommunication software. SDL Forum 1999: 325-340 - 1998
- [c14]Hazem El-Gendy, Robert L. Probert:
Conformance testing requirements for formal development of testability-directed PICSP. CATA 1998: 85-88 - 1996
- [j15]Robert L. Probert, Ning Lew:
Protocol quality engineering: addressing industry concerns about formal methods. Comput. Commun. 19(14): 1258-1267 (1996) - [c13]Kassem Saleh, M. Ilangovan, Robert L. Probert:
Recovery of Communications Protocol Design from Run Time Protocol Traces. ICECCS 1996: 265-272 - [c12]Alan W. Williams, Robert L. Probert:
A practical strategy for testing pair-wise coverage of network interfaces. ISSRE 1996: 246-254 - 1995
- [j14]Gang Luo, Robert L. Probert, Hasan Ural:
Approach to constructing software unit testing tools. Softw. Eng. J. 10(6): 245-252 (1995) - [j13]Robert L. Probert, Kassem Saleh, Hualong Yu:
Validation-directed specification of communications systems. Inf. Softw. Technol. 37(8): 403-410 (1995) - [c11]Khenaidoo Nursimulu, Robert L. Probert:
Cause-effect graphing analysis and validation of requirements. CASCON 1995: 46 - 1992
- [j12]Robert L. Probert, Ostap Monkewich:
TTCN: The International Notation for Specifying Tests of Communcations Systems. Comput. Networks ISDN Syst. 23(5): 417-438 (1992) - [c10]Robert L. Probert:
Summary of Panel Presentations and Discussion. Protocol Test Systems 1992: 169-173 - 1991
- [j11]Robert L. Probert, Kassem Saleh:
Synthesis of Communication Protocols: Survey and Assessment. IEEE Trans. Computers 40(4): 468-476 (1991) - [c9]Robert L. Probert:
Computer Science and Communications Protocols: Research Relationships. ICCI 1991: 24-32 - 1990
- [j10]C. Geldrez, Stan Matwin
, Johanne Morin, Robert L. Probert:
An Application of Explanation-Based Learning to Protocol Conformance Testing. IEEE Expert 5(5): 45-60 (1990) - [c8]Kassem Saleh, Robert L. Probert:
Synthesis of Error-Recoverable Protocol Specifications from Service Specifications. ICCI 1990: 415-424 - [e3]Luigi Logrippo, Robert L. Probert, Hasan Ural:
Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. North-Holland 1990, ISBN 0-444-88810-1 [contents]
1980 – 1989
- 1989
- [j9]Robert L. Probert, Hasan Ural, Marc W. A. Hornbeek:
A Comprehensive Software Environment for Developing Standardized Conformance Test Suites. Comput. Networks ISDN Syst. 18(1): 19-29 (1989) - [c7]Teddy Boyce, T. Grenier, Robert L. Probert, Hasan Ural:
Formalization of ISDN LAPD for Conformance Testing. INFOCOM 1989: 234-246 - 1986
- [j8]Hasan Ural, Robert L. Probert:
Step-Wise Validation of Communication Protocols and Services. Comput. Networks 11: 183-202 (1986) - 1984
- [j7]Hasan Ural, Robert L. Probert:
Automated testing of protocol specifications and their implementations. Comput. Commun. Rev. 14(2): 149-155 (1984) - [j6]Robert L. Probert, Hasan Ural:
High-level testing and example-directed development of software specifications. J. Syst. Softw. 4(4): 317-325 (1984) - 1983
- [c6]Hasan Ural, Robert L. Probert:
User-Guided Test Sequence Generation. Protocol Specification, Testing, and Verification 1983: 421-436 - [c5]Robert L. Probert, Hasan Ural:
Requirements for a Test Specification Language for Protocol Implementation Testing. Protocol Specification, Testing, and Verification 1983: 437-443 - [e2]Robert L. Probert, Nancy A. Lynch, Nicola Santoro:
Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 17-19, 1983. ACM 1983, ISBN 0-89791-110-5 [contents] - 1982
- [j5]Robert L. Probert:
Optimal Insertion of Software Probes in Well-Delimited Programs. IEEE Trans. Software Eng. 8(1): 34-42 (1982) - [c4]Luigi Logrippo, Robert L. Probert:
Protocol/Specification-Level Validation. PSTV 1982: 303-304 - [e1]Robert L. Probert, Michael J. Fischer, Nicola Santoro:
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Ottawa, Canada, August 18-20, 1982. ACM 1982, ISBN 0-89791-081-8 [contents]
1970 – 1979
- 1979
- [j4]Patrick C. Fischer, Robert L. Probert:
Storage Reorganization Techniques for Matrix Computation in a Paging Environment. Commun. ACM 22(7): 405-415 (1979) - 1978
- [j3]Robert L. Probert:
An Extension of Computational Duality to Sequences of Bilinear Computations. SIAM J. Comput. 7(1): 91-98 (1978) - 1976
- [j2]Robert L. Probert:
Commutativity, Non-Commutativity, and Bilinearity. Inf. Process. Lett. 5(2): 46-49 (1976) - [j1]Robert L. Probert:
On the Additive Complexity of Matrix Multiplication. SIAM J. Comput. 5(2): 187-203 (1976) - [c3]George T. Ligler, William C. Nylin Jr., Patrick Wang, Patrick C. Fischer, Robert L. Probert:
SIGACT (Paper Session). ACM Annual Conference 1976: 1 - [c2]Patrick C. Fischer, Robert L. Probert:
A note on matrix multiplication in a paging environment. ACM Annual Conference 1976: 17-21 - 1974
- [c1]Patrick C. Fischer, Robert L. Probert:
Efficient Procedures for Using Matrix Algorithms. ICALP 1974: 413-427
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 2025-01-21 00:03 CET 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:
