Charles B. Weinstock
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1978–2013
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICSE | Eliminative induction: a basis for arguing system confidence. | John B. Goodenough, Charles B. Weinstock, Ari Z. Klein |
| 2013 | ICSE | Measuring assurance case confidence using Baconian probabilities. | Charles B. Weinstock, John B. Goodenough, Ari Z. Klein |
| 2007 | DSN | Assurance Cases for Security: The Metrics Challenge. | Robin E. Bloomfield, Marcelo Masera, Ann Miller, O. Sami Saydjari, Charles B. Weinstock |
| 1990 | ICDCS | Application-Level Programming. | Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock |
| 1988 | ICSE | Programming at the Processor-Memory-Switch Level. | Mario Barbacci, Charles B. Weinstock, Jeannette M. Wing |
| 1978 | COMPSAC | Reconfiguration stategies for the SIFT fault-tolerant computer. | Charles B. Weinstock, Milton W. Green |