Charles B. Weinstock

According to our database, Charles B. Weinstock authored at least 13 papers between 1978 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Measuring assurance case confidence using Baconian probabilities.

Charles B. Weinstock, John B. Goodenough, Ari Z. Klein

Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

Eliminative induction: a basis for arguing system confidence.

John B. Goodenough, Charles B. Weinstock, Ari Z. Klein

Proceedings of the 35th International Conference on Software Engineering, 2013

2007

Assurance Cases for Security: The Metrics Challenge.

Robin E. Bloomfield, Marcelo Masera, Ann Miller, O. Sami Saydjari, Charles B. Weinstock

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

International Working Group on Assurance Cases (for Security).

Robin E. Bloomfield, Sofia Guerra, Ann Miller, Marcelo Masera, Charles B. Weinstock

IEEE Secur. Priv., 2006

2002

Trust and vulnerability in open source software.

Scott A. Hissam, Daniel Plakosh, Charles B. Weinstock

IEE Proc. Softw., 2002

1993

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

1992

Building fault tolerant distributed applications with Durra.

Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota

Proceedings of the First International Workshop on Configurable Distributed Systems, 1992

1991

Building distributed Ada applications from specifications and functional components.

Dennis L. Doubleday, Mario R. Barbacci, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota

Proceedings of the Conference on TRI-Ada 1991, 1991

1990

Application-Level Programming.

Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1989

Developing Applications for Heterogeneous Machine Networks: The Durra Network.

Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Jeannette M. Wing

Comput. Syst., 1989

1988

An efficient algorithm for heap storage allocation.

Charles B. Weinstock, William A. Wulf

ACM SIGPLAN Notices, 1988

Programming at the Processor-Memory-Switch Level.

Mario Barbacci, Charles B. Weinstock, Jeannette M. Wing

Proceedings of the Proceedings, 1988

1978

Reconfiguration stategies for the SIFT fault-tolerant computer.

Charles B. Weinstock, Milton W. Green

Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978