Techniques in Software Quality Assurance. - C. V. Ramamoorthy; Siyi Terry Dong; S. L. Ganesh; C.-H. Jen; Wei-Tek Tsai (Software-Qualitätssicherung, 1982)

The Design of "Low-End" Machines for Data Management in Distributed Systems. - C. V. Ramamoorthy; S. L. Ganesh; Siyi Terry Dong; C.-H. Jen; Wei-Tek Tsai (ICDCS, 1982)

Software Engineering: Problems and Perspectives. - C. V. Ramamoorthy; Atul Prakash 001; Wei-Tek Tsai; Yutaka Usuda (Computer, 1984)

A Distributed Clustering Algorithm for Large Computer Networks. - C. V. Ramamoorthy; Jaideep Srivastava; Wei-Tek Tsai (ICDCS, 1986)

Expert Systems and Software Enginnering: Ready for Marriage? - Imran A. Zualkernan; Wei-Tek Tsai; Dmitry Volovik (IEEE Expert, 1986)

Asynchronous recovery protocols for distributed systems. - Kuo-Wei Hwang; Wei-Tek Tsai (COMPSAC, 1988)

Synthesis rules for cyclic interactions among processes in concurrent systems. - C. V. Ramamoorthy; Yuh Yaw; Wei-Tek Tsai (COMPSAC, 1988)

Automatic test case generation from relational algebra queries. - Wei-Tek Tsai; Dmitry Volovik; Thomas F. Keefe; Mohamed E. Fayad (COMPSAC, 1988)

Expert systems and software engineering. - Jeffrey J. P. Tsai; David Y. Yun; Mehdi T. Harandi; Murat M. Tanik; Wei-Tek Tsai; Walt Scacchi (COMPSAC, 1988)

Object-oriented paradigm and software engineering. - Wei-Tek Tsai; Imran A. Zualkernan (COMPSAC, 1988)

Expert systems for software engineering? - Wei-Tek Tsai; Imran A. Zualkernan (COMPSAC, 1988)

Extensions on performance evaluation techniques for concurrent systems. - Yuh Yaw; Belle W. Y. Wei; C. V. Ramamoorthy; Wei-Tek Tsai (COMPSAC, 1988)

Prototyping as a Research Tool for MLS/DBMS. - D. J. Thomsen; Wei-Tek Tsai; Bhavani M. Thuraisingham (DBSec, 1988)

An efficient multi-dimensional grids reconfiguration algorithm on hypercube. - Shyh-Kwei Chen; Chungti Liang; Wei-Tek Tsai (FTCS, 1988)

Are knowledge representations the answer to requirement analysis? - Imran A. Zualkernan; Wei-Tek Tsai (ICCL, 1988)

Loops and Multi-Dimensional Grids on Hypercubes Mapping and Reconfiguration Algorithms. - Shyh-Kwei Chen; Chungti Liang; Wei-Tek Tsai (ICPP (1), 1988)

Panel: Object-Oriented Knowledge-Based Software Maintenance. - Rao V. Mikkilineni; W. T. Tsai; Gordon Kotik; Mohammad A. Ketabchi; Gerhard Fischer (OOPSLA, 1988)

A case study of solving optimization problems using neural networks. - Xin Xu; S. Chen; W. T. Tsai; N. K. Huang (Neural Networks, 1988)

Information capacity of McCulloch Pitts' model. - Xin Xu; W. T. Tsai; N. K. Huang (Neural Networks, 1988)

A generalized neural network model. - Xin Xu; W. T. Tsai; N. K. Huang (Neural Networks, 1988)

Security model consistency in secure object-oriented systems. - Thomas F. Keefe; Wei-Tek Tsai (ACSAC, 1989)

Multi-party conflict: the problem and its solutions. - Thomas F. Keefe; Dan Thomsen; Wei-Tek Tsai; M. R. Hansch (ACSAC, 1989)

An object-oriented maintenance-oriented model for software. - K. G. Heisler; W. T. Tsai; P. A. Powell (COMPCON, 1989)

Prototyping the SODA Model. - Thomas F. Keefe; Wei-Tek Tsai (DBSec, 1989)

Embedding of Linear Array and Binary Tree in Cubical Ring Connected Cycles Networks. - Chungti Liang; Yigang Chen; Wei-Tek Tsai (ICPP (1), 1989)

A parallel architecture for large scale production systems. - Kai W. Hwang; Jack S. Eddy Tan; Jau-Hwang Wang; Jaideep Srivastava; Wei-Tek Tsai (TAI, 1989)

Towards a framework for normative software engineering research. - Wei-Tek Tsai; Imran A. Zualkernan (TAI, 1989)

A Low Overhead Checkpointing and Rollback Recovery Scheme for Distributed Systems. - Zhijun Tong; Richard Y. Kain; Wei-Tek Tsai (SRDS, 1989)

SODA: A secure object-oriented database system. - Thomas F. Keefe; Wei-Tek Tsai; Bhavani M. Thuraisingham (Comput. Secur., 1989)

Prototyping to explore MLS/DBMS design. - D. J. Thomsen; Wei-Tek Tsai; Bhavani M. Thuraisingham (Comput. Secur., 1989)

Secure Query-Processing Strategies. - Thomas F. Keefe; Bhavani M. Thuraisingham; Wei-Tek Tsai (Computer, 1989)

An Adaptive Hierarchical Routing Protocol. - Wei-Tek Tsai; C. V. Ramamoorthy; Wei Kang Tsai; Osamu Nishiguchi (IEEE Trans. Computers, 1989)

Recovery Point Selection on a Reverse Binary Tree Task Model. - Shyh-Kwei Chen; Wei-Tek Tsai; Bhavani M. Thuraisingham (IEEE Trans. Software Eng., 1989)

Multilevel Secure Database Concurrency Control. - Thomas F. Keefe; Wei-Tek Tsai; Jaideep Srivastava (ICDE, 1990)

A Synthesis Approach to Developing Large Petri Nets. - Yigang Chen; Wei-Tek Tsai (ICPP (2), 1990)

Performance Evaluation of Distributed Real Time Scheduling Algorithms. - P. M. Perry Leung; Jaideep Srivastava; Wei-Tek Tsai (ICSI, 1990)

Production Scheduling in Database Production Systems. - Jaideep Srivastava; Jau-Hwang Wang; Jack S. Eddy Tan; Kuo-Wei Hwang; Wei-Tek Tsai (ICSI, 1990)

Software representation to support change. - K. G. Heisler; P. E. Johnson; Wei-Tek Tsai; Y. Kasho; J. R. Snyder (TAI, 1990)

Towards a Unified Framework for Testing Expert Systems. - Wei-Tek Tsai; Imran A. Zualkernan (SEKE, 1990)

What Software Engineering Can Learn From Practitioners. - Dmitry Volovik; Ramin Mojdehbakhsh; Wei-Tek Tsai (SEKE, 1990)

Multiversion Concurrency Control for Multilevel Secure Database Systems. - Thomas F. Keefe; Wei-Tek Tsai (S&P, 1990)

Multi-failure fault-tolerance of embedded loops on hypercubes: issues and performance study. - Chungti Liang; Wei-Tek Tsai (SPDP, 1990)

N-Fold Inspection: A Requirements Analysis Technique. - Johnny Martin; Wei-Tek Tsai (Commun. ACM, 1990)

Constructing associative memories using neural networks. - Xin Xu; Wei-Tek Tsai (Neural Networks, 1990)

A model for assembly program maintenance. - S. Chen; K. G. Heisler; Wei-Tek Tsai; X. Chen; E. Leung (J. Softw. Maintenance Res. Pract., 1990)

The Evolution Support Environment System. - C. V. Ramamoorthy; Yutaka Usuda; Atul Prakash 001; Wei-Tek Tsai (IEEE Trans. Software Eng., 1990)

Automated Test Case Generation for Programs Specified by Relational Algebra Queries. - Wei-Tek Tsai; Dmitry Volovik; Thomas F. Keefe (IEEE Trans. Software Eng., 1990)

Conditional transactions: a model of computation for active databases. - Jaideep Srivastava; Kuo-Wei Hwang; Wei-Tek Tsai (COMPSAC, 1991)

I/O bound binary tree layout. - Sourav Bhattacharya; Yoon-Hwa Choi; Wei-Tek Tsai (Great Lakes Symposium on VLSI, 1991)

Uni-directional cube-connected cycles. - Sourav Bhattacharya; Yoon-Hwa Choi; Wei-Tek Tsai (Great Lakes Symposium on VLSI, 1991)

Area efficient binary tree layout. - Sourav Bhattacharya; Wei-Tek Tsai (Great Lakes Symposium on VLSI, 1991)

Inverted Memory. - Sourav Bhattacharya; Chungti Liang; Wei-Tek Tsai (ICPP (1), 1991)

AI in multimedia (panel session). - Nikolaos G. Bourbakis; Robin Williams; Forouzan Golshani; Myron Flickner; Ted Laliotis; Sukhan Lee 001; José G. Delgado-Frias; Dan Hammerstrom; Cris Koutsougeras; Gerald G. Pechanek; Benjamin W. Wah; John Yen; et al. (ICTAI, 1991)

