Powered by

2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE), May 19, 2013, San Francisco, CA, USA

ASSURE 2013 – Proceedings

Contents - Abstracts - Authors

1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE)

Title Page
Article: icsews13assureforeword-fm000-p (type: Frontmatter) doi:

Foreword
Article: icsews13assureforeword-fm001-p (type: Frontmatter) doi:

Safety Cases: A Review of Challenges
Zarrin Langari and Tom Maibaum
(McMaster University, Canada)
Article: icsews13assure-id1-p (type: Full Paper (6 pages)) doi:

Measuring Assurance Case Confidence using Baconian Probabilities
Charles B. Weinstock, John B. Goodenough, and Ari Z. Klein
(SEI, USA)
Article: icsews13assure-id5-p (type: Full Paper (6 pages)) doi:

An Evaluation of Argument Patterns to Reduce Pitfalls of Applying Assurance Case
Shuichiro Yamamoto and Yutaka Matsuno
(Nagoya University, Japan)
Article: icsews13assure-id3-p (type: Full Paper (6 pages)) doi:

Nuanced Term-Matching to Assist in Compositional Safety Assurance
Katrina Attwood and Philippa Conmy
(University of York, UK)
Article: icsews13assure-id7-p (type: Full Paper (6 pages)) doi:

An Implementation of GSN Community Standard
Yutaka Matsuno and Shuichiro Yamamoto
(Nagoya University, Japan)
Article: icsews13assure-id12-p (type: Full Paper (6 pages)) doi:

Architecting and Generalizing a Safety Case for Critical Condition Detection Software: An Experience Report
Martin S. Feather and Lawrence Z. Markosian
(Jet Propulsion Laboratory, USA; SGT, USA)
Article: icsews13assure-id9-p (type: Full Paper (6 pages)) doi:

Creating Safety Assurance Cases for Rebreather Systems
Alma L. Juarez Dominguez, Bruce G. Partridge, and Jeffrey J. Joyce
(University of Waterloo, Canada; Shearwater Research, Canada; Critical Systems Labs, Canada)
Article: icsews13assure-id6-p (type: Full Paper (6 pages)) doi:

Constructing Safety Assurance Cases for Medical Devices
Arnab Ray and Rance Cleaveland
(Fraunhofer CESE, USA; University of Maryland, USA)
Article: icsews13assure-id10-p (type: Full Paper (6 pages)) doi:

proc time: 0.03