Search dblp for Publications

export results for "toc:db/conf/icse/assure2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icse/AttwoodC13,
  author       = {Katrina Attwood and
                  Philippa Conmy},
  editor       = {Ewen Denney and
                  Ibrahim Habli and
                  Tim Kelly and
                  John C. Knight and
                  Ganesh Pai},
  title        = {Nuanced term-matching to assist in compositional safety assurance},
  booktitle    = {Proceedings of the 1st International Workshop on Assurance Cases for
                  Software-Intensive Systems, {ASSURE} '13, San Francisco, California,
                  USA, May 19, 2013},
  pages        = {18--23},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ASSURE.2013.6614266},
  doi          = {10.1109/ASSURE.2013.6614266},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/AttwoodC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/DominguezPJ13,
  author       = {Alma L. Juarez Dominguez and
                  Bruce G. Partridge and
                  Jeffrey J. Joyce},
  editor       = {Ewen Denney and
                  Ibrahim Habli and
                  Tim Kelly and
                  John C. Knight and
                  Ganesh Pai},
  title        = {Creating safety assurance cases for rebreather systems},
  booktitle    = {Proceedings of the 1st International Workshop on Assurance Cases for
                  Software-Intensive Systems, {ASSURE} '13, San Francisco, California,
                  USA, May 19, 2013},
  pages        = {34--39},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ASSURE.2013.6614269},
  doi          = {10.1109/ASSURE.2013.6614269},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/DominguezPJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/FeatherM13,
  author       = {Martin S. Feather and
                  Lawrence Z. Markosian},
  editor       = {Ewen Denney and
                  Ibrahim Habli and
                  Tim Kelly and
                  John C. Knight and
                  Ganesh Pai},
  title        = {Architecting and generalizing a safety case for critical condition
                  detection software: an experience report},
  booktitle    = {Proceedings of the 1st International Workshop on Assurance Cases for
                  Software-Intensive Systems, {ASSURE} '13, San Francisco, California,
                  USA, May 19, 2013},
  pages        = {29--33},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ASSURE.2013.6614268},
  doi          = {10.1109/ASSURE.2013.6614268},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/FeatherM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/LangariM13,
  author       = {Zarrin Langari and
                  Tom Maibaum},
  editor       = {Ewen Denney and
                  Ibrahim Habli and
                  Tim Kelly and
                  John C. Knight and
                  Ganesh Pai},
  title        = {Safety cases: a review of challenges},
  booktitle    = {Proceedings of the 1st International Workshop on Assurance Cases for
                  Software-Intensive Systems, {ASSURE} '13, San Francisco, California,
                  USA, May 19, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ASSURE.2013.6614263},
  doi          = {10.1109/ASSURE.2013.6614263},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/LangariM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/MatsunoY13,
  author       = {Yutaka Matsuno and
                  Shuichiro Yamamoto},
  editor       = {Ewen Denney and
                  Ibrahim Habli and
                  Tim Kelly and
                  John C. Knight and
                  Ganesh Pai},
  title        = {An implementation of {GSN} community standard},
  booktitle    = {Proceedings of the 1st International Workshop on Assurance Cases for
                  Software-Intensive Systems, {ASSURE} '13, San Francisco, California,
                  USA, May 19, 2013},
  pages        = {24--28},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ASSURE.2013.6614267},
  doi          = {10.1109/ASSURE.2013.6614267},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/MatsunoY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/RayC13,
  author       = {Arnab Ray and
                  Rance Cleaveland},
  editor       = {Ewen Denney and
                  Ibrahim Habli and
                  Tim Kelly and
                  John C. Knight and
                  Ganesh Pai},
  title        = {Constructing safety assurance cases for medical devices},
  booktitle    = {Proceedings of the 1st International Workshop on Assurance Cases for
                  Software-Intensive Systems, {ASSURE} '13, San Francisco, California,
                  USA, May 19, 2013},
  pages        = {40--45},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ASSURE.2013.6614270},
  doi          = {10.1109/ASSURE.2013.6614270},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/RayC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/WeinstockGK13,
  author       = {Charles B. Weinstock and
                  John B. Goodenough and
                  Ari Z. Klein},
  editor       = {Ewen Denney and
                  Ibrahim Habli and
                  Tim Kelly and
                  John C. Knight and
                  Ganesh Pai},
  title        = {Measuring assurance case confidence using Baconian probabilities},
  booktitle    = {Proceedings of the 1st International Workshop on Assurance Cases for
                  Software-Intensive Systems, {ASSURE} '13, San Francisco, California,
                  USA, May 19, 2013},
  pages        = {7--11},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ASSURE.2013.6614264},
  doi          = {10.1109/ASSURE.2013.6614264},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/WeinstockGK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/YamamotoM13,
  author       = {Shuichiro Yamamoto and
                  Yutaka Matsuno},
  editor       = {Ewen Denney and
                  Ibrahim Habli and
                  Tim Kelly and
                  John C. Knight and
                  Ganesh Pai},
  title        = {An evaluation of argument patterns to reduce pitfalls of applying
                  assurance case},
  booktitle    = {Proceedings of the 1st International Workshop on Assurance Cases for
                  Software-Intensive Systems, {ASSURE} '13, San Francisco, California,
                  USA, May 19, 2013},
  pages        = {12--17},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ASSURE.2013.6614265},
  doi          = {10.1109/ASSURE.2013.6614265},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/YamamotoM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icse/2013assure,
  editor       = {Ewen Denney and
                  Ibrahim Habli and
                  Tim Kelly and
                  John C. Knight and
                  Ganesh Pai},
  title        = {Proceedings of the 1st International Workshop on Assurance Cases for
                  Software-Intensive Systems, {ASSURE} '13, San Francisco, California,
                  USA, May 19, 2013},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6596099/proceeding},
  isbn         = {978-1-4673-6324-2},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/2013assure.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.