Yinong Chen

Yinong Chen
Ph.D. (University of Karlsruhe, Germany)
Lecturer
Computer Science & Engineering Department
Arizona State University
P.O. Box 878809
Tempe, AZ 85287-8809, USA
Office: Brickyard 414
Phone: (480) 965 2769 Fax. (480) 965 2751
Email: yinong . chen at asu . edu
Summer 2009 Teaching: CSE445/598
Fall 2009 Teaching:
CSE101 and CSE423 (Senior Capstone)
Office Hours: MW: 8:30-9:30AM, Th: 2-3:30PM

ASU Summer Robotics Camp for High School Students and Teachers, 2009.

Arizona Robotics Challenge, ASU vs. UofA, April 11 and Dec. 11, 2008, at ASU Brickyard Building.

Robotics Competition 2007, July 13, 2007 Video (5 minutes)

Pilot teaching SOC at Coronado High School, Spring 2007 and Fall 2007. Newspaper.

Closing Ceremony of the SOC Robotics Class for Teachers, July 20, 2007, Video and Comments

Robotics Summer Camp 2007 for high school students, July 9 - 13

Robotics and gaming programming in Coronado High School, Spring and Fall 2007

This paper is listed as the Number One in the "Science Direct Top 25 Hottest Articles":
W.T. Tsai, C. Fan, Y. Chen, R. Paul, "A Service-Oriented Modeling and Simulation Framework for Rapid Development of Distributed Applications", Simulation Modeling Practice and Theory, Elsevier, 14 (2006), pp. 725-739.

Call for Papers

International Journal of Critical Computer-Based Systems (IJCCBS), Special Issue on Assurance in Distributed Systems and Networks , deadline: May 31, 2009
ADSN 2009 8th International Workshop on Assurance in Distributed Systems and Networks, Montreal, Quebec, Canada, June 26, 2009.
Simulation Modeling Practice and Theory, Elsevier , Special Issue on Service-Oriented System Engineering , deadline: Oct 31, 2008

Recent Sponsored Projects

Arizona Robotics Challenge, sponsored by Intel, July, 2007 -- June 2009.
Prepare High School Teachers for Service-Oriented Computer Science Education, U.S. Department of Education, PIPSE, 01.2007-12-2009

Probabilistic reasoning and fault pre-exemption for exception prevention, Microsoft PHOENIX Excellence in Programming RFP Award, 2005

Developing highly dependable embedded systems with reconfigurable software, Consortium for Embedded Systems, 2005

Development of a fault-tolerant distributed system environment based on Windows CE PDA and Visual Studio .Net technologies, Microsoft Embedded Systems Research Grant, 2003.

Scholar Activities

