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 | 873 | 1978 |
Quality attributes M Barbacci, MH Klein, TA Longstaff, CB Weinstock Software Engineering Institute, Carnegie Mellon University, Pittsburgh …, 1995 | 441 | 1995 |
The design of an optimizing compiler WA Wulf Carnegie Mellon University, 1975 | 315 | 1975 |
Quality attribute workshops (QAWS) MR Barbacci, R Ellison, AJ Lattanze, JA Stafford, CB Weinstock, ... Technical report, Carnegie Mellon University, Pittsburgh PA, 2003 | 271 | 2003 |
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 | 156 | 1993 |
A conceptual framework for system fault tolerance WL Heimerdinger, CB Weinstock Carnegie Mellon University, Software Engineering Institute, 1992 | 116 | 1992 |
Quality attribute workshops MR Barbacci, RJ Ellison, A Lattanze, J Stafford, CB Weinstock, W Wood Carnegie Mellon University, 2003 | 106 | 2003 |
On system scalability CB Weinstock, JB Goodenough Carnegie Mellon University, Software Engineering Institute, 2006 | 95 | 2006 |
Principles for evaluating the quality attributes of a software architecture MR Barbacci, M Klein, CB Weinstock Carnegie Mellon University, Software Engineering Institute, 1997 | 83 | 1997 |
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 | 74 | 2010 |
Programming at the processor-memory-switch level MR Barbacci, CB Weinstock, JM Wing Proceedings.[1989] 11th International Conference on Software Engineering, 19 …, 1988 | 68 | 1988 |
Development and analysis of the software implemented fault-tolerance (SIFT) computer J Goldberg SRI International, 1984 | 68 | 1984 |
Arguing security-creating security assurance cases J Goodenough, H Lipson, C Weinstock rapport en ligne (initiative build security-in du US CERT), Université …, 2007 | 67 | 2007 |
Towards an assurance case practice for medical devices CB Weinstock, JB Goodenough Carnegie Mellon University, Software Engineering Institute, 2009 | 62 | 2009 |
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 | 56 | 1998 |
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 | 55 | 2013 |
Toward a theory of assurance case confidence JB Goodenough, CB Weinstock, AZ Klein Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2012 | 52 | 2012 |
Dependability cases CB Weinstock, JB Goodenough, JJ Hudak Technical report, 2004 | 52 | 2004 |
An efficient algorithm for heap storage allocation CB Weinstock, WA Wulf ACM Sigplan Notices 23 (10), 141-148, 1988 | 51 | 1988 |
Measuring assurance case confidence using Baconian probabilities CB Weinstock, JB Goodenough, AZ Klein 2013 1st international workshop on assurance cases for software-intensive …, 2013 | 44 | 2013 |