Reconfiguration stategies for the SIFT fault-tolerant computer. - Charles B. Weinstock; Milton W. Green (COMPSAC, 1978)

Programming at the Processor-Memory-Switch Level. - Mario Barbacci; Charles B. Weinstock; Jeannette M. Wing (ICSE, 1988)

An efficient algorithm for heap storage allocation. - Charles B. Weinstock; William A. Wulf (ACM SIGPLAN Notices, 1988)

Developing Applications for Heterogeneous Machine Networks: The Durra Network. - Mario Barbacci; Dennis L. Doubleday; Charles B. Weinstock; Jeannette M. Wing (Comput. Syst., 1989)

Application-Level Programming. - Mario Barbacci; Dennis L. Doubleday; Charles B. Weinstock (ICDCS, 1990)

Building distributed Ada applications from specifications and functional components. - Dennis L. Doubleday; Mario R. Barbacci; Charles B. Weinstock; Michael J. Gardner; Randall W. Lichota (TRI-Ada, 1991)

Building fault tolerant distributed applications with Durra. - Mario Barbacci; Dennis L. Doubleday; Charles B. Weinstock; Michael J. Gardner; Randall W. Lichota (CDS, 1992)

Durra: a structure description language for developing distributed applications. - Mario R. Barbacci; Charles B. Weinstock; Dennis L. Doubleday; Michael J. Gardner; Randall W. Lichota (Softw. Eng. J., 1993)

Trust and vulnerability in open source software. - Scott A. Hissam; Daniel Plakosh; Charles B. Weinstock (IEE Proc. Softw., 2002)

International Working Group on Assurance Cases (for Security). - Robin E. Bloomfield; Sofia Guerra; Ann Miller; Marcelo Masera; Charles B. Weinstock (IEEE Secur. Priv., 2006)

Assurance Cases for Security: The Metrics Challenge. - Robin E. Bloomfield; Marcelo Masera; Ann Miller; O. Sami Saydjari; Charles B. Weinstock (DSN, 2007)

Eliminative induction: a basis for arguing system confidence. - John B. Goodenough 002; Charles B. Weinstock; Ari Z. Klein (ICSE, 2013)

Measuring assurance case confidence using Baconian probabilities. - Charles B. Weinstock; John B. Goodenough 002; Ari Z. Klein (ASSURE@ICSE, 2013)