Guest Editor Simulation Modeling Practice and Theory, Special Issue on Special Issue on Service-Oriented System Engineering, 2008
Guest Editor Simulation, Transactions of the Society for Modeling and Simulation International, Special Issue on Modeling and Simulation of Service-Oriented Computing Systems and Applications, 2007
Area Editor of the Simulation, Transactions of the Society for Modeling and Simulation International, Jan 2006 to June 2008.
Editorial Board Member of the Journal of Systems & Software (JSS), since Jan 2004.
Editorial Board Member of the Elsevier Journal: Simulation Modeling Practice and Theory, since Jan 2006.
Area Editor of the International Journal of Simulation and Process Modelling (IJSPM), since Jan 2004
Program Chair, the 8th International Workshop on Assurance in Distributed Systems and Networks (ADSN 2009), June 26, 2009, Montreal, Canada
Program Committee Chair, The 2nd IEEE International Workshop on Collaborative Computing, Integration, and Assurance (WCCIA 2006), April 27-28, 2006, Korea
Program Committee Member and Publication Chair, IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), Beijing, China, October 20-21, 2005
Program Committee Member and Organizing Chair, Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005), Feb 2nd through 4th, 2005, Sedona, Arizona
Vice Program Chair, 4th International Workshop on Assurance in Distributed Systems and Networks (ADSN 2005), Columbus, Ohio, USA, June 6, 2005
Program Committee Member, International Symposium on Autonomous Decentralized Systems (ISADS), Chengdu, April 4-6, 2005.
Program committee member, 38th, 39th, 40th, 41 Annual Simulation Symposium 2005, April 2005
Program committee member, High Performance Computing & Simulation (HPC&S'04) Conference, Magdeburg, Germany, June 13 - 16, 2004.

Recent Publications

Books

Book: Y. Chen, W.T. Tsai, Distributed Service-Oriented Software Development, Kendall/Hunt Publishing, 2008, ISBN 978-0-7575-5273-1, used in CSE445/598.

Book: W.T. Tsai, X. Bai, Y. Chen, On Service-Oriented Software Engineering, Tsinghua University Press, 2008, ISBN 978-7-302-17221-5.

Book: Y. Chen, W.T. Tsai, Introduction to programming languages: Programming in C, C++, Scheme, Prolog, C#, and SOA, second edition, Kendall/Hunt Publishing Company, 2006, ISBN 0-7575-2974-7.

Book: Y. Chen, Introduction to programming languages: Principles, C, C++, Scheme, and Prolog, Kendall/Hunt Publishing Company, 2003, ISBN 0-7575-0367-5.

Book chapter: Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsai, Yinong Chen, "A Framework for Contract-Based Collaborative Verification and Validation of Web Services", in Book Component-Based Software Engineering, Springer-Verlag, Berlin, July 2007, pp. 258-273, ISBN 978-3-540-73550-2, DOI: 10.1007/978-3-540-73551-9_18.

Book chapter: R. Paul , W.T. Tsai, Y. Chen, C. Fan, Z. Cao, H. Huang, E2E Testing and Evaluation of High Assurance Systems, in book Springer Handbook of Engineering Statistics, edited by Hoang Pham, Springer-Verlag, London, 2006, pp. 443-476, ISBN: 978-1-85233-806-0, DOI: 10.1007/978-1-84628-288-1_24. S

Journal publications 2009

Yinong Chen, W.T. Tsai, Towards dependable service-orientated computing systems, Simulation Modelling Practice and Theory, Volume 17, Issue 8, September 2009, Pages 1361-1366.

Zhihui Du, Man Wang, Yinong Chen, Yin Ye, Xudong Chai, "The Triangular Pyramid Scheduling Model and Algorithm for PDES in Grid", Simulation Modelling Practice and Theory, Volume 17, Issue 10, November 2009, pp. 1678-1689.

Yunpeng Chai, Zhihui Du, Yinong Chen, "An A stepwise optimization algorithm of clustered streaming media servers", Journal of Systems and Software, pp. 1344-1361, 2009.

Kun Wang, Zhihui Du, Yinong Chen, Sanli Li, "V3COCA: An effective clustering algorithm for complicated objects and its application in breast cancer research and diagnosis", Simulation Modelling Practice and Theory 17(2): 454-470, 2009.

Journal publications 2008

W. T. Tsai, Yinong Chen, Calvin Cheng, and Xin Sun, Gary Bitter and Mary White, "An Introductory Course on Service-Oriented Computing for High Schools", Journal of Information Technology Education, Volume 7, pages 323-346.
W.T. Tsai, Xinyu Zhou, Yinong Chen, Xiaoying Bai, "On Testing and Evaluating Service-Oriented Software," Computer, vol. 41, no. 8, Aug., 2008, pp. 40-46.
Xiaoying Wang, Zhihui Du, Yinong Chen, Sanli Li, "Virtualization-based autonomic resource management for multi-tier web applications in shared data center", Journal of Systems and Software, September 2008, pp.1591-1608.
W.T. Tsai, Yinong Chen, Xin Sun, Calvin Cheng, Gary Bitter, Mary White, "Service-Oriented Computing", Learning & Leading with Technology, May 2008, pp. 28-30.
Xiaoying Wang, Zhihui Du, Sanli Li, Yinong Chen, "Modeling and Simulation of Virtualized Autonomic Service Centers", Simulation, Vol. 84, Issue 4, April 2008, pp.119-136.
Journal publications 2007
W. T. Tsai, Xiao Wei, Yinong Chen, Ray Paul, Jen-Yao Chung, and Dawei Zhang, "Data provenance in SOA: security, reliability, and integrity", Service Oriented Computing and Applications, Vol. 1, No. 4, December 2007, pp.223-247.
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.
Wei-Tek Tsai, Xiao Wei, Ray Paul, Jen-Yao Chung, Qian Huang, and Yinong Chen, "Service-oriented system engineering (SOSE) and its applications to embedded system development," International Journal of Service Oriented Computing and Applications (SOCA), Springer London, Vol.1 Issue 1, April 2007, pp. 3-17.
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.
R. Bryce, Y. Chen, C. Colbourn, "Biased Covering Arrays for Progressive Ranking and Composition of Web Services", International Journal of Simulation and Process Modelling (IJSPM), Vol.3, No.1-2, 2007, pp.66-79.
X. Bai, Z. Cao, Y. Chen, "Design of a Trustworthy Service Broker and Dependence-Based Progressive Group Testing", International Journal of Simulation and Process Modelling (IJSPM), Vol.3, No.1-2, 2007, pp.80-87.
Journal publications 2006 and earlier
H. Huang, W.T. Tsai, Y. Chen, "Binary analysis and automated hot patching for Web-based applications", Information and Software Technology, Vol.48, Issue 12, Dec. 2006, pp. 1148-1158.
W.T. Tsai, Y. Chen, R. Paul, X. Zhou, C. Fan, "Simulation Verification and Validation by Dynamic Policy Specification and Enforcement", Simulation, Transactions of the Society for Modeling and Simulation International, Vol. 82, No. 5, 2006, pp. 295-310.
W.T. Tsai, Y. Chen, C, Fan, "PESOI: Process Embedded Service-Oriented Architecture", Journal of Software, June 2006, 17(6):1470−1484.
W.T. Tsai, C. Fan, Y. Chen, R. Paul, "A Service-Oriented Modeling and Simulation Framework for Rapid Development of Distributed Applications", Simulation Modeling Practice and Theory, Elsevier, Vol.14, August 2006, pp. 725-739. This paper is listed as the Number One in the "Science Direct Top 25 Hottest Articles".
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. 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.
Y. Chen, Z. He, Bounds on the reliability of distributed systems with unreliable nodes and links, IEEE Transaction on Reliability, Volume 53, No. 2, June 2004, pp. 205-215.
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 / June, 2003, pp.316 -327.
2009 conference and workshop publications
W.T. Tsai, Tszyan Chow, Yinong Chen, Xiao Wei: An Adaptive Management Framework for Service Brokers in Service-Oriented Architecture. SEKE 2009: 280-285.

Yinong Chen, Sabnis, A., and Garcia-Acosta, "Design and Performance Evaluation of a Service-Oriented Robotics Application" In Proceedings of the 2009 29th IEEE international Conference on Distributed Computing Systems Workshops, Montreal, June 22 - 26, 2009, pp.292 - 299.

2008 conference and workshop publications

W.T. Tsai, Jay Elston, Yinong Chen, "Composing Highly Reliable Service-Oriented Applications Adaptively", 4th IEEE International Symposium on Service-Oriented System Engineering, Taiwan, Dec. 2008, pp. 115-122.

Zhili Cheng, Zhihui Du, Yinong Chen, and Xiaoying Wang, "", SOAVM: A Service-Oriented Virtualization Management System with Automated Configuration, 4th IEEE International Symposium on Service-Oriented System Engineering, Taiwan, Dec. 2008, pp. 251-256.

W.T. Tsai, Qian Huang, Jay Elston, Yinong Chen, "Service-Oriented Interface Modeling and Composition", IEEE International Conference on e-Business Engineering (ICEBE), Xi'An, China, October 2008, pp. 21-28.

Yinong Chen, S. Abhyankar, L. Xu, W.T. Tsai, Marcos Garcia-Acosta, "Developing a Security Robot in Service-Oriented Architecture", 12th IEEE Internal Workshop on Future Trends of Distributed Computing Systems (FTDCS), Kunming, China, Oct. 21-23, 2008, pp. 106-111.

Yinong Chen, Xiaoying Bai, "On Robotics Applications in Service-Oriented Architecture", The 28th IEEE International Conference on Distributed Computing Systems, ADSN Workshops, pp. 551-556.

Zhili Cheng, Zhihui Du, Yinong Chen, and Xiaoying Wang, "Virtual Workspace Based Job Execution Methods and Dynamic Makespan Optimized Scheduling Algorithms", The 28th IEEE International Conference on Distributed Computing Systems, ADSN Workshops, pp. 599-604.

W.T. Tsai, Xin Sun, Yinong Chen, Qian Huang, Gary Bitter, Mary White, "Teaching Service-Oriented Computing and STEM Topics via Robotic Games", 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC), Orlando, Florida, May 2008, pp. 131-137.

