dblp.uni-trier.dewww.uni-trier.de

Wei-Tek Tsai

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
157EEWei-Tek Tsai, Xinyu Zhou, Yinong Chen: SOA Simulation and Verification by Event-Driven Policy Enforcement. Annual Simulation Symposium 2008: 165-172
156EEWei-Tek Tsai, Qian Huang, Xin Sun: A Collaborative Service-Oriented Simulation Framework with Microsoft Robotic Studio®. Annual Simulation Symposium 2008: 263-270
155EEXiaoying Bai, Shufang Lee, Wei-Tek Tsai, Yinong Chen: Collaborative Web Services Monitoring with Active Service Broker. COMPSAC 2008: 84-91
154 Wei-Tek Tsai, Madhu Datla, Jingjing Xu: Dynamic Assessment and Customizable e-Learning Content Generator. CSREA EEE 2008: 172-178
153EERaymond 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
152EEXiaoying Bai, Shufang Lee, Wei-Tek Tsai, Yinong Chen: Ontology-Based Test Modeling and Partition Testing of Web Services. ICWS 2008: 465-472
151EEWei-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
150EEWei-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)
149EEWei-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)
2007
148EEWei-Tek Tsai, Qian Huang, Xin Sun, Yinong Chen: Dynamic Collaboration Simulation in Service-Oriented Computing Paradigm. Annual Simulation Symposium 2007: 41-48
147EEXiaoying 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
146EEVenkata 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
145EEWei-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
144EEWei-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
143EEWei-Tek Tsai, Zhi Jin, Puwei Wang, Budan Wu: Requirement Engineering in Service-Oriented System Engineering. ICEBE 2007: 661-668
142EEWei-Tek Tsai, Yinong Chen, Xin Sun: Designing a Service-Oriented Computing Course for High Schools. ICEBE 2007: 686-693
141EEWei-Tek Tsai, Qian Huang, Jingjing Xu, Yinong Chen, Raymond A. Paul: Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture. SOCA 2007: 39-46
140EERicardo Morin, Mariano Cilia, William Henry, Michael Rowley, Wei-Tek Tsai: Service Oriented Computing: Technology Trends and Research Directions. SOCA 2007: 9
139EEWei-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)
138EEWei-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)
2006
137EEWei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul: DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1. Annual Simulation Symposium 2006: 160-167
136EEWei-Tek Tsai, Bingnan Xiao, Raymond A. Paul, Qian Huang, Yinong Chen: Global Software Enterprise: A New Software Constructing Architecture. CEC/EEE 2006: 55
135EEWei-Tek Tsai, Jerry Gao, Xiao Wei, Yinong Chen: Testability of Software in Service-Oriented Architecture. COMPSAC (2) 2006: 163-170
134EEMark Chang, Jackson He, Wei-Tek Tsai, Bingnan Xiao, Yinong Chen: UCSOA: User-Centric Service-Oriented Architecture. ICEBE 2006: 248-255
133EEXinyu 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
132EEBingnan Xiao, Wei-Tek Tsai, Qian Huang, Yinong Chen, Raymond A. Paul: SOA Collaboration Modeling, Analysis, and Simulation in PSML-C. ICEBE 2006: 639-646
131EEWei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul, Jen-Yao Chung: Architecture Classification for SOA-Based Applications. ISORC 2006: 295-302
130EEWei-Tek Tsai, Qian Huang, Bingnan Xiao, Yinong Chen: Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture. QSIC 2006: 313-320
129EEWei-Tek Tsai, Miroslaw Malek, Yinong Chen, Farokh B. Bastani: Perspectives on Service-Oriented Computing and Service-Oriented System Engineering. SOSE 2006: 3-10
128EEWei-Tek Tsai, Yann-Hang Lee, Zhibin Cao, Yinong Chen, Bingnan Xiao: RTSOA: Real-Time Service-Oriented Architecture. SOSE 2006: 49-56
127EEHai Huang, Wei-Tek Tsai, Yinong Chen: Binary analysis and automated hot patching for Web-based applications. Information & Software Technology 48(12): 1148-1158 (2006)
126EEWei-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)
125EEWei-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)
2005
124EEWei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul: Simulation Verification and Validation by Dynamic Policy Enforcement. Annual Simulation Symposium 2005: 91-98
123EEWei-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
122EEHai Huang, Wei-Tek Tsai, Yinong Chen: Autonomous Hot Patching for Web-Based Applications. COMPSAC (2) 2005: 51-56
121EEWei-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
120EEWei-Tek Tsai, Xinxin Liu, Yinong Chen: Distributed Policy Specification and Enforcement in Service-Oriented Business Systems. ICEBE 2005: 10-17
119EEHai Huang, Wei-Tek Tsai, Raymond A. Paul: Proof Slicing with Application to Model Checking Web Services. ISORC 2005: 292-299
118EEHai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen: Automated Model Checking and Testing for Composite Web Services. ISORC 2005: 300-307
117EEWei-Tek Tsai, Dawei Zhang, Raymond A. Paul, Yinong Chen: Stochastic Voting Algorithms for Web Services Group Testing. QSIC 2005: 99-108
116EEWei-Tek Tsai, Yinong Chen, Raymond A. Paul: Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems. WORDS 2005: 139-147
115EECharles J. Colbourn, Yinong Chen, Wei-Tek Tsai: Progressive Ranking and Composition of Web Services Using Covering Arrays. WORDS 2005: 179-185
114EEHong Mei, Gang Huang, Wei-Tek Tsai: Towards Self-Healing Systems via Dependable Architecture and. WORDS 2005: 337-346
113EEWei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul: Rapid Embedded System Testing Using Verification Patterns. IEEE Software 22(4): 68-75 (2005)
112EEWei-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)
111EEBing Li, Wei-Tek Tsai: Ontology and Service Oriented Programming. Int. J. Web Service Res. 2(3): 33-68 (2005)
2004
110EEWei-Tek Tsai, Yinong Chen, Zhibin Cao, Xiaoying Bai, Hai Huang, Raymond A. Paul: Testing Web Services Using Progressive Group Testing. AWCC 2004: 314-322
109EEWei-Tek Tsai, Weiwei Song, Raymond A. Paul, Zhibin Cao, Hai Huang: Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing. COMPSAC 2004: 554-559
108EEWei-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
107 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
106 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)
2003
105EEWei-Tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul: Rapid Verification of Embedded Systems Using Patterns. COMPSAC 2003: 466-471
104 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
103EEWei-Tek Tsai, Lian Yu, Akihiro Saimi: Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems. FTDCS 2003: 288-294
102 Bing Li, Wei-Tek Tsai, Liang-Jie Zhang: A Semantic Framework for Distributed Applications. ICEIS (4) 2003: 34-41
101EEWei-Tek Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul: Scenario-based Object-Oriented Testing Framework. QSIC 2003: 410-
100 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
99EEWei-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
98EEWei-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
97EETsuneo Yamaura, Akira K. Onoma, Wei-Tek Tsai: Hypothesis Testing for Module Test in Software Development. COMPSAC 2002: 829-834
96EEWei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fan, Dong Wang: Extending WSDL to Facilitate Web Services Testing. HASE 2002: 171-172
95EEWei-Tek Tsai, Raymond A. Paul, Weiwei Song, Zhibin Cao: Coyote: An XML-Based Framework for Web Services Testing. HASE 2002: 173-176
94 Bing Li, Wei-Tek Tsai: 3 Tier Transparent Web Application Developing Approach. International Conference on Internet Computing 2002: 519-528
93EEWei-Tek Tsai: OCL Goes Real-Time (Panel). Symposium on Object-Oriented Real-Time Distributed Computing 2002: 421-422
92EEXiaoying Bai, Wei-Tek Tsai, Ke Feng, Lian Yu, Raymond A. Paul: Scenario-Based Modeling And Its Applications. WORDS 2002: 253-260
2001
91EEWei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, Weiguang Shao, Vishal Agarwal: End-To-End Integration Testing Design. COMPSAC 2001: 166-171
90EEWei-Tek Tsai: End-to-End Integration Testing. COMPSAC 2001: 283-283
89EERaymond A. Paul, Lian Yu, Wei-Tek Tsai, Xiaoying Bai: Scenario-Based Functional Regression Testing. COMPSAC 2001: 496-
88EEXiaoying Bai, Wei-Tek Tsai, Techeng Shen, Bing Li, Raymond A. Paul: Distributed End-to-End Testing Management. EDOC 2001: 140-151
87EERaymond A. Paul, Wei-Tek Tsai, Bing Li, Xiaoying Bai: XML-based E2E Test Report Management. ER 2001: 607-608
86 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)
2000
85EEWei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, George Devaraj, Vishal Agarwal: An Approach to Modify and Test Expired Window Logic. APAQS 2000: 99-110
84EEEzra Ebner, Weiguang Shao, Wei-Tek Tsai: The five-module framework for Internet application development. ACM Comput. Surv. 32(1es): 40 (2000)
1999
83EEYongzhong Tu, Wei-Tek Tsai, Yang Xiang: Specifying Constraints with Message Sequence Specifications. APSEC 1999: 368-375
82EEWei-Tek Tsai, Yongzhong Tu, Weiguang Shao, Ezra Ebner: Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates. COMPSAC 1999: 166-171
81EEWei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul: Assurance-Based Y2K Testing. HASE 1999: 27-37
80EEWei-Tek Tsai, Ramakrishna V. Vishnuvajjala, Du Zhang: Verification and Validation of Knowledge-Based Systems. IEEE Trans. Knowl. Data Eng. 11(1): 202-212 (1999)
79EEHai Huang, Wei-Tek Tsai: VSAM conversion for COBOL programs. Journal of Software Maintenance 11(5): 311-337 (1999)
1998
78EEFeng Zhu, Wei-Tek Tsai: Framework-Oriented Analysis. COMPSAC 1998: 324-329
77 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
76EESatish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai: Design for Constraint Violation Detection in Safety-Critical Systems. HASE 1998: 109-116
75EEFeng Zhu, Sanjai Rayadurgam, Wei-Tek Tsai: Automating Regression Testing for Real-Time Software in a Distributed Environment. ISORC 1998: 373-382
74 Akira K. Onoma, Wei-Tek Tsai, Mustafa H. Poonawala, Hiroshi Suganuma: Regression Testing in an Industrial Environment. Commun. ACM 41(5): 81-86 (1998)
73 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)
72EEYamin 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)
71EEHai 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)
1997
70EEWei-Tek Tsai: Trends in software technology. COMPSAC 1997: 173-
69EEWei-Tek Tsai: Application of data-centered approach to Year 2000 problem. COMPSAC 1997: 287-
68EEWei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam: Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. HASE 1997: 32-
67 James X. Ci, Mustafa H. Poonawala, Wei-Tek Tsai: ScmEngine: A Distributed Software Management Environment on X.500. SCM 1997: 108-127
66 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
1996
65EEHai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun: Business Rule Extraction from Legacy Code. COMPSAC 1996: 162-167
64EEAkira 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
63EERamakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott: Flow analysis for concurrent, reactive, real-time systems. HASE 1996: 176-183
62EEThomas F. Keefe, Wei-Tek Tsai: A multiversion transaction scheduler for centralized multilevel secure database systems. HASE 1996: 206-213
61EERamakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott: Specifying timing constraints in real-time object-oriented systems. HASE 1996: 32-39
60EEXiaoping Chen, Wei-Tek Tsai, Hai Huang, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang: Omega - an integrated environment for C++ program maintenance. ICSM 1996: 114-
59 Hai Huang, Wei-Tek Tsai, Satish Subramanian: Generalized Program Slicing for Software Maintenance. SEKE 1996: 261-268
58 Yamin Wang, Wei-Tek Tsai, Xiaoping Chen, Sanjai Rayadurgam: The Role of Program Slicing in Ripple Effect Analysis. SEKE 1996: 369-376
57 Mohamed E. Fayad, Wei-Tek Tsai, Milton L. Fulghum: Transition To Object-Oriented Software Development. Commun. ACM 39(2): 108-121 (1996)
56 C. V. Ramamoorthy, Wei-Tek Tsai: Advances in Software Engineering. IEEE Computer 29(10): 47-58 (1996)
55EESourav 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)
54EESourav 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)
1995
53EESatish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott: A Framework for Designing Safe Software Systems. COMPSAC 1995: 409-415
52 Mohamed E. Fayad, Wei-Tek Tsai: Object-Oriented Experiences: Introduction to the Special Section. Commun. ACM 38(10): 50-53 (1995)
51 Sourav Bhattacharya, Thomas F. Keefe, Wei-Tek Tsai: Covert Channel Secure Hypercube Message Communication. J. Parallel Distrib. Comput. 26(2): 233-247 (1995)
50 Sourav Bhattacharya, Shekhar H. Kirani, Wei-Tek Tsai: Quadtree Layouts and I/O Bandwidth. Parallel Processing Letters 5: 231-240 (1995)
1994
49 Sourav Bhattacharya, Wei-Tek Tsai: Lookahead Processor Allocation in Mesh-Connected Massively Parallel Multicomputer. IPPS 1994: 868-875
48EEShekhar H. Kirani, Imran A. Zualkernan, Wei-Tek Tsai: Evaluation of Expert System Testing Methods. Commun. ACM 37(11): 71-81 (1994)
47EERamin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott: Retrofitting Software Safety in an Implantable Medical Device. IEEE Software 11(1): 41-50 (1994)
46EEMohamed 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)
45 Sourav Bhattacharya, Wei-Tek Tsai: Recursive Binary Tree Layout Mixing. Inf. Sci. 77(1-2): 39-49 (1994)
44 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)
43 Albert C. Liang, Sourav Bhattacharya, Wei-Tek Tsai: Fault-Tolerant Multicasting on Hypercubes. J. Parallel Distrib. Comput. 23(3): 418-428 (1994)
42 Satish Subramanian, Wei-Tek Tsai, Shekhar H. Kirani: Hierarchical Data Flow Analysis for O-O Programs. JOOP 7(2): 36-46 (1994)
41 Shekhar H. Kirani, Wei-Tek Tsai: Method Sequence Specification and Verification of Classes. JOOP 7(6): 28-38 (1994)
40 Mohamed Fayad, Milton L. Fulghum, Wei-Tek Tsai: Object-oriented real-time system analysis and design issues. OOPS Messenger 5(2): 83-84 (1994)
39 Mohamed Fayad, Milton L. Fulghum, Wei-Tek Tsai: Object-oriented real-time systems analysis and design issues. OOPS Messenger 5(4): 105-109 (1994)
1993
38EEJosé 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
37 Wei-Tek Tsai, Imran A. Zualkernan: Quality of Heuristic Programs (Panel). ICTAI 1993: 4
36 Gary Elsesser, Viet N. Ngo, Sourav Bhattacharya, Wei-Tek Tsai: Load Balancing of DOALL Loops in the Perfect Club. IPPS 1993: 129-133
35 Wei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, Satish K. Musukula: A Framework for Systematic Testing of Software Specifications. SEKE 1993: 380-387
34EEWei-Tek Tsai: Guest Editor's Introduction. IEEE Expert 8(1): 7- (1993)
33EEThomas 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)
32EEYigang 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)
31EEK. Heisler, Y. Kasho, Wei-Tek Tsai: A reverse engineering model for C programs. Inf. Sci. 68(1-2): 155-189 (1993)
30EEJosé 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)
1992
29 Viet N. Ngo, Gary Elsesser, Sourav Bhattacharya, Wei-Tek Tsai: Array Covering: A Technique4 for Enabling Lloop Parallelization. ICPP (2) 1992: 302-305
28 Shekhar H. Kirani, Imran A. Zualkernan, Wei-Tek Tsai: Comparative Evaluation of Expert System Testing Methods. ICTAI 1992: 334-341
27EEMohamed 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
26EEChungti Liang, Wei-Tek Tsai: On the reconfigurability of embedded loops on hypercubes and its application. Inf. Sci. 66(3): 191-224 (1992)
25EEImran 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)
1991
24 Sourav Bhattacharya, Chungti Liang, Wei-Tek Tsai: Inverted Memory. ICPP (1) 1991: 682-683
1990
23EEThomas F. Keefe, Wei-Tek Tsai, Jaideep Srivastava: Multilevel Secure Database Concurrency Control. ICDE 1990: 337-344
22 Yigang Chen, Wei-Tek Tsai: A Synthesis Approach to Developing Large Petri Nets. ICPP (2) 1990: 280-281
21 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
20 P. M. Perry Leung, Jaideep Srivastava, Wei-Tek Tsai: Performance Evaluation of Distributed Real Time Scheduling Algorithms. ICSI 1990: 752-761
19 Thomas F. Keefe, Wei-Tek Tsai: Multiversion Concurrency Control for Multilevel Secure Database Systems. IEEE Symposium on Security and Privacy 1990: 369-383
18 Wei-Tek Tsai, Imran A. Zualkernan: Towards a Unified Framework for Testing Expert Systems. SEKE 1990: 127-134
17 Dmitry Volovik, Ramin Mojdehbakhsh, Wei-Tek Tsai: What Software Engineering Can Learn From Practitioners. SEKE 1990: 216-221
16EEC. V. Ramamoorthy, Yutaka Usuda, Atul Prakash, Wei-Tek Tsai: The Evolution Support Environment System. IEEE Trans. Software Eng. 16(11): 1225-1234 (1990)
15EEWei-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)
1989
14 Thomas F. Keefe, Wei-Tek Tsai: Prototyping the SODA Model. DBSec 1989: 211-235
13 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
12EED. J. Thomsen, Wei-Tek Tsai, Bhavani M. Thuraisingham: Prototyping to explore MLS/DBMS design. Computers & Security 8(3): 229-245 (1989)
11EEThomas F. Keefe, Wei-Tek Tsai, Bhavani M. Thuraisingham: SODA: A secure object-oriented database system. Computers & Security 8(6): 517-533 (1989)
10 Thomas F. Keefe, Bhavani M. Thuraisingham, Wei-Tek Tsai: Secure Query-Processing Strategies. IEEE Computer 22(3): 63-70 (1989)
9 Wei-Tek Tsai, C. V. Ramamoorthy, Wei Kang Tsai, Osamu Nishiguchi: An Adaptive Hierarchical Routing Protocol. IEEE Trans. Computers 38(8): 1059-1075 (1989)
8EEShyh-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)
1988
7 D. J. Thomsen, Wei-Tek Tsai, Bhavani M. Thuraisingham: Prototyping as a Research Tool for MLS/DBMS. DBSec 1988: 63-84
6EEImran A. Zualkernan, Wei-Tek Tsai: Are knowledge representations the answer to requirement analysis? ICCL 1988: 437-443
5 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
4 C. V. Ramamoorthy, Jaideep Srivastava, Wei-Tek Tsai: A Distributed Clustering Algorithm for Large Computer Networks. ICDCS 1986: 613-620
1984
3 C. V. Ramamoorthy, Atul Prakash, Wei-Tek Tsai, Yutaka Usuda: Software Engineering: Problems and Perspectives. IEEE Computer 17(10): 191-209 (1984)
1982
2 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
1 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

