2008 |
14 | EE | 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 |
13 | EE | Robin E. Bloomfield,
Bev Littlewood,
David Wright:
Confidence: Its Role in Dependability Cases for Risk Assessment.
DSN 2007: 338-346 |
12 | EE | Robin E. Bloomfield,
Marcelo Masera,
Ann Miller,
O. Sami Saydjari,
Charles B. Weinstock:
Assurance Cases for Security: The Metrics Challenge.
DSN 2007: 807-808 |
2005 |
11 | EE | Peter G. Bishop,
Robin E. Bloomfield,
Sofia Guerra,
Konstantinos Tourlas:
Justification of Smart Sensors for Nuclear Applications.
SAFECOMP 2005: 194-207 |
2003 |
10 | EE | Robin E. Bloomfield,
Bev Littlewood:
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments.
DSN 2003: 25- |
9 | EE | Peter G. Bishop,
Robin E. Bloomfield:
Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction.
ISSRE 2003: 237-245 |
8 | EE | Peter G. Bishop,
Robin E. Bloomfield,
Tim Clement,
Sofia Guerra,
Claire Jones:
Integrity Static Analysis of COTS/SOUP.
SAFECOMP 2003: 63-76 |
2002 |
7 | EE | Robin E. Bloomfield,
Sofia Guerra:
Process Modelling to Support Dependability Arguments.
DSN 2002: 113-122 |
6 | EE | Peter G. Bishop,
Robin E. Bloomfield:
Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects.
ISSRE 2002: 295-303 |
5 | EE | Peter G. Bishop,
Robin E. Bloomfield,
Tim Clement,
Sofia Guerra:
Software Criticality Analysis of COTS/SOUP.
SAFECOMP 2002: 198-211 |
2001 |
4 | EE | 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 | EE | 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) |