Awards & Technical Publications

Awards

I have been honored to receive the following awards from academia, industry, and IEEE Computer Society during my career.

          • IEEE Fellow (2009)
          • IEEE Golden Core Award (1996)
          • Asian American Executive of the Year, Chinese Institute of Engineers (CIE), 2010
          • Daedalian Award for Systems Excellence for the Battlefield Airborne Communication Network, Order of Daedalians, 2010
          • Finalist, Aviation Week Magazine’s System Excellence, Battlefield Airborne Communication Network, 2011
          • Xiamen University’s Distinguished Lecturer Plaque for the lecture series on Software Engineering Principles, Xiamen, China (2013)
          • Asian Pacific Heritage Month Executive Award, United States Air Force Hanscom New England Chapter, (2010)
          • IEEE Computer Society, “Outstanding Contribution Award”, for leadership in the development of the IEEE CS 2011 Strategic Plan (2011)
          • IEEE Computer Society, “Certificate of Appreciation Award”, for outstanding service as Vice President of Standard Activities (2011)
          • IEEE Computer Society, “Special Recognition” for dedicated service and contributions to the 2009 Computer Society Board of Governors (2009)
          • IEEE Computer Society, “Outstanding Achievement Award”, for adoption of IEEE Std 1012, Standard for System and Software Verification and Validation (1984, 1996, 1998, 2012)
          • IEEE Computer Society, “Certificate of Appreciation Award”, for outstanding service as a member of he Publications Board (2007)
          • IEEE Computer Society, “Meritorious Service Award”, for leadership as Head of the USA Delegation and Chair of the ISO/IEC JTC1/SC7 (1993)

 

Technical Publications

 

The following are the list of my technical papers and books.

          • Software Engineering Book, Dorfman, Merlin and Thayer, Richard with foreword by Barry Boehm, author of chapter on Software Verification and Validation, IEEE Computer Society Press (1997)
          • Software Engineering:  The Supporting Processes (Volume 2) Book, Dorfman, Merlin and Thayer, Richard with foreword by Leonard Tripp, author of chapter on Application of Software Verification and Validation for High Integrity Systems, IEEE Computer Society Press (2005)
          • Encyclopedia of Software Engineering Book, Marciniak, John J., author the chapter on Software Verification and Validation, Wiley Interscience Press (2 volume set) (1994)
          • IEEE Software Magazine, Special Issue on Software Verification and Validation, author of paper on “Introduction to Software Verification and Validation” and Co-Guest Editor, Fujii, Roger U. and Wallace, Dolores W., IEEE Computer Society Press (May 1989)
          • Systems and Software Technology Conference, “Principles of System and Software Verification and Validation”, 26 April 2012, Salt Lake City, UT
          • NASA Independent Verification and Validation Workshop, keynote speech, “System, Software, and Hardware Verification and Validation:  A Return to Systems Engineering”, 11 September 2012, West Virginia University, Fairmont, WV
          • Numerous other conferences and panel sessions