School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. Engineering & Mathematics scholarships & funding
  4. Computer Science scholarships and funding
  5. Placements and internships
  6. Our London location
  1. Publications
School of Mathematics, Computer Science & Engineering


Salako K., "Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity", Computer Safety, Reliability and Security: 26th International Conference, Safecomp 2007, Proceedings, Lecture Notes In Computer Science, (Saglietti F., Oster N., Eds.), pp. 411-416, Springer-Verlag, Nuremberg, 2007. [abstract]

Bloomfield, R.E., Littlewood, B., Wright, D., "Confidence: Its Role in Dependability Cases for Risk Assessment", Proc International Conference on Dependable Systems and Networks (DSN-2007), pp338-346, 2007. [abstract]

Kim. J, Jones. K, Horowtiz. M, "Fast, non-monte-carlo estimation of transient performance variation due to device mismatch", DAC '07: Proceedings of the 44th annual conference on Design automation, 2007.

Gashi I., Popov P., Strigini S., "Fault Tolerance via Diversity for Off-The-Shelf Products: a Study with SQL Database Servers", in IEEE Transactions on Dependable and Secure Computing, IEEE Computer Society Press, 4(4), pp. 280-294, 2007. [abstract]

Sheffler. T, Mossawir. K, Jones. K, "PHY Verification - Still an Open Problem", Proc. DesignCon '07, 2007.

Sheffler. T, Mossawir. K, Jones. K, "PHY Verification - What's Missing?.", Proc. DVCon '07, 2007.

Bishop P., Gashi I., Littlewood B., Wright D., "Reliability Growth Modelling of a 1-Out-Of-2 System: Research with Diverse Off-The-Shelf SQL Database Servers", in proc. IEEE International Symposium on Software Reliability Engineering (ISSRE-07), IEEE Computer Society Press, pp: 49-58, 2007. [abstract]

Littlewood, B., Wright, D., "The use of multi-legged arguments to increase confidence in safety claims for software-based systems: a study based on a BBN of an idealised example", IEEE Trans Software Engineering, vol 33, no 5, pp 347-365, 2007. [abstract]

Gashi I., Popov P., "Uncertainty Explicit Assessment of Off-the-Shelf Software: Selection of an Optimal Diverse Pair", in Proc. ICCBSS-2007, Sixth International Conference on COTS Based Software Systems, Banff, Alberta, Canada, IEEE Computer Society Press, pp. 93-102, 2007. [abstract]

Kim. J, Jones. K, Horowtiz. M, "Variable domain transformation for linear pac analysis of mixed-signal systems.", ICCAD '07: Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design, 2007.