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

In Print

Kim. J, Jones. K, Horowtiz. M, "Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch", IEEE Trans. Circuits and Systems, In print. [abstract]

Bishop PG, Bloomfield RE, Littlewood B, Povyakalo A, Wright DR, "Towards a Formalism for Conservative Claims about the Dependability of Software-Based Systems", IEEE Transactions on Software Engineering, In print. [abstract]