Charles B. Weinstock

13 papers A* 2A 2B 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2013 A* conf
Eliminative induction: a basis for arguing system confidence.
ICSE
John B. Goodenough, Charles B. Weinstock, Ari Z. Klein
2013 — conf
Measuring assurance case confidence using Baconian probabilities.
ASSURE@ICSE
Charles B. Weinstock, John B. Goodenough, Ari Z. Klein
2007 A conf
Assurance Cases for Security: The Metrics Challenge.
DSN
Robin E. Bloomfield, Marcelo Masera, Ann Miller, O. Sami Saydjari, Charles B. Weinstock
2006 J jnl
International Working Group on Assurance Cases (for Security).
IEEE Secur. Priv.
Robin E. Bloomfield, Sofia Guerra, Ann Miller, Marcelo Masera, Charles B. Weinstock
2002 J jnl
Trust and vulnerability in open source software.
IEE Proc. Softw.
Scott A. Hissam, Daniel Plakosh, Charles B. Weinstock
1993 J jnl
Durra: a structure description language for developing distributed applications.
Softw. Eng. J.
Mario R. Barbacci, Charles B. Weinstock, Dennis L. Doubleday, Michael J. Gardner, Randall W. Lichota
1992 — conf
Building fault tolerant distributed applications with Durra.
CDS
Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota
1991 — conf
Building distributed Ada applications from specifications and functional components.
TRI-Ada
Dennis L. Doubleday, Mario R. Barbacci, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota
1990 A conf
Application-Level Programming.
ICDCS
Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock
1989 J jnl
Developing Applications for Heterogeneous Machine Networks: The Durra Network.
Comput. Syst.
Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Jeannette M. Wing
1988 J jnl
An efficient algorithm for heap storage allocation.
ACM SIGPLAN Notices
Charles B. Weinstock, William A. Wulf
1988 A* conf
Programming at the Processor-Memory-Switch Level.
ICSE
Mario Barbacci, Charles B. Weinstock, Jeannette M. Wing
1978 B conf
Reconfiguration stategies for the SIFT fault-tolerant computer.
COMPSAC
Charles B. Weinstock, Milton W. Green