About City
  1. Rector and President
  2. Schools and departments
  3. Governance and leadership
  4. Education
  5. Working at City
  6. History of City
  7. More about City
  8. Campus map
  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]