| |
Attwood, Katrina
|
ASSURE '13: "Nuanced Term-Matching to Assist ..."
Nuanced Term-Matching to Assist in Compositional Safety Assurance
Katrina Attwood and Philippa Conmy
(University of York, UK)
@InProceedings{ASSURE13p19,
author = {Katrina Attwood and Philippa Conmy},
title = {Nuanced Term-Matching to Assist in Compositional Safety Assurance},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {19-18},
doi = {},
year = {2013},
}
|
| |
Cleaveland, Rance
|
ASSURE '13: "Constructing Safety Assurance ..."
Constructing Safety Assurance Cases for Medical Devices
Arnab Ray and Rance Cleaveland
(Fraunhofer CESE, USA; University of Maryland, USA)
@InProceedings{ASSURE13p43,
author = {Arnab Ray and Rance Cleaveland},
title = {Constructing Safety Assurance Cases for Medical Devices},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {43-42},
doi = {},
year = {2013},
}
|
| |
Conmy, Philippa |
ASSURE '13: "Nuanced Term-Matching to Assist ..."
Nuanced Term-Matching to Assist in Compositional Safety Assurance
Katrina Attwood and Philippa Conmy
(University of York, UK)
@InProceedings{ASSURE13p19,
author = {Katrina Attwood and Philippa Conmy},
title = {Nuanced Term-Matching to Assist in Compositional Safety Assurance},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {19-18},
doi = {},
year = {2013},
}
|
| |
Feather, Martin S.
|
ASSURE '13: "Architecting and Generalizing ..."
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)
@InProceedings{ASSURE13p31,
author = {Martin S. Feather and Lawrence Z. Markosian},
title = {Architecting and Generalizing a Safety Case for Critical Condition Detection Software: An Experience Report},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {31-30},
doi = {},
year = {2013},
}
|
| |
Goodenough, John B.
|
ASSURE '13: "Measuring Assurance Case Confidence ..."
Measuring Assurance Case Confidence using Baconian Probabilities
Charles B. Weinstock, John B. Goodenough, and Ari Z. Klein
(SEI, USA)
@InProceedings{ASSURE13p7,
author = {Charles B. Weinstock and John B. Goodenough and Ari Z. Klein},
title = {Measuring Assurance Case Confidence using Baconian Probabilities},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {7-6},
doi = {},
year = {2013},
}
|
| |
Joyce, Jeffrey J.
|
ASSURE '13: "Creating Safety Assurance ..."
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)
@InProceedings{ASSURE13p37,
author = {Alma L. Juarez Dominguez and Bruce G. Partridge and Jeffrey J. Joyce},
title = {Creating Safety Assurance Cases for Rebreather Systems},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {37-36},
doi = {},
year = {2013},
}
|
| |
Juarez Dominguez, Alma L. |
ASSURE '13: "Creating Safety Assurance ..."
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)
@InProceedings{ASSURE13p37,
author = {Alma L. Juarez Dominguez and Bruce G. Partridge and Jeffrey J. Joyce},
title = {Creating Safety Assurance Cases for Rebreather Systems},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {37-36},
doi = {},
year = {2013},
}
|
| |
Klein, Ari Z.
|
ASSURE '13: "Measuring Assurance Case Confidence ..."
Measuring Assurance Case Confidence using Baconian Probabilities
Charles B. Weinstock, John B. Goodenough, and Ari Z. Klein
(SEI, USA)
@InProceedings{ASSURE13p7,
author = {Charles B. Weinstock and John B. Goodenough and Ari Z. Klein},
title = {Measuring Assurance Case Confidence using Baconian Probabilities},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {7-6},
doi = {},
year = {2013},
}
|
| |
Langari, Zarrin
|
ASSURE '13: "Safety Cases: A Review of ..."
Safety Cases: A Review of Challenges
Zarrin Langari and Tom Maibaum
(McMaster University, Canada)
@InProceedings{ASSURE13p1,
author = {Zarrin Langari and Tom Maibaum},
title = {Safety Cases: A Review of Challenges},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {1-0},
doi = {},
year = {2013},
}
|
| |
Maibaum, Tom
|
ASSURE '13: "Safety Cases: A Review of ..."
Safety Cases: A Review of Challenges
Zarrin Langari and Tom Maibaum
(McMaster University, Canada)
@InProceedings{ASSURE13p1,
author = {Zarrin Langari and Tom Maibaum},
title = {Safety Cases: A Review of Challenges},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {1-0},
doi = {},
year = {2013},
}
|
| |
Markosian, Lawrence Z. |
ASSURE '13: "Architecting and Generalizing ..."
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)
@InProceedings{ASSURE13p31,
author = {Martin S. Feather and Lawrence Z. Markosian},
title = {Architecting and Generalizing a Safety Case for Critical Condition Detection Software: An Experience Report},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {31-30},
doi = {},
year = {2013},
}
|
| |
Matsuno, Yutaka |
ASSURE '13: "An Evaluation of Argument ..."
An Evaluation of Argument Patterns to Reduce Pitfalls of Applying Assurance Case
Shuichiro Yamamoto and Yutaka Matsuno
(Nagoya University, Japan)
@InProceedings{ASSURE13p13,
author = {Shuichiro Yamamoto and Yutaka Matsuno},
title = {An Evaluation of Argument Patterns to Reduce Pitfalls of Applying Assurance Case},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {13-12},
doi = {},
year = {2013},
}
ASSURE '13: "An Implementation of GSN Community ..."
An Implementation of GSN Community Standard
Yutaka Matsuno and Shuichiro Yamamoto
(Nagoya University, Japan)
@InProceedings{ASSURE13p25,
author = {Yutaka Matsuno and Shuichiro Yamamoto},
title = {An Implementation of GSN Community Standard},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {25-24},
doi = {},
year = {2013},
}
|
| |
Partridge, Bruce G.
|
ASSURE '13: "Creating Safety Assurance ..."
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)
@InProceedings{ASSURE13p37,
author = {Alma L. Juarez Dominguez and Bruce G. Partridge and Jeffrey J. Joyce},
title = {Creating Safety Assurance Cases for Rebreather Systems},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {37-36},
doi = {},
year = {2013},
}
|
| |
Ray, Arnab
|
ASSURE '13: "Constructing Safety Assurance ..."
Constructing Safety Assurance Cases for Medical Devices
Arnab Ray and Rance Cleaveland
(Fraunhofer CESE, USA; University of Maryland, USA)
@InProceedings{ASSURE13p43,
author = {Arnab Ray and Rance Cleaveland},
title = {Constructing Safety Assurance Cases for Medical Devices},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {43-42},
doi = {},
year = {2013},
}
|
| |
Weinstock, Charles B.
|
ASSURE '13: "Measuring Assurance Case Confidence ..."
Measuring Assurance Case Confidence using Baconian Probabilities
Charles B. Weinstock, John B. Goodenough, and Ari Z. Klein
(SEI, USA)
@InProceedings{ASSURE13p7,
author = {Charles B. Weinstock and John B. Goodenough and Ari Z. Klein},
title = {Measuring Assurance Case Confidence using Baconian Probabilities},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {7-6},
doi = {},
year = {2013},
}
|
| |
Yamamoto, Shuichiro
|
ASSURE '13: "An Evaluation of Argument ..."
An Evaluation of Argument Patterns to Reduce Pitfalls of Applying Assurance Case
Shuichiro Yamamoto and Yutaka Matsuno
(Nagoya University, Japan)
@InProceedings{ASSURE13p13,
author = {Shuichiro Yamamoto and Yutaka Matsuno},
title = {An Evaluation of Argument Patterns to Reduce Pitfalls of Applying Assurance Case},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {13-12},
doi = {},
year = {2013},
}
ASSURE '13: "An Implementation of GSN Community ..."
An Implementation of GSN Community Standard
Yutaka Matsuno and Shuichiro Yamamoto
(Nagoya University, Japan)
@InProceedings{ASSURE13p25,
author = {Yutaka Matsuno and Shuichiro Yamamoto},
title = {An Implementation of GSN Community Standard},
booktitle = {Proc.\ ASSURE},
publisher = {IEEE},
pages = {25-24},
doi = {},
year = {2013},
}
|