ASSURE@ICSE

Publications

2013

Yutaka Matsuno, Shuichiro Yamamoto
An implementation of GSN community standard. ASSURE@ICSE (2013)
Arnab Ray, Rance Cleaveland
Constructing safety assurance cases for medical devices. ASSURE@ICSE (2013)
Alma L. Juarez Dominguez, Bruce G. Partridge, Jeffrey J. Joyce
Creating safety assurance cases for rebreather systems. ASSURE@ICSE (2013)
Martin S. Feather, Lawrence Z. Markosian
Architecting and generalizing a safety case for critical condition detection software: an experience report. ASSURE@ICSE (2013)
Charles B. Weinstock, John B. Goodenough, Ari Z. Klein
Measuring assurance case confidence using Baconian probabilities. ASSURE@ICSE (2013)
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013 ASSURE@ICSE (2013)
Shuichiro Yamamoto, Yutaka Matsuno
An evaluation of argument patterns to reduce pitfalls of applying assurance case. ASSURE@ICSE (2013)
Zarrin Langari, Tom Maibaum
Safety cases: a review of challenges. ASSURE@ICSE (2013)
Katrina Attwood, Philippa Conmy
Nuanced term-matching to assist in compositional safety assurance. ASSURE@ICSE (2013)