 | 2011 |
| 21 |  | Peter Bishop,
Robin E. Bloomfield,
Ilir Gashi,
Vladimir Stankovic:
Diversity for Security: A Study with Off-the-Shelf AntiVirus Engines.
ISSRE 2011: 11-19 |
| 20 |  | Robin E. Bloomfield:
Resilient to the Unexpected.
IEEE Security & Privacy 9(3): 3-4 (2011) |
| 19 |  | Peter G. Bishop,
Robin E. Bloomfield,
Bev Littlewood,
Andrey Povyakalo,
David Wright:
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems.
IEEE Trans. Software Eng. 37(5): 708-717 (2011) |
| 2010 |
| 18 |  | Erich Rome,
Robin E. Bloomfield:
Critical Information Infrastructures Security, 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers
Springer 2010 |
| 2009 |
| 17 |  | Robin E. Bloomfield,
Nick Chozos,
Kizito Salako:
Current Capabilities, Requirements and a Proposed Strategy for Interdependency Analysis in the UK.
CRITIS 2009: 188-200 |
| 16 |  | Robin E. Bloomfield,
Lubos Buzna,
Peter Popov,
Kizito Salako,
David Wright:
Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure.
CRITIS 2009: 201-212 |
| 2008 |
| 15 |  | Robin E. Bloomfield,
Ilir Gashi,
Andrey Povyakalo,
Vladimir Stankovic:
Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network.
ISSRE 2008: 219-228 |
| 2007 |
| 14 |  | Robin E. Bloomfield,
Bev Littlewood,
David Wright:
Confidence: Its Role in Dependability Cases for Risk Assessment.
DSN 2007: 338-346 |
| 13 |  | Robin E. Bloomfield,
Marcelo Masera,
Ann Miller,
O. Sami Saydjari,
Charles B. Weinstock:
Assurance Cases for Security: The Metrics Challenge.
DSN 2007: 807-808 |
| 2006 |
| 12 |  | Robin E. Bloomfield,
Sofia Guerra,
Ann Miller,
Marcelo Masera,
Charles B. Weinstock:
International Working Group on Assurance Cases (for Security).
IEEE Security & Privacy 4(3): 66-68 (2006) |
| 2005 |
| 11 |  | Peter G. Bishop,
Robin E. Bloomfield,
Sofia Guerra,
Konstantinos Tourlas:
Justification of Smart Sensors for Nuclear Applications.
SAFECOMP 2005: 194-207 |
| 2003 |
| 10 |  | Robin E. Bloomfield,
Bev Littlewood:
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments.
DSN 2003: 25-34 |
| 9 |  | Peter G. Bishop,
Robin E. Bloomfield:
Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction.
ISSRE 2003: 237-245 |
| 8 |  | Peter G. Bishop,
Robin E. Bloomfield,
Tim Clement,
Sofia Guerra,
Claire Jones:
Integrity Static Analysis of COTS/SOUP.
SAFECOMP 2003: 63-76 |
| 2002 |
| 7 |  | Robin E. Bloomfield,
Sofia Guerra:
Process Modelling to Support Dependability Arguments.
DSN 2002: 113-122 |
| 6 |  | Peter G. Bishop,
Robin E. Bloomfield:
Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects.
ISSRE 2002: 295-303 |
| 5 |  | Peter G. Bishop,
Robin E. Bloomfield,
Tim Clement,
Sofia Guerra:
Software Criticality Analysis of COTS/SOUP.
SAFECOMP 2002: 198-211 |
| 2001 |
| 4 |  | Mourad Oussalah,
Hung T. Nguyen,
Vladik Kreinovich,
Robin E. Bloomfield,
Martin Newby:
Theoretical foundation for iterative assessment of conditional confidence measures in the framework of conditional measure theoretic-approach.
EUSFLAT Conf. 2001: 422-423 |
| 2000 |
| 3 |  | Robin E. Bloomfield,
Dan Craigen,
Frank Koob,
Markus Ullmann,
Stefan Wittmann:
Formal Methods Diffusion: Past Lessons and Future Prospects.
SAFECOMP 2000: 211-226 |
| 1988 |
| 2 |  | Robin E. Bloomfield,
Lynn S. Marshall,
Roger B. Jones:
VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings
Springer 1988 |
| 1986 |
| 1 |  | Robin E. Bloomfield,
Peter K. D. Froome:
The Application of Formal Methods to the Assessment of High Integrity Software.
IEEE Trans. Software Eng. 12(9): 988-993 (1986) |