Distributed fault-tolerant routing on hypercubes algorithms and performance study. - Chungti Liang; Sourav Bhattacharya; Wei-Tek Tsai (SPDP, 1991)

Effective neural algorithms for the traveling salesman problem. - Xin Xu; W. T. Tsai (Neural Networks, 1991)

Testing expert systems using conventional techniques. - Wei-Tek Tsai; Shekhar H. Kirani; Imran A. Zualkernan (COMPSAC, 1992)

Quadtree interconnection network layout. - Sourav Bhattacharya; Shekhar H. Kirani; Wei-Tek Tsai (Great Lakes Symposium on VLSI, 1992)

Array Covering: A Technique4 for Enabling Lloop Parallelization. - Viet N. Ngo; Gary Elsesser; Sourav Bhattacharya; Wei-Tek Tsai (ICPP (2), 1992)

Comparative Evaluation of Expert System Testing Methods. - Shekhar H. Kirani; Imran A. Zualkernan; Wei-Tek Tsai (ICTAI, 1992)

Knowledge Acquisition and Process Acquisition. - W. T. Tsai (ICTAI, 1992)

Hardware-In-the-Loop (HIL) Simulation: An Application of Colbert's Object-Oriented Software Development Method. - Mohamed Fayad; Louis J. Hawn; Mark A. Roberts; Jay W. Schooley; Wei-Tek Tsai (TRI-Ada, 1992)

Samea: Object-Oriented Software Maintenance Environment for Assembly Programs. - S. Chen; Wei-Tek Tsai; Xiaoping Chen (Int. J. Softw. Eng. Knowl. Eng., 1992)

Object-Oriented Analysis as Design: a Case Study. - Imran A. Zualkernan; Wei-Tek Tsai; A. Jemie; I. C. Wen; José M. Drake (Int. J. Softw. Eng. Knowl. Eng., 1992)

On the reconfigurability of embedded loops on hypercubes and its application. - Chungti Liang; Wei-Tek Tsai (Inf. Sci., 1992)

Simulation and theoretical results on cluster management and directory management in dynamic hierarchical networks. - Showi-Min Shen; Hosame Abu-Amara; Wei Kang Tsai; Wei-Tek Tsai (IEEE Trans. Commun., 1992)

An Experimental Study of Fault Detection In User Requirements Documents. - G. Michael Schneider; Johnny Martin; Wei-Tek Tsai (ACM Trans. Softw. Eng. Methodol., 1992)

Rollback Recovery in Distributed Systems Using Loosely Synchronized Clocks. - Zhijun Tong; Richard Y. Kain; W. T. Tsai (IEEE Trans. Parallel Distributed Syst., 1992)

Object prototyping: Concept and specification language. - Horng-Juing Lee; Wei-Tek Tsai (COMPSAC, 1993)

Approach and Case Study of Requirement Analysis Where End Users Take an Active Role. - José M. Drake; W. W. Xie; Wei-Tek Tsai; Imran A. Zualkernan (ICSE, 1993)

Quality of Heuristic Programs (Panel). - Wei-Tek Tsai; Imran A. Zualkernan (ICTAI, 1993)

Load Balancing of DOALL Loops in the Perfect Club. - Gary Elsesser; Viet N. Ngo; Sourav Bhattacharya; Wei-Tek Tsai (IPPS, 1993)

A Framework for Systematic Testing of Software Specifications. - Wei-Tek Tsai; Weiwen Xie; Imran A. Zualkernan; Satish K. Musukula (SEKE, 1993)

Guest Editor's Introduction. - Wei-Tek Tsai (IEEE Expert, 1993)

A Transaction Model for Parallel Rule Execution Part I: Model and Algorithms. - Jaideep Srivastava; Jau-Hwang Wang; Kuo-Wei Hwang; Wei-Tek Tsai (Int. J. Artif. Intell. Tools, 1993)

Pragmatic Testing Methods for Expert Systems. - Wei-Tek Tsai; Imran A. Zualkernan; Shekhar H. Kirani (Int. J. Artif. Intell. Tools, 1993)

A Transaction Model for Parallel Production Systems Part II: Model and Evaluation. - Jau-Hwang Wang; Jaideep Srivastava; Wei-Tek Tsai (Int. J. Artif. Intell. Tools, 1993)

Object-Oriented Analysis: Criteria and Case Study. - José M. Drake; Wei-Tek Tsai; H. J. Lee; Imran A. Zualkernan (Int. J. Softw. Eng. Knowl. Eng., 1993)

Database requirements for a software engineering environment: criteria and empirical evaluation. - S. Chen; Janet M. Drake; Wei-Tek Tsai (Inf. Softw. Technol., 1993)

A reverse engineering model for C programs. - K. G. Heisler; Y. Kasho; Wei-Tek Tsai (Inf. Sci., 1993)

Object-oriented real-time system analysis and design issues. - Mohamed Fayad; Milton L. Fulghum; Wei-Tek Tsai (OOPSLA Addendum, 1993)

Distributed, Collaborative Software Inspection. - Vahid Mashayekhi; Janet M. Drake; Wei-Tek Tsai; John Riedl (IEEE Softw., 1993)

Database Concurrency Control in Multilevel Secure Database Management Systems. - Thomas F. Keefe; Wei-Tek Tsai; Jaideep Srivastava (IEEE Trans. Knowl. Data Eng., 1993)

Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems. - Yigang Chen; Wei-Tek Tsai; Daniel Y. Chao (IEEE Trans. Parallel Distributed Syst., 1993)

Samea: Object-Oriented Software Maintenance Environment for assembly Programs. - S. Chen; W. T. Tsai; X. P. Chen (The Impact of Case Technology on Software Processes, 1994)

A process for developing safe software. - Lynn Elliott; Ramin Mojdehbakhsh; Wei-Tek Tsai (CBMS, 1994)

Automatic variable classification for COBOL programs. - Xiaoping Chen; Wei-Tek Tsai; Jay K. Joiner; H. Gandamaneni; Jianhua Sun (COMPSAC, 1994)

Data-Centered Program Understanding. - Jay K. Joiner; Wei-Tek Tsai; K. P. Chen; Satish Subramanian; Jianhua Sun; H. Gandamaneni (ICSM, 1994)

Lookahead Processor Allocation in Mesh-Connected Massively Parallel Multicomputer. - Sourav Bhattacharya; Wei-Tek Tsai (IPPS, 1994)

A process for software requirements safety analysis. - Ramin Mojdehbakhsh; Satish Subramanian; Ramakrishna V. Vishnuvajjala; Wei-Tek Tsai; Lynn Elliott (ISSRE, 1994)

System bounding issues for analysis. - José M. Drake; Wei-Tek Tsai (ICRE, 1994)

Evaluation of Expert System Testing Methods. - Shekhar H. Kirani; Imran A. Zualkernan; Wei-Tek Tsai (Commun. ACM, 1994)

Recursive Binary Tree Layout Mixing. - Sourav Bhattacharya; Wei-Tek Tsai (Inf. Sci., 1994)

Method Sequence Specification and Verification of Classes. - Shekhar H. Kirani; Wei-Tek Tsai (J. Object Oriented Program., 1994)

Hierarchical Data Flow Analysis for O-O Programs. - Satish Subramanian; Wei-Tek Tsai; Shekhar H. Kirani (J. Object Oriented Program., 1994)

Multicasting in Generalized Multistage Interconnection Networks. - Sourav Bhattacharya; Gary Elsesser; Wei-Tek Tsai; Ding-Zhu Du (J. Parallel Distributed Comput., 1994)

Fault-Tolerant Multicasting on Hypercubes. - Albert C. Liang; Sourav Bhattacharya; Wei-Tek Tsai (J. Parallel Distributed Comput., 1994)

Object-oriented real-time systems analysis and design issues. - Mohamed Fayad; Milton L. Fulghum; Wei-Tek Tsai (OOPSLA Addendum, 1994)

Adapting an Object-Oriented Development Method. - Mohamed Fayad; Wei-Tek Tsai; Mark A. Roberts; Louis J. Hawn; Jay W. Schooley (IEEE Softw., 1994)

Retrofitting Software Safety in an Implantable Medical Device. - Ramin Mojdehbakhsh; Wei-Tek Tsai; Shekhar H. Kirani; Lynn Elliott (IEEE Softw., 1994)

Processor preallocation and load balancing of DOALL loops. - Gary Elsesser; Viet N. Ngo; Sourav Bhattacharya; Wei-Tek Tsai (J. Supercomput., 1994)

A Framework for Designing Safe Software Systems. - Satish Subramanian; Ramakrishna V. Vishnuvajjala; Ramin Mojdehbakhsh; Wei-Tek Tsai; Lynn Elliott (COMPSAC, 1995)

AURA-CFG/E: An Object-Oriented approach for Acquisition and Decomposition of DFDs from End users. - O. A. Al-Saadoon; W. T. Tsai; H. El-bedour (SEKE, 1995)

Object-Oriented Experiences: Introduction to the Special Section. - Mohamed E. Fayad; Wei-Tek Tsai (Commun. ACM, 1995)

Covert Channel Secure Hypercube Message Communication. - Sourav Bhattacharya; Thomas F. Keefe; Wei-Tek Tsai (J. Parallel Distributed Comput., 1995)

