| 2026 | WWW | CogAgent: Self-Evolving Cognitive Agents for Multi-Source Fraud Detection in Heterogeneous Financial Networks. | Qianyu Wang, Weiyou Tian, Rong Wang, Wei-Tek Tsai, Tianyu Shi, Zhuang Liu, Tianze Xia |
| 2025 | ICDE | Catch Me If You Can: A Multi-Agent Synthetic Fraud Detection Framework for Complex Networks. | Qianyu Wang, Wei-Tek Tsai, Tianyu Shi, Zhuang Liu, Bowen Du |
| 2021 | PRICAI | Element Re-identification in Crowdtesting. | Li Zhang, Wei-Tek Tsai |
| 2018 | AISC | Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest. | Pengcheng Peng, Chenqi Mou, Wei-Tek Tsai |
| 2018 | QRS | Application of Blockchain to Trade Clearing. | Wei-Tek Tsai, Enyan Deng, Xiaoqiang Ding, Jie Li |
| 2018 | QRS | Lessons Learned from Developing Permissioned Blockchains. | Wei-Tek Tsai, Lian Yu |
| 2016 | COMPSAC | Interactive Incontestable Signature for Transactions Confirmation in Bitcoin Blockchain. | Yan Zhu, Ruiqi Guo, Guohua Gan, Wei-Tek Tsai |
| 2016 | RE | Welcome to the Ninth International Workshop on Requirements Engineering and Law (RELAW). | Daniel Amyot, Sepideh Ghanavati, Aaron K. Massey, Wei-Tek Tsai |
| 2015 | COMPSAC | Message from the IWSC 2015 Workshop Organizers. | Stephen S. Yau, Wei-Tek Tsai, Kenji Takahashi, Xiaoying Bai, Helen D. Karatza |
| 2015 | ISADS | Web-Based Performance Monitor for Distributed Computing. | Kai Hua, Kai Wu, Yi Ding, Wei-Tek Tsai |
| 2015 | ISADS | Autonomous Decentralized Combinatorial Testing. | Wei-Tek Tsai, Guanqiu Qi, Kai Hu |
| 2015 | ISADS | Autonomous Decentralized Tenant Access Control Model for Sub-tenancy Architecture in Software-as-a-Service (SaaS). | Qiong Zuo, Meiyi Xie, Wei-Tek Tsai |
| 2014 | SAC | Success factors in mobile social networking application development: case study of instagram. | Rong Peng, Dong Sun, Wei-Tek Tsai |
| 2013 | IC2E | Energy Saving in Mobile Cloud Computing. | Mazedur Rahman, Jerry Gao, Wei-Tek Tsai |
| 2013 | IC2E | Adaptive Fault Detection for Testing Tenant Applications in Multi-tenancy SaaS Systems. | Wei-Tek Tsai, Qingyang Li, Charles J. Colbourn, Xiaoying Bai |
| 2013 | ISADS | Choosing cost-effective configuration in cloud storage. | Wei-Tek Tsai, Guanqiu Qi, Yinong Chen |
| 2013 | ICSE | Vee@Cloud: The virtual test lab on the cloud. | Xiaoying Bai, Muyang Li, Xiaofei Huang, Wei-Tek Tsai, Jerry Zeyu Gao |
| 2013 | ICSE | Test algebra for combinatorial testing. | Wei-Tek Tsai, Charles J. Colbourn, Jie Luo, Guanqiu Qi, Qingyang Li, Xiaoying Bai |
| 2012 | CCGRID | Integrating HLA and Service-Oriented Architecture in a Simulation Framework. | Monica Dragoicea, Laurentiu Bucur, Wei-Tek Tsai, Hessam S. Sarjoughian |
| 2012 | CloudCom | A cloud-based TaaS infrastructure with tools for SaaS validation, performance and scalability evaluation. | Jerry Gao, K. Manjula, P. Roopa, E. Sumalatha, Xiaoying Bai, Wei-Tek Tsai, Tadahiro Uehara |
| 2012 | CloudCom | Model-driven tenant development for PaaS-based SaaS. | Wei-Tek Tsai, Wu Li, Babak Esmaeili, Wenjun Wu |
| 2012 | ISORC | Scalable Architectures for SaaS. | Wei-Tek Tsai, Yu Huang, Xiaoying Bai, Jerry Gao |
| 2012 | ITiCSE | V-lab: a cloud-based virtual laboratory platform for hands-on networking courses. | Le Xu, Dijiang Huang, Wei-Tek Tsai |
| 2011 | ISADS | Role-Based Access-Control Using Reference Ontology in Clouds. | Wei-Tek Tsai, Qihong Shao |
| 2011 | ISADS | An Approach for Service Composition and Testing for Cloud Computing. | Wei-Tek Tsai, Peide Zhong, Janaka Balasooriya, Yinong Chen, Xiaoying Bai, Jay Elston |
| 2011 | ISADS | Service Replication Strategies with MapReduce in Clouds. | Wei-Tek Tsai, Peide Zhong, Jay Elston, Xiaoying Bai, Yinong Chen |
| 2011 | WSC | P4-simsaas: policy specification for Multi-Tendency simulation software-as-a-service model. | Wei-Tek Tsai, Wu Li, Xiaoying Bai, Jay Elston |
| 2010 | ADMA | Predicting Defect Priority Based on Neural Networks. | Lian Yu, Wei-Tek Tsai, Wei Zhao, Fang Wu |
| 2010 | ADMA | Time-Constrained Test Selection for Regression Testing. | Lian Yu, Lei Xu, Wei-Tek Tsai |
| 2010 | SEKE | Ontology-Based Dependency-Guided Service Composition for User-Centric SOA. | Wei-Tek Tsai, Peide Zhong, Jay Elston, Yinong Chen, Xiaoying Bai |
| 2010 | SERVICES | Real-Time Service-Oriented Cloud Computing. | Wei-Tek Tsai, Qihong Shao, Xin Sun, Jay Elston |
| 2009 | SEKE | An Adaptive Management Framework for Service Brokers in Service-oriented Architecture. | Wei-Tek Tsai, Tszyan Chow, Yinong Chen, Xiao Wei |
| 2009 | SERVICES | Model-Based Monitoring and Policy Enforcement of Services. | Xiaoying Bai, Yongli Liu, Lijun Wang, Wei-Tek Tsai, Peide Zhong |
| 2008 | COMPSAC | Collaborative Web Services Monitoring with Active Service Broker. | Xiaoying Bai, Shufang Lee, Wei-Tek Tsai, Yinong Chen |
| 2008 | ICWS | Ontology-Based Test Modeling and Partition Testing of Web Services. | Xiaoying Bai, Shufang Lee, Wei-Tek Tsai, Yinong Chen |
| 2008 | ISORC | Teaching Service-Oriented Computing and STEM Topics via Robotic Games. | Wei-Tek Tsai, Xin Sun, Yinong Chen, Qian Huang, Gary Bitter, Mary White |
| 2007 | COMPSAC | 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 |
| 2007 | ISADS | Collaboration Policy Generation in Dynamic Collaborative SOA. | Wei-Tek Tsai, Qian Huang, Bingnan Xiao, Yinong Chen, Xinyu Zhou |
| 2007 | ISADS | A New SOA Data-Provenance Framework. | Wei-Tek Tsai, Xiao Wei, Dawei Zhang, Raymond A. Paul, Yinong Chen, Jen-Yao Chung |
| 2006 | COMPSAC | Testability of Software in Service-Oriented Architecture. | Wei-Tek Tsai, Jerry Gao, Xiao Wei, Yinong Chen |
| 2006 | ISORC | Architecture Classification for SOA-Based Applications. | Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul, Jen-Yao Chung |
| 2005 | COMPSAC | Autonomous Hot Patching for Web-Based Applications. | Hai Huang, Wei-Tek Tsai, Yinong Chen |
| 2005 | COMPSAC | Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services. | Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Hai Huang, Xinyu Zhou, Xiao Wei |
| 2005 | ISADS | Web services-based collaborative and cooperative computing. | Wei-Tek Tsai, Zhibin Cao, Yinong Chen, Raymond A. Paul |
| 2005 | ISADS | Developing and assuring trustworthy Web services. | Wei-Tek Tsai, Xiao Wei, Yinong Chen, Bingnan Xiao, Raymond A. Paul, Hai Huang |
| 2005 | ISORC | Proof Slicing with Application to Model Checking Web Services. | Hai Huang, Wei-Tek Tsai, Raymond A. Paul |
| 2005 | ISORC | Automated Model Checking and Testing for Composite Web Services. | Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen |
| 2004 | COMPSAC | Cooperative and Group Testing in Verification of Dynamic Composite Web Services. | Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Ning Liao, Hai Huang |
| 2004 | COMPSAC | Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing. | Wei-Tek Tsai, Weiwei Song, Raymond A. Paul, Zhibin Cao, Hai Huang |
| 2003 | COMPSAC | Rapid Verification of Embedded Systems Using Patterns. | Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul |
| 2003 | IPCCC | Scenario-based test case generation for state-based embedded systems. | Wei-Tek Tsai, L. Yu, X. X. Liu, A. Saimi, Y. Xiao |
| 2002 | COMPSAC | Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded Systems. | Wei-Tek Tsai, Yinghui Na, Raymond A. Paul, F. Lu, Akihiro Saimi |
| 2002 | COMPSAC | Hypothesis Testing for Module Test in Software Development. | Tsuneo Yamaura, Akira K. Onoma, Wei-Tek Tsai |
| 2002 | ISORC | OCL Goes Real-Time (Panel). | Franz J. Rammig, Ben Watson, John Hogg, Wei-Tek Tsai |
| 2001 | COMPSAC | Scenario-Based Functional Regression Testing. | Raymond A. Paul, Lian Yu, Wei-Tek Tsai, Xiaoying Bai |
| 2001 | COMPSAC | End-to-End Integration Testing. | Wei-Tek Tsai |
| 2001 | COMPSAC | End-To-End Integration Testing Design. | Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, Weiguang Shao, Vishal Agarwal |
| 2001 | EDOC | Distributed End-to-End Testing Management. | Xiaoying Bai, Wei-Tek Tsai, Techeng Shen, Bing Li, Raymond A. Paul |
| 2001 | ER | XML-based E2E Test Report Management. | Raymond A. Paul, Wei-Tek Tsai, Bing Li, Xiaoying Bai |
| 1999 | APSEC | Specifying Constraints with Message Sequence Specifications. | Yongzhong Tu, Wei-Tek Tsai, Yang Xiang |
| 1999 | COMPSAC | Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates. | Wei-Tek Tsai, Yongzhong Tu, Weiguang Shao, Ezra Ebner |
| 1998 | CATA | Static identifying of synchronization faults in dynamic-multithreaded applications. | Yigang Chen, Wei-Tek Tsai, Jian Liu, Weiwen Xie |
| 1998 | COMPSAC | Framework-Oriented Analysis. | Feng Zhu, Wei-Tek Tsai |
| 1998 | ICTAI | An agent architecture for supporting individualized services in Internet applications. | Weiguang Shao, Wei-Tek Tsai, Sanjai Rayadurgam, Robert Lai |
| 1998 | ISORC | Automating Regression Testing for Real-Time Software in a Distributed Environment. | Feng Zhu, Sanjai Rayadurgam, Wei-Tek Tsai |
| 1997 | COMPSAC | Trends in software technology. | Wei-Tek Tsai |
| 1997 | COMPSAC | Application of data-centered approach to Year 2000 problem. | Wei-Tek Tsai |
| 1996 | CBMS | Fault mitigation in safety-critical software systems. | Satish Subramanian, Lynn Elliott, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh |
| 1996 | CBMS | Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application]. | Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Lynn Elliott, Ramin Mojdehbakhsh |
| 1996 | COMPSAC | Business Rule Extraction from Legacy Code. | Hai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun |
| 1996 | COMPSAC | Opusdei-Integrated Environment for Software Development and Maintenance. | Akira K. Onoma, Hiroshi Suganuma, Mustafa H. Poonawala, Satish Subramanian, Wei-Tek Tsai, Tsutomu Syomura |
| 1996 | SEKE | Generalized Program Slicing for Software Maintenance. | Hai Huang, Wei-Tek Tsai, Satish Subramanian |
| 1996 | SEKE | The Role of Program Slicing in Ripple Effect Analysis. | Yamin Wang, Wei-Tek Tsai, Xiaoping Chen, Sanjai Rayadurgam |
| 1995 | COMPSAC | A Framework for Designing Safe Software Systems. | Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott |
| 1994 | CBMS | A process for developing safe software. | Lynn Elliott, Ramin Mojdehbakhsh, Wei-Tek Tsai |
| 1994 | COMPSAC | Automatic variable classification for COBOL programs. | Xiaoping Chen, Wei-Tek Tsai, Jay K. Joiner, H. Gandamaneni, Jianhua Sun |
| 1994 | ISSRE | A process for software requirements safety analysis. | Ramin Mojdehbakhsh, Satish Subramanian, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Lynn Elliott |
| 1994 | RE | System bounding issues for analysis. | Jos M. Drake, Wei-Tek Tsai |
| 1993 | COMPSAC | Object prototyping: Concept and specification language. | Horng-Juing Lee, Wei-Tek Tsai |
| 1993 | ICSE | 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 |
| 1993 | ICTAI | Quality of Heuristic Programs (Panel). | Wei-Tek Tsai, Imran A. Zualkernan |
| 1993 | SEKE | A Framework for Systematic Testing of Software Specifications. | Wei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, Satish K. Musukula |
| 1992 | COMPSAC | Testing expert systems using conventional techniques. | Wei-Tek Tsai, Shekhar H. Kirani, Imran A. Zualkernan |
| 1992 | ICPP | Array Covering: A Technique4 for Enabling Lloop Parallelization. | Viet N. Ngo, Gary Elsesser, Sourav Bhattacharya, Wei-Tek Tsai |
| 1992 | ICTAI | Comparative Evaluation of Expert System Testing Methods. | Shekhar H. Kirani, Imran A. Zualkernan, Wei-Tek Tsai |
| 1991 | COMPSAC | Conditional transactions: a model of computation for active databases. | Jaideep Srivastava, Kuo-Wei Hwang, Wei-Tek Tsai |
| 1991 | ICPP | Inverted Memory. | Sourav Bhattacharya, Chungti Liang, Wei-Tek Tsai |
| 1990 | ICDE | Multilevel Secure Database Concurrency Control. | Thomas F. Keefe, Wei-Tek Tsai, Jaideep Srivastava |
| 1990 | ICPP | A Synthesis Approach to Developing Large Petri Nets. | Yigang Chen, Wei-Tek Tsai |
| 1990 | ICTAI | Software representation to support change. | K. G. Heisler, P. E. Johnson, Wei-Tek Tsai, Y. Kasho, J. R. Snyder |
| 1990 | SEKE | Towards a Unified Framework for Testing Expert Systems. | Wei-Tek Tsai, Imran A. Zualkernan |
| 1990 | SEKE | What Software Engineering Can Learn From Practitioners. | Dmitry Volovik, Ramin Mojdehbakhsh, Wei-Tek Tsai |
| 1990 | SP | Multiversion Concurrency Control for Multilevel Secure Database Systems. | Thomas F. Keefe, Wei-Tek Tsai |
| 1989 | ACSAC | Security model consistency in secure object-oriented systems. | Thomas F. Keefe, Wei-Tek Tsai |
| 1989 | ACSAC | Multi-party conflict: the problem and its solutions. | Thomas F. Keefe, Dan Thomsen, Wei-Tek Tsai, M. R. Hansch |
| 1989 | DBSEC | Prototyping the SODA Model. | Thomas F. Keefe, Wei-Tek Tsai |
| 1989 | ICPP | Embedding of Linear Array and Binary Tree in Cubical Ring Connected Cycles Networks. | Chungti Liang, Yigang Chen, Wei-Tek Tsai |
| 1989 | ICTAI | A parallel architecture for large scale production systems. | Kai W. Hwang, Jack S. Eddy Tan, Jau-Hwang Wang, Jaideep Srivastava, Wei-Tek Tsai |
| 1989 | ICTAI | Towards a framework for normative software engineering research. | Wei-Tek Tsai, Imran A. Zualkernan |
| 1989 | SRDS | A Low Overhead Checkpointing and Rollback Recovery Scheme for Distributed Systems. | Zhijun Tong, Richard Y. Kain, Wei-Tek Tsai |
| 1988 | COMPSAC | Asynchronous recovery protocols for distributed systems. | Kuo-Wei Hwang, Wei-Tek Tsai |
| 1988 | COMPSAC | Synthesis rules for cyclic interactions among processes in concurrent systems. | C. V. Ramamoorthy, Yuh Yaw, Wei-Tek Tsai |
| 1988 | COMPSAC | Automatic test case generation from relational algebra queries. | Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe, Mohamed E. Fayad |
| 1988 | COMPSAC | Expert systems and software engineering. | Jeffrey J. P. Tsai, David Y. Yun, Mehdi T. Harandi, Murat M. Tanik, Wei-Tek Tsai, Walt Scacchi |
| 1988 | COMPSAC | Object-oriented paradigm and software engineering. | Wei-Tek Tsai, Imran A. Zualkernan |
| 1988 | COMPSAC | Expert systems for software engineering? | Wei-Tek Tsai, Imran A. Zualkernan |
| 1988 | COMPSAC | Extensions on performance evaluation techniques for concurrent systems. | Yuh Yaw, Belle W. Y. Wei, C. V. Ramamoorthy, Wei-Tek Tsai |
| 1988 | DBSEC | Prototyping as a Research Tool for MLS/DBMS. | D. J. Thomsen, Wei-Tek Tsai, Bhavani M. Thuraisingham |
| 1988 | ICPP | Loops and Multi-Dimensional Grids on Hypercubes Mapping and Reconfiguration Algorithms. | Shyh-Kwei Chen, Chungti Liang, Wei-Tek Tsai |
| 1986 | ICDCS | A Distributed Clustering Algorithm for Large Computer Networks. | C. V. Ramamoorthy, Jaideep Srivastava, Wei-Tek Tsai |
| 1982 | ICDCS | 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 |