Coauthor Index

1Vishal Agarwal [85] [91]
2Leon Alkalai [73]
3Xiaoying Bai [85] [87] [88] [89] [91] [92] [110] [145] [147] [152] [155]
4Farokh B. Bastani [129] [146] [153]
5Sourav Bhattacharya [24] [29] [36] [43] [44] [45] [49] [50] [51] [54] [55] [65] [71]
6Gary Bitter [151]
7Zhibin Cao [95] [99] [100] [109] [110] [128]
8Venkata U. B. Challagulla [146]
9Mark Chang [134]
10Daniel Y. Chao [32]
11Shyh-Kwei Chen [5] [8]
12Xiaoping Chen [58] [60] [65] [71]
13Yigang Chen [13] [22] [32] [77]
14Yinong Chen [107] [108] [110] [112] [115] [116] [117] [118] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [141] [142] [144] [145] [146] [147] [148] [151] [152] [155] [157]
15William Chu [144]
16Jen-Yao Chung [131] [138] [139]
17James X. Ci [67]
18Mariano Cilia [140]
19Charles J. Colbourn [115]
20John M. Covan [73]
21Guilan Dai [147]
22Larry J. Dalton [73]
23Madhu Datla [154]
24George Devaraj [85]
25Jing Dong [153]
26Siyi Terry Dong [1] [2]
27José M. Drake [25] [30] [38]
28Ding-Zhu Du [44]
29Ezra Ebner [82] [84]
30Lynn Elliott [47] [53] [61] [63]
31Gary Elsesser [29] [36] [44]
32Chun Fan [96] [104] [125] [131] [137]
33Mohamed Fayad (Mohamed E. Fayad, M. E. Fayad) [27] [39] [40] [46] [52] [57]
34Ke Feng [92]
35Barry Flahive [73]
36Milton L. Fulghum [39] [40] [57]
37S. L. Ganesh [1] [2]
38Jerry Zeyu Gao (Jerry Z. Gao, Jerry Gao) [135]
39Arif Ghafoor [153]
40Rick Harper [73]
41Louis J. Hawn [27] [46]
42Jackson He [134]
43K. Heisler [31]
44William Henry [140]
45Gang Huang [114]
46Hai Huang [59] [60] [65] [71] [79] [107] [108] [109] [110] [118] [119] [121] [122] [123] [127]
47Qian Huang [126] [130] [132] [136] [139] [141] [148] [149] [151] [156]
48Kuo-Wei Hwang [21]
49A. Jemie [25]
50C.-H. Jen [1] [2]
51Zhi Jin [143]
52Helen D. Karatza [149]
53Y. Kasho [31]
54Krishna Kavi [153]
55Thomas F. Keefe [10] [11] [14] [15] [19] [23] [33] [51] [62]
56Shekhar H. Kirani [28] [41] [42] [47] [48] [50]
57Matthew J. Koehler [66]
58H. J. Lee [30]
59Shufang Lee [152] [155]
60Yann-Hang Lee [128]
61Richard Lehrer [66]
62P. M. Perry Leung [20]
63Bing Li [87] [88] [94] [102] [106] [111]
64Jinbao Li [81]
65Albert C. Liang [43]
66Chungti Liang [5] [13] [24] [26]
67Ning Liao [107] [108]
68Jian Liu [77] [86]
69Xinxin Liu [120] [124]
70Michael R. Lowry [73]
71F. Lu [98]
72Yibiao Lu [66]
73Miroslaw Malek [129]
74Hong Mei [114]
75Ramin Mojdehbakhsh [17] [47] [53] [54] [55] [61] [63] [68] [73]
76Kinji Mori [73]
77Ricardo Morin [140]
78Satish K. Musukula [35]
79Yinghui Na [98]
80Viet N. Ngo [29] [36]
81Osamu Nishiguchi [9]
82Akira K. Onoma [64] [74] [97]
83Raymond A. Paul [73] [81] [85] [87] [88] [89] [91] [92] [95] [96] [98] [99] [100] [101] [104] [105] [107] [108] [109] [110] [112] [113] [116] [117] [118] [119] [123] [124] [125] [131] [132] [136] [137] [138] [139] [141] [144] [145] [146] [153]
84Mustafa H. Poonawala [60] [64] [67] [74]
85Atul Prakash [3] [16]
86C. V. Ramamoorthy [1] [2] [3] [4] [9] [16] [56]
87Sanjai Rayadurgam [58] [60] [68] [73] [75] [76] [81]
88Mark A. Roberts [27] [46]
89Michael Rowley [140]
90Akihiro Saimi [98] [99] [100] [101] [103]
91Jay W. Schooley [27] [46]
92Weiguang Shao [81] [82] [84] [91]
93Techeng Shen [88]
94Eugene Shragowitz [86]
95Weiwei Song [95] [100] [109]
96Jaideep Srivastava [4] [20] [21] [23] [33] [153]
97Satish Subramanian [42] [53] [59] [63] [64] [76]
98Hiroshi Suganuma [64] [74]
99Jianhua Sun [65] [71]
100Xin Sun [142] [148] [149] [151] [156]
101Tsutomu Syomura [64]
102Ann T. Tai [73]
103Jack S. Eddy Tan [21]
104D. J. Thomsen [7] [12]
105Bhavani M. Thuraisingham [7] [8] [10] [11] [12]
106Wei Kang Tsai [9]
107Yongzhong Tu [82] [83]
108Yutaka Usuda [3] [16]
109Ramakrishna V. Vishnuvajjala [53] [61] [63] [72] [80]
110Dmitry Volovik [15] [17]
111Dong Wang [96]
112Jau-Hwang Wang [21]
113Puwei Wang [143]
114Yamin Wang [58] [60] [65] [71] [72] [96]
115Yongbo Wang [147]
116Xiao Wei [112] [123] [133] [135] [138] [139] [150]
117I. C. Wen [25]
118Mary White [151]
119Victor L. Winter [73]
120Budan Wu [143]
121Yang Xiang [83]
122Bingnan Xiao [99] [112] [126] [128] [130] [132] [133] [134] [136] [144]
123W. W. Xie [38]
124Weiwen Xie [35] [77]
125Jingjing Xu [141] [154]
126Tsuneo Yamaura [97]
127I-Ling Yen [73] [153]
128Lian Yu [89] [92] [99] [100] [101] [103] [104] [105] [113]
129Dawei Zhang [107] [117] [121] [138]
130Du Zhang [80]
131Liang-Jie Zhang [102] [106]
132Xinyu Zhou [123] [133] [144] [145] [150] [157]
133Feng Zhu [75] [78] [104] [105] [113]
134Imran A. Zualkernan [6] [18] [25] [28] [30] [35] [37] [38] [48]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)