Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Peter Bishop 0001
@inproceedings{DBLP:conf/issre/0001PS22,
author = {Peter Bishop and
Andrey Povyakalo and
Lorenzo Strigini},
title = {Bootstrapping confidence in future safety from past safe operation},
booktitle = {{IEEE} 33rd International Symposium on Software Reliability Engineering,
{ISSRE} 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022},
pages = {97--108},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISSRE55969.2022.00020},
doi = {10.1109/ISSRE55969.2022.00020},
timestamp = {Wed, 11 Jan 2023 13:11:43 +0100},
biburl = {https://dblp.org/rec/conf/issre/0001PS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BishopP22,
author = {Peter Bishop and
Andrey Povyakalo},
editor = {Mario Trapp and
Francesca Saglietti and
Marc Spisl{\"{a}}nder and
Friedemann Bitsch},
title = {Optimising the Reliability that Can Be Claimed for a Software-Based
System Based on Failure-Free Tests of Its Components},
booktitle = {Computer Safety, Reliability, and Security - 41st International Conference,
{SAFECOMP} 2022, Munich, Germany, September 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13414},
pages = {365--378},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14835-4\_24},
doi = {10.1007/978-3-031-14835-4\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BishopP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-12829,
author = {Peter Bishop and
Andrey Povyakalo},
title = {Optimising the reliability that can be claimed for a software-based
system based on failure-free tests of its components},
journal = {CoRR},
volume = {abs/2201.12829},
year = {2022},
url = {https://arxiv.org/abs/2201.12829},
eprinttype = {arXiv},
eprint = {2201.12829},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-12829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-10718,
author = {Peter Bishop and
Andrey Povyakalo and
Lorenzo Strigini},
title = {Bootstrapping confidence in future safety based on past safe operation},
journal = {CoRR},
volume = {abs/2110.10718},
year = {2021},
url = {https://arxiv.org/abs/2110.10718},
eprinttype = {arXiv},
eprint = {2110.10718},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-10718.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BishopP20,
author = {Peter Bishop and
Andrey Povyakalo},
title = {A conservative confidence bound for the probability of failure on
demand of a software-based system based on failure-free tests of its
components},
journal = {Reliab. Eng. Syst. Saf.},
volume = {203},
pages = {107060},
year = {2020},
url = {https://doi.org/10.1016/j.ress.2020.107060},
doi = {10.1016/J.RESS.2020.107060},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/BishopP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BloomfieldBBS18,
author = {Robin Bloomfield and
Peter Bishop and
Eoin Butler and
Robert J. Stroud},
title = {Security-Informed Safety: Supporting Stakeholders with Codes of Practice},
journal = {Computer},
volume = {51},
number = {8},
pages = {60--65},
year = {2018},
url = {https://doi.org/10.1109/MC.2018.3191260},
doi = {10.1109/MC.2018.3191260},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BloomfieldBBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BishopP17,
author = {Peter G. Bishop and
Andrey Povyakalo},
title = {Deriving a frequentist conservative confidence bound for probability
of failure per demand for systems with different operational and test
profiles},
journal = {Reliab. Eng. Syst. Saf.},
volume = {158},
pages = {246--253},
year = {2017},
url = {https://doi.org/10.1016/j.ress.2016.08.019},
doi = {10.1016/J.RESS.2016.08.019},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/BishopP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BloomfieldBBN17,
author = {Robin Bloomfield and
Peter G. Bishop and
Eoin Butler and
Kateryna Netkachova},
editor = {Stefano Tonetta and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Using an Assurance Case Framework to Develop Security Strategy and
Policies},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2017 Workshops,
ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September
12, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10489},
pages = {27--28},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66284-8\_3},
doi = {10.1007/978-3-319-66284-8\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BloomfieldBBN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/BloomfieldBBST16,
author = {Robin E. Bloomfield and
Marcus Bendele and
Peter G. Bishop and
Robert J. Stroud and
Simon Tonks},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security
Perspective: Methodology and Lessons Learned},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {3--19},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_1},
doi = {10.1007/978-3-319-33951-1\_1},
timestamp = {Mon, 05 Feb 2024 20:34:31 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/BloomfieldBBST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Bishop15,
author = {Peter Bishop},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Modeling the Impact of Testing on Diverse Programs},
booktitle = {Computer Safety, Reliability, and Security - 34th International Conference,
{SAFECOMP} 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9337},
pages = {297--309},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24255-2\_22},
doi = {10.1007/978-3-319-24255-2\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Bishop15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BishopBLPPS14,
author = {Peter G. Bishop and
Robin E. Bloomfield and
Bev Littlewood and
Peter T. Popov and
Andrey Povyakalo and
Lorenzo Strigini},
title = {A conservative bound for the probability of failure of a 1-out-of-2
protection system with one hardware-only and one software-based protection
train},
journal = {Reliab. Eng. Syst. Saf.},
volume = {130},
pages = {61--68},
year = {2014},
url = {https://doi.org/10.1016/j.ress.2014.04.002},
doi = {10.1016/J.RESS.2014.04.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/BishopBLPPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BishopS14,
author = {Peter G. Bishop and
Lorenzo Strigini},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Estimating Worst Case Failure Dependency with Partial Knowledge of
the Difficulty Function},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {186--201},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_13},
doi = {10.1007/978-3-319-10506-2\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BishopS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BishopBC13,
author = {Peter G. Bishop and
Robin E. Bloomfield and
Lukasz Cyra},
title = {Combining testing and proof to gain high assurance in software: {A}
case study},
booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering,
{ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013},
pages = {248--257},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISSRE.2013.6698924},
doi = {10.1109/ISSRE.2013.6698924},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/BishopBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Bishop13,
author = {Peter Bishop},
editor = {Friedemann Bitsch and
J{\'{e}}r{\'{e}}mie Guiochet and
Mohamed Ka{\^{a}}niche},
title = {Does Software Have to Be Ultra Reliable in Safety Critical Systems?},
booktitle = {Computer Safety, Reliability, and Security - 32nd International Conference,
{SAFECOMP} 2013, Toulouse, France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8153},
pages = {118--129},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40793-2\_11},
doi = {10.1007/978-3-642-40793-2\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Bishop13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BishopBLPW11,
author = {Peter G. Bishop and
Robin E. Bloomfield and
Bev Littlewood and
Andrey Povyakalo and
David Wright},
title = {Toward a Formalism for Conservative Claims about the Dependability
of Software-Based Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {37},
number = {5},
pages = {708--717},
year = {2011},
url = {https://doi.org/10.1109/TSE.2010.67},
doi = {10.1109/TSE.2010.67},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BishopBLPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BishopBGS11,
author = {Peter G. Bishop and
Robin E. Bloomfield and
Ilir Gashi and
Vladimir Stankovic},
editor = {Tadashi Dohi and
Bojan Cukic},
title = {Diversity for Security: {A} Study with Off-the-Shelf AntiVirus Engines},
booktitle = {{IEEE} 22nd International Symposium on Software Reliability Engineering,
{ISSRE} 2011, Hiroshima, Japan, November 29 - December 2, 2011},
pages = {11--19},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISSRE.2011.15},
doi = {10.1109/ISSRE.2011.15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/BishopBGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BishopC10,
author = {Peter G. Bishop and
Lukasz Cyra},
editor = {Erwin Schoitsch},
title = {Overcoming Non-determinism in Testing Smart Devices: {A} Case Study},
booktitle = {Computer Safety, Reliability, and Security, 29th International Conference,
{SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6351},
pages = {237--250},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15651-9\_18},
doi = {10.1007/978-3-642-15651-9\_18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BishopC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BishopTC10,
author = {Peter G. Bishop and
Konstantinos Tourlas and
Nick Chozos},
editor = {Erwin Schoitsch},
title = {An Approach to Using Non Safety-Assured Programmable Components in
Modest Integrity Systems},
booktitle = {Computer Safety, Reliability, and Security, 29th International Conference,
{SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6351},
pages = {375--388},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15651-9\_28},
doi = {10.1007/978-3-642-15651-9\_28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BishopTC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scss/BloomfieldB10,
author = {Robin E. Bloomfield and
Peter G. Bishop},
editor = {Chris Dale and
Tom Anderson},
title = {Safety and Assurance Cases: Past, Present and Possible Future - an
Adelard Perspective},
booktitle = {Making Systems Safer - Proceedings of the Eighteenth Safety-Critical
Systems Symposium, Bristol, UK, February 9-11, 2010},
pages = {51--67},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-84996-086-1\_4},
doi = {10.1007/978-1-84996-086-1\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scss/BloomfieldB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BishopGLW07,
author = {Peter G. Bishop and
Ilir Gashi and
Bev Littlewood and
David Wright},
title = {Reliability Modeling of a 1-Out-Of-2 System: Research with Diverse
Off-The-Shelf {SQL} Database Servers},
booktitle = {{ISSRE} 2007, The 18th {IEEE} International Symposium on Software
Reliability, Trollh{\"{a}}ttan, Sweden, 5-9 November 2007},
pages = {49--58},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISSRE.2007.16},
doi = {10.1109/ISSRE.2007.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/BishopGLW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BishopBGT05,
author = {Peter G. Bishop and
Robin E. Bloomfield and
Sofia Guerra and
Konstantinos Tourlas},
editor = {Rune Winther and
Bj{\o}rn Axel Gran and
Gustav Dahll},
title = {Justification of Smart Sensors for Nuclear Applications},
booktitle = {Computer Safety, Reliability, and Security, 24th International Conference,
{SAFECOMP} 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3688},
pages = {194--207},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11563228\_15},
doi = {10.1007/11563228\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BishopBGT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MeulenBR04,
author = {Meine van der Meulen and
Peter G. Bishop and
Miguel A. Revilla},
title = {An Exploration of Software Faults and Failure Behaviour in a Large
Population of Programs},
booktitle = {15th International Symposium on Software Reliability Engineering {(ISSRE}
2004), 2-5 November 2004, Saint-Malo, Bretagne, France},
pages = {101--112},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ISSRE.2004.7},
doi = {10.1109/ISSRE.2004.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/MeulenBR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BentleyBM04,
author = {J. G. W. Bentley and
Peter G. Bishop and
Meine van der Meulen},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {An Empirical Exploration of the Difficulty Function},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {60--71},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_6},
doi = {10.1007/978-3-540-30138-7\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BentleyBM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BishopBCG03,
author = {Peter G. Bishop and
Robin E. Bloomfield and
Tim Clement and
Sofia Guerra},
title = {Software criticality analysis of {COTS/SOUP}},
journal = {Reliab. Eng. Syst. Saf.},
volume = {81},
number = {3},
pages = {291--301},
year = {2003},
url = {https://doi.org/10.1016/S0951-8320(03)00093-0},
doi = {10.1016/S0951-8320(03)00093-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/BishopBCG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BishopB03,
author = {Peter G. Bishop and
Robin E. Bloomfield},
title = {Using a Log-normal Failure Rate Distribution for Worst Case Bound
Reliability Prediction},
booktitle = {14th International Symposium on Software Reliability Engineering {(ISSRE}
2003), 17-20 November 2003, Denver, CO, {USA}},
pages = {237--245},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISSRE.2003.1251046},
doi = {10.1109/ISSRE.2003.1251046},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/BishopB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BishopBCGJ03,
author = {Peter G. Bishop and
Robin E. Bloomfield and
Tim Clement and
Sofia Guerra and
Claire Jones},
editor = {Stuart Anderson and
Massimo Felici and
Bev Littlewood},
title = {Integrity Static Analysis of {COTS/SOUP}},
booktitle = {Computer Safety, Reliability, and Security, 22nd International Conference,
{SAFECOMP} 2003, Edinburgh, UK, September 23-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2788},
pages = {63--76},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39878-3\_6},
doi = {10.1007/978-3-540-39878-3\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BishopBCGJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BishopB02,
author = {Peter G. Bishop and
Robin E. Bloomfield},
title = {Worst Case Reliability Prediction Based on a Prior Estimate of Residual
Defects},
booktitle = {13th International Symposium on Software Reliability Engineering {(ISSRE}
2002), 12-15 November 2002, Annapolis, MD, {USA}},
pages = {295--303},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISSRE.2002.1173274},
doi = {10.1109/ISSRE.2002.1173274},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/BishopB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Bishop02,
author = {Peter G. Bishop},
editor = {Phyllis G. Frankl},
title = {Rescaling reliability bounds for a new operational profile},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
pages = {180--190},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/566172.566201},
doi = {10.1145/566172.566201},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/Bishop02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Bishop02,
author = {Peter G. Bishop},
editor = {Stuart Anderson and
Sandro Bologna and
Massimo Felici},
title = {Estimating Residual Faults from Code Coverage},
booktitle = {Computer Safety, Reliability and Security, 21st International Conference,
{SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2434},
pages = {163--174},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45732-1\_17},
doi = {10.1007/3-540-45732-1\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Bishop02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BishopBCG02,
author = {Peter G. Bishop and
Robin E. Bloomfield and
Tim Clement and
Sofia Guerra},
editor = {Stuart Anderson and
Sandro Bologna and
Massimo Felici},
title = {Software Criticality Analysis of {COTS/SOUP}},
booktitle = {Computer Safety, Reliability and Security, 21st International Conference,
{SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2434},
pages = {198--211},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45732-1\_20},
doi = {10.1007/3-540-45732-1\_20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BishopBCG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scss/0001B98,
author = {Peter Bishop and
Robin Bloomfield},
editor = {Felix Redmill and
Tom Anderson},
title = {A Methodology for Safety Case Development},
booktitle = {Industrial Perspectives of Safety-critical Systems - Proceedings of
the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998},
pages = {194--203},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-1-4471-1534-2\_14},
doi = {10.1007/978-1-4471-1534-2\_14},
timestamp = {Sat, 30 May 2020 20:04:43 +0200},
biburl = {https://dblp.org/rec/conf/scss/0001B98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Bishop97,
author = {Peter G. Bishop},
title = {Using reversible computing to achieve fail-safety},
booktitle = {Eighth International Symposium on Software Reliability Engineering,
{ISSRE} 1997, Albuquerque, NM, USA, November 2-5, 1997},
pages = {182--191},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISSRE.1997.630863},
doi = {10.1109/ISSRE.1997.630863},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/Bishop97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/BishopB96,
author = {Peter G. Bishop and
Robin E. Bloomfield},
title = {A conservative theory for long-term reliability-growth prediction
[of software]},
journal = {{IEEE} Trans. Reliab.},
volume = {45},
number = {4},
pages = {550--560},
year = {1996},
url = {https://doi.org/10.1109/24.556578},
doi = {10.1109/24.556578},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/BishopB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BishopB96,
author = {Peter G. Bishop and
Robin E. Bloomfield},
title = {A conservative theory for long term reliability growth prediction},
booktitle = {Seventh International Symposium on Software Reliability Engineering,
{ISSRE} 1996, White Plains, NY, USA, October 30, 1996-Nov. 2, 1996},
pages = {308--317},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ISSRE.1996.558887},
doi = {10.1109/ISSRE.1996.558887},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/BishopB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BishopB95,
author = {Peter G. Bishop and
Robin E. Bloomfield},
editor = {Gerhard Rabe},
title = {The {SHIP} Safety Case Approach},
booktitle = {14th International Conference on Computer Safety, Reliability and
Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995},
pages = {437--451},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3054-3\_30},
doi = {10.1007/978-1-4471-3054-3\_30},
timestamp = {Tue, 25 Jun 2019 09:49:42 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BishopB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/Bishop93,
author = {Peter G. Bishop},
title = {The Variation of Software Survival Time for Different Operational
Input Profiles},
booktitle = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
pages = {98--107},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/FTCS.1993.627312},
doi = {10.1109/FTCS.1993.627312},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ftcs/Bishop93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/BishopP88,
author = {Peter G. Bishop and
F. D. Pullen},
title = {{PODS} revisited-a study of software failure behaviour},
booktitle = {Proceedings of the Eighteenth International Symposium on Fault-Tolerant
Computing, {FTCS} 1988, Tokyo, Japan, 27-30 June, 1988},
pages = {2--8},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/FTCS.1988.5289},
doi = {10.1109/FTCS.1988.5289},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ftcs/BishopP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BishopEBHDL86,
author = {Peter G. Bishop and
David G. Esp and
Mel Barnes and
Peter Humphreys and
Gustav Dahll and
Jaakko Lahti},
title = {{PODS} - {A} Project on Diverse Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {9},
pages = {929--940},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6313048},
doi = {10.1109/TSE.1986.6313048},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BishopEBHDL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-03-21 02:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
