Staff Page for Charles B. Weinstock

Contents: Contact Background Publications Education Memberships

Job title

Senior Member of the Technical Staff

Administrative home

Key responsibilities

Chuck Weinstock is a senior member of the technical staff in the Performance Critical Systems initiative at the Software Engineering Institute at Carnegie Mellon. His interests are in the area of dependable computing with a recent emphasis on assurance cases.

Teams

Performance Critical Systems; Assurance Cases;

Professional Background

In over 20 years at the SEI, Weinstock has worked in the areas of model-based verification, fault tolerant computing, open source software, distributed real-time systems, and architecture analysis.

Weinstock's interest in fault tolerant computing began while he was at SRI International where he was the principle software designer and implementer of the SIFT (software implemented fault tolerance) system. Weinstock has also worked at Tartan Laboratories and Illinois Institute of Technology.

Publications (recent or significant)

R. E. Bloomfield, S. Guerra, A. Miller, M. Masera, and C. B. Weinstock, International Working Group on Assurance Cases (for Security), IEEE Security and Privacy, May/June 2006
C. Weinstock and J. Goodenough, On System Scalability, Technical Note, Software Engineering Institute (CMU/SEI-2006-TN-012).
C. Weinstock, J. Goodenough, and J. Hudak, "Dependability Cases," SEI Technical Note CMU/SEI-2004-TN-016, Software Engineering Institute, 2004.

Education

Ph.D., 1976, Computer Science, Carnegie Mellon University
MS, 1988, Industrial Administration, Carnegie Mellon University
BS, 1970, Mathematics, Carnegie Mellon University

Professional Memberships and Activities

The Institute of Electrical and Electronics Engineers (IEEE)
Member, IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance
Vice-Chair for Communications, IEEE Computer Society Technical Committee on Dependable Computing and Fault Tolerance

Contact Information

Electronic mail address: weinstock@sei.cmu.edu

Phone: +1-412-268-7719

Fax:412-268-5758

Room: 5122