Wei-Tek Tsai
Emeritus Professor, School of Computing and Augmented Intelligence
Emeritus Professor, Emeritus College
-
-
BYENG 406 TEMPE, AZ 85287-8809
-
-
Publications
- Tsai, Wei-Tek, Zhou, Xinyu, Chen, Yinong, Bai, Xiaoying. On Testing and Evaluating Service-Oriented Software. IEEE Computer (2008).
- W. T. Tsai, Yinong Chen, Xin Sun, Calvin Cheng, Gary Bitter, and Mary White. Service-Oriented Computing. Learning & Leading with Technology (2008).
- Wei-Tek Tsai, Xin Sun, Qian Huang, Helen D. Karatza. An Ontology-based Collaborative Service-Oriented Simulation Framework with Microsoft Robotic Studio. Simulation Modeling Practice and Theory (2008).
- Wei-Tek Tsai, Xinyu Zhou, Xiao Wei. A Policy Enforcement Framework for Verification and Control of Service Collaboration. Information Systems and E-Business Management (2008).
- Wei-Tek Tsai, Yinong Chen, Calvin Cheng, Xin Sun, Gary Bitter, Mary White. Introductory Course on Service-Oriented Computing for High Schools. Journal of Information Technology Education (2008).
- W. T. Tsai, Xiaoying Bai, Yinong Chen. On Service- Oriented Software Engineering. (2008).
- Yinong Chen and Wei-Tek Tsai. Distributed Service-Oriented Software Development. (2008).
- Chen, Yinong, Abhyankar, Srushti, Xu, Le, Tsai, Wei-Tek, Garcia-Acosta, Marcos. Developing a Security Robot in Service-Oriented Architecture. IEEE Computer Society Press, Prof. of IEEE FTDCS 2008 (2008).
- R. A. Paul, I-Ling Yen, F. B. Bastani, J. Dong, W. T. Tsai, K. Kavi, A. Ghafoor, J. Srivastava. An Ontology-based Integrated Assessment Framework for High-Assurance Systems. IEEE Computer Society, Proc. of IEEE ICSC 2008 (2008).
- Tsai, Wei-Tek, Huang, Qian, Elston, Jay, Chen, Yinong. Service-Oriented Interface Modeling and Composition. IEEE Computer Society Press, Proc. of IEEE ICEBE 2008 (2008).
- Tsai, Wei-Tek, Huang, Qian, Sun, Xin. A Collaborative Service-Oriented Simulation Framework with Microsoft Robotic Studio. Society of Modeling and Simulation International/IEEE Computer Society, Annual Simulation Symposium 2008 (2008).
- Tsai, Wei-Tek, Sun, Xin, Chen, Yinong, Huang, Qian, Bitter, Gary, White, Mary. Teaching Service-Oriented Computing and STEM Topics via Robotic Games. IEEE Computer Society, Proc. of IEEE ISORC 2008 (2008).
- Tsai, Wei-Tek, Zhou, Xinyu, Chen, Yinong. SOA Simulation and Verification by Event-Driven Policy Enforcement. Society of Modeling and Simulation International/IEEE Computer Society, Annual Simulation Symposium 2008 (2008).
- W. T. Tsai, Jay Elston, Yinong Chen. Composing Highly Reliable Service-Oriented Applications Adaptively. IEEE Computer Society, Proc. of IEEE SOSE 2008 (2008).
- W. T. Tsai, M. Dalta and J. Xu. Dynamic Assessment and Cusotmizable E-Learning Content Generator. Proc. of World Congress in Computer Science, Computer Engineering and Applied Computing, 2008 (2008).
- X. Bai, S. Lee, W. T. Tsai, Yinong Chen. Ontology-Based Test Modeling and Partition Testing of Web Services. IEEE Computer Society, Proc. of IEEE ICWS, 2008 (2008).
- Xiaoying Bai, Shufang Lee, W. T. Tsai, Yinong Chen. Collaborative Web Services Monitoring with Active Service Broker. IEEE Computer Society, IEEE COMPSAC 2008 (2008).
- Wei-Tek Tsai, Raymond Paul, Jen-Yao Chung, Yinong Chen, Yinong Chen. Service-oriented system engineering (SOSE) and its applications to embedded system development. Service Oriented Computing and Applications (2007).
- Wei-Tek Tsai, Yinong Chen, Raymond Paul, Jen-Yao Chung. Data provenance in SOA: security, reliability, and integrity. Service Oriented Computing and Applications (2007).
- Bai, Xiaoying,Wang, Yongbo,Dai, Guilan,Tsai, Wei-Tek,Chen, Yinong. A Framework for Contract-Based Collaborative Verification and Validation of Web Services. Component-Based Software Engineering (2007).
- Bai, Xiaoying, Xu, Dezheng, Dai, Guilan, Tsai, Wei-Tek, Chen, Yinong. Dynamic Reconfigurable Testing of Service-Oriented Architecture. IEEE Computer Society Press (2007).
- Challagulla, Venkata, Bastani, Farokh, Paul, Raymond, Tsai, Wei-Tek, Chen, Yinong. A Machine Learning-Based Reliability Assessment Model for Critical Software Systems. IEEE Computer Society Press (2007).
- Tsai, Wei-Tek, Chen, Yinong. Dynamic Collaboration Simulation in Service-Oriented Computing Paradigm. IEEE Computer Society Press (2007).
- Tsai, Wei-Tek, Chen, Yinong, Bitter, Gary, White, Mary. . IEEE Computer Society Press (2007).
- Tsai, Wei-Tek, Chen, Yinong, Paul, Raymond, Chu, William. Roadmap to a Full Service Broker in Service-Oriented Architecture. IEEE Computer Society Press (2007).
- Tsai, Wei-Tek, Huang, Qian, Xiao, Bingnan, Chen, Yinong, Zhou, Xinyu. Collaboration Policy Generation in Dynamic Collaborative SOA. IEEE Computer Society Press (2007).
- Tsai, Wei-Tek, Jin, Zhe, Wang, P., Wu, B. Requirement Engineering in Service-Oriented System Engineering. IEEE Computer Soceity (2007).
- Tsai, Wei-Tek, Paul, Raymond, Chen, Yinong, Xu, Jingjing. Process Specification and Modeling Language for Service-Oriented Software Development. IEEE Computer Society Press (2007).
- Tsai, Wei-Tek, Wei, Xiao, Zhang, Dawei, Paul, Raymond, Chen, Yinong, Chung, Jen-Yao. A New SOA Data-Provenance Framework. IEEE Computer Society Press (2007).
- Tsai, Wei-Tek, Xu, Jingjing, Chen, Yinong, Paul, Raymond. Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture. IEEE Computer Society Press (2007).
- Tsai, Wei-Tek, Zhou, Xinyu, Paul, Raymond, Chen, Yinong, Bai, Xiaoying. A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software. IEEE Computer Society Press (2007).
- . Biased Covering Arrays for Progressive Ranking and Composition of Web Services. (2007).
- . Design of a trustworthy service broker and dependence-based progressive group testing. (2007).
Research Activity
- Tsai,Wei-Tek*. Project 4. FUJITSU LAB(12/1/2014 - 3/31/2015).
- Tsai,Wei-Tek*. Project 3. FUJITSU LAB(11/15/2013 - 12/31/2014).
- Tsai,Wei-Tek*. Project 2. FUJITSU LAB(8/1/2012 - 3/31/2013).
- Tsai,Wei-Tek*. Project 1. FUJITSU LAB(10/1/2011 - 3/31/2012).
- Huang,Dijiang*, Tsai,Wei-Tek. A Cloud-based Resource and Service Sharing Platform for Computer and Network Security Education. NSF-EHR-DUE(7/15/2010 - 6/30/2013).
- Tsai,Wei-Tek*, Chen,Yinong. Testing Service-Oriented Software and Systems. MTISC(6/1/2010 - 8/31/2010).
- Lee,Yann-Hang*, Tsai,Wei-Tek. Developing Dynamic Service Generation Algorithm for Smart Home Devices. ETRI(7/1/2009 - 1/31/2010).
- Lee,Yann-Hang*, Tsai,Wei-Tek. Process based Ontology Design for Smart Home Applications. ETRI(8/1/2008 - 1/30/2010).
- Lee,Yann-Hang*, Tsai,Wei-Tek. Process-based Ontology Design for Smart Home Applications. ETRI(9/1/2007 - 1/31/2009).
- Tsai,Wei-Tek*, Bitter,Gary Glen, Chen,Yinong, Collofello,James Samuel, Lee,Yann-Hang, Miron,Dorina. PREPARING HIGH SCHOOL TEACHERS FOR SERVICE-ORIENTED COMPUTER SCIENCE EDUCATION. ED(1/1/2007 - 5/31/2011).
- Tsai,Wei-Tek*. Ontology - Based Policy System (OBPS). Independent Engineering, Inc(9/27/2005 - 9/26/2006).
- Tsai,Wei-Tek*. Dynamic Varification and Validation for Flight Control Software. SCIENTIFIC MONITORING INC(8/15/2005 - 5/31/2007).
- Tsai,Wei-Tek*. End-to-End Scenario and Modeling Tool. Independent Engineering, Inc(5/10/2005 - 5/9/2006).
- Tsai,Wei-Tek*, Chen,Yinong. Developing Highly Dependable Embedded Systems With Reconfigurable Software. CEIT(1/3/2005 - 6/30/2007).
- Tsai,Wei-Tek*. ITR: TADE - TIMELINESS-ASSURED DESIGN ENVIRONMENT FOR DISTRIBUTED OBJECT-BASED EMBEDDED COMPUTING. UNIV OF CA AT IRVINE(4/1/2004 - 12/31/2005).
- Tsai,Wei-Tek*. Configurable Business Logic Software. INTEL CORP(12/16/2003 - 8/15/2005).
- Tsai,Wei-Tek*. ADAPTIVE END-TO-END INTEGRATION TEST AND EVALUATION USING SCENARIOS AND SIMULATION. UNIV OF SOUTH FLORIDA(8/1/2003 - 12/16/2005).
- Tsai,Wei-Tek*. PATTERN-ORIENTED RAPID EMBEDDED SYSTEM DEVELOPMENT WITH REMOTE TESTING. CEIT(5/16/2003 - 5/15/2004).
- Ryu,Kyung Dong*, Tsai,Wei-Tek. AN INTEGRATED TOOL FOR PERFORMANCE MONITORING VISUALIZATION AND TUNING FOR EMBEDDED SYSTEMS. CEIT(1/1/2003 - 12/31/2003).
- Tsai,Wei-Tek*. ADAPTIVE END-TO-END INTERPRETATION TEST AND EVALUATION USING SCENARIOS, OBJECT-ORIENTED TEST FRAMEWORKS AND VERIFICATION PATTERNS. UNIV OF SOUTH FLORIDA(12/1/2002 - 9/30/2003).
- Tsai,Wei-Tek*. A SCENARIO-BASED TESTING TOOL WITH STATISTICAL MODELS FOR EMBEDDED SYSTEMS DEVELOPMENT. CEIT(5/17/2002 - 5/16/2003).
- Tsai,Wei-Tek*, Lee,Yann-Hang. TESTING EMBEDDED SYSTEMS AND SOFTWARE. NSF-EHR(1/1/2002 - 12/31/2003).
- Tsai,Wei-Tek*. NATIONAL INSTITUTE FOR SYSTEMS TESTING AND PRODUCTIVITY. UNIV OF SOUTH FLORIDA(12/1/2001 - 10/31/2002).
- Tsai,Wei-Tek*. TESTING FRAMEWORK FOR EMBEDDED APPLICATIONS. CEIT(5/16/2001 - 6/30/2002).
- Tsai,Wei-Tek*. A COURSE ON TESTING EMBEDDED SYSTEMS. CEIT(5/16/2001 - 6/30/2002).
- Collofello,James Samuel*, Gannod,Gerald C, Tsai,Wei-Tek. ENGINEERING EMBEDDED SYSTEMS. CEIT(5/16/2001 - 8/15/2002).
- Tsai,Wei-Tek*. INFORMATION TECHNOLOGY (IT) SYSTEM ACQUISITION AND IT PORTFOLIO MANAGEMENT AND OVERSIGHT EVALUATION SUPPORT. DOD-ARL(12/1/2000 - 2/28/2002).
- Bhattacharya,Sourav*, Tsai,Wei-Tek. HIGH ASSURANCE TRANSFORMATION SYSTEM. SANDIA NATL LAB(5/31/2000 - 9/15/2000).
- Tsai,Wei-Tek*. WEB APPLICATION DEVELOPMENT TOOL AND TESTING FRAMEWORK. HITACHI SOFTWARE ENGINEERING(10/1/1999 - 12/31/2008).
- Tsai,Wei-Tek*. DISTRIBUTED ENTERPRISE APPLICATION DEVELOPMENT. FUJITSU LAB(10/1/1999 - 3/31/2003).
- Tsai,Wei-Tek*, Bhattacharya,Sourav. Y2K ASSURANCE-BASED TESTING. DOD-ARL(9/30/1999 - 9/29/2000).
Courses
2024 Spring
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CSE 599 | Thesis |
2023 Fall
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 590 | Reading and Conference |
2023 Spring
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CSE 599 | Thesis |
2022 Fall
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 590 | Reading and Conference |
2022 Spring
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CSE 599 | Thesis |
2021 Fall
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 580 | Practicum |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
2021 Spring
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CSE 599 | Thesis |
| CSE 790 | Reading and Conference |
2020 Fall
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 580 | Practicum |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
2020 Spring
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CSE 599 | Thesis |
| CSE 790 | Reading and Conference |
2019 Fall
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 580 | Practicum |
| CSE 790 | Reading and Conference |
| CSE 580 | Practicum |
2019 Spring
| Course Number | Course Title |
|---|---|
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CSE 599 | Thesis |
| CSE 790 | Reading and Conference |
Presentations
- Chen, Yinong, Abhyankar, Srushti, Xu, Le, Tsai, Wei-Tek, Garcia-Acosta, Marcos. Developing a Security Robot in Service-Oriented Architecture. 12th IEEE Internal Workshop on Future Trends of Distributed Computing Systems (Oct 2008).
- Tsai, Wei-Tek, Huang, Qian, Elston, Jay, Chen, Yinong. Service-Oriented Interface Modeling and Composition. IEEE International Conference on e-Business Engineering (Oct 2008).
- Tsai, Wei-Tek, Sun, Xin, Chen, Yinong, Huang, Qian, Bitter, Gary, White, Mary. Teaching Service-Oriented Computing and STEM Topics via Robotic Games. 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (May 2008).
- Tsai, Wei-Tek. Teaching Service-Oriented Computing to High School Students. IEEE International Workshop on Service-Oriented System Engineering (Oct 2007).
- Tsai, Wei-Tek. E-DoD: What are some implications. IEEE Conference on e-Business Engineering (Oct 2007).
- Tsai, Wei-Tek. Requirement Engineering in Service-Oriented System Engineering. International Workshop on Service-Oriented System Engineering (Oct 2007).
- Tsai, Wei-Tek. Roadmap to a full service broker in service-oriented architecture. IEEE International Workshop on Service-Oriented System Engineering (Oct 2007).
- Tsai, Wei-Tek. Seminar. Invited Talk at National Central University (Oct 2007).
- Tsai, Wei-Tek. Service-Oriented Requirement Engineering. Seminar at Chinese Academy of Sciences (Jul 2007).
- Tsai, Wei-Tek. A machine learning-based reliability assessment model for critical software systems. IEEE International Conference on Computer Software and Applications (Jul 2007).
- Tsai, Wei-Tek. Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture. International Conference on Service-Oriented Computing and Applications (Jun 2007).
- Tsai, Wei-Tek. Process Specification and Modeling Language for Service-Oriented Software Development. IEEE International Workshop on Future Trend of Distributed Computing Systems (Mar 2007).
- Tsai, Wei-Tek. Collaboration Policy Generation in Dynamic Collaborative SOA. IEEe International Symposium on Autonomous Decentralized Systems (Mar 2007).
- Tsai, Wei-Tek. Is Service-Oriented Computing Appropriate for Autonomous Decentralized Systems. IEEe International Symposium on Autonomous Decentralized Systems (Mar 2007).
- Tsai, Wei-Tek. Teaching Service-Oriented Computing to High School Students. FIPSE Project Director Meeting (Feb 2007).
Service
- Srevice-Oriented Computing and Application Journal, Editorial Board Member (2007 - Present)
- IEEE Symposium on Service-Oriented System Engineering, Chair of Steering Committee (2005 - Present)
- Research Grants Council, Hong Kong, Reviewer (2009 - 2009)
- International Symposium on High-Assurance System Engineering, Membe of Steering Committee (2008 - 2008)
- IEEE International Conference on e-Business Engineering, Member of Steeering Committee (2007 - 2008)
- IEEE International Conference on Quality Software, Program Committee Member (2007 - 2008)
- IEEE International CEC/EEE Conference, Program Co-Chair (2007 - 2008)
- Personnel Committee, Member (2007 - 2008)
- TAC Information Assurance, Member (2007 - 2008)
- TAC Software Engineering, Member (2007 - 2008)
- IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Member of Program Committee (2007 - 2008)
- IEEE International Sympoisum on Service-Oriented System Engineering, Chair of Steering Commitee (2007 - 2007)
- IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Program Commitee Members (2007 - 2007)
- Srevice-Oriented Computing and Application Journal, Editorial Board Member (2007 - 2007)
- IEEE International Conference on e-Business Engineering, Program Committee Members (2007 - 2007)
- IEEE International Conference on Autonomous Decentralized Systems, Program Chair (2006 - 2007)