| 2008 |
|---|
| 157 | EE | Wei-Tek Tsai,
Xinyu Zhou,
Yinong Chen:
SOA Simulation and Verification by Event-Driven Policy Enforcement.
Annual Simulation Symposium 2008: 165-172 |
| 156 | EE | Wei-Tek Tsai,
Qian Huang,
Xin Sun:
A Collaborative Service-Oriented Simulation Framework with Microsoft Robotic Studio®.
Annual Simulation Symposium 2008: 263-270 |
| 155 | EE | Xiaoying 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 |
| 153 | EE | 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 |
| 152 | EE | Xiaoying Bai,
Shufang Lee,
Wei-Tek Tsai,
Yinong Chen:
Ontology-Based Test Modeling and Partition Testing of Web Services.
ICWS 2008: 465-472 |
| 151 | EE | 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 |
| 150 | EE | 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) |
| 149 | EE | 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) |
| 2007 |
|---|
| 148 | EE | Wei-Tek Tsai,
Qian Huang,
Xin Sun,
Yinong Chen:
Dynamic Collaboration Simulation in Service-Oriented Computing Paradigm.
Annual Simulation Symposium 2007: 41-48 |
| 147 | EE | 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 |
| 146 | EE | 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 |
| 145 | EE | 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 |
| 144 | EE | 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 |
| 143 | EE | Wei-Tek Tsai,
Zhi Jin,
Puwei Wang,
Budan Wu:
Requirement Engineering in Service-Oriented System Engineering.
ICEBE 2007: 661-668 |
| 142 | EE | Wei-Tek Tsai,
Yinong Chen,
Xin Sun:
Designing a Service-Oriented Computing Course for High Schools.
ICEBE 2007: 686-693 |
| 141 | EE | 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 |
| 140 | EE | Ricardo Morin,
Mariano Cilia,
William Henry,
Michael Rowley,
Wei-Tek Tsai:
Service Oriented Computing: Technology Trends and Research Directions.
SOCA 2007: 9 |
| 139 | EE | 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) |
| 138 | EE | 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) |
| 2006 |
|---|
| 137 | EE | Wei-Tek Tsai,
Chun Fan,
Yinong Chen,
Raymond A. Paul:
DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1.
Annual Simulation Symposium 2006: 160-167 |
| 136 | EE | Wei-Tek Tsai,
Bingnan Xiao,
Raymond A. Paul,
Qian Huang,
Yinong Chen:
Global Software Enterprise: A New Software Constructing Architecture.
CEC/EEE 2006: 55 |
| 135 | EE | Wei-Tek Tsai,
Jerry Gao,
Xiao Wei,
Yinong Chen:
Testability of Software in Service-Oriented Architecture.
COMPSAC (2) 2006: 163-170 |
| 134 | EE | Mark Chang,
Jackson He,
Wei-Tek Tsai,
Bingnan Xiao,
Yinong Chen:
UCSOA: User-Centric Service-Oriented Architecture.
ICEBE 2006: 248-255 |
| 133 | EE | 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 |
| 132 | EE | 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 |
| 131 | EE | Wei-Tek Tsai,
Chun Fan,
Yinong Chen,
Raymond A. Paul,
Jen-Yao Chung:
Architecture Classification for SOA-Based Applications.
ISORC 2006: 295-302 |
| 130 | EE | Wei-Tek Tsai,
Qian Huang,
Bingnan Xiao,
Yinong Chen:
Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture.
QSIC 2006: 313-320 |
| 129 | EE | Wei-Tek Tsai,
Miroslaw Malek,
Yinong Chen,
Farokh B. Bastani:
Perspectives on Service-Oriented Computing and Service-Oriented System Engineering.
SOSE 2006: 3-10 |
| 128 | EE | Wei-Tek Tsai,
Yann-Hang Lee,
Zhibin Cao,
Yinong Chen,
Bingnan Xiao:
RTSOA: Real-Time Service-Oriented Architecture.
SOSE 2006: 49-56 |
| 127 | EE | 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) |
| 126 | EE | 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) |
| 125 | EE | 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) |
| 2005 |
|---|
| 124 | EE | Wei-Tek Tsai,
Xinxin Liu,
Yinong Chen,
Raymond A. Paul:
Simulation Verification and Validation by Dynamic Policy Enforcement.
Annual Simulation Symposium 2005: 91-98 |
| 123 | EE | 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 |
| 122 | EE | Hai Huang,
Wei-Tek Tsai,
Yinong Chen:
Autonomous Hot Patching for Web-Based Applications.
COMPSAC (2) 2005: 51-56 |
| 121 | EE | 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 |
| 120 | EE | Wei-Tek Tsai,
Xinxin Liu,
Yinong Chen:
Distributed Policy Specification and Enforcement in Service-Oriented Business Systems.
ICEBE 2005: 10-17 |
| 119 | EE | Hai Huang,
Wei-Tek Tsai,
Raymond A. Paul:
Proof Slicing with Application to Model Checking Web Services.
ISORC 2005: 292-299 |
| 118 | EE | Hai Huang,
Wei-Tek Tsai,
Raymond A. Paul,
Yinong Chen:
Automated Model Checking and Testing for Composite Web Services.
ISORC 2005: 300-307 |
| 117 | EE | Wei-Tek Tsai,
Dawei Zhang,
Raymond A. Paul,
Yinong Chen:
Stochastic Voting Algorithms for Web Services Group Testing.
QSIC 2005: 99-108 |
| 116 | EE | 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 |
| 115 | EE | Charles J. Colbourn,
Yinong Chen,
Wei-Tek Tsai:
Progressive Ranking and Composition of Web Services Using Covering Arrays.
WORDS 2005: 179-185 |
| 114 | EE | Hong Mei,
Gang Huang,
Wei-Tek Tsai:
Towards Self-Healing Systems via Dependable Architecture and.
WORDS 2005: 337-346 |
| 113 | EE | Wei-Tek Tsai,
Lian Yu,
Feng Zhu,
Raymond A. Paul:
Rapid Embedded System Testing Using Verification Patterns.
IEEE Software 22(4): 68-75 (2005) |
| 112 | EE | 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) |
| 111 | EE | Bing Li,
Wei-Tek Tsai:
Ontology and Service Oriented Programming.
Int. J. Web Service Res. 2(3): 33-68 (2005) |
| 2004 |
|---|
| 110 | EE | 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 |
| 109 | EE | 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 |
| 108 | EE | 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 |
| 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 |
|---|
| 105 | EE | Wei-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 |
| 103 | EE | Wei-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 |
| 101 | EE | Wei-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 |
| 99 | EE | 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 |
|---|
| 98 | EE | 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 |
| 97 | EE | Tsuneo Yamaura,
Akira K. Onoma,
Wei-Tek Tsai:
Hypothesis Testing for Module Test in Software Development.
COMPSAC 2002: 829-834 |
| 96 | EE | Wei-Tek Tsai,
Raymond A. Paul,
Yamin Wang,
Chun Fan,
Dong Wang:
Extending WSDL to Facilitate Web Services Testing.
HASE 2002: 171-172 |
| 95 | EE | Wei-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 |
| 93 | EE | Wei-Tek Tsai:
OCL Goes Real-Time (Panel).
Symposium on Object-Oriented Real-Time Distributed Computing 2002: 421-422 |
| 92 | EE | Xiaoying Bai,
Wei-Tek Tsai,
Ke Feng,
Lian Yu,
Raymond A. Paul:
Scenario-Based Modeling And Its Applications.
WORDS 2002: 253-260 |
| 2001 |
|---|
| 91 | EE | Wei-Tek Tsai,
Xiaoying Bai,
Raymond A. Paul,
Weiguang Shao,
Vishal Agarwal:
End-To-End Integration Testing Design.
COMPSAC 2001: 166-171 |
| 90 | EE | Wei-Tek Tsai:
End-to-End Integration Testing.
COMPSAC 2001: 283-283 |
| 89 | EE | Raymond A. Paul,
Lian Yu,
Wei-Tek Tsai,
Xiaoying Bai:
Scenario-Based Functional Regression Testing.
COMPSAC 2001: 496- |
| 88 | EE | Xiaoying Bai,
Wei-Tek Tsai,
Techeng Shen,
Bing Li,
Raymond A. Paul:
Distributed End-to-End Testing Management.
EDOC 2001: 140-151 |
| 87 | EE | Raymond 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 |
|---|
| 85 | EE | 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 |
| 84 | EE | Ezra Ebner,
Weiguang Shao,
Wei-Tek Tsai:
The five-module framework for Internet application development.
ACM Comput. Surv. 32(1es): 40 (2000) |
| 1999 |
|---|
| 83 | EE | Yongzhong Tu,
Wei-Tek Tsai,
Yang Xiang:
Specifying Constraints with Message Sequence Specifications.
APSEC 1999: 368-375 |
| 82 | EE | Wei-Tek Tsai,
Yongzhong Tu,
Weiguang Shao,
Ezra Ebner:
Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates.
COMPSAC 1999: 166-171 |
| 81 | EE | Wei-Tek Tsai,
Weiguang Shao,
Sanjai Rayadurgam,
Jinbao Li,
Raymond A. Paul:
Assurance-Based Y2K Testing.
HASE 1999: 27-37 |
| 80 | EE | 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) |
| 79 | EE | Hai Huang,
Wei-Tek Tsai:
VSAM conversion for COBOL programs.
Journal of Software Maintenance 11(5): 311-337 (1999) |
| 1998 |
|---|
| 78 | EE | Feng 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 |
| 76 | EE | Satish Subramanian,
Sanjai Rayadurgam,
Wei-Tek Tsai:
Design for Constraint Violation Detection in Safety-Critical Systems.
HASE 1998: 109-116 |
| 75 | EE | Feng 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) |
| 72 | EE | 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) |
| 71 | EE | 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) |
| 1997 |
|---|
| 70 | EE | Wei-Tek Tsai:
Trends in software technology.
COMPSAC 1997: 173- |
| 69 | EE | Wei-Tek Tsai:
Application of data-centered approach to Year 2000 problem.
COMPSAC 1997: 287- |
| 68 | EE | Wei-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 |
|---|
| 65 | EE | Hai Huang,
Wei-Tek Tsai,
Sourav Bhattacharya,
Xiaoping Chen,
Yamin Wang,
Jianhua Sun:
Business Rule Extraction from Legacy Code.
COMPSAC 1996: 162-167 |
| 64 | EE | 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 |
| 63 | EE | Ramakrishna V. Vishnuvajjala,
Satish Subramanian,
Wei-Tek Tsai,
Ramin Mojdehbakhsh,
Lynn Elliott:
Flow analysis for concurrent, reactive, real-time systems.
HASE 1996: 176-183 |
| 62 | EE | Thomas F. Keefe,
Wei-Tek Tsai:
A multiversion transaction scheduler for centralized multilevel secure database systems.
HASE 1996: 206-213 |
| 61 | EE | Ramakrishna V. Vishnuvajjala,
Wei-Tek Tsai,
Ramin Mojdehbakhsh,
Lynn Elliott:
Specifying timing constraints in real-time object-oriented systems.
HASE 1996: 32-39 |
| 60 | EE | 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- |
| 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) |
| 55 | EE | 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) |
| 54 | EE | 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) |
| 1995 |
|---|
| 53 | EE | Satish 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 |
| 48 | EE | Shekhar H. Kirani,
Imran A. Zualkernan,
Wei-Tek Tsai:
Evaluation of Expert System Testing Methods.
Commun. ACM 37(11): 71-81 (1994) |
| 47 | EE | 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) |
| 46 | EE | 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) |
| 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 |
|---|
| 38 | EE | 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 |
| 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 |
| 34 | EE | Wei-Tek Tsai:
Guest Editor's Introduction.
IEEE Expert 8(1): 7- (1993) |
| 33 | EE | 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) |
| 32 | EE | 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) |
| 31 | EE | K. Heisler,
Y. Kasho,
Wei-Tek Tsai:
A reverse engineering model for C programs.
Inf. Sci. 68(1-2): 155-189 (1993) |
| 30 | EE | 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) |
| 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 |
| 27 | EE | 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 |
| 26 | EE | Chungti Liang,
Wei-Tek Tsai:
On the reconfigurability of embedded loops on hypercubes and its application.
Inf. Sci. 66(3): 191-224 (1992) |
| 25 | EE | 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) |
| 1991 |
|---|
| 24 | | Sourav Bhattacharya,
Chungti Liang,
Wei-Tek Tsai:
Inverted Memory.
ICPP (1) 1991: 682-683 |
| 1990 |
|---|
| 23 | EE | Thomas 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 |
| 16 | EE | C. V. Ramamoorthy,
Yutaka Usuda,
Atul Prakash,
Wei-Tek Tsai:
The Evolution Support Environment System.
IEEE Trans. Software Eng. 16(11): 1225-1234 (1990) |
| 15 | EE | 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) |
| 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 |
| 12 | EE | D. J. Thomsen,
Wei-Tek Tsai,
Bhavani M. Thuraisingham:
Prototyping to explore MLS/DBMS design.
Computers & Security 8(3): 229-245 (1989) |
| 11 | EE | Thomas 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) |
| 8 | EE | 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) |
| 1988 |
|---|
| 7 | | D. J. Thomsen,
Wei-Tek Tsai,
Bhavani M. Thuraisingham:
Prototyping as a Research Tool for MLS/DBMS.
DBSec 1988: 63-84 |
| 6 | EE | Imran 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 |
