 |
|
Publications 2006 |
| |
|
W. T. Tsai, J. Gao, X. Wei, and Y. Chen, “Testability of Software in Service-Oriented Architecture”, in QATWBA’06, workshop belonging to COMPSAC’06, Chicago, Illinois, September 2006. |
Paper |
Presentation |
| |
Journal |
W.T. Tsai, Y. Chen, C, Fan, PESOI: Process Embedded Service-Oriented Architecture, Journal of Software, June 2006, 17(6):1470−1484. |
Paper |
Presentation |
| |
|
W. T. Tsai, B. Xiao, R. Paul, Q. Huang, Y. Chen, "Global Software Enterprise: A New Software Constructing Architecture", in Proc. of 8th IEEE International Conference on E-Commerce Technology (CEC), San Francisco, CA, June 2006, pp. 390 - 393. |
Paper |
Presentation |
| |
|
ASU Workshop on Service-Oriented Architecture and Applications, Tempe, AZ, May 15 - 16, 2006. |
|
Presentation |
| |
|
Yinong Chen, "Service-Oriented Computing in Recomposable Embedded Systems", Joint IARP/IEEE-RAS/EURON/IFIP 10.4 Workshop on Dependability in Robotics and Autonomous Systems, Tucson, AZ, February 15-19, 2006. |
|
Presentation |
| |
|
W.T. Tsai, C. Fan, Y. Chen, R. Paul, DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework, to appear in Proceedings of 39th Annual Simulation Symposium (ANSS), April 2006, Huntsville, AL, USA |
Paper |
Presentation |
| |
|
W.T. Tsai, C. Fan, Y. Chen, R. Paul and J. Y. Chung, Architecture Classification for SOA-based Applications, Proc. of 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC), pp. 295-302, April, 2006, Gyeongju, Korea |
Paper |
Presentation |
| |
Journal |
W.T. Tsai, C. Fan, Y. Chen, R. Paul, A Service-Oriented Modeling and Simulation Framework for Rapid Development of Distributed Applications, to appear in Simulation Modeling Practice and Theory, Elsevier, 14 (2006), pp. 725-739 |
Paper |
Presentation |
| |
Chapter |
R. Paul , W. T. Tsai, Y. Chen, C. Fan, Z. Cao, and H. Huang, E2E Testing and Evaluation of High Assurance Systems, to appear in Springer Handbook of Engineering Statistics, edited by Hoang Pham, Springer-Verlag, London, 2006. |
Paper |
Presentation |
| |
|
W.T. Tsai, Bingnan Xiao, Raymond A. Paul, Yinong Chen, Consumer-Centric Service-Oriented Architecture: A New Approach, Proc. of IEEE 2006 International Workshop on Collaborative Computing, Integration, and Assurance(WCCIA), pp. 175-180, April 2006, Gyeongju, Korea |
Paper |
Presentation |
| |
|
X. Bai, G. Dai, D Xu, and W. T. Tsai, "A Multi-Agent Based Framework for Collaborative Testing on Web Services", Proc. of IEEE 2006 International Workshop on Collaborative Computing, Integration, and Assurance (WCCIA), pp. 205-210,April 2006, Gyeongju, Korea |
Paper |
Presentation |
| |
|
H. Huang and R. A. Mason, "Model Checking Technologies for Web Services", Proc. of IEEE 2006 International Workshop on Collaborative Computing, Integration, and Assurance (WCCIA), pp. 217-222, April 2006, Gyeongju, Korea |
Paper |
Presentation |
| |
|
Z. Du, Y. Chen, L. Wu and S. Zhu, "Automatically Building Service Evaluation Metadata in a Grid Environment", Proc. of IEEE 2006 International Workshop on Collaborative Computing, Integration, and Assurance (WCCIA), pp. 225-230, April 2006, Gyeongju, Korea |
Paper |
Presentation | |
|
|
|
Publications 2005 |
| |
Report |
Y. Chen, C. Angderson, R. Mears, E. Mesa, "Web Service Composition and Demonstration for TestPro", Technical Report, Computer Science and Engineering Department, Arizona State University, December 2005, pp.1-29. |
Paper |
|
| |
Journal |
W.T. Tsai, X. Wei, Y. Chen, R. Paul, B. Xiao, Swiss Cheese Test Case Generation for Web Service Testing,
IEICE Transactions on Information and Systems, Vol. E88-D, No. 12, December 2005, pp. 2691 - 2698. |
Paper |
Presentation |
| |
Editor |
W.T. Tsai, M. H. Hamza (editors), the Proceedings of the 9th International Conference on Software Engineering and Applications (SEA), November 2005, Anaheim, ACTA Press. |
Paper |
Presentation |
| |
Tutorial |
Y. Chen, Service-Oriented Computing: Architecture, Programming, and Applications, The 9th International Conference on Software Engineering and Applications (SEA), November 2005. |
|
Presentation |
| |
|
W.T. Tsai, Ray A. Paul, Bingnan Xiao, Zhibin Cao, Yinong Chen, "PSML-S: A Process Specification and Modeling Language for Service Oriented Computing", The 9th IASTED International Conference on Software Engineering and Applications (SEA), Phoenix, November 2005, pp. 160-167. |
Paper |
Presentation |
|
|
|
Wei-Tek Tsai, X. Liu, Y. Chen "Distributed Policy Specification and Enforcement in Service-Oriented Business Systems," IEEE International Conference on e-Business Engineering (ICEBE), Beijing, October 2005, pp. 10 - 17. |
Paper |
Presentation |
| |
|
Wei-Tek Tsai, "Service-Oriented System Engineering: A New Paradigm," IEEE International Workshop on Service-Oriented System Engineering (SOSE), Beijing October 2005, pp. 3 - 8. |
Paper |
Presentation |
| |
|
W. T. Tsai, X. Wei, Y. Chen, "A Robust Testing Framework for Verifying Web Services by Completeness and Consistency Analysis," IEEE International Workshop on Service-Oriented System Engineering (SOSE), Beijing October 2005, pp.151-158. |
Paper |
Presentation |
| |
|
X. Bai, W. Dong, W.T. Tsai, Y. Chen, "WSDL-Based Automatic Test Case Generation for Web Services Testing," IEEE International Workshop on Service-Oriented System Engineering (SOSE), Beijing October 2005, 207-212. |
Paper |
Presentation |
| |
|
W.T Tsai, X. Bai, Y. Chen, X. Zhou, "Web Service Group Testing with Windowing Mechanisms," IEEE International Workshop on Service-Oriented System Engineering (SOSE), Beijing October 2005, 213-218. |
Paper |
Presentation |
| |
|
T. Gao, H. Ma, I-L. Yen, F. Bastani, W.T. Tsai, "Toward QoS Analysis of Adaptive Service-Oriented Architecture," IEEE International Workshop on Service-Oriented System Engineering (SOSE), Beijing October 2005, pp. 219 - 226. |
Paper |
Presentation |
| |
|
W.T. Tsai, D. Zhang, R. Paul, Y. Chen, "Stochastic Voting Algorithms for Web Services Group Testing", 5th International Conference on Quality Software (QSIC), Melbourne, September 2005, pp. 99- 106. |
Paper |
Presentation |
|
|
Journal |
W. T. Tsai, L. Yu, F. Zhu, and R. Paul, Rapid Embedded System Testing Using Verification Patterns, IEEE Software, Vol. 22, No. 4, July/August 2005, pp. 68 - 75. |
Paper |
Presentation |
|
|
Chapter |
W. T. Tsai, R. Paul, L. Yu and X. Wei, “Rapid Pattern-Oriented Scenario-Based Testing for Embedded Systems,” in Software Evolution with UML and XML, edited by H. Yang, Idea Group Publishing, London, 2005, pp. 222-262. |
Paper |
Presentation |
|
|
|
H. Huang, W. T. Tsai and Y. Chen. “Autonomous Hot Patching for Web-Based Applications”, 2nd International Workshop on Quality Assurance and Testing of Web-Based Applications(QATWBA), in conjunction with COMPSAC 2005, Edinburgh, Scotland, July 25-28, 2005, pp. 51-56. |
Paper |
Presentation |
|
|
|
W. T. Tsai, Y. Chen, R. Paul, H. Huang, X. Zhou and X. Wei, "Adaptive Testing, Oracle Generation, and Test Script Ranking for Web Services," in 29th Annual International Computer Software and Applications Conference (COMPSAC), Edinburgh, Scotland, July 25-28, 2005, pp. 101-106. |
Paper |
Presentation |
|
|
|
W. T. Tsai, R. Paul, H. Huang, B. Xiao and Y. Chen, "Semantic Interoperability and its Verification & Validation in C2 Systems," 10th International Command and Control Research and Technology Symposium (ICCRTS), McLean, Virginia, June 2005. |
Paper |
Presentation |
|
|
|
R. Paul, W. T. Tsai and J. Bayne, The Impact of SOA Policy-Based Computing on C2 Interoperation and Computing, 10th International Command and Control Research and Technology Symposium (ICCRTS), McLean, Virginia, June 2005. |
Paper |
Presentation |
|
|
|
W. T. Tsai, Y. Chen, D. Zhang and H. Huang, "Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing," 4th International Workshop on Assurance in Distributed Systems and Networks (ADSN), in conjunction with ICDCS-25, Columbus, June 2005, pp. 65 - 71. |
Paper |
Presentation |
|
|
|
H. Huang, W. T. Tsai, R. Paul and Y. Chen, "Automated Model Checking and Testing for Composite Web Services", 8th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Seattle, May 2005, 300-307. |
Paper |
Presentation |
|
|
|
H. Huang, W. T. Tsai and R. Paul, "Proof Slicing with Application to Model Checking Web Services", 8th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Seattle, May 2005, pp. 292-299. |
Paper |
Presentation |
|
|
Journal |
Y. Chen, H. Huang, W.T. Tsai, "Scheduling Simulation in a Distributed Wireless Embedded System", SIMULATION: Transactions of the Society for Modeling and Simulation International, Vol. 81, Issue 6, June 2005, pp. 425-436. |
Paper |
Presentation |
|
|
|
W. T. Tsai, X. Liu, Y. Chen and R. Paul, "Simulation Verification and Validation by Dynamic Policy Enforcement," 38th Annual Simulation Symposium, San Diego , CA , April 2005, pp. 91 - 98. |
Paper |
Presentation |
|
|
|
W. T. Tsai, X. Wei, Y. Chen, B. Xiao, R. Paul and H. Huang, "Developing and Assuring Trustworthy Web Services," in Proceedings of 7th International Symposium on Autonomous Decentralized Systems (ISADS), Chengdu, China, April 4 - 8, 2005, pp.43-50. |
Paper |
Presentation |
|
|
|
W. T. Tsai, Z. Cao, Y. Chen and R. Paul, "Web Services-based Collaborative and Cooperative Computing," WCCIA 2005, in Proceedings of 7th International Symposium on Autonomous Decentralized Systems, Chengdu, April 2005, pp. 552-556. |
Paper |
Presentation |
|
|
|
W. T. Tsai, Y. Chen and R. Paul, "Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems", Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 05), Sedona, February 2005, pp. 139 - 147. |
Paper |
Presentation |
|
|
|
C. J. Colbourn, Y. Chen and W. T. Tsai, "Progressive Ranking and Composition of Web Services Using Covering Arrays," Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 05), Sedona, February 2005, pp. 179 - 185. |
Paper |
Presentation |
|
|
|
H. Mei, G. Huang and W. T. Tsai, "Towards Self-Healing Systems via Dependable Architecture and Reflective Middleware," Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 05), Sedona, February 2005, pp. 337 - 344. |
Paper |
Presentation | |
|
|
|
Publications 2004 |
|
|
|
W. T. Tsai, Y. Chen, Z. Cao, X. Bai, H. Huang, R. Paul, Testing Web Services Using Progressive Group Testing, Advanced Workshop on Content Computing, Zhenjiang, China, November 2004, pp.314-322 . |
Paper |
Presentation |
|
|
|
W. T. Tsai, D. Zhang, Y. Chen, H. Huang, R. Paul, N. Liao, A Software Reliability Model for Web Services, the 8th IASTED International Conference on Software Engineering and Applications, Cambridge, MA, November 2004, 144-149. |
Paper |
Presentation |
|
|
|
W. T. Tsai, C. Fan, Z. Cao, B. Xiao, H. Huang, X. Liu, X. Wei, R. Paul, Y. Chen, and J. Xu, A Scenario-Based Service-Oriented Rapid Multi-Agent Distributed Modeling and Simulation Framework for SoS/SOA and Its Applications, Foundations 04: A Workshop for VV&A in the 21st Century, Tempe, October 2004, http://www.scs.org/confernc/foundations/foundations04.htm . |
Paper |
Presentation |
|
|
|
W. T. Tsai, Weiwei Song, Ray Paul, Zhibin Cao, Hai Huang, Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing, COMPSAC 2004 , September 28-30, 2004, Hong Kong, pp.554-559. |
Paper |
Presentation |
|
|
|
W.T. Tsai, Y. Chen, R. Paul, N. Liao, and H. Huang, Cooperative and Group Testing in Verification of Dynamic Composite Web Services, Workshop on Quality Assurance and Testing of Web-Based Applications, in conjunction with COMPSAC, Hong Kong, September 2004, pp.170-173. |
Paper |
Presentation |
|
|
Journal |
Y. Chen, Z. He, Bounds on the Reliability of Distributed Systems with Unreliable Nodes & links, IEEE Transaction on Reliability, Volume 53, No. 2, June 2004, pp.205-215. |
Paper |
Presentation |
|
|
|
Y. Chen, A Service Scheduler in a Trustworthy System, in proceedings of the 37th Annual Simulation Symposium, Arlington VA, April 2004, pp. 89-96. |
Paper |
Presentation | |
|
|
|
Publications 2003 |
|
|
|
W. T. Tsai, R. Paul, and L. Yu, A. Saimi, and Z. Cao,Scenario-Based Web Service Testing with Distributed Agents, IEICE Transaction on Information and System, 2003, v.E86-D, no.10, pp.2130-2144. |
Paper |
Presentation |
|
|
|
W. T. Tsai, L. Yu, R. Paul, C. Fan, X. Liu, Z. Cao, Rapid Scenario-Based Simulation and Model Checking for Embedded Systems,Proc. of 7th IASTED International Conference on Software Engineering and Applications, 2003, (SEA2003). |
Paper |
Presentation |
|
|
|
R. Paul, W. T. Tsai, and L. Yu, Rapid and Adaptive End-to-End Test and Evaluation of Systems of Systems, accepted to publish by STC, May,2003 |
Paper |
Presentation |
|
|
|
W. T. Tsai, L. Yu, R. Paul, A. Saimi, W. Song, Z. Cao, Scenario-based System Development for Manufacturing Process Control, Proc. of International Conference on Software Engineering Research and Practice, 2003, (SERP2003), pp. 978-984 |
Paper |
Presentation |
|
|
|
W. T. Tsai, R. Paul, Z. Cao, L. Yu, A. Saimi, and B. Xiao, Verification of Web Services Using an Enhanced UDDI Server, Proc. of IEEE WORDS, 2003, pp. 131-138. |
Paper |
Presentation |
|
|
|
W. T. Tsai, A. Saimi, L. Yu, R. Paul, Scenario-based Object-Oriented Test Frameworks, Proc. of 2003 Third International Conference on Quality Software (QSIC03), pp. 410-417. |
Paper |
Presentation |
|
|
|
W.T. Tsai, C. Fan, R. Paul, and L. Yu, Automated Event Tree Analysis from Scenario Specifications, Proc. of IEEE ISSRE, 2003, pp.240-241 |
Paper |
Presentation |
|
|
|
W.T. Tsai, Lian Yu, Feng Zhu, Ray J. Paul: Rapid Verification of Embedded Systems Using Patterns. COMPSAC 2003: 466-471 |
Paper |
Presentation |
|
|
|
W.T. Tsai, Feng Zhu, Lian Yu, Ray J. Paul, C. Fan: Verification Patterns for Rapid Embedded System Verification. Embedded Systems and Applications 2003: 310-316 |
Paper |
Presentation |
|
|
|
W.T. Tsai, Lian Yu, Akihiro Saimi: Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems. FTDCS 2003: 288-294 |
Paper |
Presentation |
|
|
|
Bing Li, W.T. Tsai, Liang-Jie Zhang: A Semantic Framework for Distributed Applications. ICEIS (4) 2003: 34-41 |
Paper |
Presentation |
|
|
|
W.T. Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul: Scenario-based Object-Oriented Testing Framework. QSIC 2003: 410- |
Paper |
Presentation |
|
|
|
W.T. 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 |
Paper |
Presentation |
|
|
|
Y. Chen, Z. He, The Simulation of a Highly Dependable Distributed Computing Environment, Simulation, Transactions of the Society for Modeling and Simulation International, Vol.79, No. 5 - 6, May ¨C June, 2003, pp.316 ¨C 327. |
Paper |
Presentation |
|
|
|
Y. Chen, Z. He, Simulating Highly Dependable Applications in a Distributed Computing Environment, in the proceedings of the 36th Annual Simulation Symposium 2003, Orlando, Florida, April 2003, pp. 101 - 108. |
Paper |
Presentation | |
|
|
|
Publications 2002 |
|
|
|
W.T. 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 |
Paper |
Presentation |
|
|
|
Tsuneo Yamaura, Akira K. Onoma, W.T. Tsai: Hypothesis Testing for Module Test in Software Development. COMPSAC 2002: 829-834 |
Paper |
Presentation |
|
|
|
W.T. Tsai, Ray J. Paul, Yamin Wang, Chun Fan, Dong Wang: Extending WSDL to Facilitate Web Services Testing. HASE 2002: 171-172 |
Paper |
Presentation |
|
|
|
W.T. Tsai, Ray J. Paul, Weiwei Song, Zhibin Cao: Coyote: An XML-Based Framework for Web Services Testing. HASE 2002: 173-176 |
Paper |
Presentation |
|
|
|
Bing Li, W.T. Tsai: 3 Tier Transparent Web Application Developing Approach. International Conference on Internet Computing 2002: 519-528 |
Paper |
Presentation |
|
|
|
W.T. Tsai: OCL Goes Real-Time (Panel). Symposium on Object-Oriented Real-Time Distributed Computing 2002: 421-422 |
Paper |
Presentation |
|
|
|
Z. He, Y. Tian, Y. Chen, Simulating the Reliability of Distributed Systems with Unreliable Nodes, International Journal of Simulation, Systems, Science & Technology, Special Issue on Modeling & Simulation of Parallel & Distributed Systems, Vol. 3, No. 1-2, June 2002, pp. 68 - 79 |
Paper |
Presentation |
|
|
|
Y. Chen and Z. He, Developing Highly Dependable Applications in A Distributed System Environment, invited paper, in the proceedings of the IEEE 2nd International Workshop on Autonomous Decentralized System (IWADS2002), Beijing, China, November 2002, pp.28 - 33. |
Paper |
Presentation | |
|
|
|
Publications 2001 |
|
|
|
W.T. Tsai, Xiaoying Bai, Ray J. Paul, Weiguang Shao, Vishal Agarwal: End-To-End Integration Testing Design. COMPSAC 2001: 166-171 |
Paper |
Presentation |
|
|
|
W.T. Tsai: End-to-End Integration Testing. COMPSAC 2001: 283-283 |
Paper |
Presentation |
|
|
|
W.T. Tsai, Xiaoying Bai, Ray J. Paul, Lian Yu: Scenario-Based Functional Regression Testing. COMPSAC 2001: 496- |
Paper |
Presentation |
|
|
|
Xiaoying Bai, W.T. Tsai, Techeng Shen, Bing Li, Ray J. Paul: Distributed End-to-End Testing Management. EDOC 2001: 140-151 |
Paper |
Presentation |
|
|
|
Ray J. Paul, W.T. Tsai, Bing Li, Xiaoying Bai: XML-based E2E Test Report Management. ER 2001: 607-608 |
Paper |
Presentation |
|
|
|
Jian Liu, Eugene Shragowitz, W.T. 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) |
Paper |
Presentation |
|
|
|
Y. Chen, R. Mateer, Performance Simulation of a Dependable Distributed System, Simulation, Special Issue on Modeling and Simulation Applications in Scheduling Multiprocessor Systems, Simulation Councils Inc., Vol.77, No.5-6, November/December 2001, pp.230-237. |
Paper |
Presentation |
|
|
|
Autonomous Decentralized Systems, IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance, IEICE Transactions on Information & Systems, Vol. E84-D, No. 10, October 2001, pp.1360-1367. |
Paper |
Presentation |
|
|
|
Y. Chen and Z. He, Dependability Modeling of Homogeneous and Heterogeneous Distributed Systems, in the proceedings of the fifth International Symposium on Autonomous Decentralized System (ISADS2001), Dallas, USA, March 2001, pp.176-183. |
Paper |
Presentation |
|
|
|
Z. He and Y. Chen, A New Approach for Bounding Network Reliability, in the proceedings of the IX Brazilian Symposium on Fault-Tolerant Computing (IX SCTF), Florianopolis, Brazil, March 2001, pp.150-163. |
Paper |
Presentation | |
|
|
|
Publications before 2000 |
|
2000 |
|
|
|
Ezra Ebner, Weiguang Shao, W.T. Tsai: The five-module framework for Internet application development. ACM Comput. Surv. 32(1es): 40 (2000) |
Paper |
Presentation |
|
|
|
W.T. Tsai, X. Bai, B. Huang, G. Devaraj, and R. Paul, Automatic Test Case Generation for GUI Navigation., in The Thirteenth International Software & Internet Quality Week, 2000. |
Paper |
Presentation |
|
|
|
Yongzhong Tu, W.T. Tsai, Baisu Huang, Raymond Paul, AN APPROACH TO TESTING COMPONENT-BASED SOFTWARE, 13th International Software/Internet Quality Week, San Francisco, California, May30-June2,2000 |
Paper |
Presentation |
|
|
|
Y. Chen, Operating Systems for Safety-Critical Applications, Elektron: the Journal of the South African IEE, January 2000, , pp. 47-48. |
Paper |
Presentation |
|
|
|
Y. Chen and Z. He, Task-oriented Modeling Autonomous Decentralized Systems, IEEE International workshop on autonomous decentralized systems (IWADS2000), Chengdu, September 2000, pp. 172 ¨C 179. |
Paper |
Presentation |
|
|
|
Y. Chen and Z. He, Evaluating a Dependable Distributed System with Multiple Critical Tasks, in Proc. The 1st IEEE Workshop on Distributed Computing, Communication and Applications, Islamabad , May 8 10 2000. |
Paper |
Presentation |
|
|
|
Z. He and Y. Chen Efficient Algorithms for Residual Connectivity Reliability of Distributed Systems, in Proc. The 1st IEEE Workshop on Distributed Computing, Communication and Applications, Islamabad , May 8 10 2000. |
Paper |
Presentation |
|
1999 |
|
|
|
Yongzhong Tu, W.T. Tsai, Yang Xiang: Specifying Constraints with Message Sequence Specifications. APSEC 1999: 368-375 |
Paper |
Presentation |
|
|
|
W.T. Tsai, Yongzhong Tu, Weiguang Shao, Ezra Ebner: Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates. COMPSAC 1999: 166-171 |
Paper |
Presentation |
|
|
|
W.T. Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul: Assurance-Based Y2K Testing. HASE 1999: 27-37 |
Paper |
Presentation |
|
|
|
W.T. Tsai, Ramakrishna V. Vishnuvajjala, Du Zhang: Verification and Validation of Knowledge-Based Systems. IEEE Trans. Knowl. Data Eng. 11(1): 202-212 (1999) |
Paper |
Presentation |
|
|
|
Y. Chen, How to Properly Test Y2K Compliance, Elektron: the Journal of the South African IEE, Y2K supplement, August 1999. pp.9-10. |
Paper |
Presentation |
|
|
|
Y. Chen, Autonomous Decentralized Systems and their Applications, Elektron: Journal of South African IEE, May 1999, p.53-55. Abstract, postscript Y. |
Paper |
Presentation |
|
|
|
Chen, Dependable Computing a Necessity in the Automotive Industry, Elektron: Journal of South African IEE, Feb 1999, p.55. |
Paper |
Presentation |
|
|
|
Y. Chen, V. Galpin, S. Hazelhurst, R. Mateer, C. Mueller, Modelling software Development of a Decentralized Virtual Service Redirector for Internet Applications, in Proc. the 7th IEEE Workshop on Future Trends of Distributed Computing Systems, Cape Town, December 1999, pp.235 - 241. |
Paper |
Presentation |
|
1998 |
|
|
|
Feng Zhu, W.T. Tsai: Framework-Oriented Analysis. COMPSAC 1998: 324-329 |
Paper |
Presentation |
|
|
|
Satish Subramanian, Sanjai Rayadurgam, W.T. Tsai: Design for Constraint Violation Detection in Safety-Critical Systems. HASE 1998: 109-116 |
Paper |
Presentation |
|
|
|
Feng Zhu, Sanjai Rayadurgam, W.T. Tsai: Automating Regression Testing for Real-Time Software in a Distributed Environment. ISORC 1998: 373-382 |
Paper |
Presentation |
|
|
|
Akira K. Onoma, W.T. Tsai, Mustafa H. Poonawala, Hiroshi Suganuma: Regression Testing in an Industrial Environment. Commun. ACM 41(5): 81-86 (1998) |
Paper |
Presentation |
|
|
|
I-Ling Yen, Raymond Paul, Victor L. Winter, John M. Covan, Larry J. Dalton, Leon Alkalai, Ann T. Tai, Rick Harper, Barry Flahive, W.T. Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry: Key Applications for High-Assurance Systems. IEEE Computer 31(4): 35-45 (1998) |
Paper |
Presentation |
|
|
|
Yamin Wang, Ramakrishna V. Vishnuvajjala, W.T. Tsai: Sequence Specification for Concurrent Object-Oriented Applications. International Journal of Software Engineering and Knowledge Engineering 8(3): 361-383 (1998) |
Paper |
Presentation |
|
|
|
Y. Chen, Modeling Software Operational Reliability under Partition Testing, IEEE 28th Annual International Symposium on Fault-Tolerant Computing (FTCS-28), Munich, June 1998, pp.314 - 323. |
Paper |
Presentation |
|
|
|
Y. Chen, A Redundant Virtual Service Redirector for Computer Networks, IEEE 28th Annual International Symposium on Fault-Tolerant Computing (FTCS-28), Munich , June 1998. |
Paper |
Presentation |
|
|
|
Y. Chen, Modeling Software Operational Reliability via Input Domain-Based Reliability Growth Model, IEEE 28th Annual International Symposium on Fault-Tolerant Computing (FTCS-28), Munich , June 1998. |
Paper |
Presentation |
|
|
|
Y. Chen, On Development of a Dependable Distributed system, in Proc. of the 1998 IFIP International Workshop on Dependable Computing and its Applications, Johannesburg , January 1998, pp. 83 - 96. |
Paper |
Presentation |
|
1997 |
|
|
|
W.T. Tsai: Trends in software technology. COMPSAC 1997: 173- |
Paper |
Presentation |
|
|
|
W.T. Tsai: Application of data-centered approach to Year 2000 problem. COMPSAC 1997: 287- |
Paper |
Presentation |
|
|
|
W.T. Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam: Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. HASE 1997: 32- |
Paper |
Presentation |
|
|
|
James X. Ci, Mustafa H. Poonawala, W.T. Tsai: ScmEngine: A Distributed Software Management Environment on X.500. SCM 1997: 108-127 |
Paper |
Presentation |
|
|
|
M. Poonawala, S. Subramanian, R. Vishnuvajjala, W. T. Tsai, R. Mojdehbakhsh, and L. Elliott, "Testing Safety-Critical Systems -- A Reuse-Oriented Approach", Proceedings of 9th International Conference on SEKE, 1997, pp. 271-278. |
Paper |
Presentation |
|
|
|
Yibiao Lu, Matthew J. Koehler, Richard Lehrer, W.T. Tsai: A Framework for Developing Web-Based Educational Applications: Using a Relational Database to Connect the Design of Authoring and Navigational Tools. WebNet 1997 |
Paper |
Presentation |
|
1996 |
|
|
|
Hai Huang, W.T. Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, J. Sun: Business Rule Extraction from Legacy Code. COMPSAC 1996: 162-167 |
Paper |
Presentation |
|
|
|
Akira K. Onoma, Hiroshi Suganuma, Mustafa H. Poonawala, Satish Subramanian, W.T. Tsai, Tsutomu Syomura: Opusdei-Integrated Environment for Software Development and Maintenance. COMPSAC 1996: 516-521 |
Paper |
Presentation |
|
|
|
Ramakrishna V. Vishnuvajjala, Satish Subramanian, W.T. Tsai, Ramin Mojdehbakhsh, Lynn Elliot: Flow analysis for concurrent, reactive, real-time systems. HASE 1996: 176-183 |
Paper |
Presentation |
|
|
|
Ramakrishna V. Vishnuvajjala, W.T. Tsai, Ramin Mojdehbakhsh, Lynn Elliott: Specifying timing constraints in real-time object-oriented systems. HASE 1996: 32-39 |
Paper |
Presentation |
|
|
|
Xiaoping Chen, W.T. Tsai, Hai Huang, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang: Omega - an integrated environment for C++ program maintenance. ICSM 1996: 114- |
Paper |
Presentation |
|
|
|
H. Huang, W.T. Tsai, Satish Subramanian: Generalized Program Slicing for Software Maintenance. SEKE 1996: 261-268 |
Paper |
Presentation |
|
|
|
Yamin Wang, W.T. Tsai, Xiaoping Chen, Sanjai Rayadurgam: The Role of Program Slicing in Ripple Effect Analysis. SEKE 1996: 369-376 |
Paper |
Presentation |
|
|
|
Mohamed Fayad, W.T. Tsai, Milton L. Fulghum: Transition To Object-Oriented Software Development. Commun. ACM 39(2): 108-121 (1996) |
Paper |
Presentation |
|
|
|
C. V. Ramamoorthy, W.T. Tsai: Advances in Software Engineering. IEEE Computer 29(10): 47-58 (1996) |
Paper |
Presentation |
|
|
|
Y. Chen, J. Arlat, An Input Domain-Based Software Reliability Growth Model under Partition Testing with Fault Corrections, in Proc. 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP'96), Vienna, October 1996, Spinger, pp.136-145. |
Paper |
Presentation |
|
1995 |
|
|
|
Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, W.T. Tsai, Lynn Elliott: A Framework for Designing Safe Software Systems. COMPSAC 1995: 409-415 |
Paper |
Presentation |
|
|
|
Mohamed Fayad, W.T. Tsai: Object-Oriented Experiences: Introduction to the Special Section. Commun. ACM 38(10): 50-53 (1995) |
Paper |
Presentation |
|
|
|
Sourav Bhattacharya, Thomas F. Keefe, W.T. Tsai: Covert Channel Secure Hypercube Message Communication. J. Parallel Distrib. Comput. 26(2): 233-247 (1995) |
Paper |
Presentation |
|
|
|
Sourav Bhattacharya, Shekhar H. Kirani, W.T. Tsai: Quadtree Layouts and I/O Bandwidth. Parallel Processing Letters 5: 231-240 (1995) |
Paper |
Presentation |
|
|
|
Y. Chen, J. Arlat, Comparing Software Testing Strategies Using Reliability Growth, in R. Mittal, et al (ed), Fault-Tolerant Systems and Software, Narosa Publishing House, Madras, December 1995, pp. 48 - 54. |
Paper |
Presentation |
|
1994 |
|
|
|
Sourav Bhattacharya, W.T. Tsai: Lookahead Processor Allocation in Mesh-Connected Massively Parallel Multicomputer. IPPS 1994: 868-875 |
Paper |
Presentation |
|
|
|
Shekhar H. Kirani, Imran A. Zualkernan, W.T. Tsai: Ecaluation of Expert System Testing Methods. Commun. ACM 37(11): 71-81 (1994) |
Paper |
Presentation |
|
|
|
Ramin Mojdehbakhsh, W.T. Tsai, Shekhar H. Kirani, Lynn Elliott: Retrofitting Software Safety in an Implantable Medical Device. IEEE Software 11(1): 41-50 (1994) |
Paper |
Presentation |
|
|
|
Mohamed Fayad, W.T. Tsai, Mark A. Roberts, Louis J. Hawn, Jay W. Schooley: Adapting an Object-Oriented Development Method. IEEE Software 11(3): 68-76 (1994) |
Paper |
Presentation |
|
|
|
Sourav Bhattacharya, W.T. Tsai: Recursive Binary Tree Layout Mixing. Inf. Sci. 77(1-2): 39-49 (1994) |
Paper |
Presentation |
|
|
|
Sourav Bhattacharya, Gary Elsesser, W.T. Tsai, Ding-Zhu Du: Multicasting in Generalized Multistage Interconnection Networks. J. Parallel Distrib. Comput. 22(1): 80-95 (1994) |
Paper |
Presentation |
|
|
|
Albert C. Liang, Sourav Bhattacharya, W.T. Tsai: Fault-Tolerant Multicasting on Hypercubes. J. Parallel Distrib. Comput. 23(3): 418-428 (1994) |
Paper |
Presentation |
|
|
|
Satish Subramanian, W.T. Tsai, Shekhar H. Kirani: Hierarchical Data Flow Analysis for O-O Programs. JOOP 7(2): 36-46 (1994) |
Paper |
Presentation |
|
|
|
Shekhar H. Kirani, W.T. Tsai: Method Sequence Specification and Verification of Classes. JOOP 7(6): 28-38 (1994) |
Paper |
Presentation |
|
|
|
Mohamed Fayad, Milton L. Fulghum, W.T. Tsai: Object-oriented real-time system analysis and design issues. OOPS Messenger 5(2): 83-84 (1994) |
Paper |
Presentation |
|
|
|
Mohamed Fayad, Milton L. Fulghum, W.T. Tsai: Object-oriented real-time systems analysis and design issues. OOPS Messenger 5(4): 105-109 (1994) |
Paper |
Presentation |
|
|
|
Y. Chen, W. Goerke, Structure-Oriented Dependability Evaluation of Fault-Tolerant Protocols, the Journal of Systems and Software, ELSEVIER Science Publishing Co., Inc., Vol. 25, No. 1, April 1994, pp 85-99. |
Paper |
Presentation |
|
1993 |
|
|
|
Jos¨¦ M. Drake, W. W. Xie, W.T. Tsai, Imran A. Zualkernan: Approach and Case Study of Requirement Analysis Where End Users Take an Active Role. ICSE 1993: 177-186 |
Paper |
Presentation |
|
|
|
W.T. Tsai, Imran A. Zualkernan: Quality of Heuristic Programs (Panel). ICTAI 1993: 4 |
Paper |
Presentation |
|
|
|
Gary Elsesser, Viet N. Ngo, Sourav Bhattacharya, W.T. Tsai: Load Balancing of DOALL Loops in the Perfect Club. IPPS 1993: 129-133 |
Paper |
Presentation |
|
|
|
W.T. Tsai: Guest Editor's Introduction. IEEE Expert 8(1): 7- (1993) |
Paper |
Presentation |
|
|
|
K. Heisler, Y. Kasho, W.T. Tsai: A reverse engineering model for C programs. Inf. Sci. 68(1-2): 155-189 (1993) |
Paper |
Presentation |
|
|
|
Y. Chen, W. Buecken, K. Echtle: Efficient Algorithms for System Diagnosis with both Processor and Comparator Faults, IEEE Transactions on Parallel and Distributed Systems, Vol.4, No.4, April 1993, pp. 371 - 381. |
Paper |
Presentation |
|
1992 |
|
|
|
Viet N. Ngo, Gary Elsesser, Sourav Bhattacharya, W.T. Tsai: Array Covering: A Technique4 for Enabling Lloop Parallelization. ICPP (2) 1992: 302-305 |
Paper |
Presentation |
|
|
|
Shekhar H. Kirani, Imran A. Zualkernan, W.T. Tsai: Comparative Evaluation of Expert System Testing Methods. ICTAI 1992: 334-341 |
Paper |
Presentation |
|
|
|
Mohamed Fayad, Louis J. Hawn, Mark A. Roberts, Jay W. Schooley, W.T. Tsai: Hardware-In-the-Loop (HIL) Simulation: An Application of Colbert's Object-Oriented Software Development Method. TRI-Ada 1992: 176-188 |
Paper |
Presentation |
|
|
|
Chungti Liang, W.T. Tsai: On the reconfigurability of embedded loops on hypercubes and its application. Inf. Sci. 66(3): 191-224 (1992) |
Paper |
Presentation |
|
1991 |
|
|
|
Sourav Bhattacharya, C. T. Liang, W.T. Tsai: Inverted Memory. ICPP (1) 1991: 682-683 |
Paper |
Presentation |
|
|
|
K. Echtle, Y. Chen, Evaluation of Deterministic Fault Injection for Fault-Tolerant Protocol Testing, IEEE 21th Annual International Symposium on Fault-Tolerant Computing (FTCS-21), Montreal , June 1991, pp. 418 - 425. |
Paper |
Presentation |
|
|
|
Y. Chen, K. Echtle, W. Gorke, Testing Fault-Tolerant Protocols by Heuristic Fault Injection, 5th International GI/ITG/GMA Conference on Fault-Tolerant Computing Systems, Nuremberg , September 1991, pp. 407-418. |
Paper |
Presentation |
|
1990 |
|
|
|
Yigang Chen, W.T. Tsai: A Synthesis Approach to Developing Large Petri Nets. ICPP (2) 1990: 280-281 |
Paper |
Presentation |
|
|
|
Jaideep Srivastava, Jau-Hwang Wang, Jack S. Eddy Tan, Kuo-Wei Hwang, W.T. Tsai: Production Scheduling in Database Production Systems. ICSI 1990: 464-472 |
Paper |
Presentation |
|
|
|
P. M. Perry Leung, Jaideep Srivastava, W.T. Tsai: Performance Evaluation of Distributed Real Time Scheduling Algorithms. ICSI 1990: 752-761 |
Paper |
Presentation |
|
|
|
Y. Chen, T. Chen, Implementing Fault Tolerance via Modular Redundancy with Comparison, IEEE Transactions on Reliability, Vol. 39, No. 2, 1990, pp. 217-225. |
Paper |
Presentation |
|
1989 |
|
|
|
Chungti Liang, Yigang Chen, W.T. Tsai: Embedding of Linear Array and Binary Tree in Cubical Ring Connected Cycles Networks. ICPP (1) 1989: 192-195 |
Paper |
Presentation |
|
1988 |
|
|
|
Shyh-Kwei Chen, Chung-Ti Liang, W.T. Tsai: Loops and Multi-Dimensional Grids on Hypercubes Mapping and Reconfiguration Algorithms. ICPP (1) 1988: 315-322 |
Paper |
Presentation |
|
1986 |
|
|
|
C. V. Ramamoorthy, Jaideep Srivastava, W.T. Tsai: A Distributed Clustering Algorithm for Large Computer Networks. ICDCS 1986: 613-620 |
Paper |
Presentation |
|
1985 |
|
|
|
Y. Chen, T. Chen, DFT, Distributed Fault Tolerance -- Analysis and Design, IEEE 15th Annual International Symposium on Fault-Tolerant Computing, Michigan , June 1985, pp. 280-285. |
Paper |
Presentation |
|
1984 |
|
|
|
C. V. Ramamoorthy, Atul Prakash, W.T. Tsai, Yutaka Usuda: Software Engineering: Problems and Perspectives. IEEE Computer 17(10): 191-209 (1984) |
Paper |
Presentation |
|
1982 |
|
|
|
C. V. Ramamoorthy, Siyi Terry Dong, S. L. Ganesch, C.-H. Jen, W.T. Tsai: Techniques in Software Quality Assurance. Software-Qualitätssicherung 1982: 11-34 |
Paper |
Presentation | |
|
|
|
Books |
|
|
|
Y. Chen, Introduction to programming languages: Principles, C, C++, Scheme, and Prolog, Kendall/Hunt Publishing Company, 2003, ISBN 0-7575-0367-5. |
Paper |
Presentation |
|
|
|
Y. Chen (ed.), Proceedings of the 1998 IFIP International Workshop on Dependable Computing and its Applications, Johannesburg , January, 1998. |
Paper |
Presentation |
|
|
|
Y. Chen, Testing and Evaluating Fault-Tolerant Protocols by Deterministic Fault Injection, VDI Series 10, No. 260, VDI Verlag, D¨¹sseldorf , Germany , 1993, ISBN 3-1814-6010-9 (Book in English, 144 pages). |
Paper |
Presentation | |
|
|