School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. UKACM 2019
  4. Compressors Conference
  5. Our London location
  6. Athena SWAN
  7. Placements and internships
  8. Engineering & Mathematics scholarships and funding
  9. Computer Science scholarships and funding
  1. Research Centre for Software Reliability
  2. Publications
School of Mathematics, Computer Science & Engineering

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]