Quadtree Layouts and I/O Bandwidth. - Sourav Bhattacharya; Shekhar H. Kirani; Wei-Tek Tsai (Parallel Process. Lett., 1995)

Software maintenance - an industrial experience. - Akira K. Onoma; Wei-Tek Tsai; Fumihiro Tsunoda; Hiroshi Suganuma; Satish Subramanian (J. Softw. Maintenance Res. Pract., 1995)

Fault mitigation in safety-critical software systems. - Satish Subramanian; Lynn Elliott; Ramakrishna V. Vishnuvajjala; Wei-Tek Tsai; Ramin Mojdehbakhsh (CBMS, 1996)

Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application]. - Ramakrishna V. Vishnuvajjala; Satish Subramanian; Wei-Tek Tsai; Lynn Elliott; Ramin Mojdehbakhsh (CBMS, 1996)

Business Rule Extraction from Legacy Code. - Hai Huang 011; Wei-Tek Tsai; Sourav Bhattacharya; Xiaoping Chen; Yamin Wang; Jianhua Sun (COMPSAC, 1996)

Opusdei-Integrated Environment for Software Development and Maintenance. - Akira K. Onoma; Hiroshi Suganuma; Mustafa H. Poonawala; Satish Subramanian; Wei-Tek Tsai; Tsutomu Syomura (COMPSAC, 1996)

A multiversion transaction scheduler for centralized multilevel secure database systems. - Thomas F. Keefe; Wei-Tek Tsai (HASE, 1996)

Flow analysis for concurrent, reactive, real-time systems. - Ramakrishna V. Vishnuvajjala; Satish Subramanian; Wei-Tek Tsai; Ramin Mojdehbakhsh; Lynn Elliott (HASE, 1996)

Specifying timing constraints in real-time object-oriented systems. - Ramakrishna V. Vishnuvajjala; Wei-Tek Tsai; Ramin Mojdehbakhsh; Lynn Elliott (HASE, 1996)

Omega - an integrated environment for C++ program maintenance. - Xiaoping Chen; Wei-Tek Tsai; Hai Huang 011; Mustafa H. Poonawala; Sanjai Rayadurgam; Yamin Wang (ICSM, 1996)

Generalized Program Slicing for Software Maintenance. - Hai Huang 011; Wei-Tek Tsai; Satish Subramanian (SEKE, 1996)

The Role of Program Slicing in Ripple Effect Analysis. - Yamin Wang; Wei-Tek Tsai; Xiaoping Chen; Sanjai Rayadurgam (SEKE, 1996)

Transition To Object-Oriented Software Development. - Mohamed E. Fayad; Wei-Tek Tsai; Milton L. Fulghum (Commun. ACM, 1996)

Advances in Software Engineering. - C. V. Ramamoorthy; Wei-Tek Tsai (Computer, 1996)

An Object-Based Environment (Opusdei) for Software Development and Maintenance. - Akira K. Onoma; Hiroshi Suganuma; Mustafa H. Poonawala; Satish Subramanian; Wei-Tek Tsai; Tsutomu Syomura (Int. J. Artif. Intell. Tools, 1996)

Software Engineering Practices and Tools for Real-Time Systems (Part I): Guest Editor's Introduction. - Sourav Bhattacharya; Ramin Mojdehbakhsh; Wei-Tek Tsai (Int. J. Softw. Eng. Knowl. Eng., 1996)

Software Engineering Practices and Tools for Real-Time Systems (Part II): Guest Editor's Introduction. - Sourav Bhattacharya; Ramin Mojdehbakhsh; Wei-Tek Tsai (Int. J. Softw. Eng. Knowl. Eng., 1996)

Trends in software technology. - Wei-Tek Tsai (COMPSAC, 1997)

Application of data-centered approach to Year 2000 problem. - Wei-Tek Tsai (COMPSAC, 1997)

Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. - Wei-Tek Tsai; Ramin Mojdehbakhsh; Sanjai Rayadurgam (HASE, 1997)

ScmEngine: A Distributed Software Management Environment on X.500. - James X. Ci; Mustafa H. Poonawala; Wei-Tek Tsai (SCM, 1997)

A Framework for Developing Web-Based Educational Applications: Using a Relational Database to Connect the Design of Authoring and Navigational Tools. - Yibiao Lu; Matthew J. Koehler; Richard Lehrer; Wei-Tek Tsai (WebNet, 1997)

Interview with Takashi Sano. - Takashi Sano; Wei-Tek Tsai; Sanjai Rayadurgam (J. Softw. Maintenance Res. Pract., 1997)

Static identifying of synchronization faults in dynamic-multithreaded applications. - Yigang Chen; Wei-Tek Tsai; Jian Liu; Weiwen Xie (CATA, 1998)

Framework-Oriented Analysis. - Feng Zhu 001; Wei-Tek Tsai (COMPSAC, 1998)

Design for Constraint Violation Detection in Safety-Critical Systems. - Satish Subramanian; Sanjai Rayadurgam; Wei-Tek Tsai (HASE, 1998)

An agent architecture for supporting individualized services in Internet applications. - Weiguang Shao; Wei-Tek Tsai; Sanjai Rayadurgam; Robert Lai (ICTAI, 1998)

Automating Regression Testing for Real-Time Software in a Distributed Environment. - Feng Zhu 001; Sanjai Rayadurgam; Wei-Tek Tsai (ISORC, 1998)

Re-Engineering Legacy Cobol Programs. - Jay K. Joiner; Wei-Tek Tsai (Commun. ACM, 1998)

Regression Testing in an Industrial Environment. - Akira K. Onoma; Wei-Tek Tsai; Mustafa H. Poonawala; Hiroshi Suganuma (Commun. ACM, 1998)

Key Applications for High-Assurance Systems. - I-Ling Yen; Raymond A. Paul; Victor L. Winter; John M. Covan; Larry J. Dalton; Leon Alkalai; Ann T. Tai; Rick Harper 001; Barry Flahive; Wei-Tek Tsai; Ramin Mojdehbakhsh; Sanjai Rayadurgam; et al. (Computer, 1998)

Sequence Specification for Concurrent Object-Oriented Applications. - Yamin Wang; Ramakrishna V. Vishnuvajjala; Wei-Tek Tsai (Int. J. Softw. Eng. Knowl. Eng., 1998)

Business rule extraction techniques for COBOL programs. - Hai Huang 011; Wei-Tek Tsai; Sourav Bhattacharya; Xiaoping Chen; Yamin Wang; Jianhua Sun (J. Softw. Maintenance Res. Pract., 1998)

Specifying Constraints with Message Sequence Specifications. - Yongzhong Tu; Wei-Tek Tsai; Yang Xiang (APSEC, 1999)

Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates. - Wei-Tek Tsai; Yongzhong Tu; Weiguang Shao; Ezra Ebner (COMPSAC, 1999)

Assurance-Based Y2K Testing. - Wei-Tek Tsai; Weiguang Shao; Sanjai Rayadurgam; Jinbao Li; Raymond A. Paul (HASE, 1999)

VSAM conversion for COBOL programs. - Hai Huang 011; Wei-Tek Tsai (J. Softw. Maintenance Res. Pract., 1999)

Verification and Validation of Knowledge-Based Systems. - Wei-Tek Tsai; Ramakrishna V. Vishnuvajjala; Du Zhang (IEEE Trans. Knowl. Data Eng., 1999)

An Approach to Modify and Test Expired Window Logic. - Wei-Tek Tsai; Xiaoying Bai; Raymond A. Paul; George Devaraj; Vishal Agarwal (APAQS, 2000)

The five-module framework for Internet application development. - Ezra Ebner; Weiguang Shao; Wei-Tek Tsai (ACM Comput. Surv., 2000)

Scenario-Based Functional Regression Testing. - Raymond A. Paul; Lian Yu; Wei-Tek Tsai; Xiaoying Bai (COMPSAC, 2001)

End-to-End Integration Testing. - Wei-Tek Tsai (COMPSAC, 2001)

End-To-End Integration Testing Design. - Wei-Tek Tsai; Xiaoying Bai; Raymond A. Paul; Weiguang Shao; Vishal Agarwal (COMPSAC, 2001)

Distributed End-to-End Testing Management. - Xiaoying Bai; Wei-Tek Tsai; Techeng Shen; Bing Li; Raymond A. Paul (EDOC, 2001)

XML-based E2E Test Report Management. - Raymond A. Paul; Wei-Tek Tsai; Bing Li; Xiaoying Bai (ER, 2001)

Combining Hierarchical Filtering, Fuzzy Logic, and Simulation with Software Agents for IP (Intellectual Property) Selection in Electronic Design. - Jian Liu; Eugene Shragowitz; Wei-Tek Tsai (Int. J. Artif. Intell. Tools, 2001)

Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded Systems. - Wei-Tek Tsai; Yinghui Na; Raymond A. Paul; F. Lu; Akihiro Saimi (COMPSAC, 2002)

Hypothesis Testing for Module Test in Software Development. - Tsuneo Yamaura; Akira K. Onoma; Wei-Tek Tsai (COMPSAC, 2002)

Coyote: An XML-Based Framework for Web Services Testing. - Wei-Tek Tsai; Raymond A. Paul; Weiwei Song; Zhibin Cao (HASE, 2002)

