About City
  1. Schools and departments
  2. Education
  3. Rector and President
  4. Governance and leadership
  5. Working at City
  6. History of City
  7. More about City
  8. Campus map
  9. Contact us
  1. Mathematics, Computer Science and Engineering
  2. Research
  3. Research Centre for Software Reliability
About City


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.