Follow
Charles Weinstock
Charles Weinstock
Principal Researcher, Software Engineering Institute, Carnegie Mellon University
Verified email at conjelco.com
Title
Cited by
Cited by
Year
SIFT: Design and analysis of a fault-tolerant computer for aircraft control
JH Wensley, L Lamport, J Goldberg, MW Green, KN Levitt, ...
Proceedings of the IEEE 66 (10), 1240-1255, 1978
8681978
Quality attributes
M Barbacci, MH Klein, TA Longstaff, CB Weinstock
Software Engineering Institute, Carnegie Mellon University, Pittsburgh …, 1995
4401995
The design of an optimizing compiler
WA Wulf
Carnegie Mellon University, 1975
3151975
Quality attribute workshops (QAWS)
MR Barbacci, R Ellison, AJ Lattanze, JA Stafford, CB Weinstock, ...
Technical report, Carnegie Mellon University, Pittsburgh PA, 2003
2702003
Durra: a structure description language for developing distributed applications
MR Barbacci, CB Weinstock, DL Doubleday, MJ Gardner, RW Lichota
Software Engineering Journal 8 (2), 83-94, 1993
1561993
A conceptual framework for system fault tolerance
WL Heimerdinger, CB Weinstock
Carnegie Mellon University, Software Engineering Institute, 1992
1161992
Quality attribute workshops
MR Barbacci, RJ Ellison, A Lattanze, J Stafford, CB Weinstock, W Wood
Carnegie Mellon University, 2003
1062003
On system scalability
CB Weinstock, JB Goodenough
Carnegie Mellon University, Software Engineering Institute, 2006
932006
Principles for evaluating the quality attributes of a software architecture
MR Barbacci, M Klein, CB Weinstock
Carnegie Mellon University, Software Engineering Institute, 1997
831997
Evaluating and mitigating software supply chain security risks
RJ Ellison, JB Goodenough, CB Weinstock, C Woody
Software Engineering Institute, Tech. Rep. CMU/SEI-2010-TN-016, 2010
732010
Programming at the processor-memory-switch level
MR Barbacci, CB Weinstock, JM Wing
Proceedings.[1989] 11th International Conference on Software Engineering, 19 …, 1988
681988
Development and analysis of the software implemented fault-tolerance (SIFT) computer
J Goldberg
SRI International, 1984
681984
Arguing security-creating security assurance cases
J Goodenough, H Lipson, C Weinstock
rapport en ligne (initiative build security-in du US CERT), Université …, 2007
662007
Towards an assurance case practice for medical devices
CB Weinstock, JB Goodenough
Carnegie Mellon University, Software Engineering Institute, 2009
622009
Steps in an architecture tradeoff analysis method: Quality attribute models and analysis
M Barbacci, J Carriere, P Feiler, R Kazman, M Klein, H Lipson, ...
Software Engineering Institute, Carnegie-Mellon University, Pittsburgh PA …, 1998
561998
Eliminative induction: A basis for arguing system confidence
JB Goodenough, CB Weinstock, AZ Klein
2013 35th International Conference on Software Engineering (ICSE), 1161-1164, 2013
522013
Toward a theory of assurance case confidence
JB Goodenough, CB Weinstock, AZ Klein
Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2012
512012
Dependability cases
CB Weinstock, JB Goodenough, JJ Hudak
Technical report, 2004
512004
An efficient algorithm for heap storage allocation
CB Weinstock, WA Wulf
ACM Sigplan Notices 23 (10), 141-148, 1988
511988
Measuring assurance case confidence using Baconian probabilities
CB Weinstock, JB Goodenough, AZ Klein
2013 1st international workshop on assurance cases for software-intensive …, 2013
442013
The system can't perform the operation now. Try again later.
Articles 1–20