Robin E Bloomfield
Robin E Bloomfield
City University and Adelard LLP
Email verificata su csr.city.ac.uk
Titolo
Citata da
Citata da
Anno
A methodology for safety case development
P Bishop, R Bloomfield
Safety and Reliability 20 (1), 34-42, 2000
3622000
Safety and assurance cases: Past, present and possible future–an Adelard perspective
R Bloomfield, P Bishop
Making systems safer, 51-67, 2010
1822010
The future of goal-based assurance cases
P Bishop, R Bloomfield, S Guerra
Proc. Workshop on Assurance Cases, 390-395, 2004
942004
Security-informed safety: if it’s not secure, it’s not safe
R Bloomfield, K Netkachova, R Stroud
International workshop on software engineering for resilient systems, 17-32, 2013
722013
Ascad—adelard safety case development manual
RE Bloomfield, PG Bishop, C Jones, PKD Froome
Adelard 5, 1998
641998
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
612007
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
592015
The application of formal methods to the assessment of high integrity software
RE Bloomfield, PKD Froome
IEEE transactions on Software Engineering, 988-993, 1986
581986
The practicalities of goal-based safety regulation
J Penny, A Eaton, PG Bishop, RE Bloomfield
Aspects of safety management, 35-48, 2001
572001
A conservative theory for long-term reliability-growth prediction [of software]
P Bishop, R Bloomfield
IEEE Transactions on Reliability 45 (4), 550-560, 1996
541996
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments.
RE Bloomfield, B Littlewood
DSN, 25-34, 2003
512003
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
432011
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
412010
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
International Conference on Reliability, Safety, and Security of Railway …, 2016
352016
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
352006
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
352002
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
342001
Building blocks for assurance cases
R Bloomfield, K Netkachova
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
332014
The SHIP safety case approach
PG Bishop, RE Bloomfield
Safe Comp 95, 437-451, 1995
331995
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
312017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20