Specialist Areas
- Claims, Arguments and Evidence
- Safety Case Research
- Development of Safety Cases
- Defence/Weapons Safety and Environmental Cases
- Assurance Cases for Medical Devices
- Independent Safety Audit
- Software Development and Analysis
- Human Factors
- Hazard Analysis
- Software Reliability and Integrity Prediction
- Standards and Guidelines
- Technical due diligence
- Expert witness
- Operational risk
- Training
- Software Tools
Publications
"Assessment and Qualification of Smart Sensors"
S Guerra, P Bishop, R Bloomfield and d Sheridan. In NPIC&HMIT 2010, American Nuclear Society, 2010.
"Measuring Hazard Identification"
P R Caseley, Sofia Guerra and Peter Froome. In Proceedings of the 1st IET International Conference on System Safety, pp.23-28, 6-8 June 2006, London, UK.
"International Working Group on Assurance Cases (for Security)"
Robin E. Bloomfield, Sofia Guerra, Ann Miller, Marcelo Masera, and Charles B. Weinstock. In IEEE Security & Privacy, vol. 4, no. 3, May/June 2006, pp. 66-68.
"Application of a Commercial Assurance Case Tool to Support Software Certification Services"
Luke Emmet and Sofia Guerra. In Software Certification Management Workshop, International Conference on Automated Software Engineering, November 2005, Long Beach, CA, USA.
"Justification of smart sensors for nuclear applications"
Peter Bishop, Robin Bloomfield, Sofia Guerra and Kostas Tourlas. In Proceedings SAFECOMP 2005, 28-30 September, Fredrikstad, Norway, 2005, ©Springer Verlag.
Peter Bishop, Robin Bloomfield and Sofia Guerra, In Proceedings of Workshop on Assurance Cases. Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks, pp. 390-395, Florence, Italy, June 2004.
Peter Bishop, Robin Bloomfield, Tim Clement, Sofia Guerra and Claire Jones, In Proceedings SAFECOMP 2003, pp. 63-76, 21-25 Sep, Edinburgh, UK, 2003, ©Springer Verlag.
Peter Bishop, Robin Bloomfield, Tim Clement and Sofia Guerra, In Proceedings SAFECOMP 2002, pp. 198-211, 10-13 September, Catania, Italy, 2002, ©Springer Verlag.
Robin Bloomfield and Sofia Guerra, In Proceedings of the International Conference on Dependable Systems and Networks, DSN 2002, Washington, DC, USA, June 2002.
"Composition of Default Specification"
Sofia Guerra, In Journal of Logic and Computation, Vol. 11, No. 4, pp. 559-578, 2001.
Sofia Guerra, In Teodor Rus, editor, Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000, Iowa City, USA, May 2000.
Sofia Guerra and Anthony Finkelstein, In John C. Dean, Patricia Oberndorf and Mark Vigder, editors, Proceedings of the ICSE Workshop, Los Angeles, USA, May 1999