The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hasan Ural: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Robert M. Hierons, T.-H. Kim, Hasan Ural
    Expanding an Extended Finite State Machine to aid Testability. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:334-342 [Conf]
  3. Hasan Ural, Huaqing Zeng
    Computer Aided Design of Protocol Converters. [Citation Graph (0, 0)][DBLP]
    CAST, 1994, pp:225-238 [Conf]
  4. Olaf Henniger, Miao Lu, Hasan Ural
    Automatic Generation of Test Purposes for Testing Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:178-191 [Conf]
  5. Hyoung Seok Hong, Hasan Ural
    Using Model Checking for Reducing the Cost of Test Generation. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:110-124 [Conf]
  6. Jessica Chen, Robert M. Hierons, Hasan Ural
    Conditions for Resolving Observability Problems in Distributed Testing. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:229-242 [Conf]
  7. Jessica Chen, Robert M. Hierons, Hasan Ural
    Resolving Observability Problems in Distributed Test Architectures. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:219-232 [Conf]
  8. Robert M. Hierons, Hasan Ural
    Concerning the Ordering of Adaptive Test Sequences. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:289-302 [Conf]
  9. Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
    Minimizing Coordination Channels in Distributed Testing. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:451-466 [Conf]
  10. Hasan Ural, Alan W. Williams
    Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:335-350 [Conf]
  11. Hasan Ural, Hüsnü Yenigün
    Towards Design Recovery from Observations. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:133-149 [Conf]
  12. G. H. Masapati, Hasan Ural
    Electing a Leader in a Synchronous Scalable Network. [Citation Graph (0, 0)][DBLP]
    ICCI, 1990, pp:463-472 [Conf]
  13. Hong Liu, Raymond E. Miller, Hans van der Schoot, Hasan Ural
    Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?). [Citation Graph (0, 0)][DBLP]
    ICDCS, 1996, pp:605-612 [Conf]
  14. Hans van der Schoot, Hasan Ural
    On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1998, pp:130-137 [Conf]
  15. Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural
    Data Flow Testing as Model Checking. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:232-243 [Conf]
  16. Hasan Ural, Bo Yang
    Modeling Software for Accurate Data Flow Representation. [Citation Graph (0, 0)][DBLP]
    ICSE, 1993, pp:277-286 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. Wen-Huei Chen, Chuan Yi Tang, Hasan Ural
    Minimum-Cost Synchronizable Test Sequence Generation via the DuplexU Digraph. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1993, pp:128-135 [Conf]
  21. Hasan Ural, Keqin Zhu
    Fault Recovery for a Distributed SP-Based Delay Constrained Multicast Routing Algorithm. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2002, pp:- [Conf]
  22. Guy-Vincent Jourdan, Panitee Ritthiruangdech, Hasan Ural
    Test Suite Reduction Based on Dependence Analysis. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2006, pp:1021-1030 [Conf]
  23. Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
    Recovering the Lattice of Repetitive Sub-functions. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2005, pp:956-965 [Conf]
  24. K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün
    Generalizing Redundancy Elimination in Checking Sequences. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2005, pp:915-926 [Conf]
  25. Hans van der Schoot, Hasan Ural
    Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1995, pp:267- [Conf]
  26. Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural
    Use of Prolog for building protocol design tools. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:131-147 [Conf]
  27. Luigi Logrippo, Didier Simon, Hasan Ural
    Executable Description of the OSI Transport Service in Prolog. [Citation Graph (0, 0)][DBLP]
    PSTV, 1984, pp:279-293 [Conf]
  28. Hasan Ural
    A Test Derivation Method for Protocol Conformance Testing. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:347-358 [Conf]
  29. Hyoung Seok Hong, Hasan Ural
    Dependence Testing: Extending Data Flow Testing with Control Dependence. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:23-39 [Conf]
  30. Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün
    Eliminating Redundant Tests in a Checking Sequence. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:146-158 [Conf]
  31. Jessica Chen, Hasan Ural
    Detecting Observability Problems in Distributed Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:213-226 [Conf]
  32. Hasan Ural, Craig Williams
    Generating Checking Sequences for a Distributed Test Architecture. [Citation Graph (0, 0)][DBLP]
    TestCom, 2003, pp:146-162 [Conf]
  33. Hasan Ural, Fan Zhang
    Reducing the Lengths of Checking Sequences by Overlapping. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:274-288 [Conf]
  34. Jessica Chen, Guy-Vincent Jourdan, Wenxin Ma, Hasan Ural
    Improving Coverage in Functional Testing. [Citation Graph (0, 0)][DBLP]
    QSIC, 2006, pp:99-106 [Conf]
  35. Olaf Henniger, Hasan Ural
    Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. [Citation Graph (0, 0)][DBLP]
    SAM, 2000, pp:189-202 [Conf]
  36. Hasan Ural, R. Short
    An interactive test sequence generator. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 1986, pp:541-550 [Conf]
  37. Bo Yang, Hasan Ural
    Protocol Conformance Test Generation Using Multiple UIO Sequences With Overlapping. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 1990, pp:118-125 [Conf]
  38. Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural
    A Temporal Logic Based Theory of Test Coverage and Generation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:327-341 [Conf]
  39. 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]
  40. Xiao Jun Chen, Hasan Ural
    Construction of Deadlock-free Designs of Communication Protocols from Observation. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2002, v:45, n:2, pp:162-173 [Journal]
  41. Robert M. Hierons, T.-H. Kim, Hasan Ural
    On the testability of SDL specifications. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2004, v:44, n:5, pp:681-700 [Journal]
  42. 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]
  43. Hans van der Schoot, Hasan Ural
    Data Flow Oriented Test Selection for Lotos. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1995, v:27, n:7, pp:1111-1136 [Journal]
  44. 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]
  45. Robert M. Hierons, Hasan Ural
    Reducing the cost of applying adaptive test cases. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2007, v:51, n:1, pp:224-238 [Journal]
  46. Cheryl Cleghorn, Hasan Ural
    ASNST: an Abstract Syntax Notation-One support tool. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1989, v:12, n:5, pp:259-265 [Journal]
  47. Kadir Özdemir, Hasan Ural
    Protocol validation by simultaneous reachability analysis. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1997, v:20, n:9, pp:772-788 [Journal]
  48. Kadir Özdemir, Hasan Ural
    Erratum to 'Protocol validation by simultaneous reachability analysis' : [Computer Communications 20 (1997) 772-788]. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1998, v:21, n:6, pp:591- [Journal]
  49. 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]
  50. Ali Rezaki, Hasan Ural
    Construction of checking sequences based on characterization sets. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1995, v:18, n:12, pp:911-920 [Journal]
  51. Ali Rezaki, Hasan Ural
    Erratum to "Construction of checking sequences based on characterization sets" : [Computer Communications 18 (1995) 911-920]. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1998, v:21, n:5, pp:499-500 [Journal]
  52. Kassem Saleh, Hasan Ural, Anjali Agarwal
    Modified distributed snapshots algorithm for protocol stabilization. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1994, v:17, n:12, pp:863-870 [Journal]
  53. Hasan Ural
    Test sequence selection based on static data flow analysis. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1987, v:10, n:5, pp:234-242 [Journal]
  54. Hasan Ural
    Formal methods for test sequence generation. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1992, v:15, n:5, pp:311-325 [Journal]
  55. Hasan Ural, Kassem Saleh, Alan W. Williams
    Test generation based on control and data dependencies within system specifications in SDL. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2000, v:23, n:7, pp:609-627 [Journal]
  56. Hasan Ural, Zhiping Wang
    Synchronizable test sequence generation using UIO sequences. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1993, v:16, n:10, pp:653-661 [Journal]
  57. Hasan Ural, Craig Williams
    Constructing checking sequences for distributed testing. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:1, pp:84-101 [Journal]
  58. Hans van der Schoot, Hasan Ural
    Data Flow Analysis of System Specifications in Lotos. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1997, v:7, n:1, pp:43-68 [Journal]
  59. Esfandiar Haghverdi, Hasan Ural
    Submodule construction from concurrent system specifications. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:8, pp:499-506 [Journal]
  60. Robert M. Hierons, Hasan Ural
    UIO sequence based checking sequences for distributed test architectures. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2003, v:45, n:12, pp:793-803 [Journal]
  61. K. Inan, Hasan Ural
    Efficient checking sequences for testing finite state machines. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:11-12, pp:799-812 [Journal]
  62. Sylvia C. Boyd, Hasan Ural
    The Synchronization Problem in Protocol Testing and its Complexity. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:40, n:3, pp:131-136 [Journal]
  63. Guy-Vincent Jourdan, Hasan Ural, Nejib Zaguia
    Minimizing the number of inputs while applying adaptive test cases. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:94, n:4, pp:165-169 [Journal]
  64. Marion Rodrigues, Hasan Ural
    Exact Solutions for the Construction of Optimal Length Test Sequences. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1993, v:48, n:6, pp:275-280 [Journal]
  65. Hasan Ural, David Whittier
    Distributed testing without encountering controllability and observability problems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:88, n:3, pp:133-141 [Journal]
  66. Hasan Ural, Bo Yang
    A Structural Test Selection Criterion. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1988, v:28, n:3, pp:157-163 [Journal]
  67. Jessica Chen, Robert M. Hierons, Hasan Ural
    Overcoming observability problems in distributed test architectures. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:98, n:5, pp:177-182 [Journal]
  68. 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]
  69. Hasan Ural
    Specifications of distributed systems in prolog. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1990, v:11, n:2, pp:143-154 [Journal]
  70. Hasan Ural, Keqin Zhu
    Distributed delay constrained multicast routing algorithm with efficient fault recovery. [Citation Graph (0, 0)][DBLP]
    Networks, 2006, v:47, n:1, pp:37-51 [Journal]
  71. Hyoung Seok Hong, Young Gon Kim, Sung Deok Cha, Doo-Hwan Bae, Hasan Ural
    A test sequence selection method for statecharts. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2000, v:10, n:4, pp:203-227 [Journal]
  72. Hans van der Schoot, Hasan Ural
    An Improvement of Partial-Order Verification. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1998, v:8, n:2, pp:83-102 [Journal]
  73. Robert M. Hierons, Hasan Ural
    Reduced Length Checking Sequences. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2002, v:51, n:9, pp:1111-1117 [Journal]
  74. Robert M. Hierons, Hasan Ural
    Optimizing the Length of Checking Sequences. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2006, v:55, n:5, pp:618-629 [Journal]
  75. Hasan Ural, Xiaolin Wu, Fan Zhang
    On Minimizing the Lengths of Checking Sequences. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1997, v:46, n:1, pp:93-99 [Journal]
  76. Wen-Huei Chen, Hasan Ural
    Synchronizable test sequences based on multiple UIO sequences. [Citation Graph (0, 0)][DBLP]
    IEEE/ACM Trans. Netw., 1995, v:3, n:2, pp:152-157 [Journal]
  77. Hasan Ural, Keqin Zhu
    Optimal length test sequence generation using distinguishing sequences. [Citation Graph (0, 0)][DBLP]
    IEEE/ACM Trans. Netw., 1993, v:1, n:3, pp:358-371 [Journal]
  78. Sylvia C. Boyd, Hasan Ural
    On the Complexity of Generating Optimal Test Sequences. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:9, pp:976-978 [Journal]
  79. Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün
    Recovering Repetitive Sub-functions from Observations. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:35-49 [Conf]
  80. Hasan Ural, Zhi Xu
    An EFSM-Based Passive Fault Detection Approach. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:335-350 [Conf]

  81. An Improved Approach to Passive Testing of FSM-based Systems. [Citation Graph (, )][DBLP]


  82. Using a SAT solver to generate checking sequences. [Citation Graph (, )][DBLP]


  83. Using adaptive distinguishing sequences in checking sequence constructions. [Citation Graph (, )][DBLP]


  84. Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. [Citation Graph (, )][DBLP]


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


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


  87. Testing in the Distributed Test Architecture. [Citation Graph (, )][DBLP]


  88. Generating a checking sequence with a minimum number of reset transitions. [Citation Graph (, )][DBLP]


  89. The Effect of the Distributed Test Architecture on the Power of Testing. [Citation Graph (, )][DBLP]


  90. Overcoming controllability problems with fewest channels between testers. [Citation Graph (, )][DBLP]


  91. Checking sequences for distributed test architectures. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002