Extending WSDL to Facilitate Web Services Testing. - Wei-Tek Tsai; Raymond A. Paul; Yamin Wang; Chun Fan; Dong Wang (HASE, 2002)

3 Tier Transparent Web Application Developing Approach. - Bing Li; Wei-Tek Tsai (International Conference on Internet Computing, 2002)

OCL Goes Real-Time (Panel). - Franz J. Rammig; Ben Watson; John Hogg; Wei-Tek Tsai (Symposium on Object-Oriented Real-Time Distributed Computing, 2002)

Scenario-Based Modeling And Its Applications. - Xiaoying Bai; Wei-Tek Tsai; Ke Feng; Lian Yu; Raymond A. Paul (WORDS, 2002)

Rapid Verification of Embedded Systems Using Patterns. - Wei-Tek Tsai; Lian Yu; Feng Zhu 001; Raymond A. Paul (COMPSAC, 2003)

Verification Patterns for Rapid Embedded System Verification. - Wei-Tek Tsai; Feng Zhu 001; Lian Yu; Raymond A. Paul; Chun Fan (Embedded Systems and Applications, 2003)

Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems. - Wei-Tek Tsai; Lian Yu; Akihiro Saimi (FTDCS, 2003)

A Semantic Framework for Distributed Applications. - Bing Li; Wei-Tek Tsai; Liang-Jie Zhang (ICEIS (4), 2003)

Scenario-based test case generation for state-based embedded systems. - Wei-Tek Tsai; L. Yu; X. X. Liu; A. Saimi; Y. Xiao (IPCCC, 2003)

Scenario-based Object-Oriented Testing Framework. - Wei-Tek Tsai; Akihiro Saimi; Lian Yu; Raymond A. Paul (QSIC, 2003)

Scenario-Based System Generation for Process Control. - Wei-Tek Tsai; Lian Yu; Raymond A. Paul; Akihiro Saimi; Weiwei Song; Zhibin Cao (Software Engineering Research and Practice, 2003)

Verification of Web Services Using an Enhanced UDDI Server. - Wei-Tek Tsai; Raymond A. Paul; Zhibin Cao; Lian Yu; Akihiro Saimi; Bingnan Xiao (WORDS, 2003)

Testing Web Services Using Progressive Group Testing. - Wei-Tek Tsai; Yinong Chen; Zhibin Cao; Xiaoying Bai; Hai Huang 011; Raymond A. Paul (AWCC, 2004)

Cooperative and Group Testing in Verification of Dynamic Composite Web Services. - Wei-Tek Tsai; Yinong Chen; Raymond A. Paul; Ning Liao; Hai Huang 011 (COMPSAC Workshops, 2004)

Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing. - Wei-Tek Tsai; Weiwei Song; Raymond A. Paul; Zhibin Cao; Hai Huang 011 (COMPSAC, 2004)

A software reliability model for web services. - Wei-Tek Tsai; Dawei Zhang; Yinong Chen; Hai Huang 011; Raymond A. Paul; Ning Liao (IASTED Conf. on Software Engineering and Applications, 2004)

Building e-commerce systems using semantic application framework. - Bing Li; Wei-Tek Tsai; Liang-Jie Zhang (Int. J. Web Eng. Technol., 2004)

Simulation Verification and Validation by Dynamic Policy Enforcement. - Wei-Tek Tsai; Xinxin Liu; Yinong Chen; Raymond A. Paul (Annual Simulation Symposium, 2005)

Autonomous Hot Patching for Web-Based Applications. - Hai Huang 011; Wei-Tek Tsai; Yinong Chen (COMPSAC (2), 2005)

Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services. - Wei-Tek Tsai; Yinong Chen; Raymond A. Paul; Hai Huang 011; Xinyu Zhou; Xiao Wei 001 (COMPSAC (1), 2005)

Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing. - Wei-Tek Tsai; Yinong Chen; Dawei Zhang; Hai Huang 011 (ICDCS Workshops, 2005)

Distributed Policy Specification and Enforcement in Service-Oriented Business Systems. - Wei-Tek Tsai; Xinxin Liu; Yinong Chen (ICEBE, 2005)

Web services-based collaborative and cooperative computing. - Wei-Tek Tsai; Zhibin Cao; Yinong Chen; Raymond A. Paul (ISADS, 2005)

Developing and assuring trustworthy Web services. - Wei-Tek Tsai; Xiao Wei 001; Yinong Chen; Bingnan Xiao; Raymond A. Paul; Hai Huang 011 (ISADS, 2005)

Proof Slicing with Application to Model Checking Web Services. - Hai Huang 011; Wei-Tek Tsai; Raymond A. Paul (ISORC, 2005)

Automated Model Checking and Testing for Composite Web Services. - Hai Huang 011; Wei-Tek Tsai; Raymond A. Paul; Yinong Chen (ISORC, 2005)

Dynamic System Reconfiguration Via Service Composition for Dependable Computing. - Wei-Tek Tsai; Weiwei Song; Yinong Chen; Raymond A. Paul (Monterey Workshop, 2005)

Stochastic Voting Algorithms for Web Services Group Testing. - Wei-Tek Tsai; Dawei Zhang; Raymond A. Paul; Yinong Chen (QSIC, 2005)

WSDL-based automatic test case generation for Web services testing. - Xiaoying Bai; Wenli Dong; Wei-Tek Tsai; Yinong Chen (SOSE, 2005)

Toward QoS analysis of adaptive service-oriented architecture. - Tong Gao; Hui Ma 006; I-Ling Yen; Farokh B. Bastani; Wei-Tek Tsai (SOSE, 2005)

Service-oriented system engineering: a new paradigm. - Wei-Tek Tsai (SOSE, 2005)

Web service group testing with windowing mechanisms. - Wei-Tek Tsai; Xiaoying Bai; Yinong Chen; Xinyu Zhou (SOSE, 2005)

A robust testing framework for verifying Web services by completeness and consistency analysis. - Wei-Tek Tsai; Xiao Wei 001; Yinong Chen; Raymond A. Paul (SOSE, 2005)

Progressive Ranking and Composition of Web Services Using Covering Arrays. - Charles J. Colbourn; Yinong Chen; Wei-Tek Tsai (WORDS, 2005)

Towards Self-Healing Systems via Dependable Architecture and. - Hong Mei 001; Gang Huang 001; Wei-Tek Tsai (WORDS, 2005)

Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems. - Wei-Tek Tsai; Yinong Chen; Raymond A. Paul (WORDS, 2005)

Swiss Cheese Test Case Generation for Web Services Testing. - Wei-Tek Tsai; Xiao Wei 001; Yinong Chen; Raymond A. Paul; Bingnan Xiao (IEICE Trans. Inf. Syst., 2005)

Ontology and Service Oriented Programming. - Bing Li; Wei-Tek Tsai (Int. J. Web Serv. Res., 2005)

Scheduling Simulation in a Distributed Wireless Embedded System. - Yinong Chen; Hai Huang 011; Wei-Tek Tsai (Simul., 2005)

Rapid Embedded System Testing Using Verification Patterns. - Wei-Tek Tsai; Lian Yu; Feng Zhu 001; Raymond A. Paul (IEEE Softw., 2005)

DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1. - Wei-Tek Tsai; Chun Fan; Yinong Chen; Raymond A. Paul (Annual Simulation Symposium, 2006)

Testability of Software in Service-Oriented Architecture. - Wei-Tek Tsai; Jerry Gao 002; Xiao Wei 001; Yinong Chen (COMPSAC (2), 2006)

UCSOA: User-Centric Service-Oriented Architecture. - Mark Chang; Jackson He; Wei-Tek Tsai; Bingnan Xiao; Yinong Chen (ICEBE, 2006)

SOA Collaboration Modeling, Analysis, and Simulation in PSML-C. - Bingnan Xiao; Wei-Tek Tsai; Qian Huang 002; Yinong Chen; Raymond A. Paul (ICEBE, 2006)

Pi4SOA: A Policy Infrastructure for Verification and Control of Service Collaboration. - Xinyu Zhou; Wei-Tek Tsai; Xiao Wei 001; Yinong Chen; Bingnan Xiao (ICEBE, 2006)

Architecture Classification for SOA-Based Applications. - Wei-Tek Tsai; Chun Fan; Yinong Chen; Raymond A. Paul; Jen-Yao Chung (ISORC, 2006)

Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture. - Wei-Tek Tsai; Qian Huang 002; Bingnan Xiao; Yinong Chen (QSIC, 2006)

A multi-agent based framework for collaborative testing on Web services. - Xiaoying Bai; Guilan Dai; Dezheng Xu; Wei-Tek Tsai (SEUS/WCCIA, 2006)

Consumer-centric service-oriented architecture: a new approach. - Wei-Tek Tsai; Bingnan Xiao; Raymond A. Paul; Yinong Chen (SEUS/WCCIA, 2006)

RTSOA: Real-Time Service-Oriented Architecture. - Wei-Tek Tsai; Yann-Hang Lee; Zhibin Cao; Yinong Chen; Bingnan Xiao (SOSE, 2006)

Perspectives on Service-Oriented Computing and Service-Oriented System Engineering. - Wei-Tek Tsai; Miroslaw Malek; Yinong Chen; Farokh B. Bastani (SOSE, 2006)

