The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Robert L. Probert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Patrick C. Fischer, Robert L. Probert
    Storage Reorganization Techniques for Matrix Computation in a Paging Environment. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1979, v:22, n:7, pp:405-415 [Journal]
  2. Alan W. Williams, Robert L. Probert
    A Measure for Component Interaction Test Coverage. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2001, pp:304-312 [Conf]
  3. Robert L. Probert, W. Li
    CORBA-Based E-Commerce Application Testing Architecture. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2001, pp:474-477 [Conf]
  4. Kassem Saleh, Hassib Khanafer, Robert L. Probert, Hasan Ural
    Corba-Based Telecom Application of Distributed Object Computing. [Citation Graph (0, 0)][DBLP]
    Applied Informatics, 1999, pp:58-60 [Conf]
  5. Yanping Chen, Robert L. Probert, Kyle Robeson
    Effective test metrics for test strategy evolution. [Citation Graph (0, 0)][DBLP]
    CASCON, 2004, pp:111-123 [Conf]
  6. Yanping Chen, Robert L. Probert, D. Paul Sims
    Specification-based regression test selection with risk analysis. [Citation Graph (0, 0)][DBLP]
    CASCON, 2002, pp:1- [Conf]
  7. Khenaidoo Nursimulu, Robert L. Probert
    Cause-effect graphing analysis and validation of requirements. [Citation Graph (0, 0)][DBLP]
    CASCON, 1995, pp:46- [Conf]
  8. Robert L. Probert, Pulei Xiong, Bernard Stepien
    Life-Cycle E-commerce Testing with OO-TTCN-3. [Citation Graph (0, 0)][DBLP]
    FORTE Workshops, 2004, pp:16-29 [Conf]
  9. Patrick C. Fischer, Robert L. Probert
    Efficient Procedures for Using Matrix Algorithms. [Citation Graph (0, 0)][DBLP]
    ICALP, 1974, pp:413-427 [Conf]
  10. Robert L. Probert
    Computer Science and Communications Protocols: Research Relationships. [Citation Graph (0, 0)][DBLP]
    ICCI, 1991, pp:24-32 [Conf]
  11. Kassem Saleh, Robert L. Probert
    Synthesis of Error-Recoverable Protocol Specifications from Service Specifications. [Citation Graph (0, 0)][DBLP]
    ICCI, 1990, pp:415-424 [Conf]
  12. Kassem Saleh, M. Ilangovan, Robert L. Probert
    Recovery of Communications Protocol Design from Run Time Protocol Traces. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1996, pp:265-272 [Conf]
  13. Victor D. Sawma, Robert L. Probert
    E-Commerce Authentication: An Effective Countermeasures Design Model. [Citation Graph (0, 0)][DBLP]
    ICEIS (3), 2003, pp:447-455 [Conf]
  14. Peter Qi Qiu, Ostap Monkewich, Robert L. Probert
    SIP Vulnerabilities Testing in Session Establishment & User Registration. [Citation Graph (0, 0)][DBLP]
    ICETE (2), 2004, pp:223-229 [Conf]
  15. Robert L. Probert, Hasan Ural
    Requirements for a Test Specification Language for Protocol Implementation Testing. [Citation Graph (0, 0)][DBLP]
    Protocol Specification, Testing, and Verification, 1983, pp:437-443 [Conf]
  16. Hasan Ural, Robert L. Probert
    User-Guided Test Sequence Generation. [Citation Graph (0, 0)][DBLP]
    Protocol Specification, Testing, and Verification, 1983, pp:421-436 [Conf]
  17. Teddy Boyce, T. Grenier, Robert L. Probert, Hasan Ural
    Formalization of ISDN LAPD for Conformance Testing. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1989, pp:234-246 [Conf]
  18. Luigi Logrippo, Robert L. Probert
    Protocol/Specification-Level Validation. [Citation Graph (0, 0)][DBLP]
    PSTV, 1982, pp:303-304 [Conf]
  19. Robert L. Probert
    Summary of Panel Presentations and Discussion. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1992, pp:169-173 [Conf]
  20. Robert L. Probert, Alan W. Williams
    Fast Functional Test Generation Using an SDL Model. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1999, pp:299-316 [Conf]
  21. Alan W. Williams, Robert L. Probert
    Formulation of the Interaction Test Coverage Problem as an Integer Program. [Citation Graph (0, 0)][DBLP]
    TestCom, 2002, pp:283-0 [Conf]
  22. Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams
    Rapid Development of Network Software via SDL/Socket Interfaces. [Citation Graph (0, 0)][DBLP]
    SAM, 2002, pp:103-123 [Conf]
  23. Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim
    The Winning Entry of the SAM 2002 Design Contest: . [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2003, pp:387-404 [Conf]
  24. Nikolai Mansurov, Robert L. Probert
    Dynamic scenario-based approach to re-engineering of legacy telecommunication software. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:325-340 [Conf]
  25. Ostap Monkewich, Igor Sales, Robert L. Probert
    OSPF Efficient LSA Refreshment Function in SDL. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2001, pp:300-315 [Conf]
  26. Hasan Ural, Robert L. Probert
    Automated testing of protocol specifications and their implementations. [Citation Graph (0, 0)][DBLP]
    Computer Communication Review, 1984, v:14, n:2, pp:149-155 [Journal]
  27. Nikolai Mansurov, Robert L. Probert
    Improving time-to-market using SDL tools and techniques. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2001, v:35, n:6, pp:667-691 [Journal]
  28. Robert L. Probert, Ostap Monkewich
    TTCN: The International Notation for Specifying Tests of Communcations Systems. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1991, v:23, n:5, pp:417-438 [Journal]
  29. Robert L. Probert, Hasan Ural, Marc W. A. Hornbeek
    A Comprehensive Software Environment for Developing Standardized Conformance Test Suites. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1989, v:18, n:1, pp:19-29 [Journal]
  30. Hasan Ural, Robert L. Probert
    Step-Wise Validation of Communication Protocols and Services. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1986, v:11, n:, pp:183-202 [Journal]
  31. Robert L. Probert, Ning Lew
    Protocol quality engineering: addressing industry concerns about formal methods. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1258-1267 [Journal]
  32. Robert L. Probert, Hasan Ural, Alan W. Williams
    Rapid generation of functional tests using MSCs, SDL and TTCN. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2001, v:24, n:3-4, pp:374-393 [Journal]
  33. C. Geldrez, Stan Matwin, Johanne Morin, Robert L. Probert
    An Application of Explanation-Based Learning to Protocol Conformance Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Expert, 1990, v:5, n:5, pp:45-60 [Journal]
  34. Robert L. Probert, Yanping Chen, Behrad Ghazizadeh, D. Paul Sims, Maurus Cappa
    Formal verification and validation for e-commerce: theory and best practices. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2003, v:45, n:11, pp:763-777 [Journal]
  35. Kassem Saleh, Robert L. Probert
    Communications software engineering (CSE). [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:11-12, pp:695-696 [Journal]
  36. Kassem Saleh, Robert L. Probert, Khaled Al-Saqabi
    Recovery of CFSM-based protocol and service design from protocol execution traces. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:11-12, pp:839-852 [Journal]
  37. Robert L. Probert
    Commutativity, Non-Commutativity, and Bilinearity. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1976, v:5, n:2, pp:46-49 [Journal]
  38. Kassem Saleh, Robert L. Probert, W. Li, W. Fong
    An approach for high-yield requirements capture for e-commerce and its application. [Citation Graph (0, 0)][DBLP]
    Int. J. on Digital Libraries, 2002, v:3, n:4, pp:302-308 [Journal]
  39. Robert L. Probert, Hasan Ural
    High-level testing and example-directed development of software specifications. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1984, v:4, n:4, pp:317-325 [Journal]
  40. Kassem Saleh, Robert L. Probert, Hassib Khanafer
    The distributed object computing paradigm: concepts and applications. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1999, v:47, n:2-3, pp:125-131 [Journal]
  41. Robert L. Probert
    On the Additive Complexity of Matrix Multiplication. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1976, v:5, n:2, pp:187-203 [Journal]
  42. Robert L. Probert
    An Extension of Computational Duality to Sequences of Bilinear Computations. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1978, v:7, n:1, pp:91-98 [Journal]
  43. Robert L. Probert, Kassem Saleh
    Synthesis of Communication Protocols: Survey and Assessment. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:468-476 [Journal]
  44. Robert L. Probert
    Optimal Insertion of Software Probes in Well-Delimited Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1982, v:8, n:1, pp:34-42 [Journal]
  45. Hazem El-Gendy, Robert L. Probert
    Conformance testing requirements for formal development of testability-directed PICSP. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 1998, pp:85-88 [Conf]

  46. Regression test suite reduction using extended dependence analysis. [Citation Graph (, )][DBLP]


  47. Model-based regression test suite generation using dependence analysis. [Citation Graph (, )][DBLP]


Search in 0.023secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002