W. T. Tsai, Xinyu Zhou, Yinong Chen, "SOA Simulation and Verification by Event-Driven Policy Enforcement," 41st Annual Simulation Symposium (anss-41 2008), 2008, pp. 165-172.

Shufang Lee, Xiaoying Bai, Yinong Chen, "Automatic Mutation Testing and Simulation on OWL-S Specified Web Services," 41st Annual Simulation Symposium (anss-41 2008), 2008, pp. 149-156.

2007 conference and workshop publications

Man Wang, Zhihui Du, Yinong Chen, Suihui Zhu, and Weihua Zhu, �Dynamic Dataflow Driven Service Composition Mechanism for Astronomy Data Processing,� 3rd IEEE International Workshop on Service-Oriented System Engineering (SOSE), in Proc. ICEBE 2007, Hong Kong, October 2007, pp. 596-599

W. T. Tsai, Xinyu Zhou, Yinong Chen, Bingnan Xiao, Raymond A. Paul, William Chu, "Roadmap to a Full Service Broker in Service-Oriented Architecture," SOSE 2007, 3rd IEEE International Workshop on Service-Oriented System Engineering (SOSE), in Proc. ICEBE 2007, Hong Kong, October 2007, pp. 657-660.

W.T. Tsai, Yinong Chen, Xin Sun, Gary Bitter, Mary White, "Designing a Service-Oriented Computing Course for High Schools," 3rd IEEE International Workshop on Service-Oriented System Engineering (SOSE), in Proc. ICEBE 2007, Hong Kong, October 2007, pp. 686-693.

Suihui Zhu, Zhihui Du, Yinong Chen, Xudong Chai, Bohu Li, "QoS Enhancement for PDES Grid Based on Time Series Prediction", Sixth IEEE International Conference on Grid and Cooperative Computing (GCC), Urumchi, Xinjiang, China, August 2007, pp.423-429.

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.

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.

Xiaoying Bai, Yinong Chen, Zhongkui 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.

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.

W.T. Tsai, X. Zhou, R. A. Paul, Y. Chen, X. Bai, "A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software", Proceedings of 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), May 2007, pp. 105-112.

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.

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.

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.

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.

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.

2006 conference and workshop publications

Mark Chang, Jackson He, W.T. Tsai, Bingnan Xiao, Yinong Chen, "UCSOA: User-Centric Service-Oriented Architecture", IEEE International Conference on e-Business Engineering (ICEBE'06), Shanghai, October 2006, pp. 248-255.

X. Zhou, W. T. Tsai, X. Wei, Y. Chen, B. Xiao, "Pi4SOA: A Policy Infrastructure for Verification and Control of Service Collaboration", IEEE International Conference on e-Business Engineering (ICEBE'06), Shanghai, October 2006, pp. 307-314.

Bingnan Xiao, W. T. Tsai, Qian Huang, Yinong Chen, Ray A. Paul, "SOA Collaboration Modeling, Analysis, and Simulation in PSML-C", IEEE International Conference on e-Business Engineering (ICEBE'06), Shanghai, October 2006, pp. 639-646.

W.T. Tsai, Miroslaw Malek, Yinong Chen, and Farokh Bastani, "Perspectives on Service-Oriented Computing and Service-Oriented System Engineering", 2nd IEEE International Symposium on Service-Oriented System Engineering, Shanghai, October 2006, pp. 3-8.

Wei Hao, Tong Gao, I-Ling Yen, Yinong Chen, and Raymond Paul, "An Infrastructure for Web Services Migration for Real-Time Applications", 2nd IEEE International Symposium on Service-Oriented System Engineering, Shanghai, October 2006, pp. 41-48.

W.T. Tsai, Yann-Hang Lee, Zhibin Cao, Yinong Chen, and Bingnan Xiao, "RTSOA: Real-Time Service-Oriented Architecture", 2nd IEEE International Symposium on Service-Oriented System Engineering, Shanghai, October 2006, pp. 49-56.

Man Wang, Zhihui Du, Yinong Chen, and Zhili Cheng, "A SOA Based Pipeline System to Deal with Astronomy Telescope Data", 2nd IEEE International Symposium on Service-Oriented System Engineering, Shanghai, October 2006, pp. 156-163.

W. T. Tsai, Q. Huang, B. Xiao, Y. Chen, "Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture", 6th International Conference on Quality Software, Oct. 2006, pp. 313 - 320.

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.

W. T. Tsai, C. Fan, Y. Chen, R. Paul, and J. Y. Chung, "Architecture Classification for SOA-based Applications", in Proc. of IEEE 9th International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), April 2006, pp. 295-302.

W. T. Tsai, B. Xiao, R. Paul, and Y. Chen, "Consumer-Centric Service-Oriented Architecture: A New Approach", in Proc. of IEEE 2006 International Workshop on Collaborative Computing, Integration, and Assurance (WCCIA), April 2006, pp. 175-180.

Z. Du, Y. Chen, L. Wu and S. Zhu, "Automatically Building Service Evaluation Metadata in a Grid Environment", in Proc. of Proc. of IEEE 2006 International Workshop on Collaborative Computing, Integration, and Assurance (WCCIA), April 2006, pp. 225-230.

W.T. Tsai, C. Fan, Y. Chen, R. Paul, DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework, in Proceedings of 39th Annual Simulation Symposium (ANSS), Huntsville, AL, April 2006, pp. 160-167.

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. Workshop ToC - Presentation slides.
Tutorial in Conference
Y. Chen, Service-Oriented Computing: Architecture, Programming, and Applications, the 9th International Conference on Software Engineering and Applications (SEA), Phoenix, 16 November 2005. Presentation slides.

2005 conference and workshop publications

W.T. Tsai, R. Paul, B. Xiao, Z. Cao, Y. 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.

W.T. 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.

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.

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, Y. Chen, R. Paul, H. Huang, X. Zhou, X. Wei, Adaptive Testing, Oracle Generation, and Test Script Ranking for Web Services," 29th IEEE Annual International Computer Software and Applications Conference (COMPSAC), Edinburgh, July 2005, pp.101-106.

H. Huang, W.T. Tsai, Y. Chen, "Autonomous Hot Patching for Web-Based Applications," 2nd International Workshop on Quality Assurance and Testing of Web-Based Applications, Edinburgh, July 2005, pp.51-56.

W. T. Tsai, R. Paul, H. Huang, B. Xiao, 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.

W.T. Tsai, Y. Chen, D. Zhang, 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.

W. T. Tsai, R. Paul, H. Huang, B. Xiao, Y Chen, Semantic Interoperability and its Verification & Validation in C2 Systems, the 10th International Command and Control Research and Technology Symposium (ICCRTS), McLean, VA. http://www.dodccrp.org/events/2005/10th/CD/papers/200.pdf

H. Huang, W.T. Tsai, R. Paul, 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, pp. 300 - 307.

W.T. Tsai, X. Liu, Y. Chen, R. Paul, "Dynamic Simulation Verification and Validation by Policy Enforcement," 38th Annual Simulation Symposium (ANSS), 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, Chengdu, China, April 4 - 8, 2005, pp.43-50.

W. T. Tsai, Z. Cao, Y. Chen, 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, 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, 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.

2004 conference and workshop publications

Y. Chen, "A service scheduler in a trustworthy system", 37th Annual Simulation Symposium, Arlington VA, April 2004, pp. 89-96.

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.

W. T. Tsai, D. Zhang, Y. Chen, H. Huang, R. Paul, N. Liao, "A Software Reliability Model for Web Services" 8th IASTED International Conference on Software Engineering and Applications, Cambridge, MA, November 2004, pp. 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 4: A Workshop for VV&A in the 21st Century, Tempe, October 2004, http://www.scs.org/confernc/foundations/foundations04.htm

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.