Global Software Enterprise: A New Software Constructing Architecture. - Wei-Tek Tsai; Bingnan Xiao; Raymond A. Paul; Qian Huang 002; Yinong Chen (CEC/EEE, 2006)

Collaborative software design in an SOA environment. - Wei-Tek Tsai; Bingnan Xiao; Qian Huang 002; Yinong Chen (Sci. China Ser. F Inf. Sci., 2006)

Binary analysis and automated hot patching for Web-based applications. - Hai Huang 011; Wei-Tek Tsai; Yinong Chen (Inf. Softw. Technol., 2006)

A service-oriented modeling and simulation framework for rapid development of distributed applications. - Wei-Tek Tsai; Chun Fan; Yinong Chen; Raymond A. Paul (Simul. Model. Pract. Theory, 2006)

Simulation Verification and Validation by Dynamic Policy Specification and Enforcement. - Wei-Tek Tsai; Yinong Chen; Raymond A. Paul; Xinyu Zhou; Chun Fan (Simul., 2006)

Dynamic Collaboration Simulation in Service-Oriented Computing Paradigm. - Wei-Tek Tsai; Qian Huang 002; Xin Sun 003; Yinong Chen (Annual Simulation Symposium, 2007)

A Framework for Contract-Based Collaborative Verification and Validation of Web Services. - Xiaoying Bai; Yongbo Wang; Guilan Dai; Wei-Tek Tsai; Yinong Chen (CBSE, 2007)

A Machine Learning-Based Reliability Assessment Model for Critical Software Systems. - Venkata U. B. Challagulla; Farokh B. Bastani; Raymond A. Paul; Wei-Tek Tsai; Yinong Chen (COMPSAC (1), 2007)

Process Specification and Modeling Language for Service-Oriented Software Development. - Wei-Tek Tsai; Xiao Wei 001; Zhibin Cao; Raymond A. Paul; Yinong Chen; Jingjing Xu (FTDCS, 2007)

A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software. - Wei-Tek Tsai; Xinyu Zhou; Raymond A. Paul; Yinong Chen; Xiaoying Bai (HASE, 2007)

Designing a Service-Oriented Computing Course for High Schools. - Wei-Tek Tsai; Yinong Chen; Xin Sun 003 (ICEBE, 2007)

Requirement Engineering in Service-Oriented System Engineering. - Wei-Tek Tsai; Zhi Jin; Puwei Wang; Budan Wu (ICEBE, 2007)

Roadmap to a Full Service Broker in Service-Oriented Architecture. - Wei-Tek Tsai; Xinyu Zhou; Yinong Chen; Bingnan Xiao; Raymond A. Paul; William C. C. Chu (ICEBE, 2007)

Collaboration Policy Generation in Dynamic Collaborative SOA. - Wei-Tek Tsai; Qian Huang 002; Bingnan Xiao; Yinong Chen; Xinyu Zhou (ISADS, 2007)

A New SOA Data-Provenance Framework. - Wei-Tek Tsai; Xiao Wei 001; Dawei Zhang; Raymond A. Paul; Yinong Chen; Jen-Yao Chung (ISADS, 2007)

Service Oriented Computing: Technology Trends and Research Directions. - Ricardo Morin; Mariano Cilia; William Henry; Michael Rowley; Wei-Tek Tsai (SOCA, 2007)

Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture. - Wei-Tek Tsai; Qian Huang 002; Jingjing Xu; Yinong Chen; Raymond A. Paul (SOCA, 2007)

Building trustworthy applications on a Service-Oriented Computing paradigm. - W. T. Tsai (Int. J. Simul. Process. Model., 2007)

Dynamic Architectures for SOA-Based Applications. - Wei-Tek Tsai; Raymond A. Paul; Chun Fan; Xiao Wei 001 (Trans. SDPS, 2007)

Modeling and Simulation in Service-Oriented Software Development. - Wei-Tek Tsai; Zhibin Cao; Xiao Wei 001; Raymond A. Paul; Qian Huang 002; Xin Sun 003 (Simul., 2007)

Data provenance in SOA: security, reliability, and integrity. - Wei-Tek Tsai; Xiao Wei 001; Yinong Chen; Raymond A. Paul; Jen-Yao Chung; Dawei Zhang (Serv. Oriented Comput. Appl., 2007)

Service-oriented system engineering (SOSE) and its applications to embedded system development. - Wei-Tek Tsai; Xiao Wei 001; Raymond A. Paul; Jen-Yao Chung; Qian Huang 002; Yinong Chen (Serv. Oriented Comput. Appl., 2007)

A Collaborative Service-Oriented Simulation Framework with Microsoft Robotic Studio®. - Wei-Tek Tsai; Qian Huang 002; Xin Sun 003 (Annual Simulation Symposium, 2008)

SOA Simulation and Verification by Event-Driven Policy Enforcement. - Wei-Tek Tsai; Xinyu Zhou; Yinong Chen (Annual Simulation Symposium, 2008)

Collaborative Web Services Monitoring with Active Service Broker. - Xiaoying Bai; Shufang Lee; Wei-Tek Tsai; Yinong Chen (COMPSAC, 2008)

Dynamic Assessment and Customizable e-Learning Content Generator. - Wei-Tek Tsai; Madhu Datla; Jingjing Xu (CSREA EEE, 2008)

Developing a Security Robot in Service-Oriented Architecture. - Yinong Chen; S. Abhyankar; L. Xu; Wei-Tek Tsai; Marcos Garcia-Acosta (FTDCS, 2008)

Service-Oriented User Interface Modeling and Composition. - Wei-Tek Tsai; Qian Huang 002; Jay Elston; Yinong Chen (ICEBE, 2008)

Ontology-Based Test Modeling and Partition Testing of Web Services. - Xiaoying Bai; Shufang Lee; Wei-Tek Tsai; Yinong Chen (ICWS, 2008)

Teaching Service-Oriented Computing and STEM Topics via Robotic Games. - Wei-Tek Tsai; Xin Sun 003; Yinong Chen; Qian Huang 002; Gary Bitter; Mary White (ISORC, 2008)

An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. - Raymond A. Paul; I-Ling Yen; Farokh B. Bastani; Jing Dong 005; Wei-Tek Tsai; Krishna M. Kavi; Arif Ghafoor; Jaideep Srivastava (ICSC, 2008)

Composing Highly Reliable Service-Oriented Applications Adaptively. - Wei-Tek Tsai; Jay Elston; Yinong Chen (SOSE, 2008)

On Testing and Evaluating Service-Oriented Software. - Wei-Tek Tsai; Xinyu Zhou; Yinong Chen; Xiaoying Bai (Computer, 2008)

A policy enforcement framework for verification and control of service collaboration. - Wei-Tek Tsai; Xinyu Zhou; Xiao Wei 001 (Inf. Syst. E Bus. Manag., 2008)

An Introductory Course on Service-Oriented Computing for High Schools. - Wei-Tek Tsai; Yinong Chen; Calvin Cheng; Xin Sun 003; Gary Bitter; Mary White (J. Inf. Technol. Educ., 2008)

An ontology-based collaborative service-oriented simulation framework with Microsoft Robotics Studio®. - Wei-Tek Tsai; Xin Sun 003; Qian Huang 002; Helen D. Karatza (Simul. Model. Pract. Theory, 2008)

Ontology-based Information Sharing in Service-Oriented Database Systems. - Tszyan Chow; Wei-Tek Tsai; Janaka Balasooriya; Xiaoying Bai (IEEE SCC, 2009)

Design of a Contract-Based Web Services QoS Management System. - Gwyduk Yeom; Wei-Tek Tsai; Xiaoying Bai; Dugki Min (ICDCS Workshops, 2009)

Dependency-Guided Service Composition for User-Centric SOA. - Wei-Tek Tsai; Peide Zhong; Xiaoying Bai; Jay Elston (ICEBE, 2009)

Ontology-Based Smart Home Solution and Service Composition. - Jingjing Xu; Yann-Hang Lee; Wei-Tek Tsai; Wu Li; Young-Sung Son; Jun-Hee Park; Kyung-Duk Moon (ICESS, 2009)

Towards Selecting Test Data Using Topological Structure of Boolean Expressions. - Lian Yu; Wei-Tek Tsai; Wei Zhao 003; Jun Zhu; Qianxing Wang (QSIC, 2009)

An Adaptive Management Framework for Service Brokers in Service-oriented Architecture. - Wei-Tek Tsai; Tszyan Chow; Yinong Chen; Xiao Wei 001 (SEKE, 2009)

Model-Based Monitoring and Policy Enforcement of Services. - Xiaoying Bai; Yongli Liu; Lijun Wang; Wei-Tek Tsai; Peide Zhong (SERVICES I, 2009)

A code generation and execution environment for service-oriented smart home solutions. - Yann-Hang Lee; Wu Li; Wei-Tek Tsai; Young-Sung Son; Kyung-Duk Moon (SOCA, 2009)

Role-based trust model for community of interest. - Wei-Tek Tsai; Peide Zhong; Xiaoying Bai; Jay Elston (SOCA, 2009)

