Workshop ASSURE 2013 – Author Index

A C F G J K L M P R W Y

	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}, } Article: icsews13assure-id7-p doi:
	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}, } Article: icsews13assure-id10-p doi:
	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}, } Article: icsews13assure-id7-p doi:
	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}, } Article: icsews13assure-id9-p doi:
	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}, } Article: icsews13assure-id5-p doi:
	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}, } Article: icsews13assure-id6-p doi:
	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}, } Article: icsews13assure-id6-p doi:
	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}, } Article: icsews13assure-id5-p doi:
	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}, } Article: icsews13assure-id1-p doi:
	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}, } Article: icsews13assure-id1-p doi:
	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}, } Article: icsews13assure-id9-p doi:
	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}, } Article: icsews13assure-id3-p doi: 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}, } Article: icsews13assure-id12-p doi:
	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}, } Article: icsews13assure-id6-p doi:
	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}, } Article: icsews13assure-id10-p doi:
	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}, } Article: icsews13assure-id5-p doi:
	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}, } Article: icsews13assure-id3-p doi: 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}, } Article: icsews13assure-id12-p doi:

18 authors

proc time: 0.04