Παρακολούθηση
Robin E Bloomfield
Robin E Bloomfield
City University and Adelard LLP
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα csr.city.ac.uk
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
The future of goal-based assurance cases
P Bishop, R Bloomfield, S Guerra
Proc. Workshop on Assurance Cases, 390-395, 2004
1002004
Security-informed safety: if it’s not secure, it’s not safe
R Bloomfield, K Netkachova, R Stroud
Software Engineering for Resilient Systems: 5th International Workshop …, 2013
902013
Intrusion alert prioritisation and attack detection using post-correlation analysis
R Shittu, A Healing, R Ghanea-Hercock, R Bloomfield, M Rajarajan
Computers & security 50, 1-15, 2015
802015
Ascad—adelard safety case development manual
RE Bloomfield, PG Bishop, C Jones, P Froome
Adelard 5, 1998
801998
Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment
RE Bloomfield, P Popov, K Salako, V Stankovic, D Wright
Reliability Engineering & System Safety 167, 198-217, 2017
722017
Confidence: its role in dependability cases for risk assessment
RE Bloomfield, B Littlewood, D Wright
37th Annual IEEE/IFIP International Conference on Dependable Systems and …, 2007
702007
The application of formal methods to the assessment of high integrity software
RE Bloomfield, PKD Froome
IEEE Transactions on Software Engineering, 988-993, 1986
651986
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
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments.
RE Bloomfield, B Littlewood
DSN, 25-34, 2003
522003
Building blocks for assurance cases
R Bloomfield, K Netkachova
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
502014
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
International working group on assurance cases (for security)
RE Bloomfield, S Guerra, A Miller, M Masera, CB Weinstock
IEEE Security & Privacy 4 (3), 66-68, 2006
392006
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
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20