| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Wei-Tek Tsai Wei-Tek Tsai, Lian Yu , Feng Zhu , Ray J. Paul : Rapid Verification of Embedded Systems Using Patterns. COMPSAC 2003 : 466-471 Wei-Tek Tsai, Feng Zhu , Lian Yu , Ray J. Paul , C. Fan : Verification Patterns for Rapid Embedded System Verification. Embedded Systems and Applications 2003 : 310-316 Wei-Tek Tsai, Lian Yu , Akihiro Saimi : Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems. FTDCS 2003 : 288-294 Bing Li , Wei-Tek Tsai, Liang-Jie Zhang : A Semantic Framework for Distributed Applications. ICEIS (4) 2003 : 34-41 Wei-Tek Tsai, Akihiro Saimi , Lian Yu , Raymond A. Paul : Scenario-based Object-Oriented Testing Framework. QSIC 2003 : 410- Wei-Tek Tsai, Lian Yu , Ray J. Paul , Akihiro Saimi , Weiwei Song , Zhibin Cao : Scenario-Based System Generation for Process Control. Software Engineering Research and Practice 2003 : 978-984 Wei-Tek Tsai, Yinghui Na , Ray J. Paul , F. Lu , Akihiro Saimi : Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded Systems. COMPSAC 2002 : 321-326 Tsuneo Yamaura , Akira K. Onoma , Wei-Tek Tsai: Hypothesis Testing for Module Test in Software Development. COMPSAC 2002 : 829-834 Wei-Tek Tsai, Ray J. Paul , Yamin Wang , Chun Fan , Dong Wang : Extending WSDL to Facilitate Web Services Testing. HASE 2002 : 171-172 Wei-Tek Tsai, Ray J. Paul , Weiwei Song , Zhibin Cao : Coyote: An XML-Based Framework for Web Services Testing. HASE 2002 : 173-176 Bing Li , Wei-Tek Tsai: 3 Tier Transparent Web Application Developing Approach. International Conference on Internet Computing 2002 : 519-528 Wei-Tek Tsai: OCL Goes Real-Time (Panel). Symposium on Object-Oriented Real-Time Distributed Computing 2002 : 421-422 Wei-Tek Tsai, Xiaoying Bai , Ray J. Paul , Weiguang Shao , Vishal Agarwal : End-To-End Integration Testing Design. COMPSAC 2001 : 166-171 Wei-Tek Tsai: End-to-End Integration Testing. COMPSAC 2001 : 283-283 Ray J. Paul , Lian Yu , Wei-Tek Tsai, Xiaoying Bai : Scenario-Based Functional Regression Testing. COMPSAC 2001 : 496- Xiaoying Bai , Wei-Tek Tsai, Techeng Shen , Bing Li , Ray J. Paul : Distributed End-to-End Testing Management. EDOC 2001 : 140-151 Ray J. Paul , Wei-Tek Tsai, Bing Li , Xiaoying Bai : XML-based E2E Test Report Management. ER 2001 : 607-608 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) Ezra Ebner , Weiguang Shao , Wei-Tek Tsai: The five-module framework for Internet application development. ACM Comput. Surv. 32 (1es): 40 (2000) Yongzhong Tu , Wei-Tek Tsai, Yang Xiang : Specifying Constraints with Message Sequence Specifications. APSEC 1999 : 368-375 Wei-Tek Tsai, Yongzhong Tu , Weiguang Shao , Ezra Ebner : Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates. COMPSAC 1999 : 166-171 Wei-Tek Tsai, Weiguang Shao , Sanjai Rayadurgam , Jinbao Li , Raymond A. Paul : Assurance-Based Y2K Testing. HASE 1999 : 27-37 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) Feng Zhu , Wei-Tek Tsai: Framework-Oriented Analysis. COMPSAC 1998 : 324-329 Satish Subramanian , Sanjai Rayadurgam , Wei-Tek Tsai: Design for Constraint Violation Detection in Safety-Critical Systems. HASE 1998 : 109-116 Feng Zhu , Sanjai Rayadurgam , Wei-Tek Tsai: Automating Regression Testing for Real-Time Software in a Distributed Environment. ISORC 1998 : 373-382 Akira K. Onoma , Wei-Tek Tsai, Mustafa H. Poonawala , Hiroshi Suganuma : Regression Testing in an Industrial Environment. Commun. ACM 41 (5): 81-86 (1998) I-Ling Yen , Raymond 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) 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) Wei-Tek Tsai: Trends in software technology. COMPSAC 1997 : 173- Wei-Tek Tsai: Application of data-centered approach to Year 2000 problem. COMPSAC 1997 : 287- Wei-Tek Tsai, Ramin Mojdehbakhsh , Sanjai Rayadurgam : Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. HASE 1997 : 32- James X. Ci , Mustafa H. Poonawala , Wei-Tek Tsai: ScmEngine: A Distributed Software Management Environment on X.500. SCM 1997 : 108-127 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 Hai Huang , Wei-Tek Tsai, Sourav Bhattacharya , Xiaoping Chen , Yamin Wang , J. Sun : Business Rule Extraction from Legacy Code. COMPSAC 1996 : 162-167 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 Ramakrishna V. Vishnuvajjala , Satish Subramanian , Wei-Tek Tsai, Ramin Mojdehbakhsh , Lynn Elliot : Flow analysis for concurrent, reactive, real-time systems. HASE 1996 : 176-183 Ramakrishna V. Vishnuvajjala , Wei-Tek Tsai, Ramin Mojdehbakhsh , Lynn Elliott : Specifying timing constraints in real-time object-oriented systems. HASE 1996 : 32-39 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- H. Huang , Wei-Tek Tsai, Satish Subramanian : Generalized Program Slicing for Software Maintenance. SEKE 1996 : 261-268 Yamin Wang , Wei-Tek Tsai, Xiaoping Chen , Sanjai Rayadurgam : The Role of Program Slicing in Ripple Effect Analysis. SEKE 1996 : 369-376 Mohamed Fayad , Wei-Tek Tsai, Milton L. Fulghum : Transition To Object-Oriented Software Development. Commun. ACM 39 (2): 108-121 (1996) C. V. Ramamoorthy , Wei-Tek Tsai: Advances in Software Engineering. IEEE Computer 29 (10): 47-58 (1996) Satish Subramanian , Ramakrishna V. Vishnuvajjala , Ramin Mojdehbakhsh , Wei-Tek Tsai, Lynn Elliott : A Framework for Designing Safe Software Systems. COMPSAC 1995 : 409-415 Mohamed Fayad , Wei-Tek Tsai: Object-Oriented Experiences: Introduction to the Special Section. Commun. ACM 38 (10): 50-53 (1995) Sourav Bhattacharya , Thomas F. Keefe , Wei-Tek Tsai: Covert Channel Secure Hypercube Message Communication. J. Parallel Distrib. Comput. 26 (2): 233-247 (1995) Sourav Bhattacharya , Shekhar H. Kirani , Wei-Tek Tsai: Quadtree Layouts and I/O Bandwidth. Parallel Processing Letters 5 : 231-240 (1995) Sourav Bhattacharya , Wei-Tek Tsai: Lookahead Processor Allocation in Mesh-Connected Massively Parallel Multicomputer. IPPS 1994 : 868-875 Shekhar H. Kirani , Imran A. Zualkernan , Wei-Tek Tsai: Ecaluation of Expert System Testing Methods. Commun. ACM 37 (11): 71-81 (1994) 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) 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) Sourav Bhattacharya , Wei-Tek Tsai: Recursive Binary Tree Layout Mixing. Inf. Sci. 77 (1-2): 39-49 (1994) 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) Albert C. Liang , Sourav Bhattacharya , Wei-Tek Tsai: Fault-Tolerant Multicasting on Hypercubes. J. Parallel Distrib. Comput. 23 (3): 418-428 (1994) Satish Subramanian , Wei-Tek Tsai, Shekhar H. Kirani : Hierarchical Data Flow Analysis for O-O Programs. JOOP 7 (2): 36-46 (1994) Shekhar H. Kirani , Wei-Tek Tsai: Method Sequence Specification and Verification of Classes. JOOP 7 (6): 28-38 (1994) Mohamed Fayad , Milton L. Fulghum , Wei-Tek Tsai: Object-oriented real-time system analysis and design issues. OOPS Messenger 5 (2): 83-84 (1994) Mohamed Fayad , Milton L. Fulghum , Wei-Tek Tsai: Object-oriented real-time systems analysis and design issues. OOPS Messenger 5 (4): 105-109 (1994) 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 Wei-Tek Tsai, Imran A. Zualkernan : Quality of Heuristic Programs (Panel). ICTAI 1993 : 4 Gary Elsesser , Viet N. Ngo , Sourav Bhattacharya , Wei-Tek Tsai: Load Balancing of DOALL Loops in the Perfect Club. IPPS 1993 : 129-133 Wei-Tek Tsai: Guest Editor's Introduction. IEEE Expert 8 (1): 7- (1993) Viet N. Ngo , Gary Elsesser , Sourav Bhattacharya , Wei-Tek Tsai: Array Covering: A Technique4 for Enabling Lloop Parallelization. ICPP (2) 1992 : 302-305 Shekhar H. Kirani , Imran A. Zualkernan , Wei-Tek Tsai: Comparative Evaluation of Expert System Testing Methods. ICTAI 1992 : 334-341 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 Sourav Bhattacharya , C. T. Liang , Wei-Tek Tsai: Inverted Memory. ICPP (1) 1991 : 682-683 Yigang Chen , Wei-Tek Tsai: A Synthesis Approach to Developing Large Petri Nets. ICPP (2) 1990 : 280-281 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 P. M. Perry Leung , Jaideep Srivastava , Wei-Tek Tsai: Performance Evaluation of Distributed Real Time Scheduling Algorithms. ICSI 1990 : 752-761 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 Shyh-Kwei Chen , Chung-Ti Liang , Wei-Tek Tsai: Loops and Multi-Dimensional Grids on Hypercubes Mapping and Reconfiguration Algorithms. ICPP (1) 1988 : 315-322 C. V. Ramamoorthy , Jaideep Srivastava , Wei-Tek Tsai: A Distributed Clustering Algorithm for Large Computer Networks. ICDCS 1986 : 613-620 C. V. Ramamoorthy , Atul Prakash , Wei-Tek Tsai, Yutaka Usuda : Software Engineering: Problems and Perspectives. IEEE Computer 17 (10): 191-209 (1984) C. V. Ramamoorthy , Siyi Terry Dong , S. L. Ganesch , C.-H. Jen , Wei-Tek Tsai: Techniques in Software Quality Assurance. Software-Qualitätssicherung 1982 : 11-34 1 [ 62 ] 2 [ 47 ] 3 [ 58 ] [ 59 ] [ 60 ] [ 62 ] 4 [ 9 ] [ 12 ] [ 14 ] [ 21 ] [ 22 ] [ 23 ] [ 27 ] [ 28 ] [ 29 ] [ 40 ] 5 [ 65 ] [ 69 ] 6 [ 4 ] 7 [ 34 ] [ 36 ] [ 40 ] 8 [ 5 ] [ 8 ] 9 [ 42 ] 10 [ 47 ] 11 [ 47 ] 12 [ 1 ] 13 [ 16 ] 14 [ 22 ] 15 [ 54 ] [ 56 ] 16 [ 38 ] 17 [ 25 ] [ 31 ] [ 37 ] 18 [ 12 ] [ 14 ] [ 22 ] 19 [ 73 ] 20 [ 66 ] 21 [ 10 ] [ 17 ] [ 18 ] [ 24 ] [ 30 ] [ 33 ] 22 [ 47 ] 23 [ 17 ] [ 18 ] [ 33 ] 24 [ 1 ] 25 [ 47 ] 26 [ 10 ] [ 24 ] 27 [ 35 ] 28 [ 36 ] [ 40 ] 29 [ 7 ] 30 [ 1 ] 31 [ 29 ] 32 [ 11 ] [ 19 ] [ 20 ] [ 25 ] [ 26 ] [ 28 ] 33 [ 41 ] 34 [ 41 ] 35 [ 6 ] 36 [ 58 ] [ 59 ] [ 64 ] [ 71 ] 37 [ 53 ] 38 [ 21 ] 39 [ 9 ] 40 [ 4 ] 41 [ 5 ] 42 [ 57 ] 43 [ 47 ] 44 [ 68 ] 45 [ 41 ] 46 [ 25 ] [ 31 ] [ 37 ] [ 38 ] [ 43 ] [ 47 ] 47 [ 47 ] 48 [ 68 ] 49 [ 12 ] [ 14 ] 50 [ 39 ] [ 48 ] [ 67 ] 51 [ 58 ] [ 59 ] [ 60 ] [ 62 ] [ 65 ] [ 66 ] [ 68 ] [ 69 ] [ 73 ] [ 74 ] 52 [ 47 ] 53 [ 53 ] [ 70 ] 54 [ 36 ] [ 39 ] [ 42 ] [ 48 ] 55 [ 2 ] 56 [ 1 ] [ 2 ] [ 3 ] [ 32 ] 57 [ 34 ] [ 36 ] [ 43 ] [ 47 ] [ 49 ] [ 50 ] [ 53 ] 58 [ 10 ] [ 24 ] 59 [ 68 ] [ 69 ] [ 70 ] [ 72 ] 60 [ 10 ] [ 24 ] 61 [ 53 ] [ 54 ] [ 56 ] [ 62 ] 62 [ 59 ] 63 [ 57 ] 64 [ 65 ] [ 69 ] 65 [ 3 ] [ 6 ] [ 7 ] 66 [ 20 ] [ 31 ] [ 35 ] [ 38 ] [ 39 ] [ 50 ] 67 [ 39 ] [ 48 ] 68 [ 40 ] 69 [ 39 ] 70 [ 47 ] 71 [ 7 ] 72 [ 54 ] [ 55 ] 73 [ 2 ] 74 [ 31 ] [ 37 ] [ 38 ] [ 46 ] [ 52 ] 75 [ 66 ] 76 [ 7 ] 77 [ 34 ] [ 36 ] [ 40 ] [ 46 ] [ 66 ] 78 [ 47 ] 79 [ 55 ] 80 [ 16 ] 81 [ 67 ] 82 [ 47 ] 83 [ 60 ] [ 69 ] [ 70 ] [ 72 ] [ 73 ] [ 74 ] 84 [ 52 ] 85 [ 71 ] 86 [ 49 ] [ 51 ] [ 73 ] [ 74 ] 87 [ 11 ] [ 15 ] [ 16 ] [ 26 ]  ©2004 Association for Computing Machinery |
