Y. Chen, "Modeling and Simulation for and in Service-Orientated Computing Paradigm", Simulation Transactions, Special Issue on Modeling and Simulation for and in Service-Orientated Computing Paradigm, Vol. 83, No. 1, January 2007, pp. 3 - 6.
W. T. Tsai, X. Wei, R. Paul, J. Y. Chung, Q. Huang, Y. Chen, "Service-Oriented System Engineering (SOSE) and Its Applications to Embedded System Development", International Journal of Service-Oriented Computing & Applications (SOCA), Vol.1 Issue 1, April 2007, pp. 3-17.
Paper
Presentation
Journal
Wei-Tek Tsai, Xiao Wei1, Ray Paul, Jen-Yao Chung, Qian Huang, and Yinong Chen, "Service-oriented system engineering (SOSE) and its applications to embedded system development," Service Oriented Computing and Applications, Springer London, March 2007.
R. Bryce, Y. Chen, C. Colbourn, Biased Covering Arrays for Progressive Ranking and Composition of Web Services, to appear in International Journal of Simulation and Process Modelling (IJSPM), 2007.
Paper
Presentation
Journal
X. Bai, Z. Cao, Y. Chen, Design of a Trustworthy Service Broker and Dependence-Based Progressive Group Testing, to appear in International Journal of Simulation and Process Modelling (IJSPM), 2007.
Paper
Presentation
V. Challagulla, F. Bastani, R. Paul, W.T. Tsai, Y. Chen, "A machine-learning-based reliability assessment model for critical software systems", 31th IEEE Annual International Computer Software and Applications Conference (COMPSAC), Beijing, July 2007, pp.79-86.
Paper
Presentation
X. Bai, D. Xu, G. Dai, W.T. Tsai, Y. Chen, "Dynamic reconfigurable testing of service-oriented architecture", 31th IEEE Annual International Computer Software and Applications Conference (COMPSAC), Beijing, July 2007, pp.368-375.
Paper
Presentation
X. Bai, Y. Chen, Z. Shao, "Adaptive Web Services Testing", 4th IEEE International Workshop on Software Cybernetics (IWSC), in Proc. of COMPSAC 2007, Volume II, Beijing, July 2007, pp.233-236.
Paper
Presentation
W. T. Tsai, Qian Huang, Jingjing Xu, Yinong Chen, Ray Paul, "Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture", IEEE International Conference on Service-Oriented Computing and Applications, Newport Beach, CA, June 2007, pp. 39- 46.
Paper
Presentation
W. T. Tsai, Q. Huang, X. Sun, and Y. Chen, "Dynamic Collaboration Simulation in Service-Oriented Computing Paradigm", in Proceedings of 40th Annual Simulation Symposium (ANSS), March 2007, Norfolk, VA, USA, pp.41-48.
Paper
Presentation
X. Bai, S. Lee, Y. Chen, "Mutation-Based Simulation Test Data Generation for Testing Complex Real-Time Software", in Proceedings of 40th Annual Simulation Symposium (ANSS), March 2007, Norfolk, VA, USA, pp.73-80.
Paper
Presentation
W. T. Tsai, Q. Huang, B. Xiao, Y. Chen and X. Zhou, "Collaboration Policy Generation in Dynamic Collaborative SOA", in Proceedings of 8th International Symposium on Autonomous Decentralized Systems (ISADS), Sedona, AZ, March 2007, pp.33-40.
Paper
Presentation
W. T. Tsai, X. Wei, D. Zhang, R. Paul, Y. Chen, J-Y. Chung, "A New SOA Data-Provenance Framework", in Proceedings of 8th International Symposium on Autonomous Decentralized Systems (ISADS), Sedona, AZ, March 2007, pp.105-112.
Paper
Presentation
W. T. Tsai, X. Wei, Z. Cao, R. Paul, Y. Chen, J. Xu, "Process Specification and Modeling Language for Service-Oriented Software Development", 11th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS), Sedona, AZ, March 2007.
Paper
Presentation
Journal
Z. Cheng, Z. Du, Yinong Chen, S. Zhu, M. Wang, Optimizing service data transmission in an OGSA based grid system, Journal of Algorithms & Computational Technology, Vol. 1 No. 2, June 2007, Multi-Science Publishing, pp.251-272.
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.
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.
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.
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.
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
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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 .
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.
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 .
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.
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.
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.
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.
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
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.
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.
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
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.
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
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.
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.
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
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.
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
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.
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
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.
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)
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
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
Wei-Tek Tsai Professor Department of Computer Science and Engineering
