| 2012 | ||
|---|---|---|
| j69 | Le Xu, Dijiang Huang, Wei-Tek Tsai, Robert K. Atkinson: V-Lab: A Mobile, Cloud-Based Virtual Laboratory Platform for Hands-On Networking Courses. IJCBPL 2(3): 73-85 (2012) | |
| j68 | Wu Li, Yann-Hang Lee, Wei-Tek Tsai, Jingjing Xu, Young-Sung Son, Jun-Hee Park, Kyung-Duk Moon: Service-oriented smart home applications: composition, code generation, deployment, and execution. Service Oriented Computing and Applications 6(1): 65-79 (2012) | |
| c158 | Wei-Tek Tsai, Guanqiu Qi: DICB: Dynamic Intelligent Customizable Benign Pricing Strategy for Cloud Computing. IEEE CLOUD 2012: 654-661 | |
| c157 | Radu-Daniel Vatavu, Catalin-Marian Chera, Wei-Tek Tsai: Gesture Profile for Web Services: An Event-Driven Architecture to Support Gestural Interfaces for Smart Environments. AmI 2012: 161-176 | |
| c156 | Monica Dragoicea, Laurentiu Bucur, Wei-Tek Tsai, Hessam S. Sarjoughian: Integrating HLA and Service-Oriented Architecture in a Simulation Framework. CCGRID 2012: 861-866 | |
| c155 | Jerry Gao, K. Manjula, P. Roopa, E. Sumalatha, Xiaoying Bai, Wei-Tek Tsai, Tadahiro Uehara: A cloud-based TaaS infrastructure with tools for SaaS validation, performance and scalability evaluation. CloudCom 2012: 464-471 | |
| c154 | Wei-Tek Tsai, Wu Li, Babak Esmaeili, Wenjun Wu: Model-driven tenant development for PaaS-based SaaS. CloudCom 2012: 821-826 | |
| c153 | Wei-Tek Tsai, Guanqiu Qi, Yinong Chen: A Cost-Effective Intelligent Configuration Model in Cloud Computing. ICDCS Workshops 2012: 400-408 | |
| c152 | Wei-Tek Tsai, Yu Huang, Xiaoying Bai, Jerry Gao: Scalable Architectures for SaaS. ISORC Workshops 2012: 112-117 | |
| c151 | Le Xu, Dijiang Huang, Wei-Tek Tsai: V-lab: a cloud-based virtual laboratory platform for hands-on networking courses. ITiCSE 2012: 256-261 | |
| 2011 | ||
| j67 | Gwyduk Yeom, Wei-Tek Tsai, Xiaoying Bai, Youngkon Lee: A design of policy-based composite web services QoS monitoring system. IJCCBS 2(1): 79-91 (2011) | |
| j66 | Dijiang Huang, Wei-Tek Tsai, Yi-hsin Tseng: Policy Management for Secure Data Access Control in Vehicular Networks. J. Network Syst. Manage. 19(4): 448-471 (2011) | |
| j65 | Wei-Tek Tsai, Wu Li, Jay Elston, Yinong Chen: Collaborative Learning Using Wiki Web Sites for Computer Science Undergraduate Education: A Case Study. IEEE Trans. Education 54(1): 114-124 (2011) | |
| c150 | Wei-Tek Tsai, Qihong Shao: Role-Based Access-Control Using Reference Ontology in Clouds. ISADS 2011: 121-128 | |
| c149 | Wei-Tek Tsai, Peide Zhong, Jay Elston, Xiaoying Bai, Yinong Chen: Service Replication Strategies with MapReduce in Clouds. ISADS 2011: 381-388 | |
| c148 | Wei-Tek Tsai, Peide Zhong, Janaka Balasooriya, Yinong Chen, Xiaoying Bai, Jay Elston: An Approach for Service Composition and Testing for Cloud Computing. ISADS 2011: 631-636 | |
| c147 | ||
| c146 | ||
| c145 | Wei-Tek Tsai, Peide Zhong, Janaka Balasooriya, Yinong Chen, Xiaoying Bai: Services utility prediction on a cloud. SOCA 2011: 1-4 | |
| c144 | ||
| c143 | Jerry Gao, Pushkala Pattabhiraman, Xiaoying Bai, Wei-Tek Tsai: SaaS performance and scalability evaluation in clouds. SOSE 2011: 61-71 | |
| c142 | ||
| c141 | Wei-Tek Tsai, Wu Li, Hessam S. Sarjoughian, Qihong Shao: SimSaaS: simulation software-as-a-service. SpringSim (ANSS) 2011: 77-86 | |
| c140 | Wei-Tek Tsai, Wu Li, Xiaoying Bai, Jay Elston: P4-simsaas: policy specification for Multi-Tendency simulation software-as-a-service model. Winter Simulation Conference 2011: 3072-3086 | |
| 2010 | ||
| j64 | Wei-Tek Tsai, Yu Huang, Qihong Shao, Xiaoying Bai: Data Partitioning and Redundancy Management for Robust Multi-Tenancy SaaS. Int. J. Software and Informatics 4(3): 437-471 (2010) | |
| j63 | Longji Tang, Jing Dong, Tu Peng, Wei-Tek Tsai: Modeling enterprise service-oriented architectural styles. Service Oriented Computing and Applications 4(2): 81-107 (2010) | |
| c139 | Lian Yu, Lei Xu, Wei-Tek Tsai: Time-Constrained Test Selection for Regression Testing. ADMA (2) 2010: 221-232 | |
| c138 | Lian Yu, Wei-Tek Tsai, Wei Zhao, Fang Wu: Predicting Defect Priority Based on Neural Networks. ADMA (2) 2010: 356-367 | |
| c137 | Wei-Tek Tsai, Xin Sun, Janaka Balasooriya: Service-Oriented Cloud Computing Architecture. ITNG 2010: 684-689 | |
| c136 | Wei-Tek Tsai, Peide Zhong, Jay Elston, Yinong Chen, Xiaoying Bai: Ontology-Based Dependency-Guided Service Composition for User-Centric SOA. SEKE 2010: 462-467 | |
| c135 | Wei-Tek Tsai, Qihong Shao, Xin Sun, Jay Elston: Real-Time Service-Oriented Cloud Computing. SERVICES 2010: 473-478 | |
| c134 | Wei-Tek Tsai, Qihong Shao, Wu Li: OIC: Ontology-based intelligent customization framework for SaaS. SOCA 2010: 1-8 | |
| c133 | Longji Tang, Jing Dong, Yajing Zhao, Wei-Tek Tsai: A Classification of Enterprise Service-Oriented Architecture. SOSE 2010: 74-81 | |
| c132 | Wei-Tek Tsai, Xin Sun, Qihong Shao: Flexible-Matching Data-Comparison Tool with the Cloud Applications. SOSE 2010: 95-102 | |
| c131 | Lian Yu, Wei-Tek Tsai, Xiangji Chen, Linqing Liu, Yan Zhao, Liangjie Tang, Wei Zhao: Testing as a Service over Cloud. SOSE 2010: 181-188 | |
| c130 | Wei-Tek Tsai, Wu Li, Xin Sun, Ashutosh Sabnis, Yinong Chen: Event-driven service-oriented simulation framework. SpringSim 2010: 176 | |
| 2009 | ||
| j62 | Wei-Tek Tsai, Zhi Jin, Xiaoying Bai: Internetware Computing: Issues and Perspective. Int. J. Software and Informatics 3(4): 415-438 (2009) | |
| j61 | Yinong Chen, Wei-Tek Tsai: Towards dependable service-orientated computing systems. Simulation Modelling Practice and Theory 17(8): 1361-1366 (2009) | |
| c129 | Tszyan Chow, Wei-Tek Tsai, Janaka Balasooriya, Xiaoying Bai: Ontology-based Information Sharing in Service-Oriented Database Systems. IEEE SCC 2009: 276-283 | |
| c128 | Gwyduk Yeom, Wei-Tek Tsai, Xiaoying Bai, Dugki Min: Design of a Contract-Based Web Services QoS Management System. ICDCS Workshops 2009: 306-311 | |
| c127 | Wei-Tek Tsai, Peide Zhong, Xiaoying Bai, Jay Elston: Dependency-Guided Service Composition for User-Centric SOA. ICEBE 2009: 149-156 | |
| c126 | Jingjing Xu, Yann-Hang Lee, Wei-Tek Tsai, Wu Li, Young-Sung Son, Jun-Hee Park, Kyung-Duk Moon: Ontology-Based Smart Home Solution and Service Composition. ICESS 2009: 297-304 | |
| c125 | Lian Yu, Wei-Tek Tsai, Wei Zhao, Jun Zhu, Qianxing Wang: Towards Selecting Test Data Using Topological Structure of Boolean Expressions. QSIC 2009: 31-40 | |
| c124 | Wei-Tek Tsai, Tszyan Chow, Yinong Chen, Xiao Wei: An Adaptive Management Framework for Service Brokers in Service-oriented Architecture. SEKE 2009: 280-285 | |
| c123 | Xiaoying Bai, Yongli Liu, Lijun Wang, Wei-Tek Tsai, Peide Zhong: Model-Based Monitoring and Policy Enforcement of Services. SERVICES I 2009: 789-796 | |
| c122 | Yann-Hang Lee, Wu Li, Wei-Tek Tsai, Young-Sung Son, Kyung-Duk Moon: A code generation and execution environment for service-oriented smart home solutions. SOCA 2009: 1-8 | |
| c121 | Wei-Tek Tsai, Peide Zhong, Xiaoying Bai, Jay Elston: Role-based trust model for community of interest. SOCA 2009: 1-8 | |
| c120 | Wei-Tek Tsai, Hessam S. Sarjoughian, Wu Li, Xin Sun: Timing specification and analysis for service-oriented simulation. SpringSim 2009 | |
| c119 | Wei-Tek Tsai, Yann-Hang Lee, Avi Wiezel, Xin Sun, Wu Li: Ontology-Based Service Composition Framework for Syndicating Building Intelligence. CEC 2009: 445-452 | |
| 2008 | ||
| j60 | Wei-Tek Tsai, Xinyu Zhou, Yinong Chen, Xiaoying Bai: On Testing and Evaluating Service-Oriented Software. IEEE Computer 41(8): 40-46 (2008) | |
| j59 | Wei-Tek Tsai, Xinyu Zhou, Xiao Wei: A policy enforcement framework for verification and control of service collaboration. Inf. Syst. E-Business Management 6(1): 83-107 (2008) | |
| j58 | Wei-Tek Tsai, Yinong Chen, Calvin Cheng, Xin Sun, Gary Bitter, Mary White: An Introductory Course on Service-Oriented Computing for High Schools. JITE 7: 315-338 (2008) | |
| j57 | Wei-Tek Tsai, Xin Sun, Qian Huang, Helen D. Karatza: An ontology-based collaborative service-oriented simulation framework with Microsoft Robotics Studio®. Simulation Modelling Practice and Theory 16(9): 1392-1414 (2008) | |
| c118 | Wei-Tek Tsai, Xinyu Zhou, Yinong Chen: SOA Simulation and Verification by Event-Driven Policy Enforcement. Annual Simulation Symposium 2008: 165-172 | |
| c117 | Wei-Tek Tsai, Qian Huang, Xin Sun: A Collaborative Service-Oriented Simulation Framework with Microsoft Robotic Studio®. Annual Simulation Symposium 2008: 263-270 | |
| c116 | Xiaoying Bai, Shufang Lee, Wei-Tek Tsai, Yinong Chen: Collaborative Web Services Monitoring with Active Service Broker. COMPSAC 2008: 84-91 | |
| c115 | Wei-Tek Tsai, Madhu Datla, Jingjing Xu: Dynamic Assessment and Customizable e-Learning Content Generator. CSREA EEE 2008: 172-178 | |
| c114 | Xiaoying Bai, Shufang Lee, Wei-Tek Tsai, Yinong Chen: Ontology-Based Test Modeling and Partition Testing of Web Services. ICWS 2008: 465-472 | |
| c113 | Wei-Tek Tsai, Xin Sun, Yinong Chen, Qian Huang, Gary Bitter, Mary White: Teaching Service-Oriented Computing and STEM Topics via Robotic Games. ISORC 2008: 131-137 | |
| c112 | Raymond A. Paul, I-Ling Yen, Farokh B. Bastani, Jing Dong, Wei-Tek Tsai, Krishna Kavi, Arif Ghafoor, Jaideep Srivastava: An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. ICSC 2008: 386-393 | |
| c111 | Wei-Tek Tsai, Jay Elston, Yinong Chen: Composing Highly Reliable Service-Oriented Applications Adaptively. SOSE 2008: 115-122 | |
| 2007 | ||
| j56 | Wei-Tek Tsai, Zhibin Cao, Xiao Wei, Raymond A. Paul, Qian Huang, Xin Sun: Modeling and Simulation in Service-Oriented Software Development. Simulation 83(1): 7-32 (2007) | |
| j55 | Wei-Tek Tsai, Xiao Wei, Raymond A. Paul, Jen-Yao Chung, Qian Huang, Yinong Chen: Service-oriented system engineering (SOSE) and its applications to embedded system development. Service Oriented Computing and Applications 1(1): 3-17 (2007) | |
| j54 | Wei-Tek Tsai, Xiao Wei, Yinong Chen, Raymond A. Paul, Jen-Yao Chung, Dawei Zhang: Data provenance in SOA: security, reliability, and integrity. Service Oriented Computing and Applications 1(4): 223-247 (2007) | |
| c110 | Wei-Tek Tsai, Qian Huang, Xin Sun, Yinong Chen: Dynamic Collaboration Simulation in Service-Oriented Computing Paradigm. Annual Simulation Symposium 2007: 41-48 | |
| c109 | Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsai, Yinong Chen: A Framework for Contract-Based Collaborative Verification and Validation of Web Services. CBSE 2007: 258-273 | |
| c108 | Venkata U. B. Challagulla, Farokh B. Bastani, Raymond A. Paul, Wei-Tek Tsai, Yinong Chen: A Machine Learning-Based Reliability Assessment Model for Critical Software Systems. COMPSAC (1) 2007: 79-86 | |
| c107 | Wei-Tek Tsai, Xinyu Zhou, Raymond A. Paul, Yinong Chen, Xiaoying Bai: A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software. HASE 2007: 105-112 | |
| c106 | Wei-Tek Tsai, Xinyu Zhou, Yinong Chen, Bingnan Xiao, Raymond A. Paul, William Chu: Roadmap to a Full Service Broker in Service-Oriented Architecture. ICEBE 2007: 657-660 | |
| c105 | Wei-Tek Tsai, Zhi Jin, Puwei Wang, Budan Wu: Requirement Engineering in Service-Oriented System Engineering. ICEBE 2007: 661-668 | |
| c104 | Wei-Tek Tsai, Yinong Chen, Xin Sun: Designing a Service-Oriented Computing Course for High Schools. ICEBE 2007: 686-693 | |
| c103 | Wei-Tek Tsai, Qian Huang, Bingnan Xiao, Yinong Chen, Xinyu Zhou: Collaboration Policy Generation in Dynamic Collaborative SOA. ISADS 2007: 33-42 | |
| c102 | Wei-Tek Tsai, Xiao Wei, Dawei Zhang, Raymond A. Paul, Yinong Chen, Jen-Yao Chung: A New SOA Data-Provenance Framework. ISADS 2007: 105-112 | |
| c101 | Ricardo Morin, Mariano Cilia, William Henry, Michael Rowley, Wei-Tek Tsai: Service Oriented Computing: Technology Trends and Research Directions. SOCA 2007: 9 | |
| c100 | Wei-Tek Tsai, Qian Huang, Jingjing Xu, Yinong Chen, Raymond A. Paul: Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture. SOCA 2007: 39-46 | |
| 2006 | ||
| j53 | Wei-Tek Tsai, Bingnan Xiao, Qian Huang, Yinong Chen: Collaborative software design in an SOA environment. Science in China Series F: Information Sciences 49(6): 821-842 (2006) | |
| j52 | Hai Huang, Wei-Tek Tsai, Yinong Chen: Binary analysis and automated hot patching for Web-based applications. Information & Software Technology 48(12): 1148-1158 (2006) | |
| j51 | Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul: A service-oriented modeling and simulation framework for rapid development of distributed applications. Simulation Modelling Practice and Theory 14(6): 725-739 (2006) | |
| j50 | Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Xinyu Zhou, Chun Fan: Simulation Verification and Validation by Dynamic Policy Specification and Enforcement. Simulation 82(5): 295-310 (2006) | |
| c99 | Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul: DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1. Annual Simulation Symposium 2006: 160-167 | |
| c98 | Wei-Tek Tsai, Jerry Gao, Xiao Wei, Yinong Chen: Testability of Software in Service-Oriented Architecture. COMPSAC (2) 2006: 163-170 | |
| c97 | Mark Chang, Jackson He, Wei-Tek Tsai, Bingnan Xiao, Yinong Chen: UCSOA: User-Centric Service-Oriented Architecture. ICEBE 2006: 248-255 | |
| c96 | Xinyu Zhou, Wei-Tek Tsai, Xiao Wei, Yinong Chen, Bingnan Xiao: Pi4SOA: A Policy Infrastructure for Verification and Control of Service Collaboration. ICEBE 2006: 307-314 | |
| c95 | Bingnan Xiao, Wei-Tek Tsai, Qian Huang, Yinong Chen, Raymond A. Paul: SOA Collaboration Modeling, Analysis, and Simulation in PSML-C. ICEBE 2006: 639-646 | |
| c94 | Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul, Jen-Yao Chung: Architecture Classification for SOA-Based Applications. ISORC 2006: 295-302 | |
| c93 | Wei-Tek Tsai, Qian Huang, Bingnan Xiao, Yinong Chen: Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture. QSIC 2006: 313-320 | |
| c92 | Wei-Tek Tsai, Miroslaw Malek, Yinong Chen, Farokh B. Bastani: Perspectives on Service-Oriented Computing and Service-Oriented System Engineering. SOSE 2006: 3-10 | |
| c91 | Wei-Tek Tsai, Yann-Hang Lee, Zhibin Cao, Yinong Chen, Bingnan Xiao: RTSOA: Real-Time Service-Oriented Architecture. SOSE 2006: 49-56 | |
| c90 | Wei-Tek Tsai, Bingnan Xiao, Raymond A. Paul, Qian Huang, Yinong Chen: Global Software Enterprise: A New Software Constructing Architecture. CEC/EEE 2006: 55 | |
| 2005 | ||
| j49 | Wei-Tek Tsai, Xiao Wei, Yinong Chen, Raymond A. Paul, Bingnan Xiao: Swiss Cheese Test Case Generation for Web Services Testing. IEICE Transactions 88-D(12): 2691-2698 (2005) | |
| j48 | Bing Li, Wei-Tek Tsai: Ontology and Service Oriented Programming. Int. J. Web Service Res. 2(3): 33-68 (2005) | |
| j47 | Yinong Chen, Hai Huang, Wei-Tek Tsai: Scheduling Simulation in a Distributed Wireless Embedded System. Simulation 81(6): 425-436 (2005) | |
| j46 | Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul: Rapid Embedded System Testing Using Verification Patterns. IEEE Software 22(4): 68-75 (2005) | |
| c89 | Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul: Simulation Verification and Validation by Dynamic Policy Enforcement. Annual Simulation Symposium 2005: 91-98 | |
| c88 | Hai Huang, Wei-Tek Tsai, Yinong Chen: Autonomous Hot Patching for Web-Based Applications. COMPSAC (2) 2005: 51-56 | |
| c87 | Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Hai Huang, Xinyu Zhou, Xiao Wei: Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services. COMPSAC (1) 2005: 101-106 | |
| c86 | Wei-Tek Tsai, Yinong Chen, Dawei Zhang, Hai Huang: Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing. ICDCS Workshops 2005: 65-71 | |
| c85 | Wei-Tek Tsai, Xinxin Liu, Yinong Chen: Distributed Policy Specification and Enforcement in Service-Oriented Business Systems. ICEBE 2005: 10-17 | |
| c84 | Wei-Tek Tsai, Xiao Wei, Yinong Chen, Bingnan Xiao, Raymond A. Paul, Hai Huang: Developing and assuring trustworthy Web services. ISADS 2005: 43-50 | |
| c83 | Wei-Tek Tsai, Zhibin Cao, Yinong Chen, Raymond A. Paul: Web services-based collaborative and cooperative computing. ISADS 2005: 552-556 | |
| c82 | Hai Huang, Wei-Tek Tsai, Raymond A. Paul: Proof Slicing with Application to Model Checking Web Services. ISORC 2005: 292-299 | |
| c81 | Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen: Automated Model Checking and Testing for Composite Web Services. ISORC 2005: 300-307 | |
| c80 | Wei-Tek Tsai, Weiwei Song, Yinong Chen, Raymond A. Paul: Dynamic System Reconfiguration Via Service Composition for Dependable Computing. Monterey Workshop 2005: 203-224 | |
| c79 | Wei-Tek Tsai, Dawei Zhang, Raymond A. Paul, Yinong Chen: Stochastic Voting Algorithms for Web Services Group Testing. QSIC 2005: 99-108 | |
| c78 | Wei-Tek Tsai, Yinong Chen, Raymond A. Paul: Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems. WORDS 2005: 139-147 | |
| c77 | Charles J. Colbourn, Yinong Chen, Wei-Tek Tsai: Progressive Ranking and Composition of Web Services Using Covering Arrays. WORDS 2005: 179-185 | |
| c76 | Hong Mei, Gang Huang, Wei-Tek Tsai: Towards Self-Healing Systems via Dependable Architecture and. WORDS 2005: 337-346 | |
| 2004 | ||
| j45 | Bing Li, Wei-Tek Tsai, Liang-Jie Zhang: Building e-commerce systems using semantic application framework. Int. J. Web Eng. Technol. 1(3): 297-319 (2004) | |
| c75 | Wei-Tek Tsai, Yinong Chen, Zhibin Cao, Xiaoying Bai, Hai Huang, Raymond A. Paul: Testing Web Services Using Progressive Group Testing. AWCC 2004: 314-322 | |
| c74 | Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Ning Liao, Hai Huang: Cooperative and Group Testing in Verification of Dynamic Composite Web Services. COMPSAC Workshops 2004: 170-173 | |
| c73 | Wei-Tek Tsai, Weiwei Song, Raymond A. Paul, Zhibin Cao, Hai Huang: Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing. COMPSAC 2004: 554-559 | |
| c72 | Wei-Tek Tsai, Dawei Zhang, Yinong Chen, Hai Huang, Raymond A. Paul, Ning Liao: A software reliability model for web services. IASTED Conf. on Software Engineering and Applications 2004: 144-149 | |
| 2003 | ||
| c71 | Wei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul: Rapid Verification of Embedded Systems Using Patterns. COMPSAC 2003: 466-471 | |
| c70 | Wei-Tek Tsai, Feng Zhu, Lian Yu, Raymond A. Paul, Chun Fan: Verification Patterns for Rapid Embedded System Verification. Embedded Systems and Applications 2003: 310-316 | |
| c69 | Wei-Tek Tsai, Lian Yu, Akihiro Saimi: Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems. FTDCS 2003: 288-294 | |
| c68 | Bing Li, Wei-Tek Tsai, Liang-Jie Zhang: A Semantic Framework for Distributed Applications. ICEIS (4) 2003: 34-41 | |
| c67 | Wei-Tek Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul: Scenario-based Object-Oriented Testing Framework. QSIC 2003: 410- | |
| c66 | Wei-Tek Tsai, Lian Yu, Raymond A. Paul, Akihiro Saimi, Weiwei Song, Zhibin Cao: Scenario-Based System Generation for Process Control. Software Engineering Research and Practice 2003: 978-984 | |
| c65 | Wei-Tek Tsai, Raymond A. Paul, Zhibin Cao, Lian Yu, Akihiro Saimi, Bingnan Xiao: Verification of Web Services Using an Enhanced UDDI Server. WORDS 2003: 131-138 | |
| 2002 | ||
| c64 | Wei-Tek Tsai, Yinghui Na, Raymond A. Paul, F. Lu, Akihiro Saimi: Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded Systems. COMPSAC 2002: 321-326 | |
| c63 | Tsuneo Yamaura, Akira K. Onoma, Wei-Tek Tsai: Hypothesis Testing for Module Test in Software Development. COMPSAC 2002: 829-834 | |
| c62 | Wei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fan, Dong Wang: Extending WSDL to Facilitate Web Services Testing. HASE 2002: 171-172 | |
| c61 | Wei-Tek Tsai, Raymond A. Paul, Weiwei Song, Zhibin Cao: Coyote: An XML-Based Framework for Web Services Testing. HASE 2002: 173-176 | |
| c60 | Bing Li, Wei-Tek Tsai: 3 Tier Transparent Web Application Developing Approach. International Conference on Internet Computing 2002: 519-528 | |
| c59 | Wei-Tek Tsai: OCL Goes Real-Time (Panel). Symposium on Object-Oriented Real-Time Distributed Computing 2002: 421-422 | |
| c58 | Xiaoying Bai, Wei-Tek Tsai, Ke Feng, Lian Yu, Raymond A. Paul: Scenario-Based Modeling And Its Applications. WORDS 2002: 253-260 | |
| 2001 | ||
| j44 | Jian Liu, Eugene Shragowitz, Wei-Tek Tsai: Combining Hierarchical Filtering, Fuzzy Logic, and Simulation with Software Agents for IP (Intellectual Property) Selection in Electronic Design. International Journal on Artificial Intelligence Tools 10(3): 303-323 (2001) | |
| c57 | Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, Weiguang Shao, Vishal Agarwal: End-To-End Integration Testing Design. COMPSAC 2001: 166-171 | |
| c56 | ||
| c55 | Raymond A. Paul, Lian Yu, Wei-Tek Tsai, Xiaoying Bai: Scenario-Based Functional Regression Testing. COMPSAC 2001: 496- | |
| c54 | Xiaoying Bai, Wei-Tek Tsai, Techeng Shen, Bing Li, Raymond A. Paul: Distributed End-to-End Testing Management. EDOC 2001: 140-151 | |
| c53 | Raymond A. Paul, Wei-Tek Tsai, Bing Li, Xiaoying Bai: XML-based E2E Test Report Management. ER 2001: 607-608 | |
| 2000 | ||
| j43 | Ezra Ebner, Weiguang Shao, Wei-Tek Tsai: The five-module framework for Internet application development. ACM Comput. Surv. 32(1es): 40 (2000) | |
| c52 | Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, George Devaraj, Vishal Agarwal: An Approach to Modify and Test Expired Window Logic. APAQS 2000: 99-110 | |
| 1999 | ||
| j42 | Hai Huang, Wei-Tek Tsai: VSAM conversion for COBOL programs. Journal of Software Maintenance 11(5): 311-337 (1999) | |
| j41 | Wei-Tek Tsai, Ramakrishna V. Vishnuvajjala, Du Zhang: Verification and Validation of Knowledge-Based Systems. IEEE Trans. Knowl. Data Eng. 11(1): 202-212 (1999) | |
| c51 | Yongzhong Tu, Wei-Tek Tsai, Yang Xiang: Specifying Constraints with Message Sequence Specifications. APSEC 1999: 368-375 | |
| c50 | Wei-Tek Tsai, Yongzhong Tu, Weiguang Shao, Ezra Ebner: Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates. COMPSAC 1999: 166-171 | |
| c49 | Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul: Assurance-Based Y2K Testing. HASE 1999: 27-37 | |
| 1998 | ||
| j40 | Akira K. Onoma, Wei-Tek Tsai, Mustafa H. Poonawala, Hiroshi Suganuma: Regression Testing in an Industrial Environment. Commun. ACM 41(5): 81-86 (1998) | |
| j39 | Jay K. Joiner, Wei-Tek Tsai: Re-Engineering Legacy Cobol Programs. Commun. ACM 41(5): 185-197 (1998) | |
| j38 | I-Ling Yen, Raymond A. Paul, Victor L. Winter, John M. Covan, Larry J. Dalton, Leon Alkalai, Ann T. Tai, Rick Harper, Barry Flahive, Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry: Key Applications for High-Assurance Systems. IEEE Computer 31(4): 35-45 (1998) | |
| j37 | Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai: Sequence Specification for Concurrent Object-Oriented Applications. International Journal of Software Engineering and Knowledge Engineering 8(3): 361-383 (1998) | |
| j36 | Hai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun: Business rule extraction techniques for COBOL programs. Journal of Software Maintenance 10(1): 3-35 (1998) | |
| c48 | Yigang Chen, Wei-Tek Tsai, Jian Liu, Weiwen Xie: Static identifying of synchronization faults in dynamic-multithreaded applications. Computers and Their Applications 1998: 34-37 | |
| c47 | ||
| c46 | Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai: Design for Constraint Violation Detection in Safety-Critical Systems. HASE 1998: 109-116 | |
| c45 | Feng Zhu, Sanjai Rayadurgam, Wei-Tek Tsai: Automating Regression Testing for Real-Time Software in a Distributed Environment. ISORC 1998: 373-382 | |
| 1997 | ||
| c44 | ||
| c43 | ||
| c42 | Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam: Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. HASE 1997: 32- | |
| c41 | James X. Ci, Mustafa H. Poonawala, Wei-Tek Tsai: ScmEngine: A Distributed Software Management Environment on X.500. SCM 1997: 108-127 | |
| c40 | Yibiao Lu, Matthew J. Koehler, Richard Lehrer, Wei-Tek Tsai: A Framework for Developing Web-Based Educational Applications: Using a Relational Database to Connect the Design of Authoring and Navigational Tools. WebNet 1997 | |
| c39 | Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai: Sequence specification for concurrent object-oriented applications. WORDS 1997: 163-170 | |
| 1996 | ||
| j35 | Mohamed E. Fayad, Wei-Tek Tsai, Milton L. Fulghum: Transition To Object-Oriented Software Development. Commun. ACM 39(2): 108-121 (1996) | |
| j34 | C. V. Ramamoorthy, Wei-Tek Tsai: Advances in Software Engineering. IEEE Computer 29(10): 47-58 (1996) | |
| j33 | Sourav Bhattacharya, Ramin Mojdehbakhsh, Wei-Tek Tsai: Software Engineering Practices and Tools for Real-Time Systems (Part I): Guest Editor's Introduction. International Journal of Software Engineering and Knowledge Engineering 6(2): 159 (1996) | |
| j32 | Sourav Bhattacharya, Ramin Mojdehbakhsh, Wei-Tek Tsai: Software Engineering Practices and Tools for Real-Time Systems (Part II): Guest Editor's Introduction. International Journal of Software Engineering and Knowledge Engineering 6(3): 329-330 (1996) | |
| c38 | Hai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun: Business Rule Extraction from Legacy Code. COMPSAC 1996: 162-167 | |
| c37 | Akira K. Onoma, Hiroshi Suganuma, Mustafa H. Poonawala, Satish Subramanian, Wei-Tek Tsai, Tsutomu Syomura: Opusdei-Integrated Environment for Software Development and Maintenance. COMPSAC 1996: 516-521 | |
| c36 | Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott: Specifying timing constraints in real-time object-oriented systems. HASE 1996: 32-39 | |
| c35 | Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott: Flow analysis for concurrent, reactive, real-time systems. HASE 1996: 176-183 | |
| c34 | Thomas F. Keefe, Wei-Tek Tsai: A multiversion transaction scheduler for centralized multilevel secure database systems. HASE 1996: 206-213 | |
| c33 | Xiaoping Chen, Wei-Tek Tsai, Hai Huang, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang: Omega - an integrated environment for C++ program maintenance. ICSM 1996: 114- | |
| c32 | Hai Huang, Wei-Tek Tsai, Satish Subramanian: Generalized Program Slicing for Software Maintenance. SEKE 1996: 261-268 | |
| c31 | Yamin Wang, Wei-Tek Tsai, Xiaoping Chen, Sanjai Rayadurgam: The Role of Program Slicing in Ripple Effect Analysis. SEKE 1996: 369-376 | |
| 1995 | ||
| j31 | Mohamed E. Fayad, Wei-Tek Tsai: Object-Oriented Experiences: Introduction to the Special Section. Commun. ACM 38(10): 50-53 (1995) | |
| j30 | Sourav Bhattacharya, Thomas F. Keefe, Wei-Tek Tsai: Covert Channel Secure Hypercube Message Communication. J. Parallel Distrib. Comput. 26(2): 233-247 (1995) | |
| j29 | Sourav Bhattacharya, Shekhar H. Kirani, Wei-Tek Tsai: Quadtree Layouts and I/O Bandwidth. Parallel Processing Letters 5: 231-240 (1995) | |
| c30 | Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott: A Framework for Designing Safe Software Systems. COMPSAC 1995: 409-414 | |
| 1994 | ||
| j28 | Shekhar H. Kirani, Imran A. Zualkernan, Wei-Tek Tsai: Evaluation of Expert System Testing Methods. Commun. ACM 37(11): 71-81 (1994) | |
| j27 | Sourav Bhattacharya, Wei-Tek Tsai: Recursive Binary Tree Layout Mixing. Inf. Sci. 77(1-2): 39-49 (1994) | |
| j26 | Satish Subramanian, Wei-Tek Tsai, Shekhar H. Kirani: Hierarchical Data Flow Analysis for O-O Programs. JOOP 7(2): 36-46 (1994) | |
| j25 | Shekhar H. Kirani, Wei-Tek Tsai: Method Sequence Specification and Verification of Classes. JOOP 7(6): 28-38 (1994) | |
| j24 | Sourav Bhattacharya, Gary Elsesser, Wei-Tek Tsai, Ding-Zhu Du: Multicasting in Generalized Multistage Interconnection Networks. J. Parallel Distrib. Comput. 22(1): 80-95 (1994) | |
| j23 | Albert C. Liang, Sourav Bhattacharya, Wei-Tek Tsai: Fault-Tolerant Multicasting on Hypercubes. J. Parallel Distrib. Comput. 23(3): 418-428 (1994) | |
| j22 | Mohamed Fayad, Milton L. Fulghum, Wei-Tek Tsai: Object-oriented real-time system analysis and design issues. OOPS Messenger 5(2): 83-84 (1994) | |
| j21 | Mohamed Fayad, Milton L. Fulghum, Wei-Tek Tsai: Object-oriented real-time systems analysis and design issues. OOPS Messenger 5(4): 105-109 (1994) | |
| j20 | Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott: Retrofitting Software Safety in an Implantable Medical Device. IEEE Software 11(1): 41-50 (1994) | |
| j19 | Mohamed Fayad, Wei-Tek Tsai, Mark A. Roberts, Louis J. Hawn, Jay W. Schooley: Adapting an Object-Oriented Development Method. IEEE Software 11(3): 68-76 (1994) | |
| j18 | Gary Elsesser, Viet N. Ngo, Sourav Bhattacharya, Wei-Tek Tsai: Processor preallocation and load balancing of DOALL loops. The Journal of Supercomputing 8(2): 135-161 (1994) | |
| c29 | Lynn Elliott, Ramin Mojdehbakhsh, Wei-Tek Tsai: A process for developing safe software. CBMS 1994: 241-246 | |
| c28 | Jay K. Joiner, Wei-Tek Tsai, K. P. Chen, Satish Subramanian, Jianhua Sun, H. Gandamaneni: Data-Centered Program Understanding. ICSM 1994: 272-281 | |
| c27 | Sourav Bhattacharya, Wei-Tek Tsai: Lookahead Processor Allocation in Mesh-Connected Massively Parallel Multicomputer. IPPS 1994: 868-875 | |
| 1993 | ||
| j17 | ||
| j16 | José M. Drake, Wei-Tek Tsai, H. J. Lee, Imran A. Zualkernan: Object-Oriented Analysis: Criteria and Case Study. International Journal of Software Engineering and Knowledge Engineering 3(3): 319-350 (1993) | |
| j15 | K. Heisler, Y. Kasho, Wei-Tek Tsai: A reverse engineering model for C programs. Inf. Sci. 68(1-2): 155-189 (1993) | |
| j14 | Thomas F. Keefe, Wei-Tek Tsai, Jaideep Srivastava: Database Concurrency Control in Multilevel Secure Database Management Systems. IEEE Trans. Knowl. Data Eng. 5(6): 1039-1055 (1993) | |
| j13 | Yigang Chen, Wei-Tek Tsai, Daniel Y. Chao: Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems. IEEE Trans. Parallel Distrib. Syst. 4(4): 414-426 (1993) | |
| c26 | José M. Drake, W. W. Xie, Wei-Tek Tsai, Imran A. Zualkernan: Approach and Case Study of Requirement Analysis Where End Users Take an Active Role. ICSE 1993: 177-186 | |
| c25 | ||
| c24 | Gary Elsesser, Viet N. Ngo, Sourav Bhattacharya, Wei-Tek Tsai: Load Balancing of DOALL Loops in the Perfect Club. IPPS 1993: 129-133 | |
| c23 | Wei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, Satish K. Musukula: A Framework for Systematic Testing of Software Specifications. SEKE 1993: 380-387 | |
| 1992 | ||
| j12 | S. Chen, Wei-Tek Tsai, Xiaoping Chen: Samea: Object-Oriented Software Maintenance Environment for Assembly Programs. International Journal of Software Engineering and Knowledge Engineering 2(2): 197-226 (1992) | |
| j11 | Imran A. Zualkernan, Wei-Tek Tsai, A. Jemie, I. C. Wen, José M. Drake: Object-Oriented Analysis as Design: a Case Study. International Journal of Software Engineering and Knowledge Engineering 2(4): 489-521 (1992) | |
| j10 | Chungti Liang, Wei-Tek Tsai: On the reconfigurability of embedded loops on hypercubes and its application. Inf. Sci. 66(3): 191-224 (1992) | |
| j9 | Showi-Min Shen, Hosame Abu-Amara, Wei Kang Tsai, Wei-Tek Tsai: Simulation and theoretical results on cluster management and directory management in dynamic hierarchical networks. IEEE Transactions on Communications 40(2): 312-324 (1992) | |
| c22 | Viet N. Ngo, Gary Elsesser, Sourav Bhattacharya, Wei-Tek Tsai: Array Covering: A Technique4 for Enabling Lloop Parallelization. ICPP (2) 1992: 302-305 | |
| c21 | Shekhar H. Kirani, Imran A. Zualkernan, Wei-Tek Tsai: Comparative Evaluation of Expert System Testing Methods. ICTAI 1992: 334-341 | |
| c20 | Mohamed Fayad, Louis J. Hawn, Mark A. Roberts, Jay W. Schooley, Wei-Tek Tsai: Hardware-In-the-Loop (HIL) Simulation: An Application of Colbert's Object-Oriented Software Development Method. TRI-Ada 1992: 176-188 | |
| 1991 | ||
| c19 | ||
| c18 | Chungti Liang, Sourav Bhattacharya, Wei-Tek Tsai: Distributed fault-tolerant routing on hypercubes algorithms and performance study. SPDP 1991: 474-481 | |
| 1990 | ||
| j8 | Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe: Automated Test Case Generation for Programs Specified by Relational Algebra Queries. IEEE Trans. Software Eng. 16(3): 316-324 (1990) | |
| j7 | C. V. Ramamoorthy, Yutaka Usuda, Atul Prakash, Wei-Tek Tsai: The Evolution Support Environment System. IEEE Trans. Software Eng. 16(11): 1225-1234 (1990) | |
| c17 | Thomas F. Keefe, Wei-Tek Tsai, Jaideep Srivastava: Multilevel Secure Database Concurrency Control. ICDE 1990: 337-344 | |
| c16 | Yigang Chen, Wei-Tek Tsai: A Synthesis Approach to Developing Large Petri Nets. ICPP (2) 1990: 280-281 | |
| c15 | Jaideep Srivastava, Jau-Hwang Wang, Jack S. Eddy Tan, Kuo-Wei Hwang, Wei-Tek Tsai: Production Scheduling in Database Production Systems. ICSI 1990: 464-472 | |
| c14 | P. M. Perry Leung, Jaideep Srivastava, Wei-Tek Tsai: Performance Evaluation of Distributed Real Time Scheduling Algorithms. ICSI 1990: 752-761 | |
| c13 | Wei-Tek Tsai, Imran A. Zualkernan: Towards a Unified Framework for Testing Expert Systems. SEKE 1990: 127-134 | |
| c12 | Dmitry Volovik, Ramin Mojdehbakhsh, Wei-Tek Tsai: What Software Engineering Can Learn From Practitioners. SEKE 1990: 216-221 | |
| c11 | Thomas F. Keefe, Wei-Tek Tsai: Multiversion Concurrency Control for Multilevel Secure Database Systems. IEEE Symposium on Security and Privacy 1990: 369-383 | |
| c10 | Chungti Liang, Wei-Tek Tsai: Multi-failure fault-tolerance of embedded loops on hypercubes: issues and performance study. SPDP 1990: 511-518 | |
| 1989 | ||
| j6 | D. J. Thomsen, Wei-Tek Tsai, Bhavani M. Thuraisingham: Prototyping to explore MLS/DBMS design. Computers & Security 8(3): 229-245 (1989) | |
| j5 | Thomas F. Keefe, Wei-Tek Tsai, Bhavani M. Thuraisingham: SODA: A secure object-oriented database system. Computers & Security 8(6): 517-533 (1989) | |
| j4 | Thomas F. Keefe, Bhavani M. Thuraisingham, Wei-Tek Tsai: Secure Query-Processing Strategies. IEEE Computer 22(3): 63-70 (1989) | |
| j3 | Wei-Tek Tsai, C. V. Ramamoorthy, Wei Kang Tsai, Osamu Nishiguchi: An Adaptive Hierarchical Routing Protocol. IEEE Trans. Computers 38(8): 1059-1075 (1989) | |
| j2 | Shyh-Kwei Chen, Wei-Tek Tsai, Bhavani M. Thuraisingham: Recovery Point Selection on a Reverse Binary Tree Task Model. IEEE Trans. Software Eng. 15(8): 963-976 (1989) | |
| c9 | ||
| c8 | Chungti Liang, Yigang Chen, Wei-Tek Tsai: Embedding of Linear Array and Binary Tree in Cubical Ring Connected Cycles Networks. ICPP (1) 1989: 192-195 | |
| 1988 | ||
| c7 | D. J. Thomsen, Wei-Tek Tsai, Bhavani M. Thuraisingham: Prototyping as a Research Tool for MLS/DBMS. DBSec 1988: 63-84 | |
| c6 | Shyh-Kwei Chen, Chungti Liang, Wei-Tek Tsai: An efficient multi-dimensional grids reconfiguration algorithm on hypercube. FTCS 1988: 368-373 | |
| c5 | Imran A. Zualkernan, Wei-Tek Tsai: Are knowledge representations the answer to requirement analysis? ICCL 1988: 437-443 | |
| c4 | Shyh-Kwei Chen, Chungti Liang, Wei-Tek Tsai: Loops and Multi-Dimensional Grids on Hypercubes Mapping and Reconfiguration Algorithms. ICPP (1) 1988: 315-322 | |
| 1986 | ||
| c3 | C. V. Ramamoorthy, Jaideep Srivastava, Wei-Tek Tsai: A Distributed Clustering Algorithm for Large Computer Networks. ICDCS 1986: 613-620 | |
| 1984 | ||
| j1 | C. V. Ramamoorthy, Atul Prakash, Wei-Tek Tsai, Yutaka Usuda: Software Engineering: Problems and Perspectives. IEEE Computer 17(10): 191-209 (1984) | |
| 1982 | ||
| c2 | C. V. Ramamoorthy, Siyi Terry Dong, S. L. Ganesh, C.-H. Jen, Wei-Tek Tsai: Techniques in Software Quality Assurance. Software-Qualitätssicherung 1982: 11-34 | |
| c1 | C. V. Ramamoorthy, S. L. Ganesh, Siyi Terry Dong, C.-H. Jen, Wei-Tek Tsai: The Design of "Low-End" Machines for Data Management in Distributed Systems. ICDCS 1982: 187-195 | |
Colors in the list of coauthors
Last update Tue May 21 06:28:26 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page