Wei-Tek Tsai

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
199Collaborative Learning Using Wiki Web Sites for Computer Science Undergraduate Education: A Case Study. Wei-Tek Tsai, Wu Li, Jay Elston, Yinong Chen. IEEE Trans. Education (54): 114-124 (2011). Web SearchBibTeXDownload
198A design of policy-based composite web services QoS monitoring system. Gwyduk Yeom, Wei-Tek Tsai, Xiaoying Bai, Youngkon Lee. IJCCBS (2): 79-91 (2011). Web SearchBibTeXDownload
197Policy Management for Secure Data Access Control in Vehicular Networks. Dijiang Huang, Wei-Tek Tsai, Yi-hsin Tseng. J. Network Syst. Manage. (19): 448-471 (2011). Web SearchBibTeXDownload
196SimSaaS: simulation software-as-a-service. Wei-Tek Tsai, Wu Li, Hessam S. Sarjoughian, Qihong Shao. SpringSim (ANSS) 2011, 77-86. Web SearchBibTeXDownload
2010
195Time-Constrained Test Selection for Regression Testing. Lian Yu, Lei Xu, Wei-Tek Tsai. ADMA (2) 2010, 221-232. Web SearchBibTeXDownload
194Predicting Defect Priority Based on Neural Networks. Lian Yu, Wei-Tek Tsai, Wei Zhao, Fang Wu. ADMA (2) 2010, 356-367. Web SearchBibTeXDownload
193Data Partitioning and Redundancy Management for Robust Multi-Tenancy SaaS. Wei-Tek Tsai, Yu Huang, Qihong Shao, Xiaoying Bai. Int. J. Software and Informatics (4): 437-471 (2010). Web SearchBibTeXDownload
192Service-Oriented Cloud Computing Architecture. Wei-Tek Tsai, Xin Sun, Janaka Balasooriya. ITNG 2010, 684-689. Web SearchBibTeXDownload
191Ontology-Based Dependency-Guided Service Composition for User-Centric SOA. Wei-Tek Tsai, Peide Zhong, Jay Elston, Yinong Chen, Xiaoying Bai. SEKE 2010, 462-467. Web SearchBibTeX
190Modeling enterprise service-oriented architectural styles. Longji Tang, Jing Dong, Tu Peng, Wei-Tek Tsai. Service Oriented Computing and Applications (4): 81-107 (2010). Web SearchBibTeXDownload
189Real-Time Service-Oriented Cloud Computing. Wei-Tek Tsai, Qihong Shao, Xin Sun, Jay Elston. SERVICES 2010, 473-478. Web SearchBibTeXDownload
188OIC: Ontology-based intelligent customization framework for SaaS. Wei-Tek Tsai, Qihong Shao, Wu Li. SOCA 2010, 1-8. Web SearchBibTeXDownload
187Testing as a Service over Cloud. Lian Yu, Wei-Tek Tsai, Xiangji Chen, Linqing Liu, Yan Zhao, Liangjie Tang, Wei Zhao. SOSE 2010, 181-188. Web SearchBibTeXDownload
186A Classification of Enterprise Service-Oriented Architecture. Longji Tang, Jing Dong, Yajing Zhao, Wei-Tek Tsai. SOSE 2010, 74-81. Web SearchBibTeXDownload
185Flexible-Matching Data-Comparison Tool with the Cloud Applications. Wei-Tek Tsai, Xin Sun, Qihong Shao. SOSE 2010, 95-102. Web SearchBibTeXDownload
184Event-driven service-oriented simulation framework. Wei-Tek Tsai, Wu Li, Xin Sun, Ashutosh Sabnis, Yinong Chen. SpringSim 2010, 176. Web SearchBibTeXDownload
2009
183Ontology-Based Service Composition Framework for Syndicating Building Intelligence. Wei-Tek Tsai, Yann-Hang Lee, Avi Wiezel, Xin Sun, Wu Li. CEC 2009, 445-452. Web SearchBibTeXDownload
182Design of a Contract-Based Web Services QoS Management System. Gwyduk Yeom, Wei-Tek Tsai, Xiaoying Bai, Dugki Min. ICDCS Workshops 2009, 306-311. Web SearchBibTeXDownload
181Dependency-Guided Service Composition for User-Centric SOA. W. T. Tsai, Peide Zhong, Xiaoying Bai, Jay Elston. ICEBE 2009, 149-156. Web SearchBibTeXDownload
180Ontology-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, 297-304. Web SearchBibTeXDownload
179Ontology-based Information Sharing in Service-Oriented Database Systems. Tszyan Chow, Wei-Tek Tsai, Janaka Balasooriya, Xiaoying Bai. IEEE SCC 2009, 276-283. Web SearchBibTeXDownload
178Internetware Computing: Issues and Perspective. Wei-Tek Tsai, Zhi Jin, Xiaoying Bai. Int. J. Software and Informatics (3): 415-438 (2009). Web SearchBibTeXDownload
177Towards Selecting Test Data Using Topological Structure of Boolean Expressions. Lian Yu, Wei-Tek Tsai, Wei Zhao, Jun Zhu, Qianxing Wang. QSIC 2009, 31-40. Web SearchBibTeXDownload
176An Adaptive Management Framework for Service Brokers in Service-oriented Architecture. Wei-Tek Tsai, Tszyan Chow, Yinong Chen, Xiao Wei. SEKE 2009, 280-285. Web SearchBibTeX
175Model-Based Monitoring and Policy Enforcement of Services. Xiaoying Bai, Yongli Liu, Lijun Wang, Wei-Tek Tsai, Peide Zhong. SERVICES I 2009, 789-796. Web SearchBibTeXDownload
174Towards dependable service-orientated computing systems. Yinong Chen, Wei-Tek Tsai. Simulation Modelling Practice and Theory (17): 1361-1366 (2009). Web SearchBibTeXDownload
173Role-based trust model for community of interest. Wei-Tek Tsai, Peide Zhong, Xiaoying Bai, Jay Elston. SOCA 2009, 1-8. Web SearchBibTeXDownload
172A 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, 1-8. Web SearchBibTeXDownload
171Timing specification and analysis for service-oriented simulation. Wei-Tek Tsai, Hessam S. Sarjoughian, Wu Li, Xin Sun. SpringSim 2009. Web SearchBibTeXDownload
2008
170A Collaborative Service-Oriented Simulation Framework with Microsoft Robotic Studio®. Wei-Tek Tsai, Qian Huang, Xin Sun. Annual Simulation Symposium 2008, 263-270. Web SearchBibTeXDownload
169SOA Simulation and Verification by Event-Driven Policy Enforcement. Wei-Tek Tsai, Xinyu Zhou, Yinong Chen. Annual Simulation Symposium 2008, 165-172. Web SearchBibTeXDownload
168Collaborative Web Services Monitoring with Active Service Broker. Xiaoying Bai, Shufang Lee, Wei-Tek Tsai, Yinong Chen. COMPSAC 2008, 84-91. Web SearchBibTeXDownload
167Dynamic Assessment and Customizable e-Learning Content Generator. Wei-Tek Tsai, Madhu Datla, Jingjing Xu. CSREA EEE 2008, 172-178. Web SearchBibTeX
166An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. Raymond A. Paul, I-Ling Yen, Farokh B. Bastani, Jing Dong, Wei-Tek Tsai, Krishna Kavi, Arif Ghafoor, Jaideep Srivastava. ICSC 2008, 386-393. Web SearchBibTeXDownload
165Ontology-Based Test Modeling and Partition Testing of Web Services. Xiaoying Bai, Shufang Lee, Wei-Tek Tsai, Yinong Chen. ICWS 2008, 465-472. Web SearchBibTeXDownload
164On Testing and Evaluating Service-Oriented Software. Wei-Tek Tsai, Xinyu Zhou, Yinong Chen, Xiaoying Bai. IEEE Computer (41): 40-46 (2008). Web SearchBibTeXDownload
163A policy enforcement framework for verification and control of service collaboration. Wei-Tek Tsai, Xinyu Zhou, Xiao Wei. Inf. Syst. E-Business Management (6): 83-107 (2008). Web SearchBibTeXDownload
162Teaching Service-Oriented Computing and STEM Topics via Robotic Games. Wei-Tek Tsai, Xin Sun, Yinong Chen, Qian Huang, Gary Bitter, Mary White. ISORC 2008, 131-137. Web SearchBibTeXDownload
161An Introductory Course on Service-Oriented Computing for High Schools. Wei-Tek Tsai, Yinong Chen, Calvin Cheng, Xin Sun, Gary Bitter, Mary White. JITE (7): 315-338 (2008). Web SearchBibTeXDownload
160An ontology-based collaborative service-oriented simulation framework with Microsoft Robotics Studio®. Wei-Tek Tsai, Xin Sun, Qian Huang, Helen D. Karatza. Simulation Modelling Practice and Theory (16): 1392-1414 (2008). Web SearchBibTeXDownload
159Composing Highly Reliable Service-Oriented Applications Adaptively. Wei-Tek Tsai, Jay Elston, Yinong Chen. SOSE 2008, 115-122. Web SearchBibTeXDownload
2007
158Dynamic Collaboration Simulation in Service-Oriented Computing Paradigm. Wei-Tek Tsai, Qian Huang, Xin Sun, Yinong Chen. Annual Simulation Symposium 2007, 41-48. Web SearchBibTeXDownload
157A Framework for Contract-Based Collaborative Verification and Validation of Web Services. Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsai, Yinong Chen. CBSE 2007, 258-273. Web SearchBibTeXDownload
156A 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, 79-86. Web SearchBibTeXDownload
155A 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, 105-112. Web SearchBibTeXDownload
154Roadmap to a Full Service Broker in Service-Oriented Architecture. Wei-Tek Tsai, Xinyu Zhou, Yinong Chen, Bingnan Xiao, Raymond A. Paul, William Chu. ICEBE 2007, 657-660. Web SearchBibTeXDownload
153Designing a Service-Oriented Computing Course for High Schools. Wei-Tek Tsai, Yinong Chen, Xin Sun. ICEBE 2007, 686-693. Web SearchBibTeXDownload
152Requirement Engineering in Service-Oriented System Engineering. Wei-Tek Tsai, Zhi Jin, Puwei Wang, Budan Wu. ICEBE 2007, 661-668. Web SearchBibTeXDownload
151A New SOA Data-Provenance Framework. Wei-Tek Tsai, Xiao Wei, Dawei Zhang, Raymond A. Paul, Yinong Chen, Jen-Yao Chung. ISADS 2007, 105-112. Web SearchBibTeXDownload
150Service-oriented system engineering (SOSE) and its applications to embedded system development. Wei-Tek Tsai, Xiao Wei, Raymond A. Paul, Jen-Yao Chung, Qian Huang, Yinong Chen. Service Oriented Computing and Applications (1): 3-17 (2007). Web SearchBibTeXDownload
149Data provenance in SOA: security, reliability, and integrity. Wei-Tek Tsai, Xiao Wei, Yinong Chen, Raymond A. Paul, Jen-Yao Chung, Dawei Zhang. Service Oriented Computing and Applications (1): 223-247 (2007). Web SearchBibTeXDownload
148Modeling and Simulation in Service-Oriented Software Development. Wei-Tek Tsai, Zhibin Cao, Xiao Wei, Raymond A. Paul, Qian Huang, Xin Sun. Simulation (83): 7-32 (2007). Web SearchBibTeXDownload
147Service Oriented Computing: Technology Trends and Research Directions. Ricardo Morin, Mariano Cilia, William Henry, Michael Rowley, Wei-Tek Tsai. SOCA 2007, 9. Web SearchBibTeXDownload
146Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture. Wei-Tek Tsai, Qian Huang, Jingjing Xu, Yinong Chen, Raymond A. Paul. SOCA 2007, 39-46. Web SearchBibTeXDownload
2006
145DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1. Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul. Annual Simulation Symposium 2006, 160-167. Web SearchBibTeXDownload
144Global Software Enterprise: A New Software Constructing Architecture. Wei-Tek Tsai, Bingnan Xiao, Raymond A. Paul, Qian Huang, Yinong Chen. CEC/EEE 2006, 55. Web SearchBibTeXDownload
143Testability of Software in Service-Oriented Architecture. Wei-Tek Tsai, Jerry Gao, Xiao Wei, Yinong Chen. COMPSAC (2) 2006, 163-170. Web SearchBibTeXDownload
142Pi4SOA: A Policy Infrastructure for Verification and Control of Service Collaboration. Xinyu Zhou, Wei-Tek Tsai, Xiao Wei, Yinong Chen, Bingnan Xiao. ICEBE 2006, 307-314. Web SearchBibTeXDownload
141UCSOA: User-Centric Service-Oriented Architecture. Mark Chang, Jackson He, Wei-Tek Tsai, Bingnan Xiao, Yinong Chen. ICEBE 2006, 248-255. Web SearchBibTeXDownload
140SOA Collaboration Modeling, Analysis, and Simulation in PSML-C. Bingnan Xiao, Wei-Tek Tsai, Qian Huang, Yinong Chen, Raymond A. Paul. ICEBE 2006, 639-646. Web SearchBibTeXDownload
139Binary analysis and automated hot patching for Web-based applications. Hai Huang, Wei-Tek Tsai, Yinong Chen. Information & Software Technology (48): 1148-1158 (2006). Web SearchBibTeXDownload
138Architecture Classification for SOA-Based Applications. Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul, Jen-Yao Chung. ISORC 2006, 295-302. Web SearchBibTeXDownload
137Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture. Wei-Tek Tsai, Qian Huang, Bingnan Xiao, Yinong Chen. QSIC 2006, 313-320. Web SearchBibTeXDownload
136Collaborative software design in an SOA environment. Wei-Tek Tsai, Bingnan Xiao, Qian Huang, Yinong Chen. Science in China Series F: Information Sciences (49): 821-842 (2006). Web SearchBibTeXDownload
135Simulation Verification and Validation by Dynamic Policy Specification and Enforcement. Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Xinyu Zhou, Chun Fan. Simulation (82): 295-310 (2006). Web SearchBibTeXDownload
134A service-oriented modeling and simulation framework for rapid development of distributed applications. Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul. Simulation Modelling Practice and Theory (14): 725-739 (2006). Web SearchBibTeXDownload
133Perspectives on Service-Oriented Computing and Service-Oriented System Engineering. Wei-Tek Tsai, Miroslaw Malek, Yinong Chen, Farokh B. Bastani. SOSE 2006, 3-10. Web SearchBibTeXDownload
132RTSOA: Real-Time Service-Oriented Architecture. Wei-Tek Tsai, Yann-Hang Lee, Zhibin Cao, Yinong Chen, Bingnan Xiao. SOSE 2006, 49-56. Web SearchBibTeXDownload
2005
131Simulation Verification and Validation by Dynamic Policy Enforcement. Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul. Annual Simulation Symposium 2005, 91-98. Web SearchBibTeXDownload
130Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services. Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Hai Huang, Xinyu Zhou, Xiao Wei. COMPSAC (1) 2005, 101-106. Web SearchBibTeXDownload
129Autonomous Hot Patching for Web-Based Applications. Hai Huang, Wei-Tek Tsai, Yinong Chen. COMPSAC (2) 2005, 51-56. Web SearchBibTeXDownload
128Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing. Wei-Tek Tsai, Yinong Chen, Dawei Zhang, Hai Huang. ICDCS Workshops 2005, 65-71. Web SearchBibTeXDownload
127Distributed Policy Specification and Enforcement in Service-Oriented Business Systems. Wei-Tek Tsai, Xinxin Liu, Yinong Chen. ICEBE 2005, 10-17. Web SearchBibTeXDownload
126Rapid Embedded System Testing Using Verification Patterns. Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul. IEEE Software (22): 68-75 (2005). Web SearchBibTeXDownload
125Swiss Cheese Test Case Generation for Web Services Testing. Wei-Tek Tsai, Xiao Wei, Yinong Chen, Raymond A. Paul, Bingnan Xiao. IEICE Transactions (88-D): 2691-2698 (2005). Web SearchBibTeXDownload
124Ontology and Service Oriented Programming. Bing Li, Wei-Tek Tsai. Int. J. Web Service Res. (2): 33-68 (2005). Web SearchBibTeXDownload
123Automated Model Checking and Testing for Composite Web Services. Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen. ISORC 2005, 300-307. Web SearchBibTeXDownload
122Proof Slicing with Application to Model Checking Web Services. Hai Huang, Wei-Tek Tsai, Raymond A. Paul. ISORC 2005, 292-299. Web SearchBibTeXDownload
121Dynamic System Reconfiguration Via Service Composition for Dependable Computing. Wei-Tek Tsai, Weiwei Song, Yinong Chen, Raymond A. Paul. Monterey Workshop 2005, 203-224. Web SearchBibTeXDownload
120Stochastic Voting Algorithms for Web Services Group Testing. Wei-Tek Tsai, Dawei Zhang, Raymond A. Paul, Yinong Chen. QSIC 2005, 99-108. Web SearchBibTeXDownload
119Scheduling Simulation in a Distributed Wireless Embedded System. Yinong Chen, Hai Huang, Wei-Tek Tsai. Simulation (81): 425-436 (2005). Web SearchBibTeXDownload
118Towards Self-Healing Systems via Dependable Architecture and. Hong Mei, Gang Huang, Wei-Tek Tsai. WORDS 2005, 337-346. Web SearchBibTeXDownload
117Progressive Ranking and Composition of Web Services Using Covering Arrays. Charles J. Colbourn, Yinong Chen, Wei-Tek Tsai. WORDS 2005, 179-185. Web SearchBibTeXDownload
116Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems. Wei-Tek Tsai, Yinong Chen, Raymond A. Paul. WORDS 2005, 139-147. Web SearchBibTeXDownload
2004
115Testing Web Services Using Progressive Group Testing. Wei-Tek Tsai, Yinong Chen, Zhibin Cao, Xiaoying Bai, Hai Huang, Raymond A. Paul. AWCC 2004, 314-322. Web SearchBibTeXDownload
114Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing. Wei-Tek Tsai, Weiwei Song, Raymond A. Paul, Zhibin Cao, Hai Huang. COMPSAC 2004, 554-559. Web SearchBibTeXDownload
113Cooperative and Group Testing in Verification of Dynamic Composite Web Services. Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Ning Liao, Hai Huang. COMPSAC Workshops 2004, 170-173. Web SearchBibTeXDownload
112A software reliability model for web services. Wei-Tek Tsai, Dawei Zhang, Yinong Chen, Hai Huang, Raymond A. Paul, Ning Liao. IASTED Conf. on Software Engineering and Applications 2004, 144-149. Web SearchBibTeX
111Building e-commerce systems using semantic application framework. Bing Li, Wei-Tek Tsai, Liang-Jie Zhang. Int. J. Web Eng. Technol. (1): 297-319 (2004). Web SearchBibTeXDownload
2003
110Rapid Verification of Embedded Systems Using Patterns. Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul. COMPSAC 2003, 466-471. Web SearchBibTeXDownload
109Verification Patterns for Rapid Embedded System Verification. Wei-Tek Tsai, Feng Zhu, Lian Yu, Raymond A. Paul, Chun Fan. Embedded Systems and Applications 2003, 310-316. Web SearchBibTeX
108Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems. Wei-Tek Tsai, Lian Yu, Akihiro Saimi. FTDCS 2003, 288-294. Web SearchBibTeXDownload
107A Semantic Framework for Distributed Applications. Bing Li, Wei-Tek Tsai, Liang-Jie Zhang. ICEIS (4) 2003, 34-41. Web SearchBibTeX
106Scenario-based Object-Oriented Testing Framework. Wei-Tek Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul. QSIC 2003, 410. Web SearchBibTeXDownload
105Scenario-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, 978-984. Web SearchBibTeX
104Verification of Web Services Using an Enhanced UDDI Server. Wei-Tek Tsai, Raymond A. Paul, Zhibin Cao, Lian Yu, Akihiro Saimi, Bingnan Xiao. WORDS 2003, 131-138. Web SearchBibTeXDownload
2002
103Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded Systems. Wei-Tek Tsai, Yinghui Na, Raymond A. Paul, F. Lu, Akihiro Saimi. COMPSAC 2002, 321-326. Web SearchBibTeXDownload
102Hypothesis Testing for Module Test in Software Development. Tsuneo Yamaura, Akira K. Onoma, Wei-Tek Tsai. COMPSAC 2002, 829-834. Web SearchBibTeXDownload
101Extending WSDL to Facilitate Web Services Testing. Wei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fan, Dong Wang. HASE 2002, 171-172. Web SearchBibTeXDownload
100Coyote: An XML-Based Framework for Web Services Testing. Wei-Tek Tsai, Raymond A. Paul, Weiwei Song, Zhibin Cao. HASE 2002, 173-176. Web SearchBibTeXDownload
993 Tier Transparent Web Application Developing Approach. Bing Li, Wei-Tek Tsai. International Conference on Internet Computing 2002, 519-528. Web SearchBibTeX
98OCL Goes Real-Time (Panel). Wei-Tek Tsai. Symposium on Object-Oriented Real-Time Distributed Computing 2002, 421-422. Web SearchBibTeXDownload
97Scenario-Based Modeling And Its Applications. Xiaoying Bai, Wei-Tek Tsai, Ke Feng, Lian Yu, Raymond A. Paul. WORDS 2002, 253-260. Web SearchBibTeXDownload
2001
96End-To-End Integration Testing Design. Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, Weiguang Shao, Vishal Agarwal. COMPSAC 2001, 166-171. Web SearchBibTeXDownload
95End-to-End Integration Testing. Raymond A. Paul. COMPSAC 2001, 283-283. Web SearchBibTeXDownload
94Scenario-Based Functional Regression Testing. Raymond A. Paul, Lian Yu, Wei-Tek Tsai, Xiaoying Bai. COMPSAC 2001, 496. Web SearchBibTeXDownload
93Distributed End-to-End Testing Management. Xiaoying Bai, Wei-Tek Tsai, Techeng Shen, Bing Li, Raymond A. Paul. EDOC 2001, 140-151. Web SearchBibTeXDownload
92XML-based E2E Test Report Management. Raymond A. Paul, Wei-Tek Tsai, Bing Li, Xiaoying Bai. ER 2001, 607-608. Web SearchBibTeXDownload
91Combining Hierarchical Filtering, Fuzzy Logic, and Simulation with Software Agents for IP (Intellectual Property) Selection in Electronic Design. Jian Liu, Eugene Shragowitz, Wei-Tek Tsai. International Journal on Artificial Intelligence Tools (10): 303-323 (2001). Web SearchBibTeX
2000
90The five-module framework for Internet application development. Ezra Ebner, Weiguang Shao, Wei-Tek Tsai. ACM Comput. Surv. (32): 40 (2000). Web SearchBibTeXDownload
89An Approach to Modify and Test Expired Window Logic. Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, George Devaraj, Vishal Agarwal. APAQS 2000, 99-110. Web SearchBibTeXDownload
1999
88Specifying Constraints with Message Sequence Specifications. Yongzhong Tu, Wei-Tek Tsai, Yang Xiang. APSEC 1999, 368-375. Web SearchBibTeXDownload
87Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates. Wei-Tek Tsai, Yongzhong Tu, Weiguang Shao, Ezra Ebner. COMPSAC 1999, 166-171. Web SearchBibTeXDownload
86Assurance-Based Y2K Testing. Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul. HASE 1999, 27-37. Web SearchBibTeXDownload
85Verification and Validation of Knowledge-Based Systems. Wei-Tek Tsai, Ramakrishna V. Vishnuvajjala, Du Zhang. IEEE Trans. Knowl. Data Eng. (11): 202-212 (1999). Web SearchBibTeXDownload
84VSAM conversion for COBOL programs. Hai Huang, Wei-Tek Tsai. Journal of Software Maintenance (11): 311-337 (1999). Web SearchBibTeXDownload
1998
83Regression Testing in an Industrial Environment. Akira K. Onoma, Wei-Tek Tsai, Mustafa H. Poonawala, Hiroshi Suganuma. Commun. ACM (41): 81-86 (1998). Web SearchBibTeX
82Re-Engineering Legacy Cobol Programs. Jay K. Joiner, Wei-Tek Tsai. Commun. ACM (41): 185-197 (1998). Web SearchBibTeX
81Framework-Oriented Analysis. Feng Zhu, Wei-Tek Tsai. COMPSAC 1998, 324-329. Web SearchBibTeXDownload
80Static identifying of synchronization faults in dynamic-multithreaded applications. Yigang Chen, Wei-Tek Tsai, Jian Liu, Weiwen Xie. Computers and Their Applications 1998, 34-37. Web SearchBibTeX
79Design for Constraint Violation Detection in Safety-Critical Systems. Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai. HASE 1998, 109-116. Web SearchBibTeXDownload
78Key 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, Barry Flahive, Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry. IEEE Computer (31): 35-45 (1998). Web SearchBibTeXDownload
77Sequence Specification for Concurrent Object-Oriented Applications. Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai. International Journal of Software Engineering and Knowledge Engineering (8): 361-383 (1998). Web SearchBibTeXDownload
76Automating Regression Testing for Real-Time Software in a Distributed Environment. Feng Zhu, Sanjai Rayadurgam, Wei-Tek Tsai. ISORC 1998, 373-382. Web SearchBibTeXDownload
75Business rule extraction techniques for COBOL programs. Hai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun. Journal of Software Maintenance (10): 3-35 (1998). Web SearchBibTeXDownload
1997
74Application of data-centered approach to Year 2000 problem. Wei-Tek Tsai. COMPSAC 1997, 287. Web SearchBibTeXDownload
73Trends in software technology. Wei-Tek Tsai. COMPSAC 1997, 173. Web SearchBibTeXDownload
72Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam. HASE 1997, 32. Web SearchBibTeXDownload
71ScmEngine: A Distributed Software Management Environment on X.500. James X. Ci, Mustafa H. Poonawala, Wei-Tek Tsai. SCM 1997, 108-127. Web SearchBibTeX
70A 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. Web SearchBibTeX
1996
69Transition To Object-Oriented Software Development. Mohamed E. Fayad, Wei-Tek Tsai, Milton L. Fulghum. Commun. ACM (39): 108-121 (1996). Web SearchBibTeXDownload
68Opusdei-Integrated Environment for Software Development and Maintenance. Akira K. Onoma, Hiroshi Suganuma, Mustafa H. Poonawala, Satish Subramanian, Wei-Tek Tsai, Tsutomu Syomura. COMPSAC 1996, 516-521. Web SearchBibTeXDownload
67Business Rule Extraction from Legacy Code. Hai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun. COMPSAC 1996, 162-167. Web SearchBibTeXDownload
66Flow analysis for concurrent, reactive, real-time systems. Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott. HASE 1996, 176-183. Web SearchBibTeXDownload
65Specifying timing constraints in real-time object-oriented systems. Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott. HASE 1996, 32-39. Web SearchBibTeXDownload
64A multiversion transaction scheduler for centralized multilevel secure database systems. Thomas F. Keefe, Wei-Tek Tsai. HASE 1996, 206-213. Web SearchBibTeXDownload
63Omega - an integrated environment for C++ program maintenance. Xiaoping Chen, Wei-Tek Tsai, Hai Huang, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang. ICSM 1996, 114. Web SearchBibTeXDownload
62Advances in Software Engineering. C. V. Ramamoorthy, Wei-Tek Tsai. IEEE Computer (29): 47-58 (1996). Web SearchBibTeXDownload
61Software Engineering Practices and Tools for Real-Time Systems (Part I): Guest Editor's Introduction. Sourav Bhattacharya, Ramin Mojdehbakhsh, Wei-Tek Tsai. International Journal of Software Engineering and Knowledge Engineering (6): 159 (1996). Web SearchBibTeXDownload
60Software Engineering Practices and Tools for Real-Time Systems (Part II): Guest Editor's Introduction. Sourav Bhattacharya, Ramin Mojdehbakhsh, Wei-Tek Tsai. International Journal of Software Engineering and Knowledge Engineering (6): 329-330 (1996). Web SearchBibTeXDownload
59Generalized Program Slicing for Software Maintenance. Hai Huang, Wei-Tek Tsai, Satish Subramanian. SEKE 1996, 261-268. Web SearchBibTeX
58The Role of Program Slicing in Ripple Effect Analysis. Yamin Wang, Wei-Tek Tsai, Xiaoping Chen, Sanjai Rayadurgam. SEKE 1996, 369-376. Web SearchBibTeX
1995
57Object-Oriented Experiences: Introduction to the Special Section. Mohamed E. Fayad, Wei-Tek Tsai. Commun. ACM (38): 50-53 (1995). Web SearchBibTeXDownload
56A Framework for Designing Safe Software Systems. Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott. COMPSAC 1995, 409-415. Web SearchBibTeXDownload
55Covert Channel Secure Hypercube Message Communication. Sourav Bhattacharya, Thomas F. Keefe, Wei-Tek Tsai. J. Parallel Distrib. Comput. (26): 233-247 (1995). Web SearchBibTeXDownload
54Quadtree Layouts and I/O Bandwidth. Sourav Bhattacharya, Shekhar H. Kirani, Wei-Tek Tsai. Parallel Processing Letters (5): 231-240 (1995). Web SearchBibTeX
1994
53Evaluation of Expert System Testing Methods. Shekhar H. Kirani, Imran A. Zualkernan, Wei-Tek Tsai. Commun. ACM (37): 71-81 (1994). Web SearchBibTeXDownload
52Data-Centered Program Understanding. Jay K. Joiner, Wei-Tek Tsai, K. P. Chen, S. Subramanian, J. Sun, H. Gandamaneni. ICSM 1994, 272-281. Web SearchBibTeX
51Retrofitting Software Safety in an Implantable Medical Device. Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott. IEEE Software (11): 41-50 (1994). Web SearchBibTeXDownload
50Adapting an Object-Oriented Development Method. Mohamed Fayad, Wei-Tek Tsai, Mark A. Roberts, Louis J. Hawn, Jay W. Schooley. IEEE Software (11): 68-76 (1994). Web SearchBibTeXDownload
49Recursive Binary Tree Layout Mixing. Sourav Bhattacharya, Wei-Tek Tsai. Inf. Sci. (77): 39-49 (1994). Web SearchBibTeXDownload
48Lookahead Processor Allocation in Mesh-Connected Massively Parallel Multicomputer. Sourav Bhattacharya, Wei-Tek Tsai. IPPS 1994, 868-875. Web SearchBibTeX
47Hierarchical Data Flow Analysis for O-O Programs. Satish Subramanian, Wei-Tek Tsai, Shekhar H. Kirani. JOOP (7): 36-46 (1994). Web SearchBibTeX
46Method Sequence Specification and Verification of Classes. Shekhar H. Kirani, Wei-Tek Tsai. JOOP (7): 28-38 (1994). Web SearchBibTeX
45Multicasting in Generalized Multistage Interconnection Networks. Sourav Bhattacharya, Gary Elsesser, Wei-Tek Tsai, Ding-Zhu Du. J. Parallel Distrib. Comput. (22): 80-95 (1994). Web SearchBibTeXDownload
44Fault-Tolerant Multicasting on Hypercubes. Albert C. Liang, Sourav Bhattacharya, Wei-Tek Tsai. J. Parallel Distrib. Comput. (23): 418-428 (1994). Web SearchBibTeXDownload
43Object-oriented real-time system analysis and design issues. Mohamed Fayad, Milton L. Fulghum, Wei-Tek Tsai. OOPS Messenger (5): 83-84 (1994). Web SearchBibTeXDownload
42Object-oriented real-time systems analysis and design issues. Mohamed Fayad, Milton L. Fulghum, Wei-Tek Tsai. OOPS Messenger (5): 105-109 (1994). Web SearchBibTeXDownload
1993
41Approach 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, 177-186. Web SearchBibTeXDownload
40Quality of Heuristic Programs (Panel). Wei-Tek Tsai, Imran A. Zualkernan. ICTAI 1993, 4. Web SearchBibTeX
39Guest Editor's Introduction. Sally A. McKee, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher. IEEE Expert (8): 6-7 (1993). Web SearchBibTeXDownload
38Database Concurrency Control in Multilevel Secure Database Management Systems. Thomas F. Keefe, Wei-Tek Tsai, Jaideep Srivastava. IEEE Trans. Knowl. Data Eng. (5): 1039-1055 (1993). Web SearchBibTeXDownload
37Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems. Yigang Chen, Wei-Tek Tsai, Daniel Y. Chao. IEEE Trans. Parallel Distrib. Syst. (4): 414-426 (1993). Web SearchBibTeXDownload
36A reverse engineering model for C programs. K. Heisler, Y. Kasho, Wei-Tek Tsai. Inf. Sci. (68): 155-189 (1993). Web SearchBibTeXDownload
35Object-Oriented Analysis: Criteria and Case Study. José M. Drake, Wei-Tek Tsai, H. J. Lee, Imran A. Zualkernan. International Journal of Software Engineering and Knowledge Engineering (3): 319-350 (1993). Web SearchBibTeXDownload
34Load Balancing of DOALL Loops in the Perfect Club. Gary Elsesser, Viet N. Ngo, Sourav Bhattacharya, Wei-Tek Tsai. IPPS 1993, 129-133. Web SearchBibTeX
33A Framework for Systematic Testing of Software Specifications. Wei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, Satish K. Musukula. SEKE 1993, 380-387. Web SearchBibTeX
1992
32Array Covering: A Technique4 for Enabling Lloop Parallelization. Viet N. Ngo, Gary Elsesser, Sourav Bhattacharya, Wei-Tek Tsai. ICPP (2) 1992, 302-305. Web SearchBibTeX
31Comparative Evaluation of Expert System Testing Methods. Shekhar H. Kirani, Imran A. Zualkernan, Wei-Tek Tsai. ICTAI 1992, 334-341. Web SearchBibTeX
30On the reconfigurability of embedded loops on hypercubes and its application. Chungti Liang, Wei-Tek Tsai. Inf. Sci. (66): 191-224 (1992). Web SearchBibTeXDownload
29Samea: Object-Oriented Software Maintenance Environment for Assembly Programs. S. Chen, Wei-Tek Tsai, Xiaoping Chen. International Journal of Software Engineering and Knowledge Engineering (2): 197-226 (1992). Web SearchBibTeXDownload
28Object-Oriented Analysis as Design: a Case Study. Imran A. Zualkernan, Wei-Tek Tsai, A. Jemie, I. C. Wen, José M. Drake. International Journal of Software Engineering and Knowledge Engineering (2): 489-521 (1992). Web SearchBibTeXDownload
27Hardware-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, 176-188. Web SearchBibTeXDownload
1991
26Inverted Memory. Sourav Bhattacharya, Chungti Liang, Wei-Tek Tsai. ICPP (1) 1991, 682-683. Web SearchBibTeX
25Distributed fault-tolerant routing on hypercubes algorithms and performance study. Chungti Liang, Sourav Bhattacharya, Wei-Tek Tsai. SPDP 1991, 474-481. Web SearchBibTeXDownload
1990
24Multilevel Secure Database Concurrency Control. Thomas F. Keefe, Wei-Tek Tsai, Jaideep Srivastava. ICDE 1990, 337-344. Web SearchBibTeXDownload
23A Synthesis Approach to Developing Large Petri Nets. Yigang Chen, Wei-Tek Tsai. ICPP (2) 1990, 280-281. Web SearchBibTeX
22Performance Evaluation of Distributed Real Time Scheduling Algorithms. P. M. Perry Leung, Jaideep Srivastava, Wei-Tek Tsai. ICSI 1990, 752-761. Web SearchBibTeX
21Production Scheduling in Database Production Systems. Jaideep Srivastava, Jau-Hwang Wang, Jack S. Eddy Tan, Kuo-Wei Hwang, Wei-Tek Tsai. ICSI 1990, 464-472. Web SearchBibTeX
20Multiversion Concurrency Control for Multilevel Secure Database Systems. Thomas F. Keefe, Wei-Tek Tsai. IEEE Symposium on Security and Privacy 1990, 369-383. Web SearchBibTeX
19Automated Test Case Generation for Programs Specified by Relational Algebra Queries. Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe. IEEE Trans. Software Eng. (16): 316-324 (1990). Web SearchBibTeXDownload
18The Evolution Support Environment System. C. V. Ramamoorthy, Yutaka Usuda, Atul Prakash, Wei-Tek Tsai. IEEE Trans. Software Eng. (16): 1225-1234 (1990). Web SearchBibTeXDownload
17What Software Engineering Can Learn From Practitioners. Dmitry Volovik, Ramin Mojdehbakhsh, Wei-Tek Tsai. SEKE 1990, 216-221. Web SearchBibTeX
16Towards a Unified Framework for Testing Expert Systems. Wei-Tek Tsai, Imran A. Zualkernan. SEKE 1990, 127-134. Web SearchBibTeX
15Multi-failure fault-tolerance of embedded loops on hypercubes: issues and performance study. Chungti Liang, Wei-Tek Tsai. SPDP 1990, 511-518. Web SearchBibTeXDownload
1989
14SODA: A secure object-oriented database system. Thomas F. Keefe, Wei-Tek Tsai, Bhavani M. Thuraisingham. Computers & Security (8): 517-533 (1989). Cited by 43Web SearchBibTeXDownload
13Prototyping to explore MLS/DBMS design. D. J. Thomsen, Wei-Tek Tsai, Bhavani M. Thuraisingham. Computers & Security (8): 229-245 (1989). Cited by 1Web SearchBibTeXDownload
12Prototyping the SODA Model. Thomas F. Keefe, Wei-Tek Tsai. DBSec 1989, 211-235. Web SearchBibTeX
11Embedding of Linear Array and Binary Tree in Cubical Ring Connected Cycles Networks. Chungti Liang, Yigang Chen, Wei-Tek Tsai. ICPP (1) 1989, 192-195. Web SearchBibTeX
10Secure Query-Processing Strategies. Thomas F. Keefe, Bhavani M. Thuraisingham, Wei-Tek Tsai. IEEE Computer (22): 63-70 (1989). Cited by 30Web SearchBibTeXDownload
9An Adaptive Hierarchical Routing Protocol. Wei-Tek Tsai, C. V. Ramamoorthy, Wei Kang Tsai, Osamu Nishiguchi. IEEE Trans. Computers (38): 1059-1075 (1989). Web SearchBibTeXDownload
8Recovery Point Selection on a Reverse Binary Tree Task Model. Shyh-Kwei Chen, Wei-Tek Tsai, Bhavani M. Thuraisingham. IEEE Trans. Software Eng. (15): 963-976 (1989). Cited by 4Web SearchBibTeXDownload
1988
7Prototyping as a Research Tool for MLS/DBMS. D. J. Thomsen, Wei-Tek Tsai, Bhavani M. Thuraisingham. DBSec 1988, 63-84. Cited by 2Web SearchBibTeX
6Are knowledge representations the answer to requirement analysis?. Imran A. Zualkernan, Wei-Tek Tsai. ICCL 1988, 437-443. Web SearchBibTeXDownload
5Loops and Multi-Dimensional Grids on Hypercubes Mapping and Reconfiguration Algorithms. Shyh-Kwei Chen, Chungti Liang, Wei-Tek Tsai. ICPP (1) 1988, 315-322. Web SearchBibTeX
1986
4A Distributed Clustering Algorithm for Large Computer Networks. C. V. Ramamoorthy, Jaideep Srivastava, Wei-Tek Tsai. ICDCS 1986, 613-620. Web SearchBibTeX
1984
3Software Engineering: Problems and Perspectives. C. V. Ramamoorthy, Atul Prakash, Wei-Tek Tsai, Yutaka Usuda. IEEE Computer (17): 191-209 (1984). Web SearchBibTeXDownload
1982
2The 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, 187-195. Web SearchBibTeX
1Techniques in Software Quality Assurance. C. V. Ramamoorthy, Siyi Terry Dong, S. L. Ganesh, C.-H. Jen, Wei-Tek Tsai. Software-Qualitätssicherung 1982, 11-34. Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research