The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wei-Tek Tsai: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas F. Keefe, Wei-Tek Tsai, Jaideep Srivastava
    Multilevel Secure Database Concurrency Control. [Citation Graph (2, 3)][DBLP]
    ICDE, 1990, pp:337-344 [Conf]
  2. Thomas F. Keefe, Wei-Tek Tsai
    Multiversion Concurrency Control for Multilevel Secure Database Systems. [Citation Graph (2, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 1990, pp:369-383 [Conf]
  3. Thomas F. Keefe, Bhavani M. Thuraisingham, Wei-Tek Tsai
    Secure Query-Processing Strategies. [Citation Graph (2, 0)][DBLP]
    IEEE Computer, 1989, v:22, n:3, pp:63-70 [Journal]
  4. Thomas F. Keefe, Wei-Tek Tsai
    Prototyping the SODA Model. [Citation Graph (1, 0)][DBLP]
    DBSec, 1989, pp:211-235 [Conf]
  5. C. V. Ramamoorthy, Atul Prakash, Wei-Tek Tsai, Yutaka Usuda
    Software Engineering: Problems and Perspectives. [Citation Graph (1, 0)][DBLP]
    IEEE Computer, 1984, v:17, n:10, pp:191-209 [Journal]
  6. Thomas F. Keefe, Wei-Tek Tsai, Jaideep Srivastava
    Database Concurrency Control in Multilevel Secure Database Management Systems. [Citation Graph (1, 13)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1993, v:5, n:6, pp:1039-1055 [Journal]
  7. Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul
    DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2006, pp:160-167 [Conf]
  8. Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul
    Simulation Verification and Validation by Dynamic Policy Enforcement. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2005, pp:91-98 [Conf]
  9. W. T. Tsai, Qian Huang, Xin Sun, Yinong Chen
    Dynamic Collaboration Simulation in Service-Oriented Computing Paradigm. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 2007, pp:41-48 [Conf]
  10. Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, George Devaraj, Vishal Agarwal
    An Approach to Modify and Test Expired Window Logic. [Citation Graph (0, 0)][DBLP]
    APAQS, 2000, pp:99-110 [Conf]
  11. Yongzhong Tu, Wei-Tek Tsai, Yang Xiang
    Specifying Constraints with Message Sequence Specifications. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:368-375 [Conf]
  12. Wei-Tek Tsai, Yinong Chen, Zhibin Cao, Xiaoying Bai, Hai Huang, Raymond A. Paul
    Testing Web Services Using Progressive Group Testing. [Citation Graph (0, 0)][DBLP]
    AWCC, 2004, pp:314-322 [Conf]
  13. Hai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun
    Business Rule Extraction from Legacy Code. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:162-167 [Conf]
  14. Hai Huang, Wei-Tek Tsai, Yinong Chen
    Autonomous Hot Patching for Web-Based Applications. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2005, pp:51-56 [Conf]
  15. Akira K. Onoma, Hiroshi Suganuma, Mustafa H. Poonawala, Satish Subramanian, Wei-Tek Tsai, Tsutomu Syomura
    Opusdei-Integrated Environment for Software Development and Maintenance. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:516-521 [Conf]
  16. Raymond A. Paul, Lian Yu, Wei-Tek Tsai, Xiaoying Bai
    Scenario-Based Functional Regression Testing. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:496-0 [Conf]
  17. Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott
    A Framework for Designing Safe Software Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:409-415 [Conf]
  18. Wei-Tek Tsai
    End-to-End Integration Testing. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:283-283 [Conf]
  19. Wei-Tek Tsai
    Trends in software technology. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:173-0 [Conf]
  20. Wei-Tek Tsai
    Application of data-centered approach to Year 2000 problem. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:287-0 [Conf]
  21. Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, Weiguang Shao, Vishal Agarwal
    End-To-End Integration Testing Design. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:166-171 [Conf]
  22. Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Hai Huang, Xinyu Zhou, Xiao Wei
    Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:101-106 [Conf]
  23. Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Ning Liao, Hai Huang
    Cooperative and Group Testing in Verification of Dynamic Composite Web Services. [Citation Graph (0, 0)][DBLP]
    COMPSAC Workshops, 2004, pp:170-173 [Conf]
  24. Wei-Tek Tsai, Yinghui Na, Raymond A. Paul, F. Lu, Akihiro Saimi
    Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:321-326 [Conf]
  25. Wei-Tek Tsai, Weiwei Song, Raymond A. Paul, Zhibin Cao, Hai Huang
    Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:554-559 [Conf]
  26. Wei-Tek Tsai, Yongzhong Tu, Weiguang Shao, Ezra Ebner
    Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1999, pp:166-171 [Conf]
  27. Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul
    Rapid Verification of Embedded Systems Using Patterns. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2003, pp:466-471 [Conf]
  28. Tsuneo Yamaura, Akira K. Onoma, Wei-Tek Tsai
    Hypothesis Testing for Module Test in Software Development. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:829-834 [Conf]
  29. Feng Zhu, Wei-Tek Tsai
    Framework-Oriented Analysis. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1998, pp:324-329 [Conf]
  30. W. T. Tsai, Jerry Gao, Xiao Wei, Yinong Chen
    Testability of Software in Service-Oriented Architecture. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2006, pp:163-170 [Conf]
  31. Wei-Tek Tsai, Feng Zhu, Lian Yu, Raymond A. Paul, Chun Fan
    Verification Patterns for Rapid Embedded System Verification. [Citation Graph (0, 0)][DBLP]
    Embedded Systems and Applications, 2003, pp:310-316 [Conf]
  32. D. J. Thomsen, W. T. Tsai, Bhavani M. Thuraisingham
    Prototyping as a Research Tool for MLS/DBMS. [Citation Graph (0, 0)][DBLP]
    DBSec, 1988, pp:63-84 [Conf]
  33. Xiaoying Bai, Wei-Tek Tsai, Techeng Shen, Bing Li, Raymond A. Paul
    Distributed End-to-End Testing Management. [Citation Graph (0, 0)][DBLP]
    EDOC, 2001, pp:140-151 [Conf]
  34. Raymond A. Paul, Wei-Tek Tsai, Bing Li, Xiaoying Bai
    XML-based E2E Test Report Management. [Citation Graph (0, 0)][DBLP]
    ER, 2001, pp:607-608 [Conf]
  35. Wei-Tek Tsai, Lian Yu, Akihiro Saimi
    Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FTDCS, 2003, pp:288-294 [Conf]
  36. C. V. Ramamoorthy, Siyi Terry Dong, S. L. Ganesh, C.-H. Jen, Wei-Tek Tsai
    Techniques in Software Quality Assurance. [Citation Graph (0, 0)][DBLP]
    Software-Qualitätssicherung, 1982, pp:11-34 [Conf]
  37. Thomas F. Keefe, Wei-Tek Tsai
    A multiversion transaction scheduler for centralized multilevel secure database systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:206-213 [Conf]
  38. Wei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fan, Dong Wang
    Extending WSDL to Facilitate Web Services Testing. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:171-172 [Conf]
  39. Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul
    Assurance-Based Y2K Testing. [Citation Graph (0, 0)][DBLP]
    HASE, 1999, pp:27-37 [Conf]
  40. Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott
    Flow analysis for concurrent, reactive, real-time systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:176-183 [Conf]
  41. Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott
    Specifying timing constraints in real-time object-oriented systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:32-39 [Conf]
  42. Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam
    Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:32-0 [Conf]
  43. Wei-Tek Tsai, Raymond A. Paul, Weiwei Song, Zhibin Cao
    Coyote: An XML-Based Framework for Web Services Testing. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:173-176 [Conf]
  44. Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai
    Design for Constraint Violation Detection in Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1998, pp:109-116 [Conf]
  45. Bing Li, Wei-Tek Tsai
    3 Tier Transparent Web Application Developing Approach. [Citation Graph (0, 0)][DBLP]
    International Conference on Internet Computing, 2002, pp:519-528 [Conf]
  46. Imran A. Zualkernan, Wei-Tek Tsai
    Are knowledge representations the answer to requirement analysis? [Citation Graph (0, 0)][DBLP]
    ICCL, 1988, pp:437-443 [Conf]
  47. C. V. Ramamoorthy, S. L. Ganesh, Siyi Terry Dong, C.-H. Jen, Wei-Tek Tsai
    The Design of "Low-End" Machines for Data Management in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1982, pp:187-195 [Conf]
  48. C. V. Ramamoorthy, Jaideep Srivastava, Wei-Tek Tsai
    A Distributed Clustering Algorithm for Large Computer Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1986, pp:613-620 [Conf]
  49. Wei-Tek Tsai, Yinong Chen, Dawei Zhang, Hai Huang
    Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2005, pp:65-71 [Conf]
  50. Wei-Tek Tsai, Xinxin Liu, Yinong Chen
    Distributed Policy Specification and Enforcement in Service-Oriented Business Systems. [Citation Graph (0, 0)][DBLP]
    ICEBE, 2005, pp:10-17 [Conf]
  51. Xinyu Zhou, Wei-Tek Tsai, Xiao Wei, Yinong Chen, Bingnan Xiao
    Pi4SOA: A Policy Infrastructure for Verification and Control of Service Collaboration. [Citation Graph (0, 0)][DBLP]
    ICEBE, 2006, pp:307-314 [Conf]
  52. Mark Chang, Jackson He, W. T. Tsai, Bingnan Xiao, Yinong Chen
    UCSOA: User-Centric Service-Oriented Architecture. [Citation Graph (0, 0)][DBLP]
    ICEBE, 2006, pp:248-255 [Conf]
  53. Bingnan Xiao, Wei-Tek Tsai, Qian Huang, Yinong Chen, Raymond A. Paul
    SOA Collaboration Modeling, Analysis, and Simulation in PSML-C. [Citation Graph (0, 0)][DBLP]
    ICEBE, 2006, pp:639-646 [Conf]
  54. Bing Li, Wei-Tek Tsai, Liang-Jie Zhang
    A Semantic Framework for Distributed Applications. [Citation Graph (0, 0)][DBLP]
    ICEIS (4), 2003, pp:34-41 [Conf]
  55. Sourav Bhattacharya, Chungti Liang, Wei-Tek Tsai
    Inverted Memory. [Citation Graph (0, 0)][DBLP]
    ICPP (1), 1991, pp:682-683 [Conf]
  56. Shyh-Kwei Chen, Chungti Liang, Wei-Tek Tsai
    Loops and Multi-Dimensional Grids on Hypercubes Mapping and Reconfiguration Algorithms. [Citation Graph (0, 0)][DBLP]
    ICPP (1), 1988, pp:315-322 [Conf]
  57. Yigang Chen, Wei-Tek Tsai
    A Synthesis Approach to Developing Large Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1990, pp:280-281 [Conf]
  58. Chungti Liang, Yigang Chen, Wei-Tek Tsai
    Embedding of Linear Array and Binary Tree in Cubical Ring Connected Cycles Networks. [Citation Graph (0, 0)][DBLP]
    ICPP (1), 1989, pp:192-195 [Conf]
  59. Viet N. Ngo, Gary Elsesser, Sourav Bhattacharya, Wei-Tek Tsai
    Array Covering: A Technique4 for Enabling Lloop Parallelization. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1992, pp:302-305 [Conf]
  60. José M. Drake, W. W. Xie, Wei-Tek Tsai, Imran A. Zualkernan
    Approach and Case Study of Requirement Analysis Where End Users Take an Active Role. [Citation Graph (0, 0)][DBLP]
    ICSE, 1993, pp:177-186 [Conf]
  61. P. M. Perry Leung, Jaideep Srivastava, Wei-Tek Tsai
    Performance Evaluation of Distributed Real Time Scheduling Algorithms. [Citation Graph (0, 0)][DBLP]
    ICSI, 1990, pp:752-761 [Conf]
  62. Jaideep Srivastava, Jau-Hwang Wang, Jack S. Eddy Tan, Kuo-Wei Hwang, Wei-Tek Tsai
    Production Scheduling in Database Production Systems. [Citation Graph (0, 0)][DBLP]
    ICSI, 1990, pp:464-472 [Conf]
  63. Xiaoping Chen, Wei-Tek Tsai, Hai Huang, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang
    Omega - an integrated environment for C++ program maintenance. [Citation Graph (0, 0)][DBLP]
    ICSM, 1996, pp:114-0 [Conf]
  64. Shekhar H. Kirani, Imran A. Zualkernan, Wei-Tek Tsai
    Comparative Evaluation of Expert System Testing Methods. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1992, pp:334-341 [Conf]
  65. Wei-Tek Tsai, Imran A. Zualkernan
    Quality of Heuristic Programs (Panel). [Citation Graph (0, 0)][DBLP]
    ICTAI, 1993, pp:4- [Conf]
  66. Sourav Bhattacharya, Wei-Tek Tsai
    Lookahead Processor Allocation in Mesh-Connected Massively Parallel Multicomputer. [Citation Graph (0, 0)][DBLP]
    IPPS, 1994, pp:868-875 [Conf]
  67. Gary Elsesser, Viet N. Ngo, Sourav Bhattacharya, Wei-Tek Tsai
    Load Balancing of DOALL Loops in the Perfect Club. [Citation Graph (0, 0)][DBLP]
    IPPS, 1993, pp:129-133 [Conf]
  68. Hai Huang, Wei-Tek Tsai, Raymond A. Paul
    Proof Slicing with Application to Model Checking Web Services. [Citation Graph (0, 0)][DBLP]
    ISORC, 2005, pp:292-299 [Conf]
  69. Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen
    Automated Model Checking and Testing for Composite Web Services. [Citation Graph (0, 0)][DBLP]
    ISORC, 2005, pp:300-307 [Conf]
  70. Wei-Tek Tsai
    OCL Goes Real-Time (Panel). [Citation Graph (0, 0)][DBLP]
    Symposium on Object-Oriented Real-Time Distributed Computing, 2002, pp:421-422 [Conf]
  71. Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul, Jen-Yao Chung
    Architecture Classification for SOA-Based Applications. [Citation Graph (0, 0)][DBLP]
    ISORC, 2006, pp:295-302 [Conf]
  72. Feng Zhu, Sanjai Rayadurgam, Wei-Tek Tsai
    Automating Regression Testing for Real-Time Software in a Distributed Environment. [Citation Graph (0, 0)][DBLP]
    ISORC, 1998, pp:373-382 [Conf]
  73. Wei-Tek Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul
    Scenario-based Object-Oriented Testing Framework. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:410-0 [Conf]
  74. Wei-Tek Tsai, Dawei Zhang, Raymond A. Paul, Yinong Chen
    Stochastic Voting Algorithms for Web Services Group Testing. [Citation Graph (0, 0)][DBLP]
    QSIC, 2005, pp:99-108 [Conf]
  75. Wei-Tek Tsai, Qian Huang, Bingnan Xiao, Yinong Chen
    Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture. [Citation Graph (0, 0)][DBLP]
    QSIC, 2006, pp:313-320 [Conf]
  76. James X. Ci, Mustafa H. Poonawala, Wei-Tek Tsai
    ScmEngine: A Distributed Software Management Environment on X.500. [Citation Graph (0, 0)][DBLP]
    SCM, 1997, pp:108-127 [Conf]
  77. Hai Huang, Wei-Tek Tsai, Satish Subramanian
    Generalized Program Slicing for Software Maintenance. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:261-268 [Conf]
  78. Yamin Wang, Wei-Tek Tsai, Xiaoping Chen, Sanjai Rayadurgam
    The Role of Program Slicing in Ripple Effect Analysis. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:369-376 [Conf]
  79. Wei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, Satish K. Musukula
    A Framework for Systematic Testing of Software Specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:380-387 [Conf]
  80. Wei-Tek Tsai, Imran A. Zualkernan
    Towards a Unified Framework for Testing Expert Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1990, pp:127-134 [Conf]
  81. Dmitry Volovik, Ramin Mojdehbakhsh, Wei-Tek Tsai
    What Software Engineering Can Learn From Practitioners. [Citation Graph (0, 0)][DBLP]
    SEKE, 1990, pp:216-221 [Conf]
  82. Wei-Tek Tsai, Lian Yu, Raymond A. Paul, Akihiro Saimi, Weiwei Song, Zhibin Cao
    Scenario-Based System Generation for Process Control. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2003, pp:978-984 [Conf]
  83. Mohamed Fayad, Louis J. Hawn, Mark A. Roberts, Jay W. Schooley, Wei-Tek Tsai
    Hardware-In-the-Loop (HIL) Simulation: An Application of Colbert's Object-Oriented Software Development Method. [Citation Graph (0, 0)][DBLP]
    TRI-Ada, 1992, pp:176-188 [Conf]
  84. Yibiao Lu, Matthew J. Koehler, Richard Lehrer, Wei-Tek Tsai
    A Framework for Developing Web-Based Educational Applications: Using a Relational Database to Connect the Design of Authoring and Navigational Tools. [Citation Graph (0, 0)][DBLP]
    WebNet, 1997, pp:- [Conf]
  85. Wei-Tek Tsai, Bingnan Xiao, Raymond A. Paul, Qian Huang, Yinong Chen
    Global Software Enterprise: A New Software Constructing Architecture. [Citation Graph (0, 0)][DBLP]
    CEC/EEE, 2006, pp:55- [Conf]
  86. Xiaoying Bai, Wei-Tek Tsai, Ke Feng, Lian Yu, Raymond A. Paul
    Scenario-Based Modeling And Its Applications. [Citation Graph (0, 0)][DBLP]
    WORDS, 2002, pp:253-260 [Conf]
  87. Charles J. Colbourn, Yinong Chen, Wei-Tek Tsai
    Progressive Ranking and Composition of Web Services Using Covering Arrays. [Citation Graph (0, 0)][DBLP]
    WORDS, 2005, pp:179-185 [Conf]
  88. Hong Mei, Gang Huang, Wei-Tek Tsai
    Towards Self-Healing Systems via Dependable Architecture and. [Citation Graph (0, 0)][DBLP]
    WORDS, 2005, pp:337-346 [Conf]
  89. Wei-Tek Tsai, Yinong Chen, Raymond A. Paul
    Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems. [Citation Graph (0, 0)][DBLP]
    WORDS, 2005, pp:139-147 [Conf]
  90. Wei-Tek Tsai, Raymond A. Paul, Zhibin Cao, Lian Yu, Akihiro Saimi, Bingnan Xiao
    Verification of Web Services Using an Enhanced UDDI Server. [Citation Graph (0, 0)][DBLP]
    WORDS, 2003, pp:131-138 [Conf]
  91. W. T. Tsai, Miroslaw Malek, Yinong Chen, Farokh B. Bastani
    Perspectives on Service-Oriented Computing and Service-Oriented System Engineering. [Citation Graph (0, 0)][DBLP]
    SOSE, 2006, pp:3-10 [Conf]
  92. Wei-Tek Tsai, Yann-Hang Lee, Zhibin Cao, Yinong Chen, Bingnan Xiao
    RTSOA: Real-Time Service-Oriented Architecture. [Citation Graph (0, 0)][DBLP]
    SOSE, 2006, pp:49-56 [Conf]
  93. Mohamed E. Fayad, Wei-Tek Tsai
    Object-Oriented Experiences: Introduction to the Special Section. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1995, v:38, n:10, pp:50-53 [Journal]
  94. Mohamed E. Fayad, Wei-Tek Tsai, Milton L. Fulghum
    Transition To Object-Oriented Software Development. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1996, v:39, n:2, pp:108-121 [Journal]
  95. Shekhar H. Kirani, Imran A. Zualkernan, Wei-Tek Tsai
    Evaluation of Expert System Testing Methods. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1994, v:37, n:11, pp:71-81 [Journal]
  96. Akira K. Onoma, Wei-Tek Tsai, Mustafa H. Poonawala, Hiroshi Suganuma
    Regression Testing in an Industrial Environment. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1998, v:41, n:5, pp:81-86 [Journal]
  97. C. V. Ramamoorthy, Wei-Tek Tsai
    Advances in Software Engineering. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1996, v:29, n:10, pp:47-58 [Journal]
  98. I-Ling Yen, Raymond A. Paul, Victor L. Winter, John M. Covan, Larry J. Dalton, Leon Alkalai, Ann T. Tai, Rick Harper, Barry Flahive, Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry
    Key Applications for High-Assurance Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:4, pp:35-45 [Journal]
  99. Ezra Ebner, Weiguang Shao, Wei-Tek Tsai
    The five-module framework for Internet application development. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 2000, v:32, n:1es, pp:40- [Journal]
  100. Wei-Tek Tsai
    Guest Editor's Introduction. [Citation Graph (0, 0)][DBLP]
    IEEE Expert, 1993, v:8, n:1, pp:7-0 [Journal]
  101. Jian Liu, Eugene Shragowitz, Wei-Tek Tsai
    Combining Hierarchical Filtering, Fuzzy Logic, and Simulation with Software Agents for IP (Intellectual Property) Selection in Electronic Design. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2001, v:10, n:3, pp:303-323 [Journal]
  102. Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai
    Sequence Specification for Concurrent Object-Oriented Applications. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1998, v:8, n:3, pp:361-383 [Journal]
  103. Bing Li, Wei-Tek Tsai, Liang-Jie Zhang
    Building e-commerce systems using semantic application framework. [Citation Graph (0, 0)][DBLP]
    Int. J. Web Eng. Technol., 2004, v:1, n:3, pp:297-319 [Journal]
  104. Hai Huang, Wei-Tek Tsai, Yinong Chen
    Binary analysis and automated hot patching for Web-based applications. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2006, v:48, n:12, pp:1148-1158 [Journal]
  105. Sourav Bhattacharya, Wei-Tek Tsai
    Recursive Binary Tree Layout Mixing. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1994, v:77, n:1-2, pp:39-49 [Journal]
  106. K. Heisler, Y. Kasho, Wei-Tek Tsai
    A reverse engineering model for C programs. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1993, v:68, n:1-2, pp:155-189 [Journal]
  107. Chungti Liang, Wei-Tek Tsai
    On the reconfigurability of embedded loops on hypercubes and its application. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1992, v:66, n:3, pp:191-224 [Journal]
  108. Shekhar H. Kirani, Wei-Tek Tsai
    Method Sequence Specification and Verification of Classes. [Citation Graph (0, 0)][DBLP]
    JOOP, 1994, v:7, n:6, pp:28-38 [Journal]
  109. Satish Subramanian, Wei-Tek Tsai, Shekhar H. Kirani
    Hierarchical Data Flow Analysis for O-O Programs. [Citation Graph (0, 0)][DBLP]
    JOOP, 1994, v:7, n:2, pp:36-46 [Journal]
  110. Sourav Bhattacharya, Gary Elsesser, Wei-Tek Tsai, Ding-Zhu Du
    Multicasting in Generalized Multistage Interconnection Networks. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1994, v:22, n:1, pp:80-95 [Journal]
  111. Sourav Bhattacharya, Thomas F. Keefe, Wei-Tek Tsai
    Covert Channel Secure Hypercube Message Communication. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1995, v:26, n:2, pp:233-247 [Journal]
  112. Albert C. Liang, Sourav Bhattacharya, Wei-Tek Tsai
    Fault-Tolerant Multicasting on Hypercubes. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1994, v:23, n:3, pp:418-428 [Journal]
  113. Mohamed Fayad, Milton L. Fulghum, Wei-Tek Tsai
    Object-oriented real-time system analysis and design issues. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1994, v:5, n:2, pp:83-84 [Journal]
  114. Mohamed Fayad, Milton L. Fulghum, Wei-Tek Tsai
    Object-oriented real-time systems analysis and design issues. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1994, v:5, n:4, pp:105-109 [Journal]
  115. Sourav Bhattacharya, Shekhar H. Kirani, Wei-Tek Tsai
    Quadtree Layouts and I/O Bandwidth. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1995, v:5, n:, pp:231-240 [Journal]
  116. Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul
    A service-oriented modeling and simulation framework for rapid development of distributed applications. [Citation Graph (0, 0)][DBLP]
    Simulation Modelling Practice and Theory, 2006, v:14, n:6, pp:725-739 [Journal]
  117. Hai Huang, Wei-Tek Tsai
    VSAM conversion for COBOL programs. [Citation Graph (0, 0)][DBLP]
    Journal of Software Maintenance, 1999, v:11, n:5, pp:311-337 [Journal]
  118. Hai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun
    Business rule extraction techniques for COBOL programs. [Citation Graph (0, 0)][DBLP]
    Journal of Software Maintenance, 1998, v:10, n:1, pp:3-35 [Journal]
  119. Mohamed Fayad, Wei-Tek Tsai, Mark A. Roberts, Louis J. Hawn, Jay W. Schooley
    Adapting an Object-Oriented Development Method. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1994, v:11, n:3, pp:68-76 [Journal]
  120. Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott
    Retrofitting Software Safety in an Implantable Medical Device. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1994, v:11, n:1, pp:41-50 [Journal]
  121. Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul
    Rapid Embedded System Testing Using Verification Patterns. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2005, v:22, n:4, pp:68-75 [Journal]
  122. Wei-Tek Tsai, C. V. Ramamoorthy, Wei Kang Tsai, Osamu Nishiguchi
    An Adaptive Hierarchical Routing Protocol. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1989, v:38, n:8, pp:1059-1075 [Journal]
  123. Wei-Tek Tsai, Ramakrishna V. Vishnuvajjala, Du Zhang
    Verification and Validation of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1999, v:11, n:1, pp:202-212 [Journal]
  124. Yigang Chen, Wei-Tek Tsai, Daniel Y. Chao
    Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1993, v:4, n:4, pp:414-426 [Journal]
  125. Shyh-Kwei Chen, Wei-Tek Tsai, Bhavani M. Thuraisingham
    Recovery Point Selection on a Reverse Binary Tree Task Model. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:8, pp:963-976 [Journal]
  126. C. V. Ramamoorthy, Yutaka Usuda, Atul Prakash, Wei-Tek Tsai
    The Evolution Support Environment System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1225-1234 [Journal]
  127. Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe
    Automated Test Case Generation for Programs Specified by Relational Algebra Queries. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:3, pp:316-324 [Journal]
  128. Yigang Chen, Wei-Tek Tsai, Jian Liu, Weiwen Xie
    Static identifying of synchronization faults in dynamic-multithreaded applications. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 1998, pp:34-37 [Conf]
  129. Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsai, Yinong Chen
    A Framework for Contract-Based Collaborative Verification and Validation of Web Services. [Citation Graph (0, 0)][DBLP]
    CBSE, 2007, pp:258-273 [Conf]
  130. Venkata U. B. Challagulla, Farokh B. Bastani, Raymond A. Paul, Wei-Tek Tsai, Yinong Chen
    A Machine Learning-Based Reliability Assessment Model for Critical Software Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2007, pp:79-86 [Conf]
  131. W. T. Tsai, Dawei Zhang, Yinong Chen, Hai Huang, Raymond A. Paul, Ning Liao
    A software reliability model for web services. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering and Applications, 2004, pp:144-149 [Conf]

  132. Ontology-based Information Sharing in Service-Oriented Database Systems. [Citation Graph (, )][DBLP]


  133. A Collaborative Service-Oriented Simulation Framework with Microsoft Robotic Studio®. [Citation Graph (, )][DBLP]


  134. SOA Simulation and Verification by Event-Driven Policy Enforcement. [Citation Graph (, )][DBLP]


  135. Collaborative Web Services Monitoring with Active Service Broker. [Citation Graph (, )][DBLP]


  136. Dynamic Assessment and Customizable e-Learning Content Generator. [Citation Graph (, )][DBLP]


  137. A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software. [Citation Graph (, )][DBLP]


  138. Design of a Contract-Based Web Services QoS Management System. [Citation Graph (, )][DBLP]


  139. Requirement Engineering in Service-Oriented System Engineering. [Citation Graph (, )][DBLP]


  140. Roadmap to a Full Service Broker in Service-Oriented Architecture. [Citation Graph (, )][DBLP]


  141. Designing a Service-Oriented Computing Course for High Schools. [Citation Graph (, )][DBLP]


  142. Ontology-Based Test Modeling and Partition Testing of Web Services. [Citation Graph (, )][DBLP]


  143. Teaching Service-Oriented Computing and STEM Topics via Robotic Games. [Citation Graph (, )][DBLP]


  144. Service-Oriented Cloud Computing Architecture. [Citation Graph (, )][DBLP]


  145. Towards Selecting Test Data Using Topological Structure of Boolean Expressions. [Citation Graph (, )][DBLP]


  146. An Adaptive Management Framework for Service Brokers in Service-oriented Architecture. [Citation Graph (, )][DBLP]


  147. Distributed fault-tolerant routing on hypercubes algorithms and performance study. [Citation Graph (, )][DBLP]


  148. Ontology-Based Service Composition Framework for Syndicating Building Intelligence. [Citation Graph (, )][DBLP]


  149. Composing Highly Reliable Service-Oriented Applications Adaptively. [Citation Graph (, )][DBLP]


  150. Service Oriented Computing: Technology Trends and Research Directions. [Citation Graph (, )][DBLP]


  151. Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture. [Citation Graph (, )][DBLP]


  152. Timing specification and analysis for service-oriented simulation. [Citation Graph (, )][DBLP]


  153. An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. [Citation Graph (, )][DBLP]


  154. Model-Based Monitoring and Policy Enforcement of Services. [Citation Graph (, )][DBLP]


  155. Real-Time Service-Oriented Cloud Computing. [Citation Graph (, )][DBLP]


  156. SODA: A secure object-oriented database system. [Citation Graph (, )][DBLP]


  157. Prototyping to explore MLS/DBMS design. [Citation Graph (, )][DBLP]


  158. On Testing and Evaluating Service-Oriented Software. [Citation Graph (, )][DBLP]


Search in 0.068secs, Finished in 0.073secs
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