Bev Littlewood
City, University of London(GB)
Publications by Year
Research Areas
Software Reliability and Analysis Research, Information and Cyber Security, Reliability and Maintenance Optimization, Safety Systems Engineering in Autonomy, Formal Methods in Verification
Most-Cited Works
- → Confidence: Its Role in Dependability Cases for Risk Assessment(2007)54 cited
- → Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems(2010)49 cited
- → Towards Operational Measures of Computer Security: Concepts(1995)33 cited
- → Forecasting Software Reliability(1991)33 cited
- Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings (Lecture Notes in Computer Science)(2003)