Books
- Book chapter: R. Paul ,
W.T. Tsai, Y. Chen, C. Fan, Z. Cao, X. Liu, 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, 2005.
- Y. Chen,
Introduction to programming languages: Principles,
C, C++, Scheme, and Prolog, Kendall/Hunt Publishing Company, 2003, ISBN 0-7575-0367-5.
- Y. Chen (ed.), Proceedings
of the 1998 IFIP International Workshop on Dependable Computing and its Applications,
Johannesburg, January, 1998.
- Y. Chen, Testing and Evaluating Fault-Tolerant Protocols
by Deterministic Fault Injection, VDI Series 10, No. 260, VDI Verlag,
Dusseldorf, Germany, 1993, ISBN 3-1814-6010-9 (Book in English, 144 pages).
- Y. Yuan, Y. Chen, Fault tolerance, fault avoidance and their
application, Chinese Computer Application Lecture Note Series 092, Chinese
Science Press, Feb. 1992 (Book in Chinese, 220 pages).
- T. Chen, Z. Chao, Y. Chen, Fault Diagnosis and Fault Tolerance
in Digital Systems, Southeaster University Press, Nanjing, China, June 1990.
(Book in Chinese, 233 pages).
Papers in Journals
- 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.
- 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.
- 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.
- 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.
- Y. Chen, Z. He, Y. Tian, Efficient Reliability Modeling of the Heterogeneous
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.
- Y. Chen, Operating Systems for
Safety-Critical Applications, Elektron: the Journal of the South African
IEE, January 2000, , pp. 47-48.
- Y. Chen, How to properly test Y2K compliance, Elektron: the Journal of the
South African IEE, Y2K supplement, August 1999. pp.9-10.
- Y. Chen, Autonomous Decentralized Systems and their Applications, Elektron:
Journal of South African IEE, May 1999, p.53-55. Abstract, postscript
- Y. Chen, Dependable computing a necessity
in the automotive industry, Elektron: Journal of South African IEE, Feb
1999, p.55.
- 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.
- 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. Abstract -
PDF
- Y. Chen, T. Chen, Implementing fault tolerance via modular redundancy with
comparison, IEEE Transactions on Reliability, Vol. 39, No. 2, 1990, pp. 217-225.
Papers in Conference Proceedings
-
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.
-
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.
-
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, 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,"
the 7th International Symposium
on Autonomous Decentralized Systems, Chengdu, China, April 4 - 8, 2005, pp.43-50.
-
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.
-
Y. Chen,
A service scheduler in a
trustworthy system, in the proceedings of the 37th Annual Simulation
Symposium, Arlington VA, April 2004, pp. 89-96.
-
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.
- 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.
- 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.
- 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.
-
Y. Chen
and Z. He, Task-oriented Modeling autonomous decentralized systems, IEEE International
workshop on autonomous decentralized systems (IWADS2000), Chengdu, September
2000, pp. 172 – 179.
- 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.
- 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.
- 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.
- 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.
- Y. Chen,
A Redundant
Virtual Service Redirector for Computer Networks, IEEE 28th Annual International
Symposium on Fault-Tolerant Computing (FTCS-28), Munich, June 1998. 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
Workshops and Reports
-
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, 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, 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.
- 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.
- 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, 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,
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
-
Y. Chen, Testing For
Software Reliability, Testfocus, feature article, Volume 1, Number 6,
December 2000. Full Article
- Y. Chen, J. Arlat,
An input domain-based reliability growth model
and its applications in comparing software testing strategies, LAAS Report
No. 95105, April 1995.
- Y. Chen, W. Bucken, K. Echtle: Fast Algorithms for Fault Diagnosis
in multiprocessor systems, 3rd European Workshop on Dependable Computing,
Munich, April, 1991.
- Y. Chen, K. Echtle, On Deterministic and Random Fault Injection
for Fault-Tolerant Protocol Testing, Technical Report, No. 4/91, Fakultat
fur Informatik, University of Karlsruhe, March 1991.
- Y. Chen, K. Echtle,
Testing fault-tolerant protocols by a fault
injection loop, 2nd European Workshop on Dependable Computing, Florence,
February 1990.
Book Translation from English to Chinese
- Original book: D. P. Siewiorek, R. S. Swarz, The Theory and
practice of Reliable System Design, Digital Press, 1982. Translated by Z.
Chao, Y. Chen, Z. Liu, S. Yang, Y. Yuan, etc. Proof-read by T. Chen, Y. Chen.
The translation is published by Chinese Science Press, September 1988.
Publications in Chinese Journals
- Y. Chen, T. Chen, DFTD: Distributed Fault Tolerance with Duplication,
Chinese Journal of Computer, Vol.10, No.1, 1987, pp.40-49.
- Y. Chen, T. Chen, Reliability Design for Fifth Generation
Computer, Computer Research and Development, Vol.24, No.2, 1987, pp.1-6.
- Y. Chen, Distributed Fault Tolerance -- Principle and Design,
Master's thesis, Chongqing University, November, 1984.
- Y. Chen, et al., PSTS: Program Structure Testing System, Journal
of Chongqing University, Special Issue Fault Tolerant Computing, No.5, 1985,
pp.123-130.
- Y. Chen, The Graph Model of DFT systems, Journal of Chongqing
University, Special Issue Fault Tolerant Computing, No.5, 1985, pp.1-7.
- Y. Chen, et al., DFT System: Concept and Prototype, Journal
of Chongqing University, Special Issue Fault Tolerant Computing, No.5, 1985,
pp.35-40.
- W. Shi, Y. Chen, A Graphic Approach to Function Testing of
Sequential Circuits, Chinese Journal of Computer, Vol.7, No.3, 1984, pp.228-236.
- Y. Shu, Y. Chen, A New Method for System Diagnosis with Self
testing, Journal of Chongqing University, Special Issue Fault Tolerant Computing,
No.10, 1988, pp.49-56.
- Y. Shu, Y. Chen, On Edge-Vertex Probability t-Diagnosability
of systems, Journal of Chongqing University, Special Issue Fault Tolerant
Computing, No.10, 1988, pp.57-63.
- J. Zhang, Y. Chen, Analysis and Design of a Fault-Tolerant
Multistage Bus Systems, Journal of Chongqing University, Special Issue Fault
Tolerant Computing, No.10, 1988, pp.26-34.
Yinong Chen, emails: yinong@asu.edu
Jan 2002
