Robin E. Bloomfield

45 papers A 10B 6C 4Journal 14Unranked 10

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	Invited Talk: Structured Engineering Argumentation. JSAI-isAI Workshops Robin E. Bloomfield
2017	J	`jnl`	Is Chocolate Good for You - or, Is the Cloud Secure? Computer Kateryna Netkachova, Robin E. Bloomfield
2017	J	`jnl`	Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment. Reliab. Eng. Syst. Saf. Robin E. Bloomfield, Peter T. Popov, Kizito Salako, Vladimir Stankovic, David Wright
2016	J	`jnl`	Security-Informed Safety. Computer Kateryna Netkachova, Robin E. Bloomfield
2016	—	`conf`	The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned. RSSRail Robin E. Bloomfield, Marcus Bendele, Peter G. Bishop, Robert J. Stroud, Simon Tonks
2015	J	`jnl`	Autonomy, Robotics, and Dependability. IEEE Secur. Priv. Robin E. Bloomfield
2015	J	`jnl`	Intrusion alert prioritisation and attack detection using post-correlation analysis. Comput. Secur. Riyanat O. Shittu, Alex Healing, Robert A. Ghanea-Hercock, Robin E. Bloomfield, Muttukrishnan Rajarajan
2015	—	`conf`	Tool Support for Assurance Case Building Blocks - Providing a Helping Hand with CAE. SAFECOMP Workshops Kateryna Netkachova, Oleksandr Netkachov, Robin E. Bloomfield
2015	—	`conf`	Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures. SAFECOMP Workshops Kateryna Netkachova, Robin E. Bloomfield, Peter T. Popov, Oleksandr Netkachov
2014	J	`jnl`	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. Reliab. Eng. Syst. Saf. Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Peter T. Popov, Andrey Povyakalo, Lorenzo Strigini
2014	—	`conf`	Building Blocks for Assurance Cases. ISSRE Workshops Robin E. Bloomfield, Kateryna Netkachova
2014	B	`conf`	OutMet: A new metric for prioritising intrusion alerts using correlation and outlier analysis. LCN Riyanat O. Shittu, Alex Healing, Robert A. Ghanea-Hercock, Robin E. Bloomfield, Muttukrishnan Rajarajan
2013	A	`conf`	Combining testing and proof to gain high assurance in software: A case study. ISSRE Peter G. Bishop, Robin E. Bloomfield, Lukasz Cyra
2013	J	`jnl`	Safety-Critical Systems: The Next Generation. IEEE Secur. Priv. Robin E. Bloomfield, Jay Lala
2013	—	`conf`	Security-Informed Safety: If It's Not Secure, It's Not Safe. SERENE Robin E. Bloomfield, Kateryna Netkachova, Robert J. Stroud
2012	J	`jnl`	Are Things Getting Worse? IEEE Secur. Priv. Robin E. Bloomfield
2012	—	`conf`	Evidence-Based Security in Aerospace: From Safety to Security and Back Again. ISSRE Workshops Michael Paulitsch, Rupert Reiger, Lorenzo Strigini, Robin E. Bloomfield
2012	—	`conf`	How Secure Is ERTMS? SAFECOMP Workshops Richard Bloomfield, Robin E. Bloomfield, Ilir Gashi, Robert J. Stroud
2012	—	`conf`	Visual Analytic Agent-Based Framework for Intrusion Alert Analysis. CyberC Riyanat O. Shittu, Alex Healing, Robin E. Bloomfield, Muttukrishnan Rajarajan
2011	A	`conf`	Diversity for Security: A Study with Off-the-Shelf AntiVirus Engines. ISSRE Peter G. Bishop, Robin E. Bloomfield, Ilir Gashi, Vladimir Stankovic
2011	J	`jnl`	Resilient to the Unexpected. IEEE Secur. Priv. Robin E. Bloomfield
2011	J	`jnl`	Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems. IEEE Trans. Software Eng. Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Andrey Povyakalo, David Wright
2010	C	`ed.`	Critical Information Infrastructures Security, 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers CRITIS Erich Rome, Robin E. Bloomfield
2010	C	`conf`	Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective. SSS Robin E. Bloomfield, Peter G. Bishop
2009	C	`conf`	Current Capabilities, Requirements and a Proposed Strategy for Interdependency Analysis in the UK. CRITIS Robin E. Bloomfield, Nick Chozos, Kizito Salako
2009	C	`conf`	Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure. CRITIS Robin E. Bloomfield, Lubos Buzna, Peter T. Popov, Kizito Salako, David Wright
2008	A	`conf`	Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network. ISSRE Robin E. Bloomfield, Ilir Gashi, Andrey Povyakalo, Vladimir Stankovic
2007	A	`conf`	Assurance Cases for Security: The Metrics Challenge. DSN Robin E. Bloomfield, Marcelo Masera, Ann Miller, O. Sami Saydjari, Charles B. Weinstock
2007	A	`conf`	Confidence: Its Role in Dependability Cases for Risk Assessment. DSN Robin E. Bloomfield, Bev Littlewood, David Wright
2006	J	`jnl`	International Working Group on Assurance Cases (for Security). IEEE Secur. Priv. Robin E. Bloomfield, Sofia Guerra, Ann Miller, Marcelo Masera, Charles B. Weinstock
2005	B	`conf`	Justification of Smart Sensors for Nuclear Applications. SAFECOMP Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas
2003	B	`conf`	Integrity Static Analysis of COTS/SOUP. SAFECOMP Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones
2003	A	`conf`	Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments. DSN Robin E. Bloomfield, Bev Littlewood
2003	J	`jnl`	Software criticality analysis of COTS/SOUP. Reliab. Eng. Syst. Saf. Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra
2003	A	`conf`	Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction. ISSRE Peter G. Bishop, Robin E. Bloomfield
2002	A	`conf`	Process Modelling to Support Dependability Arguments. DSN Robin E. Bloomfield, Sofia Guerra
2002	B	`conf`	Software Criticality Analysis of COTS/SOUP. SAFECOMP Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra
2002	A	`conf`	Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects. ISSRE Peter G. Bishop, Robin E. Bloomfield
2001	—	`conf`	Theoretical foundation for iterative assessment of conditional confidence measures in the framework of conditional measure theoretic-approach. EUSFLAT Conf. Mourad Oussalah, Hung T. Nguyen, Vladik Kreinovich, Robin E. Bloomfield, Martin Newby
2000	B	`conf`	Formal Methods Diffusion: Past Lessons and Future Prospects. SAFECOMP Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann
1996	A	`conf`	A conservative theory for long term reliability growth prediction. ISSRE Peter G. Bishop, Robin E. Bloomfield
1996	J	`jnl`	A conservative theory for long-term reliability-growth prediction [of software]. IEEE Trans. Reliab. Peter G. Bishop, Robin E. Bloomfield
1995	B	`conf`	The SHIP Safety Case Approach. SAFECOMP Peter G. Bishop, Robin E. Bloomfield
1988	—	`ed.`	VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings VDM Europe Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones
1986	J	`jnl`	The Application of Formal Methods to the Assessment of High Integrity Software. IEEE Trans. Software Eng. Robin E. Bloomfield, Peter K. D. Froome