Segui
Peter Bishop
Titolo
Citata da
Citata da
Anno
A methodology for safety case development
P Bishop, R Bloomfield
Safety and Reliability 20 (1), 34-42, 2000
4082000
Safety and assurance cases: Past, present and possible future–an Adelard perspective
R Bloomfield, P Bishop
Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems …, 2009
2282009
PODS—A project on diverse software
PG Bishop, DG Esp, M Barnes, P Humphreys, G Dahll, J Lahti
IEEE Transactions on Software Engineering, 929-940, 1986
1321986
The variation of software survival time for different operational input profiles (or why you can wait a long time for a big bug to fail)
PG Bishop
FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing …, 1993
1171993
The future of goal-based assurance cases
P Bishop, R Bloomfield, S Guerra
Proc. Workshop on Assurance Cases, 390-395, 2004
1002004
Ascad—adelard safety case development manual
RE Bloomfield, PG Bishop, C Jones, P Froome
Adelard 5, 1998
801998
PODS revisited-a study of software failure behaviour
PG Bishop, FD Pullen
1988 The Eighteenth International Symposium on Fault-Tolerant Computing …, 1988
691988
The practicalities of goal-based safety regulation
J Penny, A Eaton, PG Bishop, RE Bloomfield
Aspects of Safety Management: Proceedings of the Ninth Safety-critical …, 2001
592001
A conservative theory for long-term reliability-growth prediction [of software]
P Bishop, R Bloomfield
IEEE Transactions on Reliability 45 (4), 550-560, 1996
591996
Toward a formalism for conservative claims about the dependability of software-based systems
P Bishop, R Bloomfield, B Littlewood, A Povyakalo, D Wright
IEEE Transactions on Software Engineering 37 (5), 708-717, 2010
572010
Dependability of Critical Computer Systems v. 3
PG Bishop
Springer Publishing Company, Incorporated, 2007
512007
Diversity for security: a study with off-the-shelf antivirus engines
P Bishop, R Bloomfield, I Gashi, V Stankovic
2011 IEEE 22nd International Symposium on Software Reliability Engineering …, 2011
472011
The risk assessment of ERTMS-based railway systems from a cyber security perspective: Methodology and lessons learned
R Bloomfield, M Bendele, P Bishop, R Stroud, S Tonks
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2016
442016
Software criticality analysis of cots/soup
P Bishop, R Bloomfield, T Clement, S Guerra
International Conference on Computer Safety, Reliability, and Security, 198-211, 2002
392002
Software fault tolerance by design diversity
P Bishop
Software Fault Tolerance 3, 211-229, 1995
391995
Justifying the use of software of uncertain pedigree (SOUP) in safety-related applications
PG Bishop, RE Bloomfield, PKD Froome
University of Southampton, Institute of Sound and Vibration Research, 2001
372001
The SHIP safety case approach
PG Bishop, RE Bloomfield
Safe Comp 95: The 14th International Conference on Computer Safety …, 1995
361995
Project on diverse software—an experiment in software reliability
P Bishop, D Esp, M Barnes, P Humphreys, G Dahll, J Lahti, S Yoshimura
IFAC Proceedings Volumes 18 (12), 153-158, 1985
351985
An exploration of software faults and failure behaviour in a large population of programs
MJP Van der Meulen, PG Bishop, R Villa
15th International Symposium on Software Reliability Engineering, 101-112, 2004
332004
Using reversible computing to achieve fail-safety
PG Bishop
Proceedings the Eighth International Symposium on Software Reliability …, 1997
321997
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20