Timing specification and analysis for service-oriented simulation. - Wei-Tek Tsai; Hessam S. Sarjoughian; Wu Li; Xin Sun 003 (SpringSim, 2009)

Ontology-Based Service Composition Framework for Syndicating Building Intelligence. - Wei-Tek Tsai; Yann-Hang Lee; Avi Wiezel; Xin Sun 003; Wu Li (CEC, 2009)

Internetware Computing: Issues and Perspective. - Wei-Tek Tsai; Zhi Jin; Xiaoying Bai (Int. J. Softw. Informatics, 2009)

Towards dependable service-orientated computing systems. - Yinong Chen; Wei-Tek Tsai (Simul. Model. Pract. Theory, 2009)

Predicting Defect Priority Based on Neural Networks. - Lian Yu; Wei-Tek Tsai; Wei Zhao 003; Fang Wu (ADMA (2), 2010)

Time-Constrained Test Selection for Regression Testing. - Lian Yu; Lei Xu; Wei-Tek Tsai (ADMA (2), 2010)

Two-Tier Multi-tenancy Scaling and Load Balancing. - Wei-Tek Tsai; Xin Sun 003; Qihong Shao; Guanqiu Qi (ICEBE, 2010)

Prioritizing Service Requests on Cloud with Multi-tenancy. - Wei-Tek Tsai; Qihong Shao; Jay Elston (ICEBE, 2010)

Towards a scalable and robust multi-tenancy SaaS. - Wei-Tek Tsai; Qihong Shao; Yu Huang 008; Xiaoying Bai (Internetware, 2010)

Service-Oriented Cloud Computing Architecture. - Wei-Tek Tsai; Xin Sun 003; Janaka Balasooriya (ITNG, 2010)

Ontology-Based Dependency-Guided Service Composition for User-Centric SOA. - Wei-Tek Tsai; Peide Zhong; Jay Elston; Yinong Chen; Xiaoying Bai (SEKE, 2010)

Real-Time Service-Oriented Cloud Computing. - Wei-Tek Tsai; Qihong Shao; Xin Sun 003; Jay Elston (SERVICES, 2010)

OIC: Ontology-based intelligent customization framework for SaaS. - Wei-Tek Tsai; Qihong Shao; Wu Li (SOCA, 2010)

A Classification of Enterprise Service-Oriented Architecture. - Longji Tang; Jing Dong 005; Yajing Zhao; Wei-Tek Tsai (SOSE, 2010)

Flexible-Matching Data-Comparison Tool with the Cloud Applications. - Wei-Tek Tsai; Xin Sun 003; Qihong Shao (SOSE, 2010)

Testing as a Service over Cloud. - Lian Yu; Wei-Tek Tsai; Xiangji Chen; Linqing Liu; Yan Zhao; Liangjie Tang; Wei Zhao 003 (SOSE, 2010)

Event-driven service-oriented simulation framework. - Wei-Tek Tsai; Wu Li; Xin Sun 003; Ashutosh Sabnis; Yinong Chen (SpringSim, 2010)

Data Partitioning and Redundancy Management for Robust Multi-Tenancy SaaS. - Wei-Tek Tsai; Yu Huang 008; Qihong Shao; Xiaoying Bai (Int. J. Softw. Informatics, 2010)

Modeling enterprise service-oriented architectural styles. - Longji Tang; Jing Dong 005; Tu Peng; Wei-Tek Tsai (Serv. Oriented Comput. Appl., 2010)

Service-Oriented Computing and Web Software Integration - From Principles to Development (3. ed., rev. pr.). - Yinong Chen; Wei-Tek Tsai (Kendall / Hunt Publ., 2011)

Role-Based Access-Control Using Reference Ontology in Clouds. - Wei-Tek Tsai; Qihong Shao (ISADS, 2011)

An Approach for Service Composition and Testing for Cloud Computing. - Wei-Tek Tsai; Peide Zhong; Janaka Balasooriya; Yinong Chen; Xiaoying Bai; Jay Elston (ISADS, 2011)

Service Replication Strategies with MapReduce in Clouds. - Wei-Tek Tsai; Peide Zhong; Jay Elston; Xiaoying Bai; Yinong Chen (ISADS, 2011)

Testing the scalability of SaaS applications. - Wei-Tek Tsai; Yu Huang 008; Qihong Shao (SOCA, 2011)

EasySaaS: A SaaS development framework. - Wei-Tek Tsai; Yu Huang 008; Qihong Shao (SOCA, 2011)

Services utility prediction on a cloud. - Wei-Tek Tsai; Peide Zhong; Janaka Balasooriya; Yinong Chen; Xiaoying Bai (SOCA, 2011)

Cloud testing tools. - Xiaoying Bai; Muyang Li; Bin Chen; Wei-Tek Tsai; Jerry Gao 002 (SOSE, 2011)

Service-orientation in computing curriculum. - Yinong Chen; Wei-Tek Tsai (SOSE, 2011)

SaaS performance and scalability evaluation in clouds. - Jerry Gao 002; Pushkala Pattabhiraman; Xiaoying Bai; Wei-Tek Tsai (SOSE, 2011)

SimSaaS: simulation software-as-a-service. - Wei-Tek Tsai; Wu Li; Hessam S. Sarjoughian; Qihong Shao (SpringSim (ANSS), 2011)

P4-simsaas: policy specification for Multi-Tendency simulation software-as-a-service model. - Wei-Tek Tsai; Wu Li; Xiaoying Bai; Jay Elston (WSC, 2011)

A design of policy-based composite web services QoS monitoring system. - Gwyduk Yeom; Wei-Tek Tsai; Xiaoying Bai; Youngkon Lee (Int. J. Crit. Comput. Based Syst., 2011)

Policy Management for Secure Data Access Control in Vehicular Networks. - Dijiang Huang; Wei-Tek Tsai; Yi-hsin Tseng (J. Netw. Syst. Manag., 2011)

Collaborative Learning Using Wiki Web Sites for Computer Science Undergraduate Education: A Case Study. - Wei-Tek Tsai; Wu Li; Jay Elston; Yinong Chen (IEEE Trans. Educ., 2011)

Introduction to Programming Languages - Programming in C, C++, Scheme, Prolog, C#, and SOA (3. ed.). - Yinong Chen; Wei-Tek Tsai (Kendall / Hunt Publ., 2012)

DICB: Dynamic Intelligent Customizable Benign Pricing Strategy for Cloud Computing. - Wei-Tek Tsai; Guanqiu Qi (IEEE CLOUD, 2012)

Gesture ontology for informing Service-oriented Architecture. - Catalin-Marian Chera; Wei-Tek Tsai; Radu-Daniel Vatavu (ISIC, 2012)

Gesture Profile for Web Services: An Event-Driven Architecture to Support Gestural Interfaces for Smart Environments. - Radu-Daniel Vatavu; Catalin-Marian Chera; Wei-Tek Tsai (AmI, 2012)

Integrating HLA and Service-Oriented Architecture in a Simulation Framework. - Monica Dragoicea; Laurentiu Bucur; Wei-Tek Tsai; Hessam S. Sarjoughian (CCGRID, 2012)

A cloud-based TaaS infrastructure with tools for SaaS validation, performance and scalability evaluation. - Jerry Gao 002; K. Manjula; P. Roopa; E. Sumalatha; Xiaoying Bai; Wei-Tek Tsai; Tadahiro Uehara (CloudCom, 2012)

Model-driven tenant development for PaaS-based SaaS. - Wei-Tek Tsai; Wu Li; Babak Esmaeili 003; Wenjun Wu 001 (CloudCom, 2012)

A Cost-Effective Intelligent Configuration Model in Cloud Computing. - Wei-Tek Tsai; Guanqiu Qi; Yinong Chen (ICDCS Workshops, 2012)

Scalable Architectures for SaaS. - Wei-Tek Tsai; Yu Huang 008; Xiaoying Bai; Jerry Gao 002 (ISORC Workshops, 2012)

V-lab: a cloud-based virtual laboratory platform for hands-on networking courses. - Le Xu; Dijiang Huang; Wei-Tek Tsai (ITiCSE, 2012)

V-Lab: A Mobile, Cloud-Based Virtual Laboratory Platform for Hands-On Networking Courses. - Le Xu; Dijiang Huang; Wei-Tek Tsai; Robert K. Atkinson (Int. J. Cyber Behav. Psychol. Learn., 2012)

Service-oriented smart home applications: composition, code generation, deployment, and execution. - Wu Li; Yann-Hang Lee; Wei-Tek Tsai; Jingjing Xu; Young-Sung Son; Jun-Hee Park; Kyung-Duk Moon (Serv. Oriented Comput. Appl., 2012)

Energy Saving in Mobile Cloud Computing. - Mazedur Rahman; Jerry Gao 002; Wei-Tek Tsai (IC2E, 2013)

Adaptive Fault Detection for Testing Tenant Applications in Multi-tenancy SaaS Systems. - Wei-Tek Tsai; Qingyang Li; Charles J. Colbourn; Xiaoying Bai (IC2E, 2013)

Vee@Cloud: The virtual test lab on the cloud. - Xiaoying Bai; Muyang Li; Xiaofei Huang; Wei-Tek Tsai; Jerry Zeyu Gao 002 (AST, 2013)

Test algebra for combinatorial testing. - Wei-Tek Tsai; Charles J. Colbourn; Jie Luo 004; Guanqiu Qi; Qingyang Li; Xiaoying Bai (AST, 2013)

Choosing cost-effective configuration in cloud storage. - Wei-Tek Tsai; Guanqiu Qi; Yinong Chen (ISADS, 2013)

Testing as a Service (TaaS) on Clouds. - Jerry Gao 002; Xiaoying Bai; Wei-Tek Tsai; Tadahiro Uehara (SOSE, 2013)

SaaS Testing on Clouds - Issues, Challenges and Needs. - Jerry Gao 002; Xiaoying Bai; Wei-Tek Tsai; Tadahiro Uehara (SOSE, 2013)

Mobile Cloud Computing Research - Issues, Challenges and Needs. - Ruay-Shiung Chang; Jerry Gao 002; Volker Gruhn; Jingsha He; George Roussos; Wei-Tek Tsai (SOSE, 2013)

SaaS Multi-tenant Application Customization. - Wei-Tek Tsai; Xin Sun 003 (SOSE, 2013)

Secure Web Referral Services for Mobile Cloud Computing. - Le Xu; Li Li; Vijayakrishnan Nagarajan; Dijiang Huang; Wei-Tek Tsai (SOSE, 2013)

Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362). - Michael N. Huhns; Wei Li 022; Wei-Tek Tsai (Dagstuhl Reports, 2013)

An evaluation framework for software crowdsourcing. - Wenjun Wu 001; Wei-Tek Tsai; Wei Li 022 (Frontiers Comput. Sci., 2013)

Creative software crowdsourcing: from components and algorithm development to project concept formations. - Wenjun Wu 001; Wei-Tek Tsai; Wei Li 022 (Int. J. Creative Comput., 2013)

Scalable SaaS Indexing Algorithms with Automated Redundancy and Recovery Management. - Wei-Tek Tsai; Guanqiu Qi; Zhiqin Zhu (Int. J. Softw. Informatics, 2013)

Simulation of power consumption of cloud data centers. - Liang Luo; Wenjun Wu 001; Wei-Tek Tsai; Dichen Di; Fei Zhang (Simul. Model. Pract. Theory, 2013)

Ontology patterns for service-oriented software development. - Wei-Tek Tsai; Budan Wu; Zhi Jin; Yu Huang 008; Wu Li (Softw. Pract. Exp., 2013)

Mobile Testing-as-a-Service (MTaaS) - Infrastructures, Issues, Solutions and Needs. - Jerry Gao 002; Wei-Tek Tsai; Raymond A. Paul; Xiaoying Bai; Tadahiro Uehara (HASE, 2014)

Modeling and Analysis of Mobile Cloud Computing Based on Bigraph Theory. - Lian Yu; Wei-Tek Tsai; Xin Wei; Jerry Zeyu Gao 002; Thomas T. Hildebrandt; Xiao Qun Guo (MobileCloud, 2014)

Success factors in mobile social networking application development: case study of instagram. - Rong Peng; Dong Sun 004; Wei-Tek Tsai (SAC, 2014)

Test-Algebra Execution in a Cloud Environment. - Wenjun Wu 001; Wei-Tek Tsai; Chao Jin; Guanqiu Qi; Jie Luo 004 (SOSE, 2014)

Understanding Requirements Driven Architecture Evolution in Social Networking SaaS: An Industrial Case Study. - Dong Sun 004; Rong Peng; Wei-Tek Tsai (SOSE, 2014)

Concurrent Test Algebra Execution with Combinatorial Testing. - Wei-Tek Tsai; Jie Luo 004; Guanqiu Qi; Wenjun Wu 001 (SOSE, 2014)

A Cloud-Based Platform for Crowdsourcing and Self-Organizing Learning. - Wei-Tek Tsai; Guanqiu Qi (SOSE, 2014)

Multi-tenancy and Sub-tenancy Architecture in Software-as-a-Service (SaaS). - Wei-Tek Tsai; Peide Zhong (SOSE, 2014)

HLA-Based SaaS-Oriented Simulation Frameworks. - Wei Xiong; Wei-Tek Tsai (SOSE, 2014)

TaaS (Testing-as-a-Service) Design for Combinatorial Testing. - Wei-Tek Tsai; Guanqiu Qi; Lian Yu; Jerry Gao 002 (SERE, 2014)

Generating Test Cases for Context-Aware Applications Using Bigraphs. - Lian Yu; Wei-Tek Tsai; Yanbing Jiang; Jerry Gao 002 (SERE, 2014)

Software-as-a-service (SaaS): perspectives and challenges. - Wei-Tek Tsai; Xiaoying Bai; Yu Huang 008 (Sci. China Inf. Sci., 2014)

Mobile Application Testing: A Tutorial. - Jerry Gao 002; Xiaoying Bai; Wei-Tek Tsai; Tadahiro Uehara (Computer, 2014)

Cloud-Based Software Crowdsourcing. - Wei-Tek Tsai; Wenjun Wu 001; Michael N. Huhns (IEEE Internet Comput., 2014)

Corrigendum to "A novel approach to collaborative testing in a crowdsourcing environment" in the Journal of Systems and Software 86 (2013) 2143-2153. - Yuan-Hsin Tung; Shian-Shyong Tseng; Wei-Tek Tsai (J. Syst. Softw., 2014)

Dependence-Guided Service Composition for User-Centric SOA. - Wei-Tek Tsai; Peide Zhong; Xiaoying Bai; Jay Elston (IEEE Syst. J., 2014)

Cloud-Based Virtual Laboratory for Network Security Education. - Le Xu; Dijiang Huang; Wei-Tek Tsai (IEEE Trans. Educ., 2014)

Message from the IWSC 2015 Workshop Organizers. - Stephen S. Yau; Wei-Tek Tsai; Kenji Takahashi; Xiaoying Bai; Helen D. Karatza (COMPSAC Workshops, 2015)

Multi-factor web API security for securing Mobile Cloud. - Longji Tang; Liubo Ouyang; Wei-Tek Tsai (FSKD, 2015)

Web-Based Performance Monitor for Distributed Computing. - Kai Hua; Kai Wu; Yi Ding; Wei-Tek Tsai (ISADS, 2015)

Autonomous Decentralized Combinatorial Testing. - Wei-Tek Tsai; Guanqiu Qi; Kai Hu 004 (ISADS, 2015)

Autonomous Decentralized Tenant Access Control Model for Sub-tenancy Architecture in Software-as-a-Service (SaaS). - Qiong Zuo; Meiyi Xie; Wei-Tek Tsai (ISADS, 2015)

An Evaluation Framework for Extreme Learning Process (XLP). - Wei-Tek Tsai; Kubatbek Alimbekov; Benjamin Hsueh-Yung Koo (SOSE, 2015)

Integrated Adaptive Reasoning Testing Framework with Automated Fault Detection. - Wei-Tek Tsai; Guanqiu Qi (SOSE, 2015)

A Collaborative Approach for Minimal-Cost Monitor Deployment in Cloud Environment. - Yuan-Hsin Tung; Shian-Shyong Tseng; Wei-Tek Tsai (Int. J. Softw. Eng. Knowl. Eng., 2015)

Exploring AADL verification tool through model transformation. - Kai Hu 004; Teng Zhang; Zhibin Yang; Wei-Tek Tsai (J. Syst. Archit., 2015)

Simulation of real-time systems with clock calculus. - Kai Hu 004; Teng Zhang; Zhibin Yang; Wei-Tek Tsai (Simul. Model. Pract. Theory, 2015)

Fault-Diagnosis for Reciprocating Compressors Using Big Data. - Ke Erqinhu; Guanqiu Qi; Wei-Tek Tsai; Yi Hong; Wenxiang Wang; Guangxin Hou; Zhiqin Zhu (BigDataService, 2016)

Interactive Incontestable Signature for Transactions Confirmation in Bitcoin Blockchain. - Yan Zhu 010; Ruiqi Guo; Guohua Gan; Wei-Tek Tsai (COMPSAC, 2016)

Welcome to the Ninth International Workshop on Requirements Engineering and Law (RELAW). - Daniel Amyot; Sepideh Ghanavati; Aaron K. Massey; Wei-Tek Tsai (RE Workshops, 2016)

Software Crowdsourcing Practices and Research Directions. - Emese Bari; Matt Johnston; Wenjun Wu 001; Wei-Tek Tsai (SOSE, 2016)

A System View of Financial Blockchains. - Wei-Tek Tsai; Robert Blower; Yan Zhu 010; Lian Yu (SOSE, 2016)

LTBD: A Triage Framework. - Wei-Tek Tsai; Wu Li; Guanqiu Qi (SOSE, 2016)

Tenant-centric Sub-Tenancy Architecture in Software-as-a-Service. - Wei-Tek Tsai; Peide Zhong; Yinong Chen (CAAI Trans. Intell. Technol., 2016)

Autonomous Decentralized Authorization and Authentication Management for Hierarchical Multi-Tenancy. - Qiong Zuo; Meiyi Xie; Wei-Tek Tsai (IEICE Trans. Commun., 2016)

Multi-tenant Verification-as-a-Service (VaaS) in a cloud. - Kai Hu 004; Lei Lei; Wei-Tek Tsai (Simul. Model. Pract. Theory, 2016)

Integrated fault detection and test algebra for combinatorial testing in TaaS (Testing-as-a-Service). - Wei-Tek Tsai; Guanqiu Qi (Simul. Model. Pract. Theory, 2016)

Testing Context-Aware Applications Based on Bigraphical Modeling. - Lian Yu; Wei-Tek Tsai; Gian Perrone (IEEE Trans. Reliab., 2016)

Design Issues in Permissioned Blockchains for Trusted Computing. - Wei-Tek Tsai; Xiaoying Bai; Lian Yu (SOSE, 2017)

Intellectual-Property Blockchain-Based Protection Model for Microfilms. - Wei-Tek Tsai; Libo Feng; Hui Zhang 028; Yue You; Li Wang; Yao Zhong (SOSE, 2017)

Modeling Context-aware Legal Computing with Bigraphs. - Lian Yu; Wei-Tek Tsai; Chenjian Hu; Baijie Li; Jian-bin Hu; Enyan Deng (SOSE, 2017)

Smart-Contract Execution with Concurrent Block Building. - Lian Yu; Wei-Tek Tsai; Guannan Li; Yafe Yao; Chenjian Hu; Enyan Deng (SOSE, 2017)

Personalized gesture interactions for cyber-physical smart-home environments. - Yihua Lou; Wenjun Wu 001; Radu-Daniel Vatavu; Wei-Tek Tsai (Sci. China Inf. Sci., 2017)

A cloud-based triage log analysis and recovery framework. - Guanqiu Qi; Wei-Tek Tsai; Wu Li; Zhiqin Zhu; Yong Luo (Simul. Model. Pract. Theory, 2017)

Combinatorial Testing in Cloud Computing - Wei-Tek Tsai; Guanqiu Qi (Springer, 2017)

Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest. - Pengcheng Peng; Chenqi Mou; Wei-Tek Tsai (AISC, 2018)

A Multi-Chain Model for CBDC. - Wei-Tek Tsai; Zihao Zhao; Chi Zhang; Lian Yu; Enyan Deng (DSA, 2018)

A Medical Data Sharing Platform Based On Permissioned Blockchains. - Rong Wang; Wei-Tek Tsai; Juan He; Can Liu; Qi Li; Enyan Deng (ICBTA, 2018)

An Architecture for SaaS-Oriented VV&A. - Ke Fang; Wei-Tek Tsai; Ming Yang (ICCMS, 2018)

Application of Blockchain to Trade Clearing. - Wei-Tek Tsai; Enyan Deng; Xiaoqiang Ding; Jie Li (QRS Companion, 2018)

Lessons Learned from Developing Permissioned Blockchains. - Wei-Tek Tsai; Lian Yu (QRS Companion, 2018)

A Distributed Digital Asset-Trading Platform Based on Permissioned Blockchains. - Rong Wang; Wei-Tek Tsai; Juan He; Can Liu; Enyan Deng (SmartBlock, 2018)

Test-Algebra-Based Fault Location Analysis for the Concurrent Combinatorial Testing. - Guanqiu Qi; Wei-Tek Tsai; Charles J. Colbourn; Jie Luo 004; Zhiqin Zhu (IEEE Trans. Reliab., 2018)

Test Case Generation for Boolean Expressions by Cell Covering. - Lian Yu; Wei-Tek Tsai (IEEE Trans. Software Eng., 2018)

A Video Surveillance System Based on Permissioned Blockchains and Edge Computing. - Rong Wang; Wei-Tek Tsai; Juan He; Can Liu; Qi Li; Enyan Deng (BigComp, 2019)

Invited Paper: Blockchain Design - A PFMI Viewpoint. - Xiaoying Bai; Wei-Tek Tsai; Xiaofang Jiang (SOSE, 2019)

Invited Paper: Beagle: A New Framework for Smart Contracts Taking Account of Law. - Wei-Tek Tsai; Ning Ge 002; Jiaying Jiang; Kevin Feng; Juan He (SOSE, 2019)

System architecture for high-performance permissioned blockchains. - Libo Feng; Hui Zhang 028; Wei-Tek Tsai; Simeng Sun (Frontiers Comput. Sci., 2019)

State synchronization in process-oriented chaincode. - Lian Yu; Wei-Tek Tsai (Frontiers Comput. Sci., 2019)

Smart Contract-Based Negotiation for Adaptive QoS-Aware Service Composition. - Puwei Wang; Ji Meng; Jinchuan Chen; Tao Liu 001; Ying Zhan; Wei-Tek Tsai; Zhi Jin (IEEE Trans. Parallel Distributed Syst., 2019)

Decentralized Digital-Asset Exchanges: Issues and Evaluation. - Wei-Tek Tsai; Juan He; Rong Wang; Enyan Deng (SmartBlock, 2020)

COMPASS: A Data-Driven Blockchain Evaluation Framwework. - Wei-Tek Tsai; Rong Wang; Shuai Liu; Enyan Deng; Dong Yang 013 (SOSE, 2020)

STRISA: A New Regulation Architecture to Enforce Travel Rule. - Wei-Tek Tsai; Dong Yang 013; Rong Wang; Kangmin Wang; Weijing Xiang; Enyan Deng (SVCC, 2020)

Automatic blockchain whitepapers analysis via heterogeneous graph neural network. - Lin Liu; Wei-Tek Tsai; Md. Zakirul Alam Bhuiyan; Dong Yang 013 (J. Parallel Distributed Comput., 2020)

From Crowdsourced Software Development to Crowdtesting. - Wei-Tek Tsai; Li Zhang 072; Shufeng Hu (ICCSE, 2021)

Element Re-identification in Crowdtesting. - Li Zhang 072; Wei-Tek Tsai (PRICAI (1), 2021)

Cover Image. - Kai Hu 004; Ji Wan; Kan Luo; Yuzhuang Xu; Zijing Cheng; Wei-Tek Tsai (Softw. Test. Verification Reliab., 2021)

Verification algebra for multi-tenant applications in VaaS architecture. - Kai Hu 004; Ji Wan; Kan Luo; Yuzhuang Xu; Zijing Cheng; Wei-Tek Tsai (Softw. Test. Verification Reliab., 2021)

Erratum. - Kai Hu 004; Ji Wan; Kan Luo; Yuzhuang Xu; Zijing Cheng; Wei-Tek Tsai (Softw. Test. Verification Reliab., 2021)

Smart-Contract Vulnerability Detection Method Based on Deep Learning. - Zimu Hu; Wei-Tek Tsai; Li Zhang (SmartCom, 2022)

A New Blockchain Design Decoupling Consensus Mechanisms from Transaction Management. - Wei-Tek Tsai; Zimu Hu; Rong Wang; Enyan Deng; Dong Yang 013 (SmartCom, 2022)

A New Digital-Currency Model Based on Certificates. - Wei-Tek Tsai; Weijing Xiang; Shuai Wang; Enyan Deng (SmartCom, 2022)

A Multi-level Corporate Wallet with Governance. - Wei-Tek Tsai; Dong Yang 013; Zizheng Fan; Feng Zhang; Le Yu; Hongyang Zhang; Yaowei Zhang (SmartCom, 2022)

Blockchains with Five Merkle Trees to Support Financial Transactions. - Wei-Tek Tsai; Dong Yang 013; Feng Zhang; Le Yu; Hongyang Zhang; Yaowei Zhang (SmartCom, 2022)

Adaptive Byzantine Fault-Tolerant ConsensusProtocol. - Rong Wang; Wei-Tek Tsai; Feng Zhang; Le Yu; Hongyang Zhang; Yaowei Zhang (SmartCom, 2022)

Blockchain-enabled fraud discovery through abnormal smart contract detection on Ethereum. - Lin Liu; Wei-Tek Tsai; Md. Zakirul Alam Bhuiyan; Hao Peng 001; Mingsheng Liu (Future Gener. Comput. Syst., 2022)

Asynchronous Federated Learning System Based on Permissioned Blockchains. - Rong Wang; Wei-Tek Tsai (Sensors, 2022)

Delay Analysis of Consensus Communication for Blockchain-Based Applications Using Network Calculus. - Shengcheng Ma; Shuai Wang; Wei-Tek Tsai (IEEE Wirel. Commun. Lett., 2022)

Delay Optimization for Consensus Communication in Blockchain-Based End-Edge-Cloud Network. - Shengcheng Ma; Shuai Wang; Wei-Tek Tsai; Yaowei Zhang (APPT, 2023)

Crowdtesting Practices and Models: An Empirical Approach. - Wei-Tek Tsai; Li Zhang 072; Shufeng Hu; Zizheng Fan; Qianyu Wang (Inf. Softw. Technol., 2023)

Adaptive attention fusion network for cross-device GUI element re-identification in crowdsourced testing. - Li Zhang 072; Wei-Tek Tsai (Neurocomputing, 2024)

SDN-Based Congestion Control and Bandwidth Allocation Scheme in 5G Networks. - Dong Yang 013; Wei-Tek Tsai (Sensors, 2024)

SmartDED: A Blockchain- and Smart Contract-Based Digital Electronic Detonator Safety Supervision System. - Na Liu; Wei-Tek Tsai (Future